O. Maler

8 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
O. Maler and others (2008) · Springer Berlin Heidelberg
AMT: A Property-Based Monitoring Tool for Analog Systems
D. Nickovic and others (2007) · Springer Berlin Heidelberg
Analog Circuit Verification: a State of an Art
O. Maler (2006) · Elsevier BV
From MITL to Timed Automata
O. Maler and others (2006) · Springer Berlin Heidelberg
Monitoring Temporal Properties of Continuous Signals
O. Maler and others (2004) · Springer Berlin Heidelberg
Symbolic controller synthesis for discrete and timed systems
E. Asarin and others (1995) · Springer Berlin Heidelberg
On the synthesis of discrete controllers for timed systems
O. Maler and others (1995) · Springer Berlin Heidelberg
Timing analysis of asynchronous circuits using timed automata
O. Maler and others (1995) · Springer Berlin Heidelberg