| 2018 | TACAS | AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic. | Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrre, Dogan Ulus |
| 2016 | RV | Some Thoughts on Runtime Verification. | Oded Maler |
| 2016 | TACAS | Online Timed Pattern Matching Using Derivatives. | Dogan Ulus, Thomas Ferrre, Eugene Asarin, Oded Maler |
| 2015 | ATVA | Stochastic Local Search for Falsification of Hybrid Systems. | Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski, Oded Maler |
| 2015 | ATVA | Trace Diagnostics Using Temporal Implicants. | Thomas Ferrre, Oded Maler, Dejan Nickovic |
| 2015 | CAV | Measuring with Timed Patterns. | Thomas Ferrre, Oded Maler, Dejan Nickovic, Dogan Ulus |
| 2015 | MEMOCODE | Reducing power with activity trigger analysis. | Jan Lnk, Julien Legriel, Erwan Piriou, Emmanuel Viaud, Fahim Rahim, Oded Maler, Solaiman Rahim |
| 2014 | DSD | Many-Core Scheduling of Data Parallel Applications Using SMT Solvers. | Pranav Tendulkar, Peter Poplavko, Ioannis Galanommatis, Oded Maler |
| 2014 | TACAS | Learning Regular Languages over Large Alphabets. | Oded Maler, Irini-Eleftheria Mens |
| 2013 | CAV | Efficient Robust Monitoring for STL. | Alexandre Donz, Thomas Ferrre, Oded Maler |
| 2013 | TACAS | As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty. | Jean-Francois Kempf, Marius Bozga, Oded Maler |
| 2012 | ATVA | On Temporal Logic and Signal Processing. | Alexandre Donz, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka |
| 2012 | DSD | Optimal 2D Data Partitioning for DMA Transfers on MPSoCs. | Selma Saidi, Pranav Tendulkar, Thierry Lepley, Oded Maler |
| 2011 | CAV | 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 |
| 2011 | CEC | On universal search strategies for multi-criteria optimization using weighted sums. | Julien Legriel, Scott Cotton, Oded Maler |
| 2011 | ECRTS | Meeting Deadlines Cheaply. | Julien Legriel, Oded Maler |
| 2011 | EMSOFT | On under-determined dynamical systems. | Oded Maler |
| 2011 | RV | Parametric Identification of Temporal Properties. | Eugene Asarin, Alexandre Donz, Oded Maler, Dejan Nickovic |
| 2010 | ATVA | Using Redundant Constraints for Refinement. | Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier |
| 2010 | TACAS | Approximating the Pareto Front of Multi-criteria Optimization Problems. | Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler |
| 2009 | EMSOFT | Compositional timing analysis. | Ramzi Ben Salah, Marius Bozga, Oded Maler |
| 2009 | FOSSACS | On Omega-Languages Defined by Mean-Payoff Conditions. | Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss |
| 2007 | CAV | On Synthesizing Controllers from Bounded-Response Properties. | Oded Maler, Dejan Nickovic, Amir Pnueli |
| 2006 | CONCUR | On Interleaving in Timed Automata. | Ramzi Ben Salah, Marius Bozga, Oded Maler |
| 2006 | SAT | Fast and Flexible Difference Constraint Propagation for DPLL(T). | Scott Cotton, Oded Maler |
| 2004 | FMCAD | Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques. | Thao Dang, Alexandre Donz, Oded Maler |
| 2004 | FOSSACS | On Recognizable Timed Languages. | Oded Maler, Amir Pnueli |
| 2004 | RTSS | Scheduling Acyclic Branching Programs on Parallel Machines. | Marius Bozga, Abdelkarim Kerbaa, Oded Maler |
| 2003 | TACAS | On Optimal Scheduling under Uncertainty. | Yasmina Abdeddam, Eugene Asarin, Oded Maler |
| 2002 | CAV | The d/dt Tool for Verification of Hybrid Systems. | Eugene Asarin, Thao Dang, Oded Maler |
| 2002 | TACAS | Preemptive Job-Shop Scheduling Using Stopwatch Automata. | Yasmina Abdeddam, Oded Maler |
| 2001 | CAV | Job-Shop Scheduling Using Timed Automata. | Yasmina Abdeddam, Oded Maler |
| 2000 | ICALP | On the Representation of Timed Polyhedra. | Olivier Bournez, Oded Maler |
| 1999 | CAV | On the Representation of Probabilities over Structured Domains. | Marius Bozga, Oded Maler |
| 1998 | CAV | Kronos: A Model-Checking Tool for Real-Time Systems. | Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine |
| 1998 | CONCUR | On Discretization of Delays in Timed Automata and Digital Circuits. | Eugene Asarin, Oded Maler, Amir Pnueli |
| 1997 | CAV | Some Progress in the Symbolic Verification of Timed Automata. | Marius Bozga, Oded Maler, Amir Pnueli, Sergio Yovine |
| 1997 | CAV | Symbolic Model Checking with Rich ssertional Languages. | Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar |
| 1997 | CONCUR | Reachability Analysis of Pushdown Automata: Application to Model-Checking. | Ahmed Bouajjani, Javier Esparza, Oded Maler |
| 1997 | LICS | A Kleene Theorem for Timed Automata. | Eugene Asarin, Paul Caspi, Oded Maler |
| 1995 | STACS | On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract). | Oded Maler, Amir Pnueli, Joseph Sifakis |
| 1994 | ICALP | On some Relations between Dynamical Systems and Transition Systems. | Eugene Asarin, Oded Maler |
| 1993 | CAV | Reachability Analysis of Planar Multi-limear Systems. | Oded Maler, Amir Pnueli |
| 1993 | STACS | A Decomposition Theorem for Probabilistic Transition Systems. | Oded Maler |
| 1993 | STACS | On Syntactic Congruences for Omega-Languages. | Oded Maler, Ludwig Staiger |
| 1991 | COLT | On the Learnability of Infinitary Regular Sets. | Oded Maler, Amir Pnueli |
| 1990 | FOCS | Tight Bounds on the Complexity of Cascaded Decomposition of Automata | Oded Maler, Amir Pnueli |
| 1986 | ICLP | A New Approach for Intruducing Prolog to Naive Users. | Oded Maler, Zahava Scherz, Ehud Shapiro |