 | 2009 |
|---|
| 85 |       | Ahmed Bouajjani,
Oded Maler:
Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings
Springer 2009 |
| 84 | | Thao Dang,
Colas Le Guernic,
Oded Maler:
Computing Reachable States for Nonlinear Biological Models.
CMSB 2009: 126-141 |
| 83 | | Ramzi Ben Salah,
Marius Bozga,
Oded Maler:
Compositional timing analysis.
EMSOFT 2009: 39-48 |
| 82 | | Rajeev Alur,
Aldric Degorre,
Oded Maler,
Gera Weiss:
On Omega-Languages Defined by Mean-Payoff Conditions.
FOSSACS 2009: 333-347 |
| 81 | | Oded Maler:
Reachability for Continuous and Hybrid Systems.
RP 2009: 24-25 |
| 2008 |
|---|
| 80 | | Thao Dang,
Alexandre Donzé,
Oded Maler,
Noa Shalev:
Sensitive state-space exploration.
CDC 2008: 4049-4054 |
| 79 | | Oded Maler,
Grégory Batt:
Approximating Continuous Systems by Timed Automata.
FMSB 2008: 77-89 |
| 78 | | Aldric Degorre,
Oded Maler:
On Scheduling Policies for Streams of Structured Jobs.
FORMATS 2008: 141-154 |
| 77 | | Oded Maler,
Dejan Nickovic,
Amir Pnueli:
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.
Pillars of Computer Science 2008: 475-505 |
| 2007 |
|---|
| 76 | | Oded Maler,
Dejan Nickovic,
Amir Pnueli:
On Synthesizing Controllers from Bounded-Response Properties.
CAV 2007: 95-107 |
| 75 | | Dejan Nickovic,
Oded Maler:
AMT: A Property-Based Monitoring Tool for Analog Systems.
FORMATS 2007: 304-319 |
| 74 | | Grégory Batt,
Ramzi Ben Salah,
Oded Maler:
On Timed Models of Gene Networks.
FORMATS 2007: 38-52 |
| 73 | | Alexandre Donzé,
Oded Maler:
Systematic Simulation Using Sensitivity Analysis.
HSCC 2007: 174-189 |
| 72 | | Goran Frehse,
Oded Maler:
Reachability Analysis of a Switched Buffer Network.
HSCC 2007: 698-701 |
| 71 | | Ramzi Ben Salah,
Marius Bozga,
Oded Maler:
On timed components and their abstraction.
SAVCBS 2007: 63-71 |
| 70 | | Oded Maler:
On optimal and reasonable control in the presence of adversaries.
Annual Reviews in Control 31(1): 1-15 (2007) |
| 2006 |
|---|
| 69 | | Ramzi Ben Salah,
Marius Bozga,
Oded Maler:
On Interleaving in Timed Automata.
CONCUR 2006: 465-476 |
| 68 | | Oded Maler,
Dejan Nickovic,
Amir Pnueli:
From MITL to Timed Automata.
FORMATS 2006: 274-289 |
| 67 | | Antoine Girard,
Colas Le Guernic,
Oded Maler:
Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs.
HSCC 2006: 257-271 |
| 66 | | Scott Cotton,
Oded Maler:
Fast and Flexible Difference Constraint Propagation for DPLL(T).
SAT 2006: 170-183 |
| 65 | | Oded Maler:
Preface.
Electr. Notes Theor. Comput. Sci. 153(3): 1-2 (2006) |
| 64 | | Oded Maler:
Analog Circuit Verification: a State of an Art.
Electr. Notes Theor. Comput. Sci. 153(3): 3-7 (2006) |
| 63 | | Goran Frehse,
Bruce H. Krogh,
Rob A. Rutenbar,
Oded Maler:
Time Domain Verification of Oscillator Circuit Properties.
Electr. Notes Theor. Comput. Sci. 153(3): 9-22 (2006) |
| 62 | | Yasmina Abdeddaïm,
Eugene Asarin,
Oded Maler:
Scheduling with timed automata.
Theor. Comput. Sci. 354(2): 272-300 (2006) |
| 2005 |
|---|
| 61 | | Oded Maler,
Dejan Nickovic,
Amir Pnueli:
Real Time Temporal Logic: Past, Present, Future.
FORMATS 2005: 2-16 |
| 60 |  | Paul Caspi,
Oded Maler:
From Control Loops to Real-Time Programs.
Handbook of Networked and Embedded Control Systems 2005: 395-418 |
| 2004 |
|---|
| 59 | | Thao Dang,
Alexandre Donzé,
Oded Maler:
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques.
FMCAD 2004: 21-36 |
| 58 | | Oded Maler,
Dejan Nickovic:
Monitoring Temporal Properties of Continuous Signals.
FORMATS/FTRTFT 2004: 152-166 |
| 57 | | Scott Cotton,
Eugene Asarin,
Oded Maler,
Peter Niebert:
Some Progress in Satisfiability Checking for Difference Logic.
FORMATS/FTRTFT 2004: 263-276 |
| 56 | | Oded Maler,
Amir Pnueli:
On Recognizable Timed Languages.
FoSSaCS 2004: 348-362 |
| 55 | | Marius Bozga,
Abdelkarim Kerbaa,
Oded Maler:
Scheduling Acyclic Branching Programs on Parallel Machines.
RTSS 2004: 208-217 |
| 2003 |
|---|
| 54 | | Oded Maler,
Amir Pnueli:
Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
Springer 2003 |
| 53 | | Ramzi Ben Salah,
Marius Bozga,
Oded Maler:
On Timing Analysis of Combinational Circuits.
FORMATS 2003: 204-219 |
| 52 | | James Kapinski,
Bruce H. Krogh,
Oded Maler,
Olaf Stursberg:
On Systematic Simulation of Open Continuous Systems.
HSCC 2003: 283-297 |
| 51 | | Yasmina Abdeddaïm,
Abdelkarim Kerbaa,
Oded Maler:
Task Graph Scheduling Using Timed Automata.
IPDPS 2003: 237 |
| 50 | | Yasmina Abdeddaïm,
Eugene Asarin,
Oded Maler:
On Optimal Scheduling under Uncertainty.
TACAS 2003: 240-253 |
| 2002 |
|---|
| 49 | | Oded Maler:
Timed Automata as an Underlying Model for Planning and Scheduling.
AIPS Workshop on Planning for Temporal Domains 2002: 67-70 |
| 48 | | Eugene Asarin,
Thao Dang,
Oded Maler:
The d/dt Tool for Verification of Hybrid Systems.
CAV 2002: 365-370 |
| 47 | | Oded Maler,
Bruce H. Krogh,
Moez Mahfoudh:
On Control with Bounded Computational Resources.
FTRTFT 2002: 147-164 |
| 46 | | Peter Niebert,
Moez Mahfoudh,
Eugene Asarin,
Marius Bozga,
Oded Maler,
Navendu Jain:
Verification of Timed Automata via Satisfiability Checking.
FTRTFT 2002: 225-244 |
| 45 | | Yasmina Abdeddaïm,
Oded Maler:
Preemptive Job-Shop Scheduling Using Stopwatch Automata.
TACAS 2002: 113-126 |
| 44 | | Eugene Asarin,
Oded Maler,
Sergio Yovine:
Preface.
Electr. Notes Theor. Comput. Sci. 65(6): (2002) |
| 43 | | Marius Bozga,
Hou Jianmin,
Oded Maler,
Sergio Yovine:
Verification of Asynchronous Circuits using Timed Automata.
Electr. Notes Theor. Comput. Sci. 65(6): (2002) |
| 42 | | Eugene Asarin,
Paul Caspi,
Oded Maler:
Timed regular expressions.
J. ACM 49(2): 172-206 (2002) |
| 2001 |
|---|
| 41 | | Yasmina Abdeddaïm,
Oded Maler:
Job-Shop Scheduling Using Timed Automata.
CAV 2001: 478-492 |
| 40 | | Alberto L. Sangiovanni-Vincentelli,
Thomas A. Henzinger,
Bruce H. Krogh,
Oded Maler,
Manfred Morari,
Costas C. Pantelides,
George J. Pappas,
Tunc Simsec,
Janos Sztipanovits,
Stavros Tripakis:
Hybrid Systems Applications: An Oxymoron?
HSCC 2001: 5-6 |
| 39 | | Eugene Asarin,
Sorav Bansal,
Bernard Espiau,
Thao Dang,
Oded Maler:
On Hybrid Control of Under-Actuated Mechanical Systems.
HSCC 2001: 77-88 |
| 38 | | Yonit Kesten,
Oded Maler,
Monica Marcus,
Amir Pnueli,
Elad Shahar:
Symbolic model checking with rich assertional languages.
Theor. Comput. Sci. 256(1-2): 93-112 (2001) |
| 2000 |
|---|
| 37 | | Eugene Asarin,
Thao Dang,
Oded Maler,
Olivier Bournez:
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems.
HSCC 2000: 20-31 |
| 36 | | Olivier Bournez,
Oded Maler:
On the Representation of Timed Polyhedra.
ICALP 2000: 793-807 |
| 35 | | Ahmed Bouajjani,
Javier Esparza,
Alain Finkel,
Oded Maler,
Peter Rossmanith,
Bernard Willems,
Pierre Wolper:
An efficient automata approach to some problems on context-free grammars.
Inf. Process. Lett. 74(5-6): 221-227 (2000) |
| 1999 |
|---|
| 34 | | Marius Bozga,
Oded Maler:
On the Representation of Probabilities over Structured Domains.
CAV 1999: 261-273 |
| 33 | | Marius Bozga,
Oded Maler,
Stavros Tripakis:
Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics.
CHARME 1999: 125-141 |
| 32 | | Eugene Asarin,
Oded Maler:
As Soon as Possible: Time Optimal Control for Timed Automata.
HSCC 1999: 19-30 |
| 31 | | Olivier Bournez,
Oded Maler,
Amir Pnueli:
Orthogonal Polyhedra: Representation and Computation.
HSCC 1999: 46-60 |
| 1998 |
|---|
| 30 | | Marius Bozga,
Conrado Daws,
Oded Maler,
Alfredo Olivero,
Stavros Tripakis,
Sergio Yovine:
Kronos: A Model-Checking Tool for Real-Time Systems.
CAV 1998: 546-550 |
| 29 | | Eugene Asarin,
Oded Maler,
Amir Pnueli:
On Discretization of Delays in Timed Automata and Digital Circuits.
CONCUR 1998: 470-484 |
| 28 | | Marius Bozga,
Conrado Daws,
Oded Maler,
Alfredo Olivero,
Stavros Tripakis,
Sergio Yovine:
KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98).
FTRTFT 1998: 298-302 |
| 27 | | Thao Dang,
Oded Maler:
Reachability Analysis via Face Lifting.
HSCC 1998: 96-109 |
| 26 | | Eugene Asarin,
Oded Maler:
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy.
J. Comput. Syst. Sci. 57(3): 389-398 (1998) |
| 1997 |
|---|
| 25 | | Oded Maler:
Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble, France, March 26-28, 1997, Proceedings
Springer 1997 |
| 24 | | Marius Bozga,
Oded Maler,
Amir Pnueli,
Sergio Yovine:
Some Progress in the Symbolic Verification of Timed Automata.
CAV 1997: 179-190 |
| 23 | | Yonit Kesten,
Oded Maler,
Monica Marcus,
Amir Pnueli,
Elad Shahar:
Symbolic Model Checking with Rich ssertional Languages.
CAV 1997: 424-435 |
| 22 | | Ahmed Bouajjani,
Javier Esparza,
Oded Maler:
Reachability Analysis of Pushdown Automata: Application to Model-Checking.
CONCUR 1997: 135-150 |
| 21 | | Eugene Asarin,
Marius Bozga,
Alain Kerbrat,
Oded Maler,
Amir Pnueli,
Anne Rasse:
Data-Structures for the Verification of Timed Automata.
HART 1997: 346-360 |
| 20 | | Eugene Asarin,
Paul Caspi,
Oded Maler:
A Kleene Theorem for Timed Automata.
LICS 1997: 160-171 |
| 19 | | Oded Maler,
Ludwig Staiger:
On Syntactic Congruences for Omega-Languages.
Theor. Comput. Sci. 183(1): 93-112 (1997) |
| 1995 |
|---|
| 18 | | Oded Maler,
Amir Pnueli:
Timing analysis of asynchronous circuits using timed automata.
CHARME 1995: 189-205 |
| 17 | | Eugene Asarin,
Oded Maler:
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy.
FSTTCS 1995: 471-483 |
| 16 | | Oded Maler,
Amir Pnueli,
Joseph Sifakis:
On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract).
STACS 1995: 229-242 |
| 15 | | Oded Maler,
Amir Pnueli:
On the Learnability of Infinitary Regular Sets
Inf. Comput. 118(2): 316-326 (1995) |
| 14 | | Eugene Asarin,
Oded Maler,
Amir Pnueli:
Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives.
Theor. Comput. Sci. 138(1): 35-65 (1995) |
| 13 | | Oded Maler:
A Decomposition Theorem for Probabilistic Transition Systems.
Theor. Comput. Sci. 145(1&2): 391-396 (1995) |
| 1994 |
|---|
| 12 | | Eugene Asarin,
Oded Maler,
Amir Pnueli:
Symbolic Controller Synthesis for Discrete and Timed Systems.
Hybrid Systems 1994: 1-20 |
| 11 | | Eugene Asarin,
Oded Maler:
On some Relations between Dynamical Systems and Transition Systems.
ICALP 1994: 59-72 |
| 10 | | Bernard Delyon,
Oded Maler:
On the Effects of Noise and Speed on Computations.
Theor. Comput. Sci. 129(2): 279-291 (1994) |
| 1993 |
|---|
| 9 | | Oded Maler,
Amir Pnueli:
Reachability Analysis of Planar Multi-limear Systems.
CAV 1993: 194-209 |
| 8 | | Oded Maler:
A Decomposition Theorem for Probabilistic Transition Systems.
STACS 1993: 323-332 |
| 7 | | Oded Maler,
Ludwig Staiger:
On Syntactic Congruences for Omega-Languages.
STACS 1993: 586-594 |
| 1992 |
|---|
| 6 | | Bernard Delyon,
Oded Maler:
On Fault-Tolerant Symbolic Computations.
FTRTFT 1992: 259-269 |
| 1991 |
|---|
| 5 | | Oded Maler,
Amir Pnueli:
On the Learnability of Infinitary Regular Sets.
COLT 1991: 128-136 |
| 4 | | Oded Maler,
Zohar Manna,
Amir Pnueli:
From Timed to Hybrid Systems.
REX Workshop 1991: 447-484 |
| 1990 |
|---|
| 3 | | Oded Maler,
Amir Pnueli:
Tight Bounds on the Complexity of Cascaded Decomposition of Automata
FOCS 1990: 672-682 |
| 1989 |
|---|
| 2 | | Oded Maler,
Amir Pnueli:
Learning omega-Regular Languages from Queries and Counter-Examples (A Preliminary Report).
AII 1989: 161-170 |
| 1986 |
|---|
| 1 | | Oded Maler,
Zahava Scherz,
Ehud Y. Shapiro:
A New Approach for Intruducing Prolog to Naive Users.
ICLP 1986: 544-551 |
