Prof. Doron Peled

Prof. Doron Peled


Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled: On Commutativity Based Edge Lean Search. ICALP 2007: 158-170

Alex Groce, Doron Peled, Mihalis Yannakakis: Adaptive Model Checking. Logic Journal of the IGPL 14(5): 729-744 (2006)

Rajeev Alur, Kenneth L. McMillan, Doron Peled: Deciding Global Partial-Order Properties. Formal Methods in System Design 26(1): 7-25 (2005)

Elsa L. Gunter, Anca Muscholl, Doron Peled: Compositional message sequence charts. STTT 5(1): 78-89 (2003)

Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis: Black Box Checking. Journal of Automata, Languages and Combinatorics 7(2): 225-246 (2002)

Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled: Parametric temporal logic for "model measuring". ACM Trans. Comput. Log. 2(3): 388-407 (2001)

Rajeev Alur, Kenneth L. McMillan, Doron Peled: Model-Checking of Correctness Conditions for Concurrent Objects. Inf. Comput. 160(1-2): 167-188 (2000)

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)

Edmund M. Clarke, Orna Grumberg, Marius Minea, Doron Peled: State Space Reduction Using Partial Order Techniques. STTT 2(3): 279-287 (1999)

Doron Peled, Amir Pnueli: Proving Partial Order Properties. Theor. Comput. Sci. 126(2): 143-182 (1994)


Formal methods, formal verification, model-checking, software testing, software engineering, mathematical logic, automata and formal languages, semantics of programming languages,  development and experiments with software analysis systems.