Oded Maler

According to our database, Oded Maler authored at least 138 papers between 1986 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2020

AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic.

Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus

Int. J. Softw. Tools Technol. Transf., 2020

2019

Set-Based Analysis for Biological Modeling.

Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca

Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

From Real-time Logic to Timed Automata.

Thomas Ferrère, Oded Maler, Dejan Nickovic, Amir Pnueli

J. ACM, 2019

Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071).

Jyotirmoy V. Deshmukh, Oded Maler, Dejan Nickovic

Dagstuhl Reports, 2019

Mixed-Time Signal Temporal Logic.

Thomas Ferrère, Oded Maler, Dejan Nickovic

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

ParetoLib: A Python Library for Parameter Synthesis.

Alexey Bakhirkin, Nicolas Basset, Oded Maler, José-Ignacio Requeno Jarabo

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

2018

Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.

Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan

Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

Formal Methods for the Synthesis of Biomolecular Circuits (Dagstuhl Seminar 18082).

Yaakov Benenson, Neil Dalchau, Heinz Koeppl, Oded Maler

Dagstuhl Reports, 2018

Specifying Timed Patterns using Temporal Logic.

Dogan Ulus, Oded Maler

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Efficient Parametric Identification for STL.

Alexey Bakhirkin, Thomas Ferrère, Oded Maler

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Online Timed Pattern Matching Using Automata.

Alexey Bakhirkin, Thomas Ferrère, Dejan Nickovic, Oded Maler, Eugene Asarin

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

2017

On the Quantitative Semantics of Regular Expressions over Real-Valued Signals.

Alexey Bakhirkin, Thomas Ferrère, Oded Maler, Dogan Ulus

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Combining the Temporal and Epistemic Dimensions for MTL Monitoring.

Eugene Asarin, Oded Maler, Dejan Nickovic, Dogan Ulus

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

A Generic Algorithm for Learning Symbolic Automata from Membership Queries.

Oded Maler, Irini-Eleftheria Mens

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

Online Timed Pattern Matching Using Derivatives.

Dogan Ulus, Thomas Ferrère, Eugene Asarin, Oded Maler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Double archive Pareto local search.

Oded Maler, Abhinav Srivastav

Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016

Some Thoughts on Runtime Verification.

Oded Maler

Proceedings of the Runtime Verification - 16th International Conference, 2016

2015

Learning Regular Languages over Large Ordered Alphabets.

Irini-Eleftheria Mens, Oded Maler

Log. Methods Comput. Sci., 2015

Reducing power with activity trigger analysis.

Jan Láník, Julien Legriel, Erwan Piriou, Emmanuel Viaud, Fahim Rahim, Oded Maler, Solaiman Rahim

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

On Switching Aware Synthesis for Combinational Circuits.

Jan Láník, Oded Maler

Proceedings of the Hardware and Software: Verification and Testing, 2015

Measuring with Timed Patterns.

Thomas Ferrère, Oded Maler, Dejan Nickovic, Dogan Ulus

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Trace Diagnostics Using Temporal Implicants.

Thomas Ferrère, Oded Maler, Dejan Nickovic

Proceedings of the Automated Technology for Verification and Analysis, 2015

Stochastic Local Search for Falsification of Hybrid Systems.

Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski, Oded Maler

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Formal and Informal Methods for Multi-Core Design Space Exploration.

Jean-Francois Kempf, Olivier Lebeltel, Oded Maler

Proceedings of the Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2014

Learning Regular Languages over Large Alphabets.

Oded Maler, Irini-Eleftheria Mens

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Exploring Synthetic Mass Action Models.

Oded Maler, Ádám M. Halász, Olivier Lebeltel, Ouri Maler

Proceedings of the Hybrid Systems Biology, 2014

Timed Pattern Matching.

Dogan Ulus, Thomas Ferrère, Eugene Asarin, Oded Maler

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

The Unmet Challenge of Timed Systems.

Oded Maler

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Many-Core Scheduling of Data Parallel Applications Using SMT Solvers.

Pranav Tendulkar, Peter Poplavko, Ioannis Galanommatis, Oded Maler

Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

2013

Monitoring properties of analog and mixed-signal circuits.

Oded Maler, Dejan Nickovic

Int. J. Softw. Tools Technol. Transf., 2013

STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion of Type I/Type II Cell Line Classification.

Szymon Stoma, Alexandre Donzé, François Bertaux, Oded Maler, Grégory Batt

PLoS Comput. Biol., 2013

Optimizing two-dimensional DMA transfers for scratchpad Based MPSoCs platforms.

Selma Saidi, Pranav Tendulkar, Thierry Lepley, Oded Maler

Microprocess. Microsystems, 2013

A Framework for Control Strategies in Uncertain Inference Networks

Moshe Ben-Bassat, Oded Maler

CoRR, 2013

Exploring the Dynamics of Mass Action Systems.

Oded Maler, Ádám M. Halász, Olivier Lebeltel, Ouri Maler

Proceedings of the Proceedings Second International Workshop on Hybrid Systems and Biology, 2013

Algorithmic Verification of Continuous and Hybrid Systems.

Oded Maler

Proceedings of the Proceedings 15th International Workshop on Verification of Infinite-State Systems, 2013

As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty.

Jean-Francois Kempf, Marius Bozga, Oded Maler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores.

Pranav Tendulkar, Peter Poplavko, Oded Maler

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

Efficient Robust Monitoring for STL.

Alexandre Donzé, Thomas Ferrère, Oded Maler

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Optimizing explicit data transfers for data parallel applications on the cell architecture.

Selma Saidi, Pranav Tendulkar, Thierry Lepley, Oded Maler

ACM Trans. Archit. Code Optim., 2012

Optimal 2D Data Partitioning for DMA Transfers on MPSoCs.

Selma Saidi, Pranav Tendulkar, Thierry Lepley, Oded Maler

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

On Temporal Logic and Signal Processing.

Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Computing reachable states for nonlinear biological models.

Thao Dang, Colas Le Guernic, Oded Maler

Theor. Comput. Sci., 2011

Multi-criteria optimization for mapping programs to multi-processors.

Scott Cotton, Oded Maler, Julien Legriel, Selma Saidi

Proceedings of the Industrial Embedded Systems (SIES), 2011

Parametric Identification of Temporal Properties.

Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic

Proceedings of the Runtime Verification - Second International Conference, 2011

Performance Evaluation of Schedulers in a Probabilistic Setting.

Jean-Francois Kempf, Marius Bozga, Oded Maler

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

On under-determined dynamical systems.

Oded Maler

Proceedings of the 11th International Conference on Embedded Software, 2011

Meeting Deadlines Cheaply.

Julien Legriel, Oded Maler

Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011

On universal search strategies for multi-criteria optimization using weighted sums.

Julien Legriel, Scott Cotton, Oded Maler

Proceedings of the IEEE Congress on Evolutionary Computation, 2011

SpaceEx: Scalable Verification of Hybrid Systems.

Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

On Zone-Based Analysis of Duration Probabilistic Automata

Oded Maler, Kim G. Larsen, Bruce H. Krogh

Proceedings of the Proceedings 12th International Workshop on Verification of Infinite-State Systems, 2010

Approximating the Pareto Front of Multi-criteria Optimization Problems.

Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Amir Pnueli and the dawn of hybrid systems.

Oded Maler

Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Accurate hybridization of nonlinear systems.

Thao Dang, Oded Maler, Romain Testylier

Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Property-Based Monitoring of Analog and Mixed-Signal Systems.

John Havlicek, Scott Little, Oded Maler, Dejan Nickovic

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Robust Satisfaction of Temporal Logic over Real-Valued Signals.

Alexandre Donzé, Oded Maler

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

On the Krohn-Rhodes Cascaded Decomposition Theorem.

Oded Maler

Proceedings of the Time for Verification, 2010

Using Redundant Constraints for Refinement.

Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Reachability for Continuous and Hybrid Systems.

Oded Maler

Proceedings of the Reachability Problems, 3rd International Workshop, 2009

On Omega-Languages Defined by Mean-Payoff Conditions.

Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss

Proceedings of the Foundations of Software Science and Computational Structures, 2009

Compositional timing analysis.

Ramzi Ben Salah, Marius Bozga, Oded Maler

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

2008

On Scheduling Policies for Streams of Structured Jobs.

Aldric Degorre, Oded Maler

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

Approximating Continuous Systems by Timed Automata.

Oded Maler, Grégory Batt

Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008

Sensitive state-space exploration.

Thao Dang, Alexandre Donzé, Oded Maler, Noa Shalev

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.

Oded Maler, Dejan Nickovic, Amir Pnueli

Proceedings of the Pillars of Computer Science, 2008

2007

On optimal and reasonable control in the presence of adversaries.

Oded Maler

Annu. Rev. Control., 2007

On timed components and their abstraction.

Ramzi Ben Salah, Marius Bozga, Oded Maler

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

Reachability Analysis of a Switched Buffer Network.

Goran Frehse, Oded Maler

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Systematic Simulation Using Sensitivity Analysis.

Alexandre Donzé, Oded Maler

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

AMT: A Property-Based Monitoring Tool for Analog Systems.

Dejan Nickovic, Oded Maler

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

On Timed Models of Gene Networks.

Grégory Batt, Ramzi Ben Salah, Oded Maler

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

On Synthesizing Controllers from Bounded-Response Properties.

Oded Maler, Dejan Nickovic, Amir Pnueli

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Scheduling with timed automata.

Yasmina Abdeddaïm, Eugene Asarin, Oded Maler

Theor. Comput. Sci., 2006

Fast and Flexible Difference Constraint Propagation for DPLL(T).

Scott Cotton, Oded Maler

Proceedings of the Theory and Applications of Satisfiability Testing, 2006

Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs.

Antoine Girard, Colas Le Guernic, Oded Maler

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

From MITL to Timed Automata.

Oded Maler, Dejan Nickovic, Amir Pnueli

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

On Interleaving in Timed Automata.

Ramzi Ben Salah, Marius Bozga, Oded Maler

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005

Analog Circuit Verification: a State of an Art.

Oded Maler

Proceedings of the First Workshop on Formal Verification of Analog Circuits, 2005

Preface.

Oded Maler

Proceedings of the First Workshop on Formal Verification of Analog Circuits, 2005

Time Domain Verification of Oscillator Circuit Properties.

Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler

Proceedings of the First Workshop on Formal Verification of Analog Circuits, 2005

Real Time Temporal Logic: Past, Present, Future.

Oded Maler, Dejan Nickovic, Amir Pnueli

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

From Control Loops to Real-Time Programs.

Paul Caspi, Oded Maler

Proceedings of the Handbook of Networked and Embedded Control Systems, 2005

2004

Scheduling Acyclic Branching Programs on Parallel Machines.

Marius Bozga, Abdelkarim Kerbaa, Oded Maler

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

On Recognizable Timed Languages.

Oded Maler, Amir Pnueli

Proceedings of the Foundations of Software Science and Computation Structures, 2004

Monitoring Temporal Properties of Continuous Signals.

Oded Maler, Dejan Nickovic

Proceedings of the Formal Techniques, 2004

Some Progress in Satisfiability Checking for Difference Logic.

Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert

Proceedings of the Formal Techniques, 2004

Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques.

Thao Dang, Alexandre Donzé, Oded Maler

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003

On Optimal Scheduling under Uncertainty.

Yasmina Abdeddaïm, Eugene Asarin, Oded Maler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Task Graph Scheduling Using Timed Automata.

Yasmina Abdeddaïm, Abdelkarim Kerbaa, Oded Maler

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

On Systematic Simulation of Open Continuous Systems.

James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg

Proceedings of the Hybrid Systems: Computation and Control, 2003

On Timing Analysis of Combinational Circuits.

Ramzi Ben Salah, Marius Bozga, Oded Maler

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

2002

Timed regular expressions.

Eugene Asarin, Paul Caspi, Oded Maler

J. ACM, 2002

Verification of Asynchronous Circuits using Timed Automata.

Marius Bozga, Jianmin Hou, Oded Maler, Sergio Yovine

Proceedings of the Theory and Practice of Timed Systems, 2002

Preface.

Eugene Asarin, Oded Maler, Sergio Yovine

Proceedings of the Theory and Practice of Timed Systems, 2002

Control from computer science.

Oded Maler

Annu. Rev. Control., 2002

Preemptive Job-Shop Scheduling Using Stopwatch Automata.

Yasmina Abdeddaïm, Oded Maler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

Verification of Timed Automata via Satisfiability Checking.

Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

On Control with Bounded Computational Resources.

Oded Maler, Bruce H. Krogh, Moez Mahfoudh

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

The d/dt Tool for Verification of Hybrid Systems.

Eugene Asarin, Thao Dang, Oded Maler

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

Timed Automata as an Underlying Model for Planning and Scheduling.

Oded Maler

Proceedings of the AIPS 2002 Workshop on Planning for Temporal Domains, 2002

2001

Symbolic model checking with rich assertional languages.

Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar

Theor. Comput. Sci., 2001

Guest Editorial: Verification of Hybrid Systems.

Oded Maler

Eur. J. Control, 2001

Hybrid Systems Applications: An Oxymoron?

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

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

On Hybrid Control of Under-Actuated Mechanical Systems.

Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao Dang, Oded Maler

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

d/dt: a verification tool for hybrid systems.

Eugene Asarin, Thao Dang, Oded Maler

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

Job-Shop Scheduling Using Timed Automata.

Yasmina Abdeddaïm, Oded Maler

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

Effective synthesis of switching controllers for linear systems.

Eugene Asarin, Olivier Bournez, Thao Dang, Oded Maler, Amir Pnueli

Proc. IEEE, 2000

An efficient automata approach to some problems on context-free grammars.

Ahmed Bouajjani, Javier Esparza, Alain Finkel, Oded Maler, Peter Rossmanith, Bernard Willems, Pierre Wolper

Inf. Process. Lett., 2000

On the Representation of Timed Polyhedra.

Olivier Bournez, Oded Maler

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems.

Eugene Asarin, Thao Dang, Oded Maler, Olivier Bournez

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

1999

Orthogonal Polyhedra: Representation and Computation.

Olivier Bournez, Oded Maler, Amir Pnueli

Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999

As Soon as Possible: Time Optimal Control for Timed Automata.

Eugene Asarin, Oded Maler

Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999

Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics.

Marius Bozga, Oded Maler, Stavros Tripakis

Proceedings of the Correct Hardware Design and Verification Methods, 1999

On the Representation of Probabilities over Structured Domains.

Marius Bozga, Oded Maler

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy.

Eugene Asarin, Oded Maler

J. Comput. Syst. Sci., 1998

Reachability Analysis via Face Lifting.

Thao Dang, Oded Maler

Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98).

Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

On Discretization of Delays in Timed Automata and Digital Circuits.

Eugene Asarin, Oded Maler, Amir Pnueli

Proceedings of the CONCUR '98: Concurrency Theory, 1998

Kronos: A Model-Checking Tool for Real-Time Systems.

Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

On Syntactic Congruences for Omega-Languages.

Oded Maler, Ludwig Staiger

Theor. Comput. Sci., 1997

A Kleene Theorem for Timed Automata.

Eugene Asarin, Paul Caspi, Oded Maler

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

Data-Structures for the Verification of Timed Automata.

Eugene Asarin, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli, Anne Rasse

Proceedings of the Hybrid and Real-Time Systems, 1997

Reachability Analysis of Pushdown Automata: Application to Model-Checking.

Ahmed Bouajjani, Javier Esparza, Oded Maler

Proceedings of the CONCUR '97: Concurrency Theory, 1997

Symbolic Model Checking with Rich ssertional Languages.

Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

Some Progress in the Symbolic Verification of Timed Automata.

Marius Bozga, Oded Maler, Amir Pnueli, Sergio Yovine

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1995

On the Learnability of Infinitary Regular Sets

Oded Maler, Amir Pnueli

Inf. Comput., May, 1995

A Decomposition Theorem for Probabilistic Transition Systems.

Oded Maler

Theor. Comput. Sci., 1995

Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives.

Eugene Asarin, Oded Maler, Amir Pnueli

Theor. Comput. Sci., 1995

On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract).

Oded Maler, Amir Pnueli, Joseph Sifakis

Proceedings of the STACS 95, 1995

Timing analysis of asynchronous circuits using timed automata.

Oded Maler, Amir Pnueli

Proceedings of the Correct Hardware Design and Verification Methods, 1995

1994

On the Effects of Noise and Speed on Computations.

Bernard Delyon, Oded Maler

Theor. Comput. Sci., 1994

On some Relations between Dynamical Systems and Transition Systems.

Eugene Asarin, Oded Maler

Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994

Symbolic Controller Synthesis for Discrete and Timed Systems.

Eugene Asarin, Oded Maler, Amir Pnueli

Proceedings of the Hybrid Systems II, 1994

1993

Reachability Analysis of Planar Multi-limear Systems.

Oded Maler, Amir Pnueli

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

On Fault-Tolerant Symbolic Computations.

Bernard Delyon, Oded Maler

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

1991

From Timed to Hybrid Systems.

Oded Maler, Zohar Manna, Amir Pnueli

Proceedings of the Real-Time: Theory in Practice, 1991

1990

Tight Bounds on the Complexity of Cascaded Decomposition of Automata

Oded Maler, Amir Pnueli

Proceedings of the 31st Annual Symposium on Foundations of Computer Science, 1990

1989

Learning omega-Regular Languages from Queries and Counter-Examples (A Preliminary Report).

Oded Maler, Amir Pnueli

Proceedings of the Analogical and Inductive Inference, 1989

1986

A New Approach for Intruducing Prolog to Naive Users.

Oded Maler, Zahava Scherz, Ehud Shapiro

Proceedings of the Third International Conference on Logic Programming, 1986