Oded Maler

Oded Maler, Dejan Nickovic: Monitoring properties of analog and mixed-signal circuits. STTT 15(3): 247-268 (2013)

Jean-Francois Kempf, Marius Bozga, Oded Maler: As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty. TACAS 2013: 385-400

Moshe Ben-Bassat, Oded Maler: A Framework for Control Strategies in Uncertain Inference Networks. CoRR abs/1304.3435 (2013)

Selma Saidi, Pranav Tendulkar, Thierry Lepley, Oded Maler: Optimizing explicit data transfers for data parallel applications on the cell architecture. TACO 8(4): 37 (2012)

Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka: On Temporal Logic and Signal Processing. ATVA 2012: 92-106

Selma Saidi, Pranav Tendulkar, Thierry Lepley, Oded Maler: Optimal 2D Data Partitioning for DMA Transfers on MPSoCs. DSD 2012: 584-591

Thao Dang, Colas Le Guernic, Oded Maler: Computing reachable states for nonlinear biological models. Theor. Comput. Sci. 412(21): 2095-2107 (2011)

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

Julien Legriel, Scott Cotton, Oded Maler: On universal search strategies for multi-criteria optimization using weighted sums. IEEE Congress on Evolutionary Computation 2011: 2351-2358

Julien Legriel, Oded Maler: Meeting Deadlines Cheaply. ECRTS 2011: 185-194

Oded Maler: On under-determined dynamical systems. EMSOFT 2011: 89-96

Jean-Francois Kempf, Marius Bozga, Oded Maler: Performance Evaluation of Schedulers in a Probabilistic Setting. FORMATS 2011: 1-17

Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic: Parametric Identification of Temporal Properties. RV 2011: 147-160

Scott Cotton, Oded Maler, Julien Legriel, Selma Saidi: Multi-criteria optimization for mapping programs to multi-processors. SIES 2011: 9-17

Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier: Using Redundant Constraints for Refinement. ATVA 2010: 37-51

Oded Maler: On the Krohn-Rhodes Cascaded Decomposition Theorem. Essays in Memory of Amir Pnueli 2010: 260-278

John Havlicek, Scott Little, Oded Maler, Dejan Nickovic: Property-Based Monitoring of Analog and Mixed-Signal Systems. FORMATS 2010: 23-24

Alexandre Donzé, Oded Maler: Robust Satisfaction of Temporal Logic over Real-Valued Signals. FORMATS 2010: 92-106

Thao Dang, Oded Maler, Romain Testylier: Accurate hybridization of nonlinear systems. HSCC 2010: 11-20

Oded Maler: Amir Pnueli and the dawn of hybrid systems. HSCC 2010: 293-295

Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler: Approximating the Pareto Front of Multi-criteria Optimization Problems. TACAS 2010: 69-83

Oded Maler, Kim G. Larsen, Bruce H. Krogh: On Zone-Based Analysis of Duration Probabilistic Automata. INFINITY 2010: 33-46

Thao Dang, Colas Le Guernic, Oded Maler: Computing Reachable States for Nonlinear Biological Models. CMSB 2009: 126-141

Ramzi Ben Salah, Marius Bozga, Oded Maler: Compositional timing analysis. EMSOFT 2009: 39-48

Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss: On Omega-Languages Defined by Mean-Payoff Conditions. FOSSACS 2009: 333-347

Oded Maler: Reachability for Continuous and Hybrid Systems. RP 2009: 24-25

Ahmed Bouajjani, Oded Maler (Eds.): Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings. Lecture Notes in Computer Science 5643, Springer 2009, isbn 978-3-642-02657-7

Oded Maler, Dejan Nickovic, Amir Pnueli: Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. Pillars of Computer Science 2008: 475-505

Thao Dang, Alexandre Donzé, Oded Maler, Noa Shalev: Sensitive state-space exploration. CDC 2008: 4049-4054

Oded Maler, Grégory Batt: Approximating Continuous Systems by Timed Automata. FMSB 2008: 77-89

Aldric Degorre, Oded Maler: On Scheduling Policies for Streams of Structured Jobs. FORMATS 2008: 141-154

Oded Maler: On optimal and reasonable control in the presence of adversaries. Annual Reviews in Control 31(1): 1-15 (2007)

Oded Maler, Dejan Nickovic, Amir Pnueli: On Synthesizing Controllers from Bounded-Response Properties. CAV 2007: 95-107

Grégory Batt, Ramzi Ben Salah, Oded Maler: On Timed Models of Gene Networks. FORMATS 2007: 38-52

Dejan Nickovic, Oded Maler: AMT: A Property-Based Monitoring Tool for Analog Systems. FORMATS 2007: 304-319

Alexandre Donzé, Oded Maler: Systematic Simulation Using Sensitivity Analysis. HSCC 2007: 174-189

Goran Frehse, Oded Maler: Reachability Analysis of a Switched Buffer Network. HSCC 2007: 698-701

Ramzi Ben Salah, Marius Bozga, Oded Maler: On timed components and their abstraction. SAVCBS 2007: 63-71

Oded Maler: Preface. Electr. Notes Theor. Comput. Sci. 153(3): 1-2 (2006)

Oded Maler: Analog Circuit Verification: a State of an Art. Electr. Notes Theor. Comput. Sci. 153(3): 3-7 (2006)

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)

Yasmina Abdeddaïm, Eugene Asarin, Oded Maler: Scheduling with timed automata. Theor. Comput. Sci. 354(2): 272-300 (2006)

Ramzi Ben Salah, Marius Bozga, Oded Maler: On Interleaving in Timed Automata. CONCUR 2006: 465-476

Oded Maler, Dejan Nickovic, Amir Pnueli: From MITL to Timed Automata. FORMATS 2006: 274-289

Antoine Girard, Colas Le Guernic, Oded Maler: Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. HSCC 2006: 257-271

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

Paul Caspi, Oded Maler: From Control Loops to Real-Time Programs. Handbook of Networked and Embedded Control Systems 2005: 395-418

Oded Maler, Dejan Nickovic, Amir Pnueli: Real Time Temporal Logic: Past, Present, Future. FORMATS 2005: 2-16

Thao Dang, Alexandre Donzé, Oded Maler: Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques. FMCAD 2004: 21-36

Oded Maler, Dejan Nickovic: Monitoring Temporal Properties of Continuous Signals. FORMATS/FTRTFT 2004: 152-166

Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert: Some Progress in Satisfiability Checking for Difference Logic. FORMATS/FTRTFT 2004: 263-276

Oded Maler, Amir Pnueli: On Recognizable Timed Languages. FoSSaCS 2004: 348-362

Marius Bozga, Abdelkarim Kerbaa, Oded Maler: Scheduling Acyclic Branching Programs on Parallel Machines. RTSS 2004: 208-217

Ramzi Ben Salah, Marius Bozga, Oded Maler: On Timing Analysis of Combinational Circuits. FORMATS 2003: 204-219

James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg: On Systematic Simulation of Open Continuous Systems. HSCC 2003: 283-297

Yasmina Abdeddaïm, Abdelkarim Kerbaa, Oded Maler: Task Graph Scheduling Using Timed Automata. IPDPS 2003: 237

Yasmina Abdeddaïm, Eugene Asarin, Oded Maler: On Optimal Scheduling under Uncertainty. TACAS 2003: 240-253

Oded Maler, Amir Pnueli (Eds.): Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings. Lecture Notes in Computer Science 2623, Springer 2003, isbn 3-540-00913-2

Marius Bozga, Jianmin Hou, Oded Maler, Sergio Yovine: Verification of Asynchronous Circuits using Timed Automata. Electr. Notes Theor. Comput. Sci. 65(6): 47-59 (2002)

Eugene Asarin, Oded Maler, Sergio Yovine: Preface. Electr. Notes Theor. Comput. Sci. 65(6): 273-274 (2002)

Eugene Asarin, Paul Caspi, Oded Maler: Timed regular expressions. J. ACM 49(2): 172-206 (2002)

Oded Maler: Timed Automata as an Underlying Model for Planning and Scheduling. AIPS Workshop on Planning for Temporal Domains 2002: 67-70

Eugene Asarin, Thao Dang, Oded Maler: The d/dt Tool for Verification of Hybrid Systems. CAV 2002: 365-370

Oded Maler, Bruce H. Krogh, Moez Mahfoudh: On Control with Bounded Computational Resources. FTRTFT 2002: 147-164

Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain: Verification of Timed Automata via Satisfiability Checking. FTRTFT 2002: 225-244

Yasmina Abdeddaïm, Oded Maler: Preemptive Job-Shop Scheduling Using Stopwatch Automata. TACAS 2002: 113-126

Oded Maler: Guest Editorial: Verification of Hybrid Systems. Eur. J. Control 7(4): 357-365 (2001)

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)

Yasmina Abdeddaïm, Oded Maler: Job-Shop Scheduling Using Timed Automata. CAV 2001: 478-492

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

Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao Dang, Oded Maler: On Hybrid Control of Under-Actuated Mechanical Systems. HSCC 2001: 77-88

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)

Eugene Asarin, Thao Dang, Oded Maler, Olivier Bournez: Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems. HSCC 2000: 20-31

Olivier Bournez, Oded Maler: On the Representation of Timed Polyhedra. ICALP 2000: 793-807

Marius Bozga, Oded Maler: On the Representation of Probabilities over Structured Domains. CAV 1999: 261-273

Marius Bozga, Oded Maler, Stavros Tripakis: Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics. CHARME 1999: 125-141

Eugene Asarin, Oded Maler: As Soon as Possible: Time Optimal Control for Timed Automata. HSCC 1999: 19-30

Olivier Bournez, Oded Maler, Amir Pnueli: Orthogonal Polyhedra: Representation and Computation. HSCC 1999: 46-60

Eugene Asarin, Oded Maler: Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy. J. Comput. Syst. Sci. 57(3): 389-398 (1998)

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

Eugene Asarin, Oded Maler, Amir Pnueli: On Discretization of Delays in Timed Automata and Digital Circuits. CONCUR 1998: 470-484

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

Thao Dang, Oded Maler: Reachability Analysis via Face Lifting. HSCC 1998: 96-109

Oded Maler, Ludwig Staiger: On Syntactic Congruences for Omega-Languages. Theor. Comput. Sci. 183(1): 93-112 (1997)

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

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

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

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

Eugene Asarin, Paul Caspi, Oded Maler: A Kleene Theorem for Timed Automata. LICS 1997: 160-171

Oded Maler (Ed.): Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble, France, March 26-28, 1997, Proceedings. Lecture Notes in Computer Science 1201, Springer 1997, isbn 3-540-62600-X

Oded Maler, Amir Pnueli: On the Learnability of Infinitary Regular Sets. Inf. Comput. 118(2): 316-326 (1995)

Eugene Asarin, Oded Maler, Amir Pnueli: Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives. Theor. Comput. Sci. 138(1): 35-65 (1995)

Oded Maler: A Decomposition Theorem for Probabilistic Transition Systems. Theor. Comput. Sci. 145(1&2): 391-396 (1995)

Oded Maler, Amir Pnueli: Timing analysis of asynchronous circuits using timed automata. CHARME 1995: 189-205

Eugene Asarin, Oded Maler: Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy. FSTTCS 1995: 471-483

Oded Maler, Amir Pnueli, Joseph Sifakis: On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract). STACS 1995: 229-242

Bernard Delyon, Oded Maler: On the Effects of Noise and Speed on Computations. Theor. Comput. Sci. 129(2): 279-291 (1994)

Eugene Asarin, Oded Maler, Amir Pnueli: Symbolic Controller Synthesis for Discrete and Timed Systems. Hybrid Systems 1994: 1-20

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

Oded Maler, Amir Pnueli: Reachability Analysis of Planar Multi-limear Systems. CAV 1993: 194-209

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

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

Bernard Delyon, Oded Maler: On Fault-Tolerant Symbolic Computations. FTRTFT 1992: 259-269

Oded Maler, Amir Pnueli: On the Learnability of Infinitary Regular Sets. COLT 1991: 128-136

Oded Maler, Zohar Manna, Amir Pnueli: From Timed to Hybrid Systems. REX Workshop 1991: 447-484

Oded Maler, Amir Pnueli: Tight Bounds on the Complexity of Cascaded Decomposition of Automata. FOCS 1990: 672-682

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

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