Segui
Oded Maler
Oded Maler
CNRS-VERIMAG, University of Grenoble
Email verificata su imag.fr - Home page
Titolo
Citata da
Citata da
Anno
Controller synthesis for timed automata
E Asarin, O Maler, A Pnueli, J Sifakis
IFAC Proceedings Volumes 31 (18), 447-452, 1998
1196*1998
SpaceEx: Scalable verification of hybrid systems
G Frehse, C Le Guernic, A Donzé, S Cotton, R Ray, O Lebeltel, R Ripado, ...
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
10952011
Monitoring temporal properties of continuous signals
O Maler, D Nickovic
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant …, 2004
10872004
Reachability analysis of pushdown automata: Application to model-checking
A Bouajjani¹, J Esparza, O Maler¹
CONCUR'97 1243, 135, 1997
8531997
Robust satisfaction of temporal logic over real-valued signals
A Donzé, O Maler
Formal Modeling and Analysis of Timed Systems: 8th International Conference …, 2010
6282010
Prom timed to hybrid systems
O Maler, Z Manna, A Pnueli
Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7 …, 1992
5711992
Kronos: A model-checking tool for real-time systems: Tool-presentation for FTRTFT’98
M Bozga, C Daws, O Maler, A Olivero, S Tripakis, S Yovine
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International …, 1998
5611998
Approximate reachability analysis of piecewise-linear dynamical systems
E Asarin, O Bournez, T Dang, O Maler
Hybrid Systems: Computation and Control: Third International Workshop, HSCC …, 2002
4862002
Scheduling with timed automata
Y Abdeddaı, E Asarin, O Maler
Theoretical Computer Science 354 (2), 272-300, 2006
427*2006
Reachability analysis of dynamical systems having piecewise-constant derivatives
E Asarin, O Maler, A Pnueli
Theoretical computer science 138 (1), 35-65, 1995
399*1995
Timed regular expressions
E Asarin, P Caspi, O Maler
Journal of the ACM 49 (2), 172-206, 2002
368*2002
Efficient computation of reachable sets of linear time-invariant systems with inputs
A Girard, C Le Guernic, O Maler
Hybrid Systems: Computation and Control: 9th International Workshop, HSCC …, 2006
3152006
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
3092000
The d/dt tool for verification of hybrid systems
E Asarin, T Dang, O Maler
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
303*2002
Reachability analysis via face lifting
T Dang, O Maler
Hybrid Systems: Computation and Control: First International Workshop, HSCC …, 1998
2811998
Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications
E Bartocci, J Deshmukh, A Donzé, G Fainekos, O Maler, D Ničković, ...
Lectures on Runtime Verification: Introductory and Advanced Topics, 135-175, 2018
2572018
Efficient robust monitoring for STL
A Donzé, T Ferrere, O Maler
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
2372013
Systematic simulation using sensitivity analysis
A Donzé, O Maler
Hybrid Systems: Computation and Control: 10th International Workshop, HSCC …, 2007
2112007
As soon as possible: Time optimal control for timed automata
E Asarin, O Maler
Hybrid Systems: Computation and Control: Second International Workshop, HSCC …, 1999
2021999
Parametric identification of temporal properties
E Asarin, A Donzé, O Maler, D Nickovic
Runtime Verification: Second International Conference, RV 2011, San …, 2012
1712012
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20