Oded Maler:
Major Publications
Journal Articles and Book
Chapters
·
B. Delyon, O. Maler, On the Effects of Noise and Speed on
Computations
Theoretical Computer Science 129, 279-291, 1994. [Abstract
and Pdf]
·
O. Maler, A. Pnueli, On the Learnability of Infinitary Regular Sets
Information and Computation, 118, 316-326, 1995. [Abstract
and Pdf]
·
E. Asarin, O. Maler, A. Pnueli, Reachability Analysis of Dynamical
Systems having Piecewise-Constant Derivatives
Theoretical Computer Science 138, 35-65, 1995. [Abstract
and Pdf]
·
O. Maler, A Decomposition Theorem for Probabilistic Transition
Systems
Theoretical Computer Science 145, 391-396, 1995. [Abstract
and Pdf]
·
O. Maler, L. Staiger, On Syntactic Congruences for Omega-Languages (a revised version, January 2008)
Theoretical Computer Science 183, 93-112, 1997. [Abstract
and Pdf]
·
E.Asarin, O. Maler, Achilles and the Tortoise Climbing Up the
Arithmetical Hierarchy
J. of Computers and Systems Science 57, 389-398, 1998. [Abstract
and Pdf]
·
E. Asarin, O. Bournez, T. Dang, O. Maler, A. Pnueli, Effective
Synthesis of Switching Controllers for Linear Systems
Proceedings of the IEEE, 88, 1011-1025, 2000. [Abstract
and Pdf]
·
A. Bouajjani, J. Esparza, A. Finkel, O. Maler, P.Rossmanith, B. Willems,
P.Wolper,
An Efficient Automata Approach to some Problems on Context-free Grammars
Information Processing Letters 74, 221-227, 2000. [Abstract
and Pdf]
·
Y. Kesten, O. Maler, M. Marcus, A. Pnueli, E. Shahar, Symbolic Model
Checking with Rich Assertional Languages
Theoretical Computer Science 256, 93-112, 2001. [Abstract
and Pdf]
·
O. Maler, Guest Editorial: Verification of Hybrid Systems
European Journal of Control 7, 357-365, 2001. [Abstract
and Pdf]
·
E. Asarin, O. Maler, P. Caspi, Timed Regular Expressions
The Journal of the ACM, 49, 172-206, 2002. [Abstract and Pdf]
·
O. Maler, Control from Computer Science
Annual Reviews in Control 26, 175-187, 2002. [Abstract
and Pdf]
·
P. Caspi, O. Maler From Control Loops to Real-Time Programs
Handbook of Networked and Embedded Control Systems, 395-418, 2005. [Abstract
and Pdf]
·
Y. Abdeddaïm, E. Asarin, O. Maler Scheduling with Timed
Automata
Theoretical Computer Science, 354, 272-300, 2006. [Abstract
and Pdf]
·
O. Maler On Optimal and Reasonable Control in the
Presence of Adversaries
IFAC Annual Reviews in Control, 31, 1-15, 2007. [Abstract
and Pdf]
·
O. Maler, A. Pnueli, D. Nickovic
Checking
Temporal Properties of Discrete, Timed and Continuous Behaviors
Pillars of Computer ScienceEssays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th
Birthday, LNCS 4800, Springer, 2008. [Abstract
and Pdf]
· A. Donze, E. Fanchon, L.M. Gattepaille, O. Maler, Ph.Tracqui,
Robustness Analysis and Behavior Discrimination in Enzymatic Reaction Networks, PLoS One 2011
· T. Dang, C. Le Guernic, O. Maler,
Computing Reachable States for Nonlinear Biological Models, Theoretical Computer Science 2011
· S. Saidi, P. Tendulkar, T. Lepley, O. Maler,
Optimizing Explicit Data Transfers for Data Parallel Applications on the Cell Architecture, ACM Transactions on Architecture and Code Optimization (TACO) 2012
· O. Maler, D. Nickovic,
Monitoring Properties of Analog and Mixed-Signal Designs, STTT, 2013
· S. Saidi, P. Tendulkar, T. Lepley, O. Maler,
Optimizing Two-Dimensional DMA Transfers for Scratchpad Based MPSoCs Platforms, Microprocessors and Microsystems, 2013
Conference Papers
·
O. Maler, A. Pnueli, Tight Bounds on the Complexity of Cascaded
Decomposition of Automata
in FOCS'90,. 672-682, IEEE Press 1990. [Abstract]
·
O. Maler, Z. Manna A. Pnueli, From Timed to Hybrid Systems
Real-Time: Theory in Practice, 447-484, LNCS 600, Springer, 1992. [Abstract
and Pdf]
·
E. Asarin, O. Maler, On some Relations between Dynamical Systems and
Transition Systems
ICALP'94, 59-72, LNCS 820, Springer, 1994. [Abstract
and Pdf]
·
O. Maler, A.Pnueli, J.Sifakis, On the Synthesis of Discrete
Controllers for Timed Systems
STACS'95, LNCS 900, 229-242, Springer, 1995. [Abstractand
Pdf]
·
E.Asarin, O. Maler and A.Pnueli, Symbolic Controller Synthesis for
Discrete and Timed Systems
Hybrid Systems II, 1-20, LNCS 999, Springer, 1995. [Abstract
and Pdf]
·
O. Maler, A. Pnueli, Timing Analysis of Asynchronous Circuits using
Timed Automata
Proc. CHARME'95, 189-205, LNCS 987, Springer, 1995. [Abstract
and Pdf]
·
O. Maler, S. Yovine, Hardware Timing Verification using KRONOS
Proc. 7th Conf. on Computer-based Systems and Software Engineering, IEEE
Press, 1996. [Abstract and Pdf]
·
E. Asarin, M. Bozga, A. Kerbrat, O. Maler, A. Pnueli, A. Rasse, Data-Structures
for the Verification of Timed Automata
HART'97, 346-360, LNCS 1201, Springer, 1997. [Abstract
and Pdf]
·
E. Asarin, O. Maler, P. Caspi, A Kleene Theorem for Timed Automata
LICS'97, 160-171, 1997. [Abstract and Pdf]
·
M. Bozga, O. Maler, A. Pnueli, S. Yovine, Some Progress in the
Symbolic Verification of Timed Automata
CAV'97 , 179-190, LNCS 1254, Springer, 1997. [Abstract
and Pdf]
·
A. Bouajjani, J. Esparza, O. Maler, Reachability Analysis of Pushdown
Automata: Application to Model-Checking
CONCUR'97 , 135-150, LNCS 1243,Springer, 1997. [Abstract
and Pdf]
·
T. Dang, O. Maler, Reachability Analysis via Face Lifting
Hybrid Systems: Computation and Control , 96-109, LNCS 1386, Springer,
1998. [Abstract and Pdf]
·
E. Asarin, O. Maler, A.Pnueli, On Discretization of Delays in Timed
Automata and Digital Circuits
Concur'98, 470-484, LNCS 1466, Springer, 1998. [Abstract
and Pdf]
·
E. Asarin, O. Maler, A.Pnueli, J. Sifakis, Controller Synthesis for
Timed Automata
in IFAC Symposium on System Structure and Control, 469-474, Elsevier,
1998. [Abstract and Pdf]
·
O. Maler, A Unified Approach for Studying Discrete and Continuous
Dynamical Systems
CDC'98, IEEE, 1998. [Abstract and Pdf]
·
O. Bournez, O. Maler, A. Pnueli, Orthogonal Polyhedra: Representation
and Computation
Hybrid Systems: Computation and Control, 46-60, LNCS 1569, Springer,
1999. [Abstract and Pdf]
·
E. Asarin, O. Maler, As Soon as Possible: Time Optimal Control for
Timed Automata
Hybrid Systems: Computation and Control, 19-30, LNCS 1569, Springer,
1999. [Abstract and Pdf]
·
M. Bozga, O. Maler, On the Representation of Probabilities over
Structured Domains
CAV'99 ,261-273, LNCS 1633, Springer, 1999. [Abstract
and Pdf]
·
M. Bozga, O. Maler, S. Tripakis, Efficient Verification of Timed
Automata using Dense and Discrete Time Semantics
CHARME'99 , 125-141, LNCS 1703, Springer, 1999. [Abstract
and Pdf]
·
E. Asarin, O. Bournez, T. Dang, O. Maler, Reachability Analysis of
Piecewise-Linear Dynamical Systems
Hybrid Systems: Computation and Control , 20-31 LNCS 1790, Springer,
2000. [Abstract and Pdf]
·
O. Bournez, O. Maler, On the Representation of Timed Polyhedra
ICALP'2000, 793-807, LNCS 1853, Springer, 2000. [Abstract and Pdf]
·
E. Asarin, S. Bansal, T. Dang, B. Espiau, O. Maler, On Hybrid Control
of Under-actuated Mechanical Systems
Hybrid Systems: Computation and Control, 89-104, LNCS 2034, Springer,
2001. [Abstract and Pdf]
·
Y. Abdeddaïm, O. Maler, Job-Shop Scheduling using Timed Automata
CAV'2001 478-492, LNCS 2102, Springer, 2001 [Abstract
and Pdf]
·
Y. Abdeddaïm, O. Maler, Preemptive Job-Shop Scheduling using
Stopwatch Automata
TACAS 2002 113-126, LNCS 2280, Springer, 2002. [Abstract
and Pdf]
·
M. Bozga, H. Jianmin, O. Maler S. Yovine, Verification of
Asynchronous Circuits using Timed Automata
TPTS'02, ENTCS 65 [Abstract and Pdf]
·
B. Krogh, O. Maler, M. Mahfoudh, On Control with Bounded
Computational Resources
FTRTFT'02 147-164, LNCS 2469, Springer, 2002. [Abstract
and Pdf]
·
P. Niebert, M. Mahfoudh, E. Asarin, M. Bozga, N. Jain, O. Maler, Verification
of Timed Automata via Satisfiability Checking
FTRTFT'02 225-244, LNCS 2469, Springer, 2002. [Abstract
and Pdf]
·
Y. Abdeddaïm, E. Asarin, O. Maler, On Optimal Scheduling under
Uncertainty
TACAS 2003 240-255, LNCS 2619, Springer, 2003. [Abstract
and Pdf]
·
Y. Abdeddaïm, A. Kerbaa, O. Maler Task Graph Scheduling using
Timed Automata
in FMPPTA 2003.[Abstract and Pdf]
·
B. Krogh, J. Kapinski, O.Maler, O. Stursberg On Systematic
Simulation of Open Continuous Systems
HSCC2003, 283-297, LNCS 2623, Springer, 2003. [Abstract and Pdf]
·
R. Ben Salah, M. Bozga, O.Maler On Timing Analysis of Combinational
Circuits
FORMATS'03 , 204-219, LNCS 2791, Springer, 2003 [Abstract and Pdf]
·
O. Maler, A. Pnueli, On Recognizable Timed Languages.
FOSSACS'04, 348-362, LNCS 2987, Springer, 2004. [Abstract and Pdf]
·
S. Cotton, E. Asarin, O. Maler, P. Niebert, Some Progress in
Satisfiability Checking for Difference Logic
FORMATS/FTRTFT'04, 263-276, LNCS 3253 , Springer, 2004. [Abstract and Pdf]
·
O. Maler, D. Nickovic, Monitoring Temporal Properties of Continuous
Signals
FORMATS/FTRTFT'04, 152-166, LNCS 3253, Springer, 2004. [Abstract and Pdf]
·
T. Dang, A. Donze, O. Maler, Verification of Analog and Mixed Signal
Circuits using Hybrid Systems Techniques
FMCAD'04, 21-36, LNCS 3312, Springer, 2004. [Abstract and PDF]
·
O. Maler, On Optimal and Sub-optimal Control in the
Presence of Adversaries, WODES 2004. Slides
·
M. Bozga, A. Kerbaa, O. Maler, Scheduling Acyclic Branching Programs
on Parallel Machines
RTSS'04, 208-217, 2004. [Abstract and PDF]
·
G. Frehse, B. Krogh, R. Rutenbar, O. Maler, Time Domain Verification
of Oscillator Circuit Properties
Workshop on Formal Verification of Analog
Circuits, 2005. ENTCS 153, 9-22, 2006 [Abstract and PDF]
·
O. Maler, Oded Maler: Analog Circuit Verification: a State of an Art
Workshop on Formal Verification of Analog
Circuits, 2005. ENTCS 153, 3-7, 2006 [Abstract and PDF]
·
O. Maler, D. Nickovic, A. Pnueli, Real Time Temporal Logic: Past,
Present, Future
FORMATS'05, 2-16, LNCS 3829, Springer, 2005
[Abstract and PDF] Slides
·
A. Girard, C. Le Guernic, O. Maler, Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs
HSCC'06, 257-271, LNCS 3927, Springer, 2006
[Abstract and PDF]
·
S. Cotton, O. Maler Fast and Flexible Difference Constraint Propagation for DPLL(T)
SAT'06, 170-183, LNCS 4121, Springer, 2006
[Abstract and PDF]
·
R. Ben Salah, M. Bozga, O. Maler, On Interleaving in Timed Automata
CONCUR'06, 465-476, LNCS 4137, Springer, 2006
[Abstract and PDF]
·
O. Maler, D. Nickovic, A. Pnueli, From MITL to Timed Automata
FORMATS'06, 274-289, LNCS 4202, Springer, 2006
[Abstract and PDF]
· O. Maler, D. Nickovic, A. Pnueli, On Synthesizing Controllers from Bounded-Response Properties, CAV, 2007 Slides
·
D. Nickovic, O. Maler, AMT: a Property-based Monitoring Tool
for Analog Systems, FORMATS, 2007.
·
G. Batt, R. Ben Salah, O. Maler, On Timed Models of Gene Networks, FORMATS, 2007
· O. Maler, G. Batt,
Approximating Continuous Systems by Timed Automata, Formal Methods in Systems Biology, 2008
· T. Dang, A. Donze, O. Maler, N. Shalev,
Sensitive
State Space Exploration, CDC, 2008
· R. Alur, A. Degorre, O. Maler and G. Weiss,
On Omega-Languages Defined by Mean-Payoff Conditions, FOSSACS, 2009
· E. Asarin, T. Dang, O. Maler, R. Testylier,
Using Redundant Constraints for Refinement, ATVA 2010
· A. Donze, O. Maler,
Robust Satisfiability of Temporal Logic over Real-Valued Signals, FORMATS 2010
· O. Maler, K. Larsen, B. Krogh,
On Zone-Based Analysis of Duration Probabilistic Automata, Infinity 2010
· T. Dang, O. Maler, R. Testylier,
Accurate Hybridization of Nonlinear Systems, HSCC 2010
· S. Cotton, J. Legriel, S. Saidi, O. Maler,
Multi-Criteria Optimization for Mapping
Programs to Multi-Processors, SIES 2011
· J. Legriel, O. Maler,
Meeting Deadlines Cheaply, ECRTS 2011
· G. Frehse, C. Le Guernic, A. Donze, S. Cotton, R. Ray, O. Lebeltel, R. Ripado, A. Girard, T. Dang, O. Maler, SpaceEx: Scalable Verification of Hybrid Systems, CAV 2011
· S. Cotton, J. Legriel, O. Maler,
On Universal Search Strategies for Multi-Criteria Optimization Using Weighted Sums, CEC 2011
· S. Saidi, P. Tendulkar, T. Lepley, O. Maler,
Optimal 2D Data Partitioning for DMA Transfers
on MPSoCs, DSD 2012
· E. Asarin, A. Donze, O. Maler, D. Nickovic,
Parametric Identification of Temporal Properties, RV 2011
· A. Donze, O. Maler, E. Bartocci, D. Nickovic,
R. Grosu, S. Smolka,
On Temporal Logic and Signal Processing, ATVA 2012
· P. Tendulkar, P. Poplavko, O. Maler,
Symmetry Breaking for Multi-Criteria Mapping and Scheduling on Multicores, FORMATS 2013, Slides
· O. Maler, I.E. Mens, Learning Regular Languages over Large Alphabets, TACAS 2014 
Slides
· P. Tendulkar, P. Poplavko, I. Galanommatis, O. Maler,
Many-Core Scheduling of Data Parallel Applications using SMT Solvers, DSD 2014
· P. Tendulkar, P. Poplavko, O. Maler,
Pipelined Scheduling of Acyclic SDF Graphs using SMT Solvers, IDEA 2015
· J. Lanik, J. Legriel, E. Piriou, E. Viaud, F. Rahim, O. Maler, S. Rahim,
Reducing Power with Activity Trigger Analysis, MEMOCODE 2015 Slides
Submitted for Publication
Unpublished Manuscripts
·
O. Maler, A. Pnueli, On the Cascaeded Decomposition of Automata, its
Complexity and Application to Logic.
[Abstract
and Pdf]
·
O. Maler, Hybrid Systems and Real-World Computations
Not in the proceedings of the first European workshop on hybrid systems, 1992. [Abstract
and Pdf] ·
O. Maler, Why should we Develop Artificial ·
O. Maler, On the Programming of Industrial Computers
·
S. Cotton, O. Maler, Satisfiability Modulo Theory Chains with DPLL(T), 2006. · G. Frehse, O. Maler, Modeling
and Analysis of Switched Buffer Networks using Hybrid
Automata,, 2006 · O. Maler,
Computing Reachable Sets: an Introduction,
· P. Tendulkar, P. Poplavko, J. Maselbas, I. Galanommatis, O. Maler,
A Runtime Environment for Real-time Streaming Applications on Clustered Multi-cores, 2015
Books and Proceedings
·
O. Maler, At Least Now (poems in Hebrew), Out, Haifa, 1979.
Here is one sample: Something
·
O. Maler, E. Shapiro, Z. Schertz, Hebrew Prolog for Beginners (in
Hebrew), Ramot, Tel-Aviv, 1988.
·
O. Maler (Ed.) Hybrid and Real-Time Systems, International Workshop
HART'97
·
O. Maler and A. Pnueli (Eds.), Hybrid Systems: Computation and
Control,
Prague , April 2003, LNCS 2623, Springer.
·
A. Bouajjani and O. Maler (Eds.), Computer-Aided Verification,
Grenoble, June 2009, LNCS 5643, Springer.