dblp.uni-trier.dewww.uni-trier.de

Doron Peled Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
123EEDoron Peled, Michael Wooldridge: Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers Springer 2009
122EESaddek Bensalem, Doron Peled: Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers Springer 2009
121EEAnanda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis: Priority Scheduling of Distributed Systems Based on Model Checking. CAV 2009: 79-93
2008
120 Michaela Huhn, Hardi Hungar, Doron Peled: Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06. - 15.06.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
119 Francesco Logozzo, Doron Peled, Lenore D. Zuck: Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings Springer 2008
118EEGal Katz, Doron Peled: Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms. ATVA 2008: 33-47
117EEPeter Niebert, Doron Peled, Amir Pnueli: Discriminative Model Checking. CAV 2008: 504-516
116EEGal Katz, Doron Peled: Model Checking Driven Heuristic Search for Correct Programs. MoChArt 2008: 122-131
115EEGal Katz, Doron Peled: Model Checking-Based Genetic Programming with an Application to Mutual Exclusion. TACAS 2008: 141-156
114EEDoron Peled, Patrizio Pelliccione, Paola Spoletini: Model Checking. Wiley Encyclopedia of Computer Science and Engineering 2008
113EESaddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Automatic generation of path conditions for concurrent timed systems. Theor. Comput. Sci. 404(3): 275-292 (2008)
2007
112EEEdith Elkind, Blaise Genest, Doron Peled, Paola Spoletini: Quantifying the Discord: Order Discrepancies in Message Sequence Charts. ATVA 2007: 378-393
111EESaddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck: Test Case Generation for Ultimately Periodic Paths. Haifa Verification Conference 2007: 120-135
110EEDragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled: On Commutativity Based Edge Lean Search. ICALP 2007: 158-170
109EEEdith Elkind, Blaise Genest, Doron Peled: Detecting Races in Ensembles of Message Sequence Charts. TACAS 2007: 420-434
108EEMichaela Huhn, Hardi Hungar, Doron Peled: 07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems. Tools for the Model-based Development of Certifiable, Dependable Systems 2007
107EEMichaela Huhn, Hardi Hungar, Doron Peled: 07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems. Tools for the Model-based Development of Certifiable, Dependable Systems 2007
106EEDoron Peled, Yih-Kuen Tsay: Preface. Int. J. Found. Comput. Sci. 18(1): 1-4 (2007)
2006
105EEEdith Elkind, Blaise Genest, Doron Peled, Hongyang Qu: Grey-Box Checking. FORTE 2006: 420-435
104EEPeter Niebert, Doron Peled: Efficient Model Checking for LTL with Partial Order Snapshots. TACAS 2006: 272-286
103EEDoron Peled, Hongyang Qu: Enforcing Concurrent Temporal Behaviors. Int. J. Found. Comput. Sci. 17(4): 743-762 (2006)
102EEAlex Groce, Doron Peled, Mihalis Yannakakis: Adaptive Model Checking. Logic Journal of the IGPL 14(5): 729-744 (2006)
2005
101 Doron Peled, Yih-Kuen Tsay: Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings Springer 2005
100EEMarcin Jurdzinski, Doron Peled, Hongyang Qu: Calculating Probabilities of Real-Time Test Cases. FATES 2005: 134-151
99EEDoron Peled, Hongyang Qu: Time Unbalanced Partial Order. FATES 2005: 152-169
98EESaddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Generating Path Conditions for Timed Systems. IFM 2005: 5-19
97EEBlaise Genest, Dietrich Kuske, Anca Muscholl, Doron Peled: Snapshot Verification. TACAS 2005: 510-525
96 Doron Peled: Automatic Test Generation and Monitoring of Infinite States Systems. VISSAS 2005: 127-142
95EEDoron Peled, Hongyang Qu: Enforcing Concurrent Temporal Behaviors. Electr. Notes Theor. Comput. Sci. 113: 65-83 (2005)
94EEElsa L. Gunter, Doron Peled: Model checking, testing and verification working together. Formal Asp. Comput. 17(2): 201-221 (2005)
93EEDoron Peled: Introduction: Special Issue on Partial Order in Formal Methods. Formal Methods in System Design 26(1): 5-6 (2005)
92EERajeev Alur, Kenneth L. McMillan, Doron Peled: Deciding Global Partial-Order Properties. Formal Methods in System Design 26(1): 7-25 (2005)
2004
91 Rajeev Alur, Doron Peled: Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings Springer 2004
90EEBlaise Genest, Marius Minea, Anca Muscholl, Doron Peled: Specifying and Verifying Partial Order Properties Using Template MSCs. FoSSaCS 2004: 195-210
89 Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Automatic Generation of Path Conditions for Timed Systems. ISoLA (Preliminary proceedings) 2004: 243-249
2003
88EEDoron Peled, Hongyang Qu: Automatic Verification of Annotated Code. FORTE 2003: 127-143
87EEDoron Peled: Model Checking and Testing Combined. ICALP 2003: 47-63
86EEBlaise Genest, Anca Muscholl, Doron Peled: Message Sequence Charts. Lectures on Concurrency and Petri Nets 2003: 537-558
85EEAnca Muscholl, Doron Peled: Deciding Properties of Message Sequence Charts. Scenarios: Models, Transformations and Tools 2003: 43-65
84EEElsa L. Gunter, Doron Peled: Unit Checking: Symbolic Model Checking for a Unit of Code. Verification: Theory and Practice 2003: 548-567
83EEElsa L. Gunter, Anca Muscholl, Doron Peled: Compositional message sequence charts. STTT 5(1): 78-89 (2003)
2002
82 Doron Peled, Moshe Y. Vardi: Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings Springer 2002
81EEAlex Groce, Doron Peled, Mihalis Yannakakis: AMC: An Adaptive Model Checker. CAV 2002: 521-525
80EECindy Eisner, Doron Peled: Comparing Symbolic and Explicit Model Checking of a Software System. SPIN 2002: 230-239
79EEAlex Groce, Doron Peled, Mihalis Yannakakis: Adaptive Model Checking. TACAS 2002: 357-370
78EEElsa L. Gunter, Doron Peled: Temporal Debugging for Concurrent Systems. TACAS 2002: 431-444
77EEDoron Peled: Specification and Verification using Message Sequence Charts. Electr. Notes Theor. Comput. Sci. 65(7): (2002)
76EEElsa L. Gunter, Doron Peled: Tracing the executions of concurrent programs. Electr. Notes Theor. Comput. Sci. 70(4): (2002)
75 Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Combining Software and Hardware Verification Techniques. Formal Methods in System Design 21(3): 251-280 (2002)
74 Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis: Black Box Checking. Journal of Automata, Languages and Combinatorics 7(2): 225-246 (2002)
2001
73EENatasha Sharygina, Doron Peled: A Combined Testing and Verification Approach for Software Reliability. FME 2001: 611-628
72EEDoron Peled, Amir Pnueli, Lenore D. Zuck: From Falsification to Verification. FSTTCS 2001: 292-304
71EEAnca Muscholl, Doron Peled: From Finite State Communication Protocols to High-Level Message Sequence Charts. ICALP 2001: 720-731
70EEDoron Peled, Lenore D. Zuck: From Model Checking to a Temporal Proof. SPIN 2001: 1-14
69EEElsa L. Gunter, Anca Muscholl, Doron Peled: Compositional Message Sequence Charts. TACAS 2001: 496-511
68EERajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled: Parametric temporal logic for "model measuring". ACM Trans. Comput. Log. 2(3): 388-407 (2001)
67 Doron Peled, Antti Valmari, Ilkka Kokkarinen: Relaxed Visibility Enhances Partial Order Reduction. Formal Methods in System Design 19(3): 275-289 (2001)
2000
66 Elsa L. Gunter, Robert P. Kurshan, Doron Peled: PET: An Interactive Software Testing Tool. CAV 2000: 552-556
65 Doron Peled: Specification and Verification of Message Sequence Charts. FORTE 2000: 139-154
64 Doron Peled: Formal Methods for Message Sequence Charts. ICDCS Workshop on Distributed System Validation and Verification 2000: E7-E13
63 Elsa L. Gunter, Doron Peled: Using a Mix of Languages in Formal Methods: The PET System. PDPTA 2000
62 Anca Muscholl, Doron Peled: Analyzing Message Sequence Charts. SAM 2000: 3-17
61 Rajeev Alur, Kenneth L. McMillan, Doron Peled: Model-Checking of Correctness Conditions for Concurrent Objects. Inf. Comput. 160(1-2): 167-188 (2000)
1999
60 Nicolas Halbwachs, Doron Peled: Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings Springer 1999
59EEHüsnü Yenigün, Vladimir Levin, Doron Peled, Peter A. Beerel: Hazard-Freedom Checking in Speed-Independent Systems. CHARME 1999: 317-320
58 Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis: Black Box Checking. FORTE 1999: 225-240
57EERajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled: Parametric Temporal Logic for "Model Measuring". ICALP 1999: 159-168
56EEAnca Muscholl, Doron Peled: Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces. MFCS 1999: 81-91
55 Somesh Jha, Doron Peled: Generalized Stuttering Equivalence. PDPTA 1999: 1054-1060
54EEElsa L. Gunter, Doron Peled: Path Exploration Tool. TACAS 1999: 405-419
53 Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek: A Partial Order Approach to Branching Time Logic Model Checking. Inf. Comput. 150(2): 132-152 (1999)
52EERajeev Alur, Doron Peled: Undecidability of Partial Order Logics. Inf. Process. Lett. 69(3): 137-143 (1999)
51 Ching-Tsun Chou, Doron Peled: Formal Verification of a Partial-Order Reduction Technique for Model Checking. J. Autom. Reasoning 23(3-4): 265-298 (1999)
50EEEdmund M. Clarke, Orna Grumberg, Marius Minea, Doron Peled: State Space Reduction Using Partial Order Techniques. STTT 2(3): 279-287 (1999)
1998
49EEDoron Peled: Ten Years of Partial Order Reduction. CAV 1998: 17-28
48EEParosh Aziz Abdulla, Bengt Jonsson, Mats Kindahl, Doron Peled: A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract). CAV 1998: 379-390
47EEDoron Peled: A Toolset for Message Sequence Charts. CAV 1998: 532-536
46EEAnca Muscholl, Doron Peled, Zhendong Su: Deciding Properties for Message Sequence Charts. FoSSaCS 1998: 226-242
45EERajeev Alur, Kenneth L. McMillan, Doron Peled: Deciding Global Partial-Order Properties. ICALP 1998: 41-52
44EERobert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Static Partial Order Reduction. TACAS 1998: 345-357
43 Girish Bhat, Doron Peled: Adding Partial Orders to Linear Temporal Logic. Fundam. Inform. 36(1): 1-21 (1998)
42EEDoron Peled, Thomas Wilke, Pierre Wolper: An Algorithmic Approach for Checking Closure Properties of Temporal Logic Specifications and Omega-Regular Languages. Theor. Comput. Sci. 195(2): 183-203 (1998)
1997
41EEIlkka Kokkarinen, Doron Peled, Antti Valmari: Relaxed Visibility Enhances Partial Order Reduction. CAV 1997: 328-339
40EEGirish Bhat, Doron Peled: Adding Partial Orders to Linear Temporal Logic. CONCUR 1997: 119-134
39 Parosh Aziz Abdulla, Mats Kindahl, Doron Peled: An Improved Search Strategy for Lossy Channel Systems. FORTE 1997: 251-264
38EERobert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Verifying hardware in its software context. ICCAD 1997: 742-749
37 E. Allen Emerson, Somesh Jha, Doron Peled: Combining Partial Order and Symmetry Reductions. TACAS 1997: 19-34
36EEVladimir Levin, Doron Peled: Verification of Message Sequence Charts via Template Matching. TAPSOFT 1997: 652-666
35EEDoron Peled: Verification for Robust Specification. TPHOLs 1997: 231-241
34EEDoron Peled, Thomas Wilke: Stutter-Invariant Temporal Properties are Expressible Without the Next-Time Operator. Inf. Process. Lett. 63(5): 243-246 (1997)
33EEDoron Peled: On Projective and Separable Properties. Theor. Comput. Sci. 186(1-2): 135-156 (1997)
1996
32EEGerard J. Holzmann, Doron Peled: The State of SPIN. CAV 1996: 385-389
31EEDoron Peled, Thomas Wilke, Pierre Wolper: An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages. CONCUR 1996: 596-610
30EEPatrice Godefroid, Doron Peled, Mark G. Staskauskas: Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. ISSTA 1996: 261-269
29 Rajeev Alur, Kenneth L. McMillan, Doron Peled: Model-Checking of Correctness Conditions for Concurrent Objects. LICS 1996: 219-228
28EEDoron Peled: Partial Order Reduction: Model-Checking Using Representatives. MFCS 1996: 93-112
27 Ching-Tsun Chou, Doron Peled: Formal Verification of a Partial-Order Reduction Technique for Model Checking. TACAS 1996: 241-257
26 Rajeev Alur, Gerard J. Holzmann, Doron Peled: An Analyser for Mesage Sequence Charts. TACAS 1996: 35-48
25 Doron Peled: User Interfaces for Formal Methods. ACM Comput. Surv. 28(4es): 122 (1996)
24 Doron Peled: Combining Partial Order Reductions with On-the-Fly Model-Checking. Formal Methods in System Design 8(1): 39-64 (1996)
23EEPatrice Godefroid, Doron Peled, Mark G. Staskauskas: Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. IEEE Trans. Software Eng. 22(7): 496-507 (1996)
22 Rajeev Alur, Gerard J. Holzmann, Doron Peled: An Analyzer for Message Sequence Charts. Software - Concepts and Tools 17(2): 70-77 (1996)
1995
21 Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek: A Partial Order Approach to Branching Time Logic Model Checking. ISTCS 1995: 130-139
20 Rajeev Alur, Doron Peled, Wojciech Penczek: Model-Checking of Causality Properties LICS 1995: 90-100
19 Rob Gerth, Doron Peled, Moshe Y. Vardi, Pierre Wolper: Simple on-the-fly automatic verification of linear temporal logic. PSTV 1995: 3-18
18 Doron Peled, Wojciech Penczek: Using asynchronous Büchi automata for efficient automatic verification of concurrent systems. PSTV 1995: 315-330
1994
17EEDoron Peled: On Projective and Separable Properties. CAAP 1994: 291-308
16EEDoron Peled: Combining Partial Order Reductions with On-the-fly Model-Checking. CAV 1994: 377-390
15 Gerard J. Holzmann, Doron Peled: An improvement in formal verification. FORTE 1994: 197-211
14 Marta Z. Kwiatkowska, Doron Peled, Wojciech Penczek: A Hierarchy of Partial Order Temporal Properties. ICTL 1994: 398-414
13 Doron Peled, Amir Pnueli: Proving Partial Order Properties. Theor. Comput. Sci. 126(2): 143-182 (1994)
12 Doron Peled, Mathai Joseph: A Compositional Framework for Fault Tolerance by Specification Transformation. Theor. Comput. Sci. 128(1&2): 99-125 (1994)
1993
11EEDoron Peled: All from One, One for All: on Model Checking Using Representatives. CAV 1993: 409-423
10EEDoron Peled, Mathai Joseph: A Compositional Approach for Fault-Tolerance Using Specification Transformation. PARLE 1993: 173-184
1992
9EEDoron Peled: Sometimes 'Some' is as Good as 'All'. CONCUR 1992: 192-206
8 Shmuel Katz, Doron Peled: Verification of Distributed Programs Using Representative Interleaving Sequences. Distributed Computing 6(2): 107-120 (1992)
7 Shmuel Katz, Doron Peled: Defining Conditional Independence Using Collapses. Theor. Comput. Sci. 101(2): 337-359 (1992)
1991
6 Doron Peled, Shmuel Katz, Amir Pnueli: Specifying and Proving Serializability in Temporal Logic LICS 1991: 232-244
1990
5EEDoron Peled, Amir Pnueli: Proving Partial Order Liveness Properties. ICALP 1990: 553-571
4 Shmuel Katz, Doron Peled: Interleaving Set Temporal Logic. Theor. Comput. Sci. 75(3): 263-287 (1990)
1988
3EEShmuel Katz, Doron Peled: An efficient verification method for parallel and distributed programs. REX Workshop 1988: 489-507
1987
2 Shmuel Katz, Doron Peled: Interleaving Set Temporal Logic (Preliminary Version). PODC 1987: 178-190
1 Shmuel Katz, Doron Peled: Interleaving Set Temporal Logic. Temporal Logic in Specification 1987: 21-43

Coauthor Index

1Parosh Aziz Abdulla [39] [48]
2Rajeev Alur [20] [22] [26] [29] [45] [52] [57] [61] [68] [91] [92]
3Ananda Basu [121]
4Peter A. Beerel [59]
5Saddek Bensalem [89] [98] [111] [113] [121] [122]
6Girish Bhat [40] [43]
7Dragan Bosnacki [110]
8Ching-Tsun Chou [27] [51]
9Edmund M. Clarke [50]
10Cindy Eisner [80]
11Edith Elkind [105] [109] [110] [112]
12E. Allen Emerson [37]
13Kousha Etessami [57] [68]
14Blaise Genest [86] [90] [97] [105] [109] [110] [112]
15Rob Gerth [19] [21] [53]
16Patrice Godefroid [23] [30]
17Alex Groce [79] [81] [102]
18Orna Grumberg [50]
19Elsa L. Gunter [54] [63] [66] [69] [76] [78] [83] [84] [94]
20Nicolas Halbwachs [60]
21Gerard J. Holzmann [15] [22] [26] [32]
22Michaela Huhn [107] [108] [120]
23Hardi Hungar [107] [108] [120]
24Somesh Jha [37] [55]
25Bengt Jonsson [48]
26Mathai Joseph [10] [12]
27Marcin Jurdzinski [100]
28Gal Katz [115] [116] [118]
29Shmuel Katz [1] [2] [3] [4] [6] [7] [8]
30Mats Kindahl [39] [48]
31Ilkka Kokkarinen [41] [67]
32Ruurd Kuiper [21] [53]
33Robert P. Kurshan [38] [44] [66] [75]
34Dietrich Kuske [97]
35Marta Z. Kwiatkowska [14]
36Vladimir Levin [36] [38] [44] [59] [75]
37Francesco Logozzo [119]
38Kenneth L. McMillan [29] [45] [61] [92]
39Marius Minea [38] [44] [50] [75] [90]
40Anca Muscholl [46] [56] [62] [69] [71] [83] [85] [86] [90] [97]
41Peter Niebert [104] [117]
42Patrizio Pelliccione [114]
43Wojciech Penczek [14] [18] [20] [21] [53]
44Amir Pnueli [5] [6] [13] [72] [117]
45Hongyang Qu [88] [89] [95] [98] [99] [100] [103] [105] [111] [113]
46Natasha Sharygina [73]
47Joseph Sifakis [121]
48Paola Spoletini [112] [114]
49Mark G. Staskauskas [23] [30]
50Zhendong Su [46]
51Salvatore La Torre [57] [68]
52Stavros Tripakis [89] [98] [111] [113]
53Yih-Kuen Tsay [101] [106]
54Antti Valmari [41] [67]
55Moshe Y. Vardi [19] [58] [74] [82]
56Thomas Wilke [31] [34] [42]
57Pierre Wolper [19] [31] [42]
58Michael Wooldridge (Michael J. Wooldridge) [123]
59Mihalis Yannakakis [58] [74] [79] [81] [102]
60Hüsnü Yenigün [38] [44] [59] [75]
61Lenore D. Zuck [70] [72] [111] [119]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)