23 citations · 53 across the 5 of their papers we have counts for
5 papers
Learning Regular Languages over Large Ordered Alphabets
Irini-Eleftheria Mens, Oded Maler
This work is concerned with regular languages defined over large alphabets, either infinite or just too large to be expressed enumeratively. We define a generic model where transit…
Formal and Informal Methods for Multi-Core Design Space Exploration
Jean-Francois Kempf, Olivier Lebeltel, Oded Maler
We propose a tool-supported methodology for design-space exploration for embedded systems. It provides means to define high-level models of applications and multi-processor archite…
Algorithmic Verification of Continuous and Hybrid Systems
Oded Maler
We provide a tutorial introduction to reachability computation, a class of computational techniques that exports verification technology toward continuous and hybrid systems. For o…
A Framework for Control Strategies in Uncertain Inference Networks
Moshe Ben-Bassat, Oded Maler
Control Strategies for hierarchical tree-like probabilistic inference networks are formulated and investigated. Strategies that utilize staged look-ahead and temporary focus on sub…
On Zone-Based Analysis of Duration Probabilistic Automata
Oded Maler, Kim G. Larsen, Bruce H. Krogh
We propose an extension of the zone-based algorithmics for analyzing timed automata to handle systems where timing uncertainty is considered as probabilistic rather than set-theore…