2009 |
79 | EE | Rajeev Alur,
Aldric Degorre,
Oded Maler,
Gera Weiss:
On Omega-Languages Defined by Mean-Payoff Conditions.
FOSSACS 2009: 333-347 |
2008 |
78 | EE | Oded Maler,
Grégory Batt:
Approximating Continuous Systems by Timed Automata.
FMSB 2008: 77-89 |
77 | EE | Aldric Degorre,
Oded Maler:
On Scheduling Policies for Streams of Structured Jobs.
FORMATS 2008: 141-154 |
76 | EE | Oded Maler,
Dejan Nickovic,
Amir Pnueli:
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.
Pillars of Computer Science 2008: 475-505 |
2007 |
75 | EE | Oded Maler,
Dejan Nickovic,
Amir Pnueli:
On Synthesizing Controllers from Bounded-Response Properties.
CAV 2007: 95-107 |
74 | EE | Dejan Nickovic,
Oded Maler:
AMT: A Property-Based Monitoring Tool for Analog Systems.
FORMATS 2007: 304-319 |
73 | EE | Grégory Batt,
Ramzi Ben Salah,
Oded Maler:
On Timed Models of Gene Networks.
FORMATS 2007: 38-52 |
72 | EE | Alexandre Donzé,
Oded Maler:
Systematic Simulation Using Sensitivity Analysis.
HSCC 2007: 174-189 |
71 | EE | Goran Frehse,
Oded Maler:
Reachability Analysis of a Switched Buffer Network.
HSCC 2007: 698-701 |
70 | EE | Ramzi Ben Salah,
Marius Bozga,
Oded Maler:
On timed components and their abstraction.
SAVCBS 2007: 63-71 |
2006 |
69 | EE | Ramzi Ben Salah,
Marius Bozga,
Oded Maler:
On Interleaving in Timed Automata.
CONCUR 2006: 465-476 |
68 | EE | Oded Maler,
Dejan Nickovic,
Amir Pnueli:
From MITL to Timed Automata.
FORMATS 2006: 274-289 |
67 | EE | Antoine Girard,
Colas Le Guernic,
Oded Maler:
Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs.
HSCC 2006: 257-271 |
66 | EE | Scott Cotton,
Oded Maler:
Fast and Flexible Difference Constraint Propagation for DPLL(T).
SAT 2006: 170-183 |
65 | EE | Oded Maler:
Preface.
Electr. Notes Theor. Comput. Sci. 153(3): 1-2 (2006) |
64 | EE | Oded Maler:
Analog Circuit Verification: a State of an Art.
Electr. Notes Theor. Comput. Sci. 153(3): 3-7 (2006) |
63 | EE | 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 | EE | Yasmina Abdeddaïm,
Eugene Asarin,
Oded Maler:
Scheduling with timed automata.
Theor. Comput. Sci. 354(2): 272-300 (2006) |
2005 |
61 | EE | 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 | EE | Thao Dang,
Alexandre Donzé,
Oded Maler:
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques.
FMCAD 2004: 21-36 |
58 | EE | Oded Maler,
Dejan Nickovic:
Monitoring Temporal Properties of Continuous Signals.
FORMATS/FTRTFT 2004: 152-166 |
57 | EE | Scott Cotton,
Eugene Asarin,
Oded Maler,
Peter Niebert:
Some Progress in Satisfiability Checking for Difference Logic.
FORMATS/FTRTFT 2004: 263-276 |
56 | EE | Oded Maler,
Amir Pnueli:
On Recognizable Timed Languages.
FoSSaCS 2004: 348-362 |
55 | EE | 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 | EE | Ramzi Ben Salah,
Marius Bozga,
Oded Maler:
On Timing Analysis of Combinational Circuits.
FORMATS 2003: 204-219 |
52 | EE | James Kapinski,
Bruce H. Krogh,
Oded Maler,
Olaf Stursberg:
On Systematic Simulation of Open Continuous Systems.
HSCC 2003: 283-297 |
51 | EE | Yasmina Abdeddaïm,
Abdelkarim Kerbaa,
Oded Maler:
Task Graph Scheduling Using Timed Automata.
IPDPS 2003: 237 |
50 | EE | 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 | EE | Eugene Asarin,
Thao Dang,
Oded Maler:
The d/dt Tool for Verification of Hybrid Systems.
CAV 2002: 365-370 |
47 | EE | Oded Maler,
Bruce H. Krogh,
Moez Mahfoudh:
On Control with Bounded Computational Resources.
FTRTFT 2002: 147-164 |
46 | EE | Peter Niebert,
Moez Mahfoudh,
Eugene Asarin,
Marius Bozga,
Oded Maler,
Navendu Jain:
Verification of Timed Automata via Satisfiability Checking.
FTRTFT 2002: 225-244 |
45 | EE | Yasmina Abdeddaïm,
Oded Maler:
Preemptive Job-Shop Scheduling Using Stopwatch Automata.
TACAS 2002: 113-126 |
44 | EE | Eugene Asarin,
Oded Maler,
Sergio Yovine:
Preface.
Electr. Notes Theor. Comput. Sci. 65(6): (2002) |
43 | EE | Marius Bozga,
Hou Jianmin,
Oded Maler,
Sergio Yovine:
Verification of Asynchronous Circuits using Timed Automata.
Electr. Notes Theor. Comput. Sci. 65(6): (2002) |
42 | EE | Eugene Asarin,
Paul Caspi,
Oded Maler:
Timed regular expressions.
J. ACM 49(2): 172-206 (2002) |
2001 |
41 | EE | Yasmina Abdeddaïm,
Oded Maler:
Job-Shop Scheduling Using Timed Automata.
CAV 2001: 478-492 |
40 | EE | 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 | EE | Eugene Asarin,
Sorav Bansal,
Bernard Espiau,
Thao Dang,
Oded Maler:
On Hybrid Control of Under-Actuated Mechanical Systems.
HSCC 2001: 77-88 |
38 | EE | 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 | EE | Eugene Asarin,
Thao Dang,
Oded Maler,
Olivier Bournez:
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems.
HSCC 2000: 20-31 |
36 | EE | Olivier Bournez,
Oded Maler:
On the Representation of Timed Polyhedra.
ICALP 2000: 793-807 |
35 | EE | 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 | EE | Marius Bozga,
Oded Maler:
On the Representation of Probabilities over Structured Domains.
CAV 1999: 261-273 |
33 | EE | Marius Bozga,
Oded Maler,
Stavros Tripakis:
Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics.
CHARME 1999: 125-141 |
32 | EE | Eugene Asarin,
Oded Maler:
As Soon as Possible: Time Optimal Control for Timed Automata.
HSCC 1999: 19-30 |
31 | EE | 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 | EE | Eugene Asarin,
Oded Maler,
Amir Pnueli:
On Discretization of Delays in Timed Automata and Digital Circuits.
CONCUR 1998: 470-484 |
28 | EE | 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 | EE | Eugene Asarin,
Paul Caspi,
Oded Maler:
A Kleene Theorem for Timed Automata.
LICS 1997: 160-171 |
19 | EE | 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 | EE | Eugene Asarin,
Oded Maler,
Amir Pnueli:
Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives.
Theor. Comput. Sci. 138(1): 35-65 (1995) |
13 | EE | 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 | EE | 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 |