Oded Maler

151 papers A* 16A 12B 15C 3Misc 2Journal 26Unranked 69
YearRankTypeTitle / Venue / Authors
2024 J jnl
Elements of Timed Pattern Matching.
ACM Trans. Embed. Comput. Syst.
Dogan Ulus, Thomas Ferrère, Eugene Asarin, Dejan Nickovic, Oded Maler
2020 J jnl
AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic.
Int. J. Softw. Tools Technol. Transf.
Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus
2019 J jnl
From Real-time Logic to Timed Automata.
J. ACM
Thomas Ferrère, Oded Maler, Dejan Nickovic, Amir Pnueli
2019 — conf
Mixed-Time Signal Temporal Logic.
FORMATS
Thomas Ferrère, Oded Maler, Dejan Nickovic
2019 — conf
ParetoLib: A Python Library for Parameter Synthesis.
FORMATS
Alexey Bakhirkin, Nicolas Basset, Oded Maler, José Ignacio Requeno Jarabo
2019 — ch.
Set-Based Analysis for Biological Modeling.
Automated Reasoning for Systems Biology and Medicine
Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca
2019 J jnl
Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071).
Dagstuhl Reports
Jyotirmoy V. Deshmukh, Oded Maler, Dejan Nickovic
2018 — conf
AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic.
TACAS (2)
Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus
2018 — conf
Efficient Parametric Identification for STL.
HSCC
Alexey Bakhirkin, Thomas Ferrère, Oded Maler
2018 J jnl
Formal Methods for the Synthesis of Biomolecular Circuits (Dagstuhl Seminar 18082).
Dagstuhl Reports
Yaakov Benenson, Neil Dalchau, Heinz Koeppl, Oded Maler
2018 — conf
Online Timed Pattern Matching Using Automata.
FORMATS
Alexey Bakhirkin, Thomas Ferrère, Dejan Nickovic, Oded Maler, Eugene Asarin
2018 — ch.
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.
Lectures on Runtime Verification
Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan
2018 — conf
Specifying Timed Patterns using Temporal Logic.
HSCC
Dogan Ulus, Oded Maler
2017 — conf
A Generic Algorithm for Learning Symbolic Automata from Membership Queries.
Models, Algorithms, Logics and Tools
Oded Maler, Irini-Eleftheria Mens
2017 — conf
Combining the Temporal and Epistemic Dimensions for MTL Monitoring.
FORMATS
Eugene Asarin, Oded Maler, Dejan Nickovic, Dogan Ulus
2017 — conf
On the Quantitative Semantics of Regular Expressions over Real-Valued Signals.
FORMATS
Alexey Bakhirkin, Thomas Ferrère, Oded Maler, Dogan Ulus
2016 — conf
Double archive Pareto local search.
SSCI
Oded Maler, Abhinav Srivastav
2016 A conf
Online Timed Pattern Matching Using Derivatives.
TACAS
Dogan Ulus, Thomas Ferrère, Eugene Asarin, Oded Maler
2016 B conf
Some Thoughts on Runtime Verification.
RV
Oded Maler
2015 — ed.
Hybrid Systems Biology - Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers
HSB
Oded Maler, Ádám M. Halász, Thao Dang, Carla Piazza
2015 J jnl
Learning Regular Languages over Large Ordered Alphabets.
Log. Methods Comput. Sci.
Irini-Eleftheria Mens, Oded Maler
2015 — conf
Measuring with Timed Patterns.
CAV (2)
Thomas Ferrère, Oded Maler, Dejan Nickovic, Dogan Ulus
2015 — conf
On Switching Aware Synthesis for Combinational Circuits.
Haifa Verification Conference
Jan Láník, Oded Maler
2015 C conf
Reducing power with activity trigger analysis.
MEMOCODE
Jan Láník, Julien Legriel, Erwan Piriou, Emmanuel Viaud, Fahim Rahim, Oded Maler, Solaiman Rahim
2015 B conf
Stochastic Local Search for Falsification of Hybrid Systems.
ATVA
Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski, Oded Maler
2015 B conf
Trace Diagnostics Using Temporal Implicants.
ATVA
Thomas Ferrère, Oded Maler, Dejan Nickovic
2014 — conf
Exploring Synthetic Mass Action Models.
HSB
Oded Maler, Ádám M. Halász, Olivier Lebeltel, Ouri Maler
2014 — conf
Formal and Informal Methods for Multi-Core Design Space Exploration.
QAPL
Jean-Francois Kempf, Olivier Lebeltel, Oded Maler
2014 A conf
Learning Regular Languages over Large Alphabets.
TACAS
Oded Maler, Irini-Eleftheria Mens
2014 C conf
Many-Core Scheduling of Data Parallel Applications Using SMT Solvers.
DSD
Pranav Tendulkar, Peter Poplavko, Ioannis Galanommatis, Oded Maler
2014 — conf
The Unmet Challenge of Timed Systems.
FPS@ETAPS
Oded Maler
2014 — conf
Timed Pattern Matching.
FORMATS
Dogan Ulus, Thomas Ferrère, Eugene Asarin, Oded Maler
2013 J jnl
A Framework for Control Strategies in Uncertain Inference Networks
CoRR
Moshe Ben-Bassat, Oded Maler
2013 — conf
Algorithmic Verification of Continuous and Hybrid Systems.
INFINITY
Oded Maler
2013 A conf
As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty.
TACAS
Jean-Francois Kempf, Marius Bozga, Oded Maler
2013 A* conf
Efficient Robust Monitoring for STL.
CAV
Alexandre Donzé, Thomas Ferrère, Oded Maler
2013 — conf
Exploring the Dynamics of Mass Action Systems.
HSB
Oded Maler, Ádám M. Halász, Olivier Lebeltel, Ouri Maler
2013 J jnl
Monitoring properties of analog and mixed-signal circuits.
Int. J. Softw. Tools Technol. Transf.
Oded Maler, Dejan Nickovic
2013 J jnl
Optimizing two-dimensional DMA transfers for scratchpad Based MPSoCs platforms.
Microprocess. Microsystems
Selma Saidi, Pranav Tendulkar, Thierry Lepley, Oded Maler
2013 J jnl
STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion of Type I/Type II Cell Line Classification.
PLoS Comput. Biol.
Szymon Stoma, Alexandre Donzé, François Bertaux, Oded Maler, Grégory Batt
2013 — conf
Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores.
FORMATS
Pranav Tendulkar, Peter Poplavko, Oded Maler
2012 B conf
On Temporal Logic and Signal Processing.
ATVA
Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka
2012 C conf
Optimal 2D Data Partitioning for DMA Transfers on MPSoCs.
DSD
Selma Saidi, Pranav Tendulkar, Thierry Lepley, Oded Maler
2012 J jnl
Optimizing explicit data transfers for data parallel applications on the cell architecture.
ACM Trans. Archit. Code Optim.
Selma Saidi, Pranav Tendulkar, Thierry Lepley, Oded Maler
2011 J jnl
Computing reachable states for nonlinear biological models.
Theor. Comput. Sci.
Thao Dang, Colas Le Guernic, Oded Maler
2011 B conf
Meeting Deadlines Cheaply.
ECRTS
Julien Legriel, Oded Maler
2011 — conf
Multi-criteria optimization for mapping programs to multi-processors.
SIES
Scott Cotton, Oded Maler, Julien Legriel, Selma Saidi
2011 Misc conf
On under-determined dynamical systems.
EMSOFT
Oded Maler
2011 B conf
On universal search strategies for multi-criteria optimization using weighted sums.
IEEE Congress on Evolutionary Computation
Julien Legriel, Scott Cotton, Oded Maler
2011 B conf
Parametric Identification of Temporal Properties.
RV
Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic
2011 — conf
Performance Evaluation of Schedulers in a Probabilistic Setting.
FORMATS
Jean-Francois Kempf, Marius Bozga, Oded Maler
2011 A* conf
SpaceEx: Scalable Verification of Hybrid Systems.
CAV
Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler
2010 — conf
Accurate hybridization of nonlinear systems.
HSCC
Thao Dang, Oded Maler, Romain Testylier
2010 — conf
Amir Pnueli and the dawn of hybrid systems.
HSCC
Oded Maler
2010 A conf
Approximating the Pareto Front of Multi-criteria Optimization Problems.
TACAS
Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler
2010 — conf
On Zone-Based Analysis of Duration Probabilistic Automata
INFINITY
Oded Maler, Kim G. Larsen, Bruce H. Krogh
2010 — conf
On the Krohn-Rhodes Cascaded Decomposition Theorem.
Essays in Memory of Amir Pnueli
Oded Maler
2010 — conf
Property-Based Monitoring of Analog and Mixed-Signal Systems.
FORMATS
John Havlicek, Scott Little, Oded Maler, Dejan Nickovic
2010 — conf
Robust Satisfaction of Temporal Logic over Real-Valued Signals.
FORMATS
Alexandre Donzé, Oded Maler
2010 B conf
Using Redundant Constraints for Refinement.
ATVA
Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier
2009 Misc conf
Compositional timing analysis.
EMSOFT
Ramzi Ben Salah, Marius Bozga, Oded Maler
2009 A* ed.
Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings
CAV
Ahmed Bouajjani, Oded Maler
2009 — conf
Computing Reachable States for Nonlinear Biological Models.
CMSB
Thao Dang, Colas Le Guernic, Oded Maler
2009 B conf
On Omega-Languages Defined by Mean-Payoff Conditions.
FoSSaCS
Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss
2009 — conf
Reachability for Continuous and Hybrid Systems.
RP
Oded Maler
2008 — conf
Approximating Continuous Systems by Timed Automata.
FMSB
Oded Maler, Grégory Batt
2008 — conf
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.
Pillars of Computer Science
Oded Maler, Dejan Nickovic, Amir Pnueli
2008 — conf
On Scheduling Policies for Streams of Structured Jobs.
FORMATS
Aldric Degorre, Oded Maler
2008 — conf
Sensitive state-space exploration.
CDC
Thao Dang, Alexandre Donzé, Oded Maler, Noa Shalev
2007 — conf
AMT: A Property-Based Monitoring Tool for Analog Systems.
FORMATS
Dejan Nickovic, Oded Maler
2007 A* conf
On Synthesizing Controllers from Bounded-Response Properties.
CAV
Oded Maler, Dejan Nickovic, Amir Pnueli
2007 — conf
On Timed Models of Gene Networks.
FORMATS
Grégory Batt, Ramzi Ben Salah, Oded Maler
2007 J jnl
On optimal and reasonable control in the presence of adversaries.
Annu. Rev. Control.
Oded Maler
2007 — conf
On timed components and their abstraction.
SAVCBS
Ramzi Ben Salah, Marius Bozga, Oded Maler
2007 — conf
Reachability Analysis of a Switched Buffer Network.
HSCC
Goran Frehse, Oded Maler
2007 — conf
Systematic Simulation Using Sensitivity Analysis.
HSCC
Alexandre Donzé, Oded Maler
2006 — conf
Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs.
HSCC
Antoine Girard, Colas Le Guernic, Oded Maler
2006 A conf
Fast and Flexible Difference Constraint Propagation for DPLL(T).
SAT
Scott Cotton, Oded Maler
2006 — conf
From MITL to Timed Automata.
FORMATS
Oded Maler, Dejan Nickovic, Amir Pnueli
2006 B conf
On Interleaving in Timed Automata.
CONCUR
Ramzi Ben Salah, Marius Bozga, Oded Maler
2006 — ed.
Proceedings of the First Workshop on Formal Verification of Analog Circuits, FAC 2005, Edinburgh, UK, April 9, 2005
FAC
Oded Maler
2006 J jnl
Scheduling with timed automata.
Theor. Comput. Sci.
Yasmina Abdeddaïm, Eugene Asarin, Oded Maler
2005 — conf
Analog Circuit Verification: a State of an Art.
FAC
Oded Maler
2005 — ch.
From Control Loops to Real-Time Programs.
Handbook of Networked and Embedded Control Systems
Paul Caspi, Oded Maler
2005 — conf
Preface.
FAC
Oded Maler
2005 — conf
Real Time Temporal Logic: Past, Present, Future.
FORMATS
Oded Maler, Dejan Nickovic, Amir Pnueli
2005 — conf
Time Domain Verification of Oscillator Circuit Properties.
FAC
Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler
2004 — conf
Monitoring Temporal Properties of Continuous Signals.
FORMATS/FTRTFT
Oded Maler, Dejan Nickovic
2004 B conf
On Recognizable Timed Languages.
FoSSaCS
Oded Maler, Amir Pnueli
2004 A conf
Scheduling Acyclic Branching Programs on Parallel Machines.
RTSS
Marius Bozga, Abdelkarim Kerbaa, Oded Maler
2004 — conf
Some Progress in Satisfiability Checking for Difference Logic.
FORMATS/FTRTFT
Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert
2004 B conf
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques.
FMCAD
Thao Dang, Alexandre Donzé, Oded Maler
2003 — ed.
Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
Oded Maler, Amir Pnueli
2003 A conf
On Optimal Scheduling under Uncertainty.
TACAS
Yasmina Abdeddaïm, Eugene Asarin, Oded Maler
2003 — conf
On Systematic Simulation of Open Continuous Systems.
HSCC
James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg
2003 — conf
On Timing Analysis of Combinational Circuits.
FORMATS
Ramzi Ben Salah, Marius Bozga, Oded Maler
2003 A conf
Task Graph Scheduling Using Timed Automata.
IPDPS
Yasmina Abdeddaïm, Abdelkarim Kerbaa, Oded Maler
2002 J jnl
Control from computer science.
Annu. Rev. Control.
Oded Maler
2002 — conf
On Control with Bounded Computational Resources.
FTRTFT
Oded Maler, Bruce H. Krogh, Moez Mahfoudh
2002 A conf
Preemptive Job-Shop Scheduling Using Stopwatch Automata.
TACAS
Yasmina Abdeddaïm, Oded Maler
2002 — conf
Preface.
Theory and Practice of Timed Systems @ ETAPS
Eugene Asarin, Oded Maler, Sergio Yovine
2002 A* conf
The d/dt Tool for Verification of Hybrid Systems.
CAV
Eugene Asarin, Thao Dang, Oded Maler
2002 — ed.
Theory and Practice of Timed Systems (TPTS), Satellite Event of ETAPS 2002, Grenoble, France, April 6-7, 2002
Theory and Practice of Timed Systems @ ETAPS
Eugene Asarin, Oded Maler, Sergio Yovine
2002 — conf
Timed Automata as an Underlying Model for Planning and Scheduling.
AIPS Workshop on Planning for Temporal Domains
Oded Maler
2002 J jnl
Timed regular expressions.
J. ACM
Eugene Asarin, Paul Caspi, Oded Maler
2002 — conf
Verification of Asynchronous Circuits using Timed Automata.
Theory and Practice of Timed Systems @ ETAPS
Marius Bozga, Jianmin Hou, Oded Maler, Sergio Yovine
2002 — conf
Verification of Timed Automata via Satisfiability Checking.
FTRTFT
Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain
2001 J jnl
Guest Editorial: Verification of Hybrid Systems.
Eur. J. Control
Oded Maler
2001 — conf
Hybrid Systems Applications: An Oxymoron?
HSCC
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
2001 A* conf
Job-Shop Scheduling Using Timed Automata.
CAV
Yasmina Abdeddaïm, Oded Maler
2001 — conf
On Hybrid Control of Under-Actuated Mechanical Systems.
HSCC
Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao Dang, Oded Maler
2001 J jnl
Symbolic model checking with rich assertional languages.
Theor. Comput. Sci.
Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar
2001 — conf
d/dt: a verification tool for hybrid systems.
CDC
Eugene Asarin, Thao Dang, Oded Maler
2000 J jnl
An efficient automata approach to some problems on context-free grammars.
Inf. Process. Lett.
Ahmed Bouajjani, Javier Esparza, Alain Finkel, Oded Maler, Peter Rossmanith, Bernard Willems, Pierre Wolper
2000 — conf
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems.
HSCC
Eugene Asarin, Thao Dang, Oded Maler, Olivier Bournez
2000 J jnl
Effective synthesis of switching controllers for linear systems.
Proc. IEEE
Eugene Asarin, Olivier Bournez, Thao Dang, Oded Maler, Amir Pnueli
2000 A* conf
On the Representation of Timed Polyhedra.
ICALP
Olivier Bournez, Oded Maler
1999 — conf
As Soon as Possible: Time Optimal Control for Timed Automata.
HSCC
Eugene Asarin, Oded Maler
1999 — conf
Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics.
CHARME
Marius Bozga, Oded Maler, Stavros Tripakis
1999 A* conf
On the Representation of Probabilities over Structured Domains.
CAV
Marius Bozga, Oded Maler
1999 — conf
Orthogonal Polyhedra: Representation and Computation.
HSCC
Olivier Bournez, Oded Maler, Amir Pnueli
1998 J jnl
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy.
J. Comput. Syst. Sci.
Eugene Asarin, Oded Maler
1998 — conf
KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98).
FTRTFT
Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
1998 A* conf
Kronos: A Model-Checking Tool for Real-Time Systems.
CAV
Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
1998 B conf
On Discretization of Delays in Timed Automata and Digital Circuits.
CONCUR
Eugene Asarin, Oded Maler, Amir Pnueli
1998 — conf
Reachability Analysis via Face Lifting.
HSCC
Thao Dang, Oded Maler
1997 A* conf
A Kleene Theorem for Timed Automata.
LICS
Eugene Asarin, Paul Caspi, Oded Maler
1997 — conf
Data-Structures for the Verification of Timed Automata.
HART
Eugene Asarin, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli, Anne Rasse
1997 — ed.
Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble, France, March 26-28, 1997, Proceedings
HART
Oded Maler
1997 J jnl
On Syntactic Congruences for Omega-Languages.
Theor. Comput. Sci.
Oded Maler, Ludwig Staiger
1997 B conf
Reachability Analysis of Pushdown Automata: Application to Model-Checking.
CONCUR
Ahmed Bouajjani, Javier Esparza, Oded Maler
1997 A* conf
Some Progress in the Symbolic Verification of Timed Automata.
CAV
Marius Bozga, Oded Maler, Amir Pnueli, Sergio Yovine
1997 A* conf
Symbolic Model Checking with Rich ssertional Languages.
CAV
Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar
1995 J jnl
A Decomposition Theorem for Probabilistic Transition Systems.
Theor. Comput. Sci.
Oded Maler
1995 — conf
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy.
FSTTCS
Eugene Asarin, Oded Maler
1995 J jnl
On the Learnability of Infinitary Regular Sets
Inf. Comput.
Oded Maler, Amir Pnueli
1995 A conf
On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract).
STACS
Oded Maler, Amir Pnueli, Joseph Sifakis
1995 J jnl
Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives.
Theor. Comput. Sci.
Eugene Asarin, Oded Maler, Amir Pnueli
1995 — conf
Timing analysis of asynchronous circuits using timed automata.
CHARME
Oded Maler, Amir Pnueli
1994 A* conf
On some Relations between Dynamical Systems and Transition Systems.
ICALP
Eugene Asarin, Oded Maler
1994 J jnl
On the Effects of Noise and Speed on Computations.
Theor. Comput. Sci.
Bernard Delyon, Oded Maler
1994 — conf
Symbolic Controller Synthesis for Discrete and Timed Systems.
Hybrid Systems
Eugene Asarin, Oded Maler, Amir Pnueli
1993 A conf
A Decomposition Theorem for Probabilistic Transition Systems.
STACS
Oded Maler
1993 A conf
On Syntactic Congruences for Omega-Languages.
STACS
Oded Maler, Ludwig Staiger
1993 A* conf
Reachability Analysis of Planar Multi-limear Systems.
CAV
Oded Maler, Amir Pnueli
1992 — conf
On Fault-Tolerant Symbolic Computations.
FTRTFT
Bernard Delyon, Oded Maler
1991 — conf
From Timed to Hybrid Systems.
REX Workshop
Oded Maler, Zohar Manna, Amir Pnueli
1991 A* conf
On the Learnability of Infinitary Regular Sets.
COLT
Oded Maler, Amir Pnueli
1990 A* conf
Tight Bounds on the Complexity of Cascaded Decomposition of Automata
FOCS
Oded Maler, Amir Pnueli
1989 — conf
Learning omega-Regular Languages from Queries and Counter-Examples (A Preliminary Report).
AII
Oded Maler, Amir Pnueli
1986 B conf
A New Approach for Intruducing Prolog to Naive Users.
ICLP
Oded Maler, Zahava Scherz, Ehud Shapiro