Travelled to:1 × Canada
1 × Cyprus
1 × Denmark
1 × Germany
1 × Greece
1 × Russia
1 × Spain
1 × Switzerland
2 × Israel
2 × Italy
2 × Poland
2 × United Kingdom
4 × France
4 × USA
Collaborated with:A.Pnueli E.Asarin Y.Abdeddaïm M.Bozga S.Cotton J.Kempf T.Ferrère D.Nickovic I.Mens O.Bournez O.Lebeltel A.Donzé T.Dang S.Yovine C.L.Guernic P.Caspi Z.Scherz E.Y.Shapiro D.Ulus J.Legriel R.Alur A.Degorre G.Weiss M.Mahfoudh P.Niebert Y.Kesten M.Marcus E.Shahar C.Daws A.Olivero S.Tripakis G.Frehse R.Ray R.Ripado A.Girard
Talks about:time (7) system (6) automata (4) schedul (4) languag (4) verif (3) optim (3) multi (3) uncertainti (2) represent (2)
Person: Oded Maler
DBLP: Maler:Oded
Facilitated 1 volumes:
EdContributed to:
2015
2014
20142013201320112010
20092007
2006200420032002200220022001
2000199919981997
199719941993
1986Wrote 25 papers:
- CAV-2015-FerrereMNU
- Measuring with Timed Patterns (TF, OM, DN, DU), pp. 322–337.
- QAPL-2014-KempfLM #design #formal method #manycore
- Formal and Informal Methods for Multi-Core Design Space Exploration (JFK, OL, OM), pp. 78–92.
- TACAS-2014-MalerM #learning #regular expression #scalability
- Learning Regular Languages over Large Alphabets (OM, IEM), pp. 485–499.
- CAV-2013-DonzeFM #monitoring #performance #robust
- Efficient Robust Monitoring for STL (AD, TF, OM), pp. 264–279.
- TACAS-2013-KempfBM #nondeterminism #probability #scheduling
- As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty (JFK, MB, OM), pp. 385–400.
- CAV-2011-FrehseGDCRLRGDM #hybrid #named #scalability #verification
- SpaceEx: Scalable Verification of Hybrid Systems (GF, CLG, AD, SC, RR, OL, RR, AG, TD, OM), pp. 379–395.
- TACAS-2010-LegrielGCM #approximate #multi #optimisation #problem
- Approximating the Pareto Front of Multi-criteria Optimization Problems (JL, CLG, SC, OM), pp. 69–83.
- FoSSaCS-2009-AlurDMW #on the
- On ω-Languages Defined by Mean-Payoff Conditions (RA, AD, OM, GW), pp. 333–347.
- CAV-2007-MalerNP #bound #on the
- On Synthesizing Controllers from Bounded-Response Properties (OM, DN, AP), pp. 95–107.
- SAT-2006-CottonM #constraints #difference #flexibility #performance
- Fast and Flexible Difference Constraint Propagation for DPLL(T) (SC, OM), pp. 170–183.
- FoSSaCS-2004-MalerP #on the
- On Recognizable Timed Languages (OM, AP), pp. 348–362.
- TACAS-2003-AbdeddaimAM #nondeterminism #on the #scheduling
- On Optimal Scheduling under Uncertainty (YA, EA, OM), pp. 240–253.
- CAV-2002-AsarinDM #hybrid #verification
- The d/dt Tool for Verification of Hybrid Systems (EA, TD, OM), pp. 365–370.
- SAT-2002-MalerMNA #difference #logic #satisfiability
- A satisfiability checker for difference logic (OM, MM, PN, EA), p. 27.
- TACAS-2002-AbdeddaimM #automaton #scheduling #using
- Preemptive Job-Shop Scheduling Using Stopwatch Automata (YA, OM), pp. 113–126.
- CAV-2001-AbdeddaimM #automaton #scheduling #using
- Job-Shop Scheduling Using Timed Automata (YA, OM), pp. 478–492.
- ICALP-2000-BournezM #on the #representation
- On the Representation of Timed Polyhedra (OB, OM), pp. 793–807.
- CAV-1999-BozgaM #on the #representation
- On the Representation of Probabilities over Structured Domains (MB, OM), pp. 261–273.
- CAV-1998-BozgaDMOTY #model checking #named #realtime
- Kronos: A Model-Checking Tool for Real-Time Systems (MB, CD, OM, AO, ST, SY), pp. 546–550.
- CAV-1997-BozgaMPY #automaton #verification
- Some Progress in the Symbolic Verification of Timed Automata (MB, OM, AP, SY), pp. 179–190.
- CAV-1997-KestenMMPS #model checking
- Symbolic Model Checking with Rich ssertional Languages (YK, OM, MM, AP, ES), pp. 424–435.
- LICS-1997-AsarinCM #automaton #theorem
- A Kleene Theorem for Timed Automata (EA, PC, OM), pp. 160–171.
- ICALP-1994-AsarinM #on the
- On some Relations between Dynamical Systems and Transition Systems (EA, OM), pp. 59–72.
- CAV-1993-MalerP #analysis #multi #reachability
- Reachability Analysis of Planar Multi-limear Systems (OM, AP), pp. 194–209.
- ICLP-1986-MahlerSS86 #approach #prolog
- A New Approach for Intruducing Prolog to Naive Users (OM, ZS, EYS), pp. 544–551.