Oded Maler
Centre National de la Recherche Scientifique(FR)Verimag(FR)
Publications by Year
Research Areas
Formal Methods in Verification, Embedded Systems Design Techniques, Logic, programming, and type systems, Petri Nets in System Modeling, Real-Time Systems Scheduling
Most-Cited Works
- → Monitoring Temporal Properties of Continuous Signals(2004)1,178 cited
- → SpaceEx: Scalable Verification of Hybrid Systems(2011)837 cited
- → Robust Satisfaction of Temporal Logic over Real-Valued Signals(2010)701 cited
- → Reachability analysis of pushdown automata: Application to model-checking(1997)647 cited
- → On the synthesis of discrete controllers for timed systems(1995)534 cited
- → Prom timed to hybrid systems(1992)353 cited
- → Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems(2000)338 cited