Oded Maler

According to our database1, Oded Maler authored at least 133 papers between 1986 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Set-Based Analysis for Biological Modeling.
Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

From Real-time Logic to Timed Automata.
J. ACM, 2019

2018
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.
Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

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

AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Specifying Timed Patterns using Temporal Logic.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Efficient Parametric Identification for STL.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Online Timed Pattern Matching Using Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

2017
On the Quantitative Semantics of Regular Expressions over Real-Valued Signals.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Combining the Temporal and Epistemic Dimensions for MTL Monitoring.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

A Generic Algorithm for Learning Symbolic Automata from Membership Queries.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016
Online Timed Pattern Matching Using Derivatives.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Double archive Pareto local search.
Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016

Some Thoughts on Runtime Verification.
Proceedings of the Runtime Verification - 16th International Conference, 2016

2015
Learning Regular Languages over Large Ordered Alphabets.
Logical Methods in Computer Science, 2015

Reducing power with activity trigger analysis.
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

On Switching Aware Synthesis for Combinational Circuits.
Proceedings of the Hardware and Software: Verification and Testing, 2015

Measuring with Timed Patterns.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Trace Diagnostics Using Temporal Implicants.
Proceedings of the Automated Technology for Verification and Analysis, 2015

Stochastic Local Search for Falsification of Hybrid Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2015

2014
Formal and Informal Methods for Multi-Core Design Space Exploration.
Proceedings of the Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2014

Learning Regular Languages over Large Alphabets.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Exploring Synthetic Mass Action Models.
Proceedings of the Hybrid Systems Biology, 2014

Timed Pattern Matching.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

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

Many-Core Scheduling of Data Parallel Applications Using SMT Solvers.
Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

2013
Monitoring properties of analog and mixed-signal circuits.
STTT, 2013

STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion of Type I/Type II Cell Line Classification.
PLoS Computational Biology, 2013

Optimizing two-dimensional DMA transfers for scratchpad Based MPSoCs platforms.
Microprocessors and Microsystems - Embedded Hardware Design, 2013

Exploring the Dynamics of Mass Action Systems.
Proceedings of the Proceedings Second International Workshop on Hybrid Systems and Biology, 2013

Algorithmic Verification of Continuous and Hybrid Systems.
Proceedings of the Proceedings 15th International Workshop on Verification of Infinite-State Systems, 2013

As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

Efficient Robust Monitoring for STL.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

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

Optimal 2D Data Partitioning for DMA Transfers on MPSoCs.
Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

On Temporal Logic and Signal Processing.
Proceedings of the Automated Technology for Verification and Analysis, 2012

2011
Multi-criteria optimization for mapping programs to multi-processors.
Proceedings of the Industrial Embedded Systems (SIES), 2011

Parametric Identification of Temporal Properties.
Proceedings of the Runtime Verification - Second International Conference, 2011

Performance Evaluation of Schedulers in a Probabilistic Setting.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

On under-determined dynamical systems.
Proceedings of the 11th International Conference on Embedded Software, 2011

Meeting Deadlines Cheaply.
Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011

On universal search strategies for multi-criteria optimization using weighted sums.
Proceedings of the IEEE Congress on Evolutionary Computation, 2011

SpaceEx: Scalable Verification of Hybrid Systems.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
On Zone-Based Analysis of Duration Probabilistic Automata
Proceedings of the Proceedings 12th International Workshop on Verification of Infinite-State Systems, 2010

Approximating the Pareto Front of Multi-criteria Optimization Problems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Amir Pnueli and the dawn of hybrid systems.
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Accurate hybridization of nonlinear systems.
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Property-Based Monitoring of Analog and Mixed-Signal Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Robust Satisfaction of Temporal Logic over Real-Valued Signals.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

On the Krohn-Rhodes Cascaded Decomposition Theorem.
Proceedings of the Time for Verification, 2010

Using Redundant Constraints for Refinement.
Proceedings of the Automated Technology for Verification and Analysis, 2010

2009
Reachability for Continuous and Hybrid Systems.
Proceedings of the Reachability Problems, 3rd International Workshop, 2009

On Omega-Languages Defined by Mean-Payoff Conditions.
Proceedings of the Foundations of Software Science and Computational Structures, 2009

Compositional timing analysis.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

Computing Reachable States for Nonlinear Biological Models.
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

2008
On Scheduling Policies for Streams of Structured Jobs.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

Approximating Continuous Systems by Timed Automata.
Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008

Sensitive state-space exploration.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.
Proceedings of the Pillars of Computer Science, 2008

2007
On optimal and reasonable control in the presence of adversaries.
Annual Reviews in Control, 2007

On timed components and their abstraction.
Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

Reachability Analysis of a Switched Buffer Network.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Systematic Simulation Using Sensitivity Analysis.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

AMT: A Property-Based Monitoring Tool for Analog Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

On Timed Models of Gene Networks.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

On Synthesizing Controllers from Bounded-Response Properties.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006
Scheduling with timed automata.
Theor. Comput. Sci., 2006

Analog Circuit Verification: a State of an Art.
Electr. Notes Theor. Comput. Sci., 2006

Preface.
Electr. Notes Theor. Comput. Sci., 2006

Time Domain Verification of Oscillator Circuit Properties.
Electr. Notes Theor. Comput. Sci., 2006

Fast and Flexible Difference Constraint Propagation for DPLL(T).
Proceedings of the Theory and Applications of Satisfiability Testing, 2006

Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs.
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

From MITL to Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

On Interleaving in Timed Automata.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005
Real Time Temporal Logic: Past, Present, Future.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

From Control Loops to Real-Time Programs.
Proceedings of the Handbook of Networked and Embedded Control Systems, 2005

2004
Scheduling Acyclic Branching Programs on Parallel Machines.
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

On Recognizable Timed Languages.
Proceedings of the Foundations of Software Science and Computation Structures, 2004

Monitoring Temporal Properties of Continuous Signals.
Proceedings of the Formal Techniques, 2004

Some Progress in Satisfiability Checking for Difference Logic.
Proceedings of the Formal Techniques, 2004

Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques.
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003
On Optimal Scheduling under Uncertainty.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Task Graph Scheduling Using Timed Automata.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

On Systematic Simulation of Open Continuous Systems.
Proceedings of the Hybrid Systems: Computation and Control, 2003

On Timing Analysis of Combinational Circuits.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

2002
Timed regular expressions.
J. ACM, 2002

Verification of Asynchronous Circuits using Timed Automata.
Electr. Notes Theor. Comput. Sci., 2002

Preface.
Electr. Notes Theor. Comput. Sci., 2002

Control from computer science.
Annual Reviews in Control, 2002

Preemptive Job-Shop Scheduling Using Stopwatch Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

Verification of Timed Automata via Satisfiability Checking.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

On Control with Bounded Computational Resources.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

The d/dt Tool for Verification of Hybrid Systems.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

Timed Automata as an Underlying Model for Planning and Scheduling.
Proceedings of the AIPS 2002 Workshop on Planning for Temporal Domains, 2002

2001
Symbolic model checking with rich assertional languages.
Theor. Comput. Sci., 2001

Guest Editorial: Verification of Hybrid Systems.
Eur. J. Control, 2001

Hybrid Systems Applications: An Oxymoron?
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

On Hybrid Control of Under-Actuated Mechanical Systems.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Job-Shop Scheduling Using Timed Automata.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000
An efficient automata approach to some problems on context-free grammars.
Inf. Process. Lett., 2000

On the Representation of Timed Polyhedra.
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems.
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

1999
Orthogonal Polyhedra: Representation and Computation.
Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999

As Soon as Possible: Time Optimal Control for Timed Automata.
Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999

Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics.
Proceedings of the Correct Hardware Design and Verification Methods, 1999

On the Representation of Probabilities over Structured Domains.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998
Reachability Analysis via Face Lifting.
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).
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

On Discretization of Delays in Timed Automata and Digital Circuits.
Proceedings of the CONCUR '98: Concurrency Theory, 1998

Kronos: A Model-Checking Tool for Real-Time Systems.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997
A Kleene Theorem for Timed Automata.
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.
Proceedings of the Hybrid and Real-Time Systems, 1997

Reachability Analysis of Pushdown Automata: Application to Model-Checking.
Proceedings of the CONCUR '97: Concurrency Theory, 1997

Symbolic Model Checking with Rich ssertional Languages.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

Some Progress in the Symbolic Verification of Timed Automata.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1995
On the Learnability of Infinitary Regular Sets
Inf. Comput., May, 1995

Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives.
Theor. Comput. Sci., 1995

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

Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

Timing analysis of asynchronous circuits using timed automata.
Proceedings of the Correct Hardware Design and Verification Methods, 1995

1994
On the Effects of Noise and Speed on Computations.
Theor. Comput. Sci., 1994

On some Relations between Dynamical Systems and Transition Systems.
Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994

Symbolic Controller Synthesis for Discrete and Timed Systems.
Proceedings of the Hybrid Systems II, 1994

1993
On Syntactic Congruences for Omega-Languages.
Proceedings of the STACS 93, 1993

A Decomposition Theorem for Probabilistic Transition Systems.
Proceedings of the STACS 93, 1993

Reachability Analysis of Planar Multi-limear Systems.
Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992
On Fault-Tolerant Symbolic Computations.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

1991
From Timed to Hybrid Systems.
Proceedings of the Real-Time: Theory in Practice, 1991

On the Learnability of Infinitary Regular Sets.
Proceedings of the Fourth Annual Workshop on Computational Learning Theory, 1991

1990
Tight Bounds on the Complexity of Cascaded Decomposition of Automata
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).
Proceedings of the Analogical and Inductive Inference, 1989

1986
A New Approach for Intruducing Prolog to Naive Users.
Proceedings of the Third International Conference on Logic Programming, 1986


  Loading...