BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Maler:Oded

Facilitated 1 volumes:

CAV 2009Ed

Contributed to:

CAV 20152015
QAPL 20142014
TACAS 20142014
CAV 20132013
TACAS 20132013
CAV 20112011
TACAS 20102010
FOSSACS 20092009
CAV 20072007
SAT 20062006
FoSSaCS 20042004
TACAS 20032003
CAV 20022002
SAT 20022002
TACAS 20022002
CAV 20012001
ICALP 20002000
CAV 19991999
CAV 19981998
CAV 19971997
LICS 19971997
ICALP 19941994
CAV 19931993
ICLP 19861986

Wrote 25 papers:

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.