Oded Maler

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 17

Top Venues

FORMATS

HSCC

TACAS

ATVA

Publications

Dogan Ulus, Thomas Ferrère, Eugene Asarin, Dejan Nickovic, Oded Maler
Elements of Timed Pattern Matching. ACM Trans. Embed. Comput. Syst. 23 (4) (2024)
Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus
AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic. Int. J. Softw. Tools Technol. Transf. 22 (6) (2020)
Alexey Bakhirkin, Nicolas Basset, Oded Maler, José-Ignacio Requeno Jarabo
ParetoLib: A Python Library for Parameter Synthesis. FORMATS (2019)
Jyotirmoy V. Deshmukh, Oded Maler, Dejan Nickovic
Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071). Dagstuhl Reports 9 (2) (2019)
Thomas Ferrère, Oded Maler, Dejan Nickovic
Mixed-Time Signal Temporal Logic. FORMATS (2019)
Thomas Ferrère, Oded Maler, Dejan Nickovic, Amir Pnueli
From Real-time Logic to Timed Automata. J. ACM 66 (3) (2019)
Yaakov Benenson, Neil Dalchau, Heinz Koeppl, Oded Maler
Formal Methods for the Synthesis of Biomolecular Circuits (Dagstuhl Seminar 18082). Dagstuhl Reports 8 (2) (2018)
Dogan Ulus, Oded Maler
Specifying Timed Patterns using Temporal Logic. HSCC (2018)
Alexey Bakhirkin, Thomas Ferrère, Dejan Nickovic, Oded Maler, Eugene Asarin
Online Timed Pattern Matching Using Automata. FORMATS (2018)
Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus
AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic. TACAS (2) (2018)
Alexey Bakhirkin, Thomas Ferrère, Oded Maler
Efficient Parametric Identification for STL. HSCC (2018)
Alexey Bakhirkin, Thomas Ferrère, Oded Maler, Dogan Ulus
On the Quantitative Semantics of Regular Expressions over Real-Valued Signals. FORMATS (2017)
Eugene Asarin, Oded Maler, Dejan Nickovic, Dogan Ulus
Combining the Temporal and Epistemic Dimensions for MTL Monitoring. FORMATS (2017)
Oded Maler, Irini-Eleftheria Mens
A Generic Algorithm for Learning Symbolic Automata from Membership Queries. Models, Algorithms, Logics and Tools (2017)
Oded Maler, Abhinav Srivastav
Double archive Pareto local search. SSCI (2016)
Dogan Ulus, Thomas Ferrère, Eugene Asarin, Oded Maler
Online Timed Pattern Matching Using Derivatives. TACAS (2016)
Oded Maler
Some Thoughts on Runtime Verification. RV (2016)
Thomas Ferrère, Oded Maler, Dejan Nickovic
Trace Diagnostics Using Temporal Implicants. ATVA (2015)
Jan Láník, Julien Legriel, Erwan Piriou, Emmanuel Viaud, Fahim Rahim, Oded Maler, Solaiman Rahim
Reducing power with activity trigger analysis. MEMOCODE (2015)
Irini-Eleftheria Mens, Oded Maler
Learning Regular Languages over Large Ordered Alphabets. Log. Methods Comput. Sci. 11 (3) (2015)
Thomas Ferrère, Oded Maler, Dejan Nickovic, Dogan Ulus
Measuring with Timed Patterns. CAV (2) (2015)
Jan Láník, Oded Maler
On Switching Aware Synthesis for Combinational Circuits. Haifa Verification Conference (2015)
Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski, Oded Maler
Stochastic Local Search for Falsification of Hybrid Systems. ATVA (2015)
Oded Maler, Ádám M. Halász, Olivier Lebeltel, Ouri Maler
Exploring Synthetic Mass Action Models. HSB (2014)
Oded Maler
The Unmet Challenge of Timed Systems. FPS@ETAPS (2014)
Jean-Francois Kempf, Olivier Lebeltel, Oded Maler
Formal and Informal Methods for Multi-Core Design Space Exploration. QAPL (2014)
Dogan Ulus, Thomas Ferrère, Eugene Asarin, Oded Maler
Timed Pattern Matching. FORMATS (2014)
Oded Maler, Irini-Eleftheria Mens
Learning Regular Languages over Large Alphabets. TACAS (2014)
Pranav Tendulkar, Peter Poplavko, Ioannis Galanommatis, Oded Maler
Many-Core Scheduling of Data Parallel Applications Using SMT Solvers. DSD (2014)
Oded Maler
Algorithmic Verification of Continuous and Hybrid Systems. INFINITY (2013)
Oded Maler, Dejan Nickovic
Monitoring properties of analog and mixed-signal circuits. Int. J. Softw. Tools Technol. Transf. 15 (3) (2013)
Oded Maler, Ádám M. Halász, Olivier Lebeltel, Ouri Maler
Exploring the Dynamics of Mass Action Systems. HSB (2013)
Pranav Tendulkar, Peter Poplavko, Oded Maler
Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores. FORMATS (2013)
Szymon Stoma, Alexandre Donzé, François Bertaux, Oded Maler, Grégory Batt
STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion of Type I/Type II Cell Line Classification. PLoS Comput. Biol. 9 (5) (2013)
Moshe Ben-Bassat, Oded Maler
A Framework for Control Strategies in Uncertain Inference Networks CoRR (2013)
Alexandre Donzé, Thomas Ferrère, Oded Maler
Efficient Robust Monitoring for STL. CAV (2013)
Selma Saidi, Pranav Tendulkar, Thierry Lepley, Oded Maler
Optimizing two-dimensional DMA transfers for scratchpad Based MPSoCs platforms. Microprocess. Microsystems 37 (8-A) (2013)
Jean-Francois Kempf, Marius Bozga, Oded Maler
As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty. TACAS (2013)
Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka
On Temporal Logic and Signal Processing. ATVA (2012)
Selma Saidi, Pranav Tendulkar, Thierry Lepley, Oded Maler
Optimizing explicit data transfers for data parallel applications on the cell architecture. ACM Trans. Archit. Code Optim. 8 (4) (2012)
Selma Saidi, Pranav Tendulkar, Thierry Lepley, Oded Maler
Optimal 2D Data Partitioning for DMA Transfers on MPSoCs. DSD (2012)
Julien Legriel, Scott Cotton, Oded Maler
On universal search strategies for multi-criteria optimization using weighted sums. IEEE Congress on Evolutionary Computation (2011)
Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic
Parametric Identification of Temporal Properties. RV (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)
Oded Maler
On under-determined dynamical systems. EMSOFT (2011)
Julien Legriel, Oded Maler
Meeting Deadlines Cheaply. ECRTS (2011)
Scott Cotton, Oded Maler, Julien Legriel, Selma Saidi
Multi-criteria optimization for mapping programs to multi-processors. SIES (2011)
Thao Dang, Colas Le Guernic, Oded Maler
Computing reachable states for nonlinear biological models. Theor. Comput. Sci. 412 (21) (2011)
Jean-Francois Kempf, Marius Bozga, Oded Maler
Performance Evaluation of Schedulers in a Probabilistic Setting. FORMATS (2011)
Oded Maler
On the Krohn-Rhodes Cascaded Decomposition Theorem. Essays in Memory of Amir Pnueli (2010)
Alexandre Donzé, Oded Maler
Robust Satisfaction of Temporal Logic over Real-Valued Signals. FORMATS (2010)
Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier
Using Redundant Constraints for Refinement. ATVA (2010)
Oded Maler, Kim G. Larsen, Bruce H. Krogh
On Zone-Based Analysis of Duration Probabilistic Automata INFINITY (2010)
Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler
Approximating the Pareto Front of Multi-criteria Optimization Problems. TACAS (2010)
John Havlicek, Scott Little, Oded Maler, Dejan Nickovic
Property-Based Monitoring of Analog and Mixed-Signal Systems. FORMATS (2010)
Oded Maler
Amir Pnueli and the dawn of hybrid systems. HSCC (2010)
Thao Dang, Oded Maler, Romain Testylier
Accurate hybridization of nonlinear systems. HSCC (2010)
Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss
On Omega-Languages Defined by Mean-Payoff Conditions. FoSSaCS (2009)
Oded Maler
Reachability for Continuous and Hybrid Systems. RP (2009)
Ramzi Ben Salah, Marius Bozga, Oded Maler
Compositional timing analysis. EMSOFT (2009)
Thao Dang, Colas Le Guernic, Oded Maler
Computing Reachable States for Nonlinear Biological Models. CMSB (2009)
Oded Maler, Grégory Batt
Approximating Continuous Systems by Timed Automata. FMSB (2008)
Thao Dang, Alexandre Donzé, Oded Maler, Noa Shalev
Sensitive state-space exploration. CDC (2008)
Oded Maler, Dejan Nickovic, Amir Pnueli
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. Pillars of Computer Science (2008)
Aldric Degorre, Oded Maler
On Scheduling Policies for Streams of Structured Jobs. FORMATS (2008)
Oded Maler, Dejan Nickovic, Amir Pnueli
On Synthesizing Controllers from Bounded-Response Properties. CAV (2007)
Goran Frehse, Oded Maler
Reachability Analysis of a Switched Buffer Network. HSCC (2007)
Oded Maler
On optimal and reasonable control in the presence of adversaries. Annu. Rev. Control. 31 (1) (2007)
Dejan Nickovic, Oded Maler
AMT: A Property-Based Monitoring Tool for Analog Systems. FORMATS (2007)
Grégory Batt, Ramzi Ben Salah, Oded Maler
On Timed Models of Gene Networks. FORMATS (2007)
Ramzi Ben Salah, Marius Bozga, Oded Maler
On timed components and their abstraction. SAVCBS (2007)
Alexandre Donzé, Oded Maler
Systematic Simulation Using Sensitivity Analysis. HSCC (2007)
Ramzi Ben Salah, Marius Bozga, Oded Maler
On Interleaving in Timed Automata. CONCUR (2006)
Oded Maler, Dejan Nickovic, Amir Pnueli
From MITL to Timed Automata. FORMATS (2006)
Oded Maler
Analog Circuit Verification: a State of an Art. Electron. Notes Theor. Comput. Sci. 153 (3) (2006)
Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler
Time Domain Verification of Oscillator Circuit Properties. Electron. Notes Theor. Comput. Sci. 153 (3) (2006)
Yasmina Abdeddaïm, Eugene Asarin, Oded Maler
Scheduling with timed automata. Theor. Comput. Sci. 354 (2) (2006)
Antoine Girard, Colas Le Guernic, Oded Maler
Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. HSCC (2006)
Oded Maler
Preface. Electron. Notes Theor. Comput. Sci. 153 (3) (2006)
Scott Cotton, Oded Maler
Fast and Flexible Difference Constraint Propagation for DPLL(T). SAT (2006)
Oded Maler, Dejan Nickovic, Amir Pnueli
Real Time Temporal Logic: Past, Present, Future. FORMATS (2005)
Thao Dang, Alexandre Donzé, Oded Maler
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques. FMCAD (2004)
Marius Bozga, Abdelkarim Kerbaa, Oded Maler
Scheduling Acyclic Branching Programs on Parallel Machines. RTSS (2004)
Oded Maler, Dejan Nickovic
Monitoring Temporal Properties of Continuous Signals. FORMATS/FTRTFT (2004)
Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert
Some Progress in Satisfiability Checking for Difference Logic. FORMATS/FTRTFT (2004)
Oded Maler, Amir Pnueli
On Recognizable Timed Languages. FoSSaCS (2004)
James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg
On Systematic Simulation of Open Continuous Systems. HSCC (2003)
Ramzi Ben Salah, Marius Bozga, Oded Maler
On Timing Analysis of Combinational Circuits. FORMATS (2003)
Yasmina Abdeddaïm, Eugene Asarin, Oded Maler
On Optimal Scheduling under Uncertainty. TACAS (2003)
Yasmina Abdeddaïm, Abdelkarim Kerbaa, Oded Maler
Task Graph Scheduling Using Timed Automata. IPDPS (2003)
Oded Maler
Control from computer science. Annu. Rev. Control. 26 (2) (2002)
Eugene Asarin, Thao Dang, Oded Maler
The d/dt Tool for Verification of Hybrid Systems. CAV (2002)
Yasmina Abdeddaïm, Oded Maler
Preemptive Job-Shop Scheduling Using Stopwatch Automata. TACAS (2002)
Marius Bozga, Jianmin Hou, Oded Maler, Sergio Yovine
Verification of Asynchronous Circuits using Timed Automata. Electron. Notes Theor. Comput. Sci. 65 (6) (2002)
Eugene Asarin, Paul Caspi, Oded Maler
Timed regular expressions. J. ACM 49 (2) (2002)
Oded Maler, Bruce H. Krogh, Moez Mahfoudh
On Control with Bounded Computational Resources. FTRTFT (2002)
Eugene Asarin, Oded Maler, Sergio Yovine
Preface. Electron. Notes Theor. Comput. Sci. 65 (6) (2002)
Oded Maler
Timed Automata as an Underlying Model for Planning and Scheduling. AIPS Workshop on Planning for Temporal Domains (2002)
Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain
Verification of Timed Automata via Satisfiability Checking. FTRTFT (2002)
Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar
Symbolic model checking with rich assertional languages. Theor. Comput. Sci. 256 (1-2) (2001)

Oded Maler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Oded Maler