BibSLEIGH — Doron

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: Peled:Doron

Facilitated 3 volumes:

Contributed to:

2015

2014

2013

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

1995

1994

1993

1991

1990

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.