Oded Maler
Oded Maler
CNRS-VERIMAG, University of Grenoble
Dirección de correo verificada de imag.fr - Página principal
TítuloCitado porAño
Controller synthesis for timed automata
E Asarin, O Maler, A Pnueli, J Sifakis
IFAC Proceedings Volumes 31 (18), 447-452, 1998
1048*1998
SpaceEx: Scalable verification of hybrid systems
G Frehse, C Le Guernic, A Donzé, S Cotton, R Ray, O Lebeltel, R Ripado, ...
International Conference on Computer Aided Verification, 379-395, 2011
7812011
Reachability analysis of pushdown automata: Application to model-checking
A Bouajjani, J Esparza, O Maler
International Conference on Concurrency Theory, 135-150, 1997
7691997
Monitoring temporal properties of continuous signals
O Maler, D Nickovic
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant …, 2004
5592004
Prom timed to hybrid systems
O Maler, Z Manna, A Pnueli
Workshop/School/Symposium of the REX Project (Research and Education in …, 1991
5001991
Kronos: A model-checking tool for real-time systems
M Bozga, C Daws, O Maler, A Olivero, S Tripakis, S Yovine
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1998
4911998
Approximate reachability analysis of piecewise-linear dynamical systems
E Asarin, O Bournez, T Dang, O Maler
International Workshop on Hybrid Systems: Computation and Control, 20-31, 2000
4242000
Reachability analysis of dynamical systems having piecewise-constant derivatives
E Asarin, O Maler, A Pnueli
Theoretical computer science 138 (1), 35-65, 1995
368*1995
Scheduling with timed automata
Y Abdeddaı, E Asarin, O Maler
Theoretical Computer Science 354 (2), 272-300, 2006
367*2006
Symbolic model checking with rich assertional languages
Y Kesten, O Maler, M Marcus, A Pnueli, E Shahar
Theoretical Computer Science 256 (1-2), 93-112, 2001
320*2001
Robust satisfaction of temporal logic over real-valued signals
A Donzé, O Maler
International Conference on Formal Modeling and Analysis of Timed Systems …, 2010
3182010
Timed regular expressions
E Asarin, P Caspi, O Maler
Journal of the ACM 49 (2), 172-206, 2002
318*2002
Effective synthesis of switching controllers for linear systems
E Asarin, O Bournez, T Dang, O Maler, A Pnueli
Proceedings of the IEEE 88 (7), 1011-1025, 2000
2902000
Reachability analysis via face lifting
T Dang, O Maler
International Workshop on Hybrid Systems: Computation and Control, 96-109, 1998
2591998
The d/dt tool for verification of hybrid systems
E Asarin, T Dang, O Maler
International Conference on Computer Aided Verification, 365-370, 2002
251*2002
Efficient computation of reachable sets of linear time-invariant systems with inputs
A Girard, C Le Guernic, O Maler
International Workshop on Hybrid Systems: Computation and Control, 257-271, 2006
2332006
As soon as possible: Time optimal control for timed automata
E Asarin, O Maler
International Workshop on Hybrid Systems: Computation and Control, 19-30, 1999
1811999
Systematic simulation using sensitivity analysis
A Donzé, O Maler
International Workshop on Hybrid Systems: Computation and Control, 174-189, 2007
1782007
Data-structures for the verification of timed automata
E Asarin, M Bozga, A Kerbrat, O Maler, A Pnueli, A Rasse
International Workshop on Hybrid and Real-Time Systems, 346-360, 1997
1561997
Efficient robust monitoring for STL
A Donzé, T Ferrere, O Maler
International Conference on Computer Aided Verification, 264-279, 2013
1362013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20