Oded Maler

Research Director

CNRS-VERIMAG

Contact information



Research interests:  Theory of Automata, Timed and Hybrid Systems, Verification, Synthesis and Monitoring of Systems, Scheduling and Planning, Systems Biology.

Short Cucurriculum Vitae
"In the beginning God created the heaven and the earth. And the earth was without form, and void; and darkness was upon the face of the deep. And the Spirit of God moved upon the face of the waters."
[...]
Oded Maler was born in 21.2.57 in Haifa, Israel. He obtained his B.A. in Computer Science from the Technion, Haifa in 1979 and his M.Sc. in Management Science from the University of Tel-Aviv at In 1984. In 1989 he finished his Ph.D. thesis (Finite Automata: Infinite Behavior, Learnability and Decomposition), under the liberal supervision of A. Pnueli in the department of Applied Mathematics and Computer Science, Weizmann Institute, Rehovot. After two years of post-doc at IRISA, Rennes, he moved to Grenoble at 1992 and obtained a research position (CR1) at the CNRS (French National Center of Scientific Research) in 1994. He has been promoted to "research director" (DR2) in 2001. And he lives more or less happily ever after.

Dr. Maler is the founder and honorary president of the association Charlatans Sans Frontieres.



Warm topics

·  Publications 

·  Timed and Hybrid Systems research at Verimag New 2005-2009 Some slides

·  Reachability for Continuous and Hybrid Systems New (good slides)

·  On some Potential Research Contributions to the Multicore Enterprise (slides)

·  We always welcome good students and post-docs at all levels. Please send an e-mail. Here is a research topic: here

·  The Analog Monitoring Tool (AMT) is available for download! 

·  On the Potential Roles of Informatics in Biology (slides, revised December 2008)

·  Research on Analog Circuit Verification at Verimag

·  O. Maler, Fighting the Clock Explosion Slides Video

·  My Habilitation (a kind of scientific autobiography summarizing my research from 1987 to 2000). 

Recent Work

·  T. Dang, O. Maler, R. Testylier, Accurate Hybridization of Nonlinear Systems, submitted, 2009 New

·  J. Legriel, C. Le Guernic, S. Cotton, O. Maler, Approximating the Pareto Front of Multi-Criteria Optimization Problems, submitted, 2009 New

·  S. Cotton, O. Maler, An SMT Algorithm for Direct Model Search: Implementation and Experimentation, submitted, 2009 New

·  R. Ben Salah, M. Bozga, O. Maler, Compositional Timing Analysis, EMSOFT, 2009. NewOld informal version Slides New

·  J. Legriel, O. Maler, Meeting Deadlines Cheaply, unpublished, 2009 New

·  T. Dang, C. Le Guernic, O. Maler, Computing Reachable States for Nonlinear Biological Models, CMSB, 2009 New Slides New

·  R. Alur, A. Degorre, O. Maler and G. Weiss, On Omega-Languages Defined by Mean-Payoff Conditions, FOSSACS, 2009

·  A. Degorre, O. Maler, On Scheduling Policies for Streams of Structured Jobs, FORMATS, 2008

·  T. Dang, A. Donze, O. Maler, N. Shalev, Sensitive State Space Exploration, CDC, 2008

·  O. Maler, Computing Reachable Sets: an Introduction, rejected, 2008

·  O. Maler, G. Batt, Approximating Continuous Systems by Timed Automata, Formal Methods in Systems Biology, 2008

·  O. Maler, A. Pnueli, D. Nickovic, Checking Temporal Properties of Discrete, Timed and Continuous Behaviors, Trakhtenbrot Festschrift, 2008

·  D. Nickovic, O. Maler, AMT: a Property-based Monitoring Tool for Analog Systems, FORMATS, 2007. Slides

·  G. Batt, R. Ben Salah, O. Maler, On Timed Models of Gene Networks, FORMATS, 2007 Slides

·  O. Maler, On Optimal and Reasonable Control in the Presence of Adversaries, IFAC Annual Reviews in Control, 2007. Slides

·  O. Maler, D. Nickovic, A. Pnueli,  On Synthesizing Controllers from Bounded-Response Properties, CAV, 2007 Slides

·  A. Donze, O. Maler,  Systematic Simulation using Sensitivity Analysis, HSCC, 2007 Slides

Oldies but Goldies

·  S. Cotton, O. Maler, Fast and Flexible Difference Logic Propagation for  DPLL(T), SAT, 2006. Slides

·  A. Girard, C. Le Guernic, O. Maler, Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs, HSCC 2006. Slides

·  Y. Abdeddaïm, E. Asarin, O. Maler, Scheduling with Timed Automata, Theoretical Computer Science, 2006. 

·  P. Caspi, O. Maler, From Control Loops to Real-Time Programs, Handbook of Networked and Embedded Control Systems, 2005.

·  O. Maler, On Optimal and Sub-optimal Control in the Presence of Adversaries, WODES 2004. Version francaise/French version Slides

·  O. Maler,  Control from Computer Science, IFAC Annual Reviews in Control, 2003. Slides

·  E. Asarin, O. Maler, P. Caspi,  Timed Regular Expressions , The Journal of the ACM, 2002. 

·  O. Maler,  Guest Editorial: Verification of Hybrid Systems, European Journal of Control, 2001

·  E. Asarin, O. Bournez, T. Dang, O. Maler, A. Pnueli, Effective Synthesis of Switching Controllers for Linear Systems, Proc. of the IEEE, 2000.

·  O. Bournez, O. Maler, A. Pnueli, Orthogonal Polyhedra: Representation and Computation, HSCC, 1999

·  E. Asarin, O. Maler, As Soon as Possible: Time Optimal Control for Timed Automata, HSCC, 1999

·  M. Bozga, O. Maler, On the Representation of Probabilities over Structured Domains, CAV 1999. Slides

·  O. Maler, A Unified Approach for Studying Discrete and Continuous Dynamical Systems, CDC, 1998.

·  T. Dang, O. Maler, Reachability Analysis via Face Lifting, HSCC 1998

·  A. Bouajjani, J. Esparza, O. Maler, Reachability Analysis of Pushdown Automata: Application to Model-Checking, CONCUR 1997.

·  E. Asarin, O. Maler, A.Pnueli, Symbolic Controller Synthesis for Discrete and Timed Systems, Hybrid Systems II, 1995

·  E. Asarin, O. Maler, A.Pnueli, Reachability Analysis of Dynamical Systems having Piecewise-Constant Derivatives, TCS, 1995 Slides New

·  O. Maler, A.Pnueli, On the Learnability of Infinitary Regular Sets, Information and computation, 1995 Slides New

·  O. Maler, Hybrid Systems and Real-World Computations, unpublished, 1992

·  O. Maler, Why should we Develop Artificial Worms and How?, unpublished, 1990

·  O. Maler, A. Pnueli, On the Cascaded Decomposition of Automata, its Complexity and Application to Logic, unpublished, 1988-1994

PhD Students

·  Thao Dang, Verification and Synthesis of Hybrid Systems (with E. Asarin), October 2000

·  Yasmina Abdeddaïm, Scheduling with Timed Automata (with E. Asarin), November 2002

·  Moez Mahfoudh, On Satisfiability Checking for Difference Logic (with E. Asarin and P. Niebert), May 2003

·  Abdelkarim Kerbaa, Conditional Scheduling Strategies using Timed Automata (with M. Bozga), October 2006

·  Alexandre Donze, Trajectory-Based Verification and Controller Synthesis for Continuous and Hybrid Systems (with T. Dang), June 2007

·  Ramzi Ben Salah, On Timing Analysis of Large Systems (with M. Bozga), October 2007

·  Dejan Nickovic, Checking Timed and Hybrid Properties, October 2008 New

·  Scott Cotton, On some Problems in Satisfiability Solving, June 2009 New

·  Colas Le Guernic, 2009 Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics (with A. Girard) |Slides of defense 28/10/09 New

·  Aldric Degorre, 2009 On some Quantitative Aspects of Formal Languages (with E. Asarin) Defense 21/10/09 New

·  Julien Legriel, 2010 (Scheduling stream-processing applications on multi-processors)

·  Selma Saidi, 2010 (Mapping stream-processing applications on multi-processors)

·  Jean-Francois Kempf, 2010 (Modular performance analysis)

Master Students

·  Matthieu Moy, Specification of Timed Behaviors (in French), 2002

·  Abdelkarim Kerbaa, Task Graph Scheduling with Timed Automata, 2002

·  Alexandre Donze, Studying a Model of a Hybrid Controller (in French), 2003

·  Ramzi Ben Salah, Circuit Timing Analysis using Timed Automata (in French), 2003

·  Olfa Ben Sik Ali, Simulation of Open Continuous Systems (in French) 2003

·  Scott Cotton, Satisfiability Checking with Difference Constraints, 2005

·  Colas Le Guernic, Efficient Computation of Reachable Sets for Uncertain Linear Systems (in French), 2005

Post-docs

·  Peter Niebert  1999-2001

·  Antoine Girard  2005-2006

·  Goran Frehse  2005-2006

·  Gregory Batt  2006-2007

·  Viktor Schuppan  2007-2008

Old Stuff

·  CAV 2009, Grenoble Proceedings 

·  Workshop: Formal Verification of Analog circuits Princeton, NJ, 14/7/2008, Grenoble, France, 26/6/2009

·  Workshop: Toward Systems Biology, Grenoble 8-10/10/2007.

·  Between Control and Software: Workshop in the honor of Paul Caspi, Grenoble 28/9/2007

·  The European IST project  PROSYD (Property-based System Design) 2004-2007

·  Workshop: Topics in Computation and Control , Santa Barbara 27-28/3/2006 a satellite event of HSCC, 2006

·  The European IST project  CC (Control and Computation) 2002-2005

·  The European IST project  AMETIST (Advanced Methods for Timed Systems) 2002-2005

·  Workshop on Formal Verification of Analog Circuits  April 9th, 2005, Edinburgh, UK (Satellite event of ETAPS) Proceedings

·  The workshop Hybrid Sytems: Computation and Control (HSCC03) Prague, April 2003. Some copies of the proceedings are available at an attractive price here.

·  Workshop on the Theory and Practice of Timed Systems (held in Grenoble 6-7 April, 2002). 

·  VHS Project  (a European project on the verification of hybrid systems, terminated November 2001).

·  HART'97 Workshop (a workshop on hybrid systems which took place at Grenoble).