BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Canada
1 × Cyprus
1 × Czech Republic
1 × Hungary
1 × Israel
1 × Poland
1 × Spain
2 × Denmark
2 × France
2 × Germany
2 × Greece
2 × Italy
3 × Portugal
4 × United Kingdom
5 × The Netherlands
9 × USA
Collaborated with:
A.Muscholl E.L.Gunter R.Alur B.Genest G.Katz A.Pnueli H.Qu P.Niebert G.J.Holzmann S.Schewe A.Groce M.Yannakakis K.L.McMillan E.Elkind R.P.Kurshan J.Katoen S.Bensalem N.Sharygina C.Chou M.Minea P.Faymonville B.Finkbeiner S.Graf S.Quinton M.Jurdzinski Z.Su I.Kokkarinen A.Valmari E.A.Emerson S.Jha P.Godefroid M.G.Staskauskas W.Penczek S.Katz A.Basu J.Sifakis D.Bošnački S.Tripakis D.Kuske K.Etessami S.L.Torre P.A.Abdulla B.Jonsson M.Kindahl V.Levin H.Yenigün
Talks about:
model (15) partial (13) order (13) check (12) reduct (7) sequenc (6) chart (6) properti (5) messag (5) verif (5)

Person: Doron Peled

DBLP DBLP: Peled:Doron

Facilitated 3 volumes:

VMCAI 2008Ed
CAV 2004Ed
CAV 1999Ed

Contributed to:

FoSSaCS 20152015
VMCAI 20142014
ESOP 20132013
CAV 20112011
CAV 20102010
TACAS 20102010
CAV 20092009
CAV 20082008
TACAS 20082008
ICALP 20072007
TACAS 20072007
TACAS 20062006
FATES 20052005
IFM 20052005
TACAS 20052005
FoSSaCS 20042004
ICALP 20032003
CAV 20022002
TACAS 20022002
FME 20012001
ICALP 20012001
TACAS 20012001
CAV 20002000
ICALP 19991999
TACAS 19991999
CAV 19981998
FoSSaCS 19981998
ICALP 19981998
TACAS 19981998
CAV 19971997
TACAS 19971997
CAV 19961996
ISSTA 19961996
LICS 19961996
TACAS 19961996
LICS 19951995
CAV 19941994
CAV 19931993
LICS 19911991
ICALP 19901990

Wrote 45 papers:

FoSSaCS-2015-GenestPS #memory management
Knowledge = Observation + Memory + Computation (BG, DP, SS), pp. 215–229.
VMCAI-2014-FaymonvilleFP #logic #monitoring #parametricity
Monitoring Parametric Temporal Logic (PF, BF, DP), pp. 357–375.
ESOP-2013-KatoenP #concurrent #implementation #modelling #probability
Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems (JPK, DP), pp. 411–430.
CAV-2011-KatzPS #distributed #synthesis
Synthesis of Distributed Control through Knowledge Accumulation (GK, DP, SS), pp. 510–525.
CAV-2010-GrafPQ #distributed #model checking
Achieving Distributed Control through Model Checking (SG, DP, SQ), pp. 396–409.
TACAS-2010-KatzP #automation #verification
Code Mutation in Verification and Automatic Code Correction (GK, DP), pp. 435–450.
CAV-2009-BasuBPS #distributed #model checking #scheduling
Priority Scheduling of Distributed Systems Based on Model Checking (AB, SB, DP, JS), pp. 79–93.
CAV-2008-NiebertPP #model checking
Discriminative Model Checking (PN, DP, AP), pp. 504–516.
TACAS-2008-KatzP #model checking #programming #search-based
Model Checking-Based Genetic Programming with an Application to Mutual Exclusion (GK, DP), pp. 141–156.
ICALP-2007-BosnackiEGP #agile #commutative #on the
On Commutativity Based Edge Lean Search (DB, EE, BG, DP), pp. 158–170.
TACAS-2007-ElkindGP #detection #sequence chart
Detecting Races in Ensembles of Message Sequence Charts (EE, BG, DP), pp. 420–434.
TACAS-2006-NiebertP #ltl #model checking #partial order #performance
Efficient Model Checking for LTL with Partial Order Snapshots (PN, DP), pp. 272–286.
FATES-2005-JurdzinskiPQ #realtime #testing
Calculating Probabilities of Real-Time Test Cases (MJ, DP, HQ), pp. 134–151.
FATES-2005-PeledQ #partial order
Time Unbalanced Partial Order (DP, HQ), pp. 152–169.
IFM-2005-BensalemPQT #generative
Generating Path Conditions for Timed Systems (SB, DP, HQ, ST), pp. 5–19.
TACAS-2005-GenestKMP #verification
Snapshot Verification (BG, DK, AM, DP), pp. 510–525.
FoSSaCS-2004-GenestMMP #partial order #specification #using #verification
Specifying and Verifying Partial Order Properties Using Template MSCs (BG, MM, AM, DP), pp. 195–210.
ICALP-2003-Peled #model checking #testing
Model Checking and Testing Combined (DP), pp. 47–63.
CAV-2002-GrocePY #adaptation #model checking #named
AMC: An Adaptive Model Checker (AG, DP, MY), pp. 521–525.
TACAS-2002-GrocePY #adaptation #model checking
Adaptive Model Checking (AG, DP, MY), pp. 357–370.
TACAS-2002-GunterP #concurrent #debugging
Temporal Debugging for Concurrent Systems (ELG, DP), pp. 431–444.
FME-2001-SharyginaP #approach #reliability #testing #verification
A Combined Testing and Verification Approach for Software Reliability (NS, DP), pp. 611–628.
ICALP-2001-MuschollP #communication #finite #protocol #sequence chart
From Finite State Communication Protocols to High-Level Message Sequence Charts (AM, DP), pp. 720–731.
TACAS-2001-GunterMP #composition #sequence chart
Compositional Message Sequence Charts (ELG, AM, DP), pp. 496–511.
CAV-2000-GunterKP #interactive #named #testing
PET: An Interactive Software Testing Tool (ELG, RPK, DP), pp. 552–556.
ICALP-1999-AlurTEP #logic #parametricity
Parametric Temporal Logic for “Model Measuring” (RA, KE, SLT, DP), pp. 159–168.
TACAS-1999-GunterP
Path Exploration Tool (ELG, DP), pp. 405–419.
CAV-1998-AbdullaJKP #approach #partial order #reduction #verification
A General Approach to Partial Order Reductions in Symbolic Verification (PAA, BJ, MK, DP), pp. 379–390.
CAV-1998-Peled #partial order #reduction
Ten Years of Partial Order Reduction (DP), pp. 17–28.
CAV-1998-Peled98a #sequence chart #tool support
A Toolset for Message Sequence Charts (DP), pp. 532–536.
FoSSaCS-1998-MuschollPS #sequence chart
Deciding Properties for Message Sequence Charts (AM, DP, ZS), pp. 226–242.
ICALP-1998-AlurMP #partial order
Deciding Global Partial-Order Properties (RA, KLM, DP), pp. 41–52.
TACAS-1998-KurshanLMPY #partial order #reduction
Static Partial Order Reduction (RPK, VL, MM, DP, HY), pp. 345–357.
CAV-1997-KokkarinenPV #partial order #reduction
Relaxed Visibility Enhances Partial Order Reduction (IK, DP, AV), pp. 328–339.
TACAS-1997-EmersonJP #partial order #reduction #symmetry
Combining Partial Order and Symmetry Reductions (EAE, SJ, DP), pp. 19–34.
CAV-1996-HolzmannP
The State of SPIN (GJH, DP), pp. 385–389.
ISSTA-1996-GodefroidPS #concurrent #industrial #partial order #source code #using #validation
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs (PG, DP, MGS), pp. 261–269.
LICS-1996-AlurMP #concurrent #correctness #model checking
Model-Checking of Correctness Conditions for Concurrent Objects (RA, KLM, DP), pp. 219–228.
TACAS-1996-AlurHP #sequence chart
An Analyser for Mesage Sequence Charts (RA, GJH, DP), pp. 35–48.
TACAS-1996-ChouP #model checking #partial order #reduction #verification
Formal Verification of a Partial-Order Reduction Technique for Model Checking (CTC, DP), pp. 241–257.
LICS-1995-AlurPP #model checking
Model-Checking of Causality Properties (RA, DP, WP), pp. 90–100.
CAV-1994-Peled #model checking #on the fly #partial order #reduction
Combining Partial Order Reductions with On-the-fly Model-Checking (DP), pp. 377–390.
CAV-1993-Peled #model checking #using
All from One, One for All: on Model Checking Using Representatives (DP), pp. 409–423.
LICS-1991-PeledKP #logic #proving #specification
Specifying and Proving Serializability in Temporal Logic (DP, SK, AP), pp. 232–244.
ICALP-1990-PeledP #liveness #partial order #proving
Proving Partial Order Liveness Properties (DP, AP), pp. 553–571.

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.