Oded Maler - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Computing reachable states for nonlinear biological modelsThao Dang, Colas Le Guernic, Oded Maler. TCS, 412(21):2095-2107, 2011. [doi]

SpaceEx: Scalable Verification of Hybrid SystemsGoran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler. cav 2011: 379-395 [doi]

2010

2009

On Omega-Languages Defined by Mean-Payoff ConditionsRajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss. fossacs 2009: 333-347 [doi]

Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. ProceedingsAhmed Bouajjani, Oded Maler, editors, Volume 5643 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Computing Reachable States for Nonlinear Biological ModelsThao Dang, Colas Le Guernic, Oded Maler. cmsb 2009: 126-141 [doi]

Reachability for Continuous and Hybrid SystemsOded Maler. rp 2009: 24-25 [doi]

Compositional timing analysisRamzi Ben Salah, Marius Bozga, Oded Maler. emsoft 2009: 39-48 [doi]

2008

2007

2006

Scheduling with timed automataYasmina Abdeddaïm, Eugene Asarin, Oded Maler. TCS, 354(2):272-300, 2006. [doi]

Fast and Flexible Difference Constraint Propagation for DPLL(T)Scott Cotton, Oded Maler. sat 2006: 170-183 [doi]

Time Domain Verification of Oscillator Circuit PropertiesGoran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler. ENTCS, 153(3):9-22, 2006. [doi]

Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with InputsAntoine Girard, Colas Le Guernic, Oded Maler. hybrid 2006: 257-271 [doi]

From MITL to Timed AutomataOded Maler, Dejan Nickovic, Amir Pnueli. formats 2006: 274-289 [doi]

Analog Circuit Verification: a State of an ArtOded Maler. ENTCS, 153(3):3-7, 2006. [doi]

PrefaceOded Maler. ENTCS, 153(3):1-2, 2006. [doi]

On Interleaving in Timed AutomataRamzi Ben Salah, Marius Bozga, Oded Maler. concur 2006: 465-476 [doi]

2005

From Control Loops to Real-Time ProgramsPaul Caspi, Oded Maler. In Dimitrios Hristu-Varsakelis, William S. Levine, editors, Handbook of Networked and Embedded Control Systems. pages 395-418, Birkhäuser, 2005.

Real Time Temporal Logic: Past, Present, FutureOded Maler, Dejan Nickovic, Amir Pnueli. formats 2005: 2-16 [doi]

2004

2003

On Optimal Scheduling under UncertaintyYasmina Abdeddaïm, Eugene Asarin, Oded Maler. TACAS 2003: 240-253 [doi]

Task Graph Scheduling Using Timed AutomataYasmina Abdeddaïm, Abdelkarim Kerbaa, Oded Maler. ipps 2003: 237 [doi]

On Systematic Simulation of Open Continuous SystemsJames Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg. hybrid 2003: 283-297 [doi]

Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, ProceedingsOded Maler, Amir Pnueli, editors, Volume 2623 of Lecture Notes in Computer Science, Springer, 2003.

On Timing Analysis of Combinational CircuitsRamzi Ben Salah, Marius Bozga, Oded Maler. formats 2003: 204-219 [doi]

2002

Preemptive Job-Shop Scheduling Using Stopwatch AutomataYasmina Abdeddaïm, Oded Maler. TACAS 2002: 113-126 [doi]

The d/dt Tool for Verification of Hybrid SystemsEugene Asarin, Thao Dang, Oded Maler. cav 2002: 365-370 [doi]

PrefaceEugene Asarin, Oded Maler, Sergio Yovine. ENTCS, 65(6), 2002. [doi]

Timed regular expressionsEugene Asarin, Paul Caspi, Oded Maler. JACM, 49(2):172-206, 2002. [doi]

Verification of Asynchronous Circuits using Timed AutomataMarius Bozga, Hou Jianmin, Oded Maler, Sergio Yovine. ENTCS, 65(6), 2002. [doi]

Timed Automata as an Underlying Model for Planning and SchedulingOded Maler. aips 2002: 67-70

On Control with Bounded Computational ResourcesOded Maler, Bruce H. Krogh, Moez Mahfoudh. ftrtft 2002: 147-164 [doi]

Verification of Timed Automata via Satisfiability CheckingPeter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain. ftrtft 2002: 225-244 [doi]

2001

2000

1999

1998

1997

A Kleene Theorem for Timed AutomataEugene Asarin, Paul Caspi, Oded Maler. lics 1997: 160-171 [doi]

Data-Structures for the Verification of Timed AutomataEugene Asarin, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli, Anne Rasse. hybrid 1997: 346-360

Reachability Analysis of Pushdown Automata: Application to Model-CheckingAhmed Bouajjani, Javier Esparza, Oded Maler. concur 1997: 135-150

Some Progress in the Symbolic Verification of Timed AutomataMarius Bozga, Oded Maler, Amir Pnueli, Sergio Yovine. cav 1997: 179-190

Symbolic Model Checking with Rich ssertional LanguagesYonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar. cav 1997: 424-435

Hybrid and Real-Time Systems, International Workshop. HART 97, Grenoble, France, March 26-28, 1997, ProceedingsOded Maler, editor, Volume 1201 of Lecture Notes in Computer Science, Springer, 1997.

On Syntactic Congruences for Omega-LanguagesOded Maler, Ludwig Staiger. TCS, 183(1):93-112, 1997. [doi]

1995

1994

Symbolic Controller Synthesis for Discrete and Timed SystemsEugene Asarin, Oded Maler, Amir Pnueli. hybrid 1995: 1-20

On some Relations between Dynamical Systems and Transition SystemsEugene Asarin, Oded Maler. icalp 1994: 59-72

On the Effects of Noise and Speed on ComputationsBernard Delyon, Oded Maler. TCS, 129(2):279-291, 1994.

1993

On Syntactic Congruences for Omega-LanguagesOded Maler, Ludwig Staiger. STACS 1993: 586-594

A Decomposition Theorem for Probabilistic Transition SystemsOded Maler. STACS 1993: 323-332

Reachability Analysis of Planar Multi-limear SystemsOded Maler, Amir Pnueli. cav 1993: 194-209

1992

On Fault-Tolerant Symbolic ComputationsBernard Delyon, Oded Maler. ftrtft 1991: 259-269

1991

On the Learnability of Infinitary Regular SetsOded Maler, Amir Pnueli. colt 1991: 128-136 [doi]

From Timed to Hybrid SystemsOded Maler, Zohar Manna, Amir Pnueli. rex 1992: 447-484

1990

Tight Bounds on the Complexity of Cascaded Decomposition of AutomataOded Maler, Amir Pnueli. focs 1990: 672-682

1989

Learning omega-Regular Languages from Queries and Counter-Examples (A Preliminary Report)Oded Maler, Amir Pnueli. aii 1989: 161-170

1986

A New Approach for Intruducing Prolog to Naive UsersOded Maler, Zahava Scherz, Ehud Y. Shapiro. ICLP 1986: 544-551