פרופ' דורון פלד

פרופ'
פרופ' דורון פלד
טלפון: 
פקס: 
דוא"ל: 
משרד: 
שעות קבלה: 

קורות חיים

פירסומים

Susanne Graf, Doron Peled, Sophie Quinton: Achieving distributed control through model checking. Formal Methods in System Design 40(2): 263-281 (2012)

Gal Katz, Doron Peled, Sven Schewe: The Buck Stops Here: Order, Chance, and Coordination in Distributed Control. ATVA 2011: 422-431

Gal Katz, Doron Peled, Sven Schewe: Synthesis of Distributed Control through Knowledge Accumulation. CAV 2011: 510-525

Susanne Graf, Doron Peled, Sophie Quinton: Monitoring Distributed Systems Using Knowledge. FMOODS/FORTE 2011: 183-197

Doron Peled, Sven Schewe: Practical Distributed Control Synthesis INFINITY 2011: 2-17

Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron Peled: Efficient deadlock detection for concurrent systems. MEMOCODE 2011: 119-129

Doron Peled: Model Checking. Software and Systems Safety - Specification and Verification 2011: 260-281

Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis: Priority scheduling of distributed systems based on model checking. Formal Methods in System Design 39(3): 229-245 (2011)

Jing Liu, Doron Peled, Bow-Yaw Wang, Farn Wang: 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, 25-27 August 2010 IEEE Computer Society 2010

Zohar Manna, Doron Peled: Time for Verification, Essays in Memory of Amir Pnueli Springer 2010

Gal Katz, Doron Peled: MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming. ATVA 2010: 359-364

Saddek Bensalem, Marius Bozga, Susanne Graf, Doron Peled, Sophie Quinton: Methods for Knowledge Based Controlling of Distributed Systems. ATVA 2010: 52-66

Susanne Graf, Doron Peled, Sophie Quinton: Achieving Distributed Control through Model Checking. CAV 2010: 396-409

Saddek Bensalem, Doron Peled, Joseph Sifakis: Knowledge Based Scheduling of Distributed Systems. Essays in Memory of Amir Pnueli 2010: 26-41

Gal Katz, Doron Peled: Code Mutation in Verification and Automatic Code Correction. TACAS 2010: 435-450

Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini: Quantifying the Discord: Order Discrepancies in Message Sequence Charts. Int. J. Found. Comput. Sci. 21(2): 211-233 (2010)

Doron 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

Saddek Bensalem, Doron Peled: Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers Springer 2009

Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis: Priority Scheduling of Distributed Systems Based on Model Checking. CAV 2009: 79-93

Gal Katz, Doron Peled: Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming. Haifa Verification Conference 2009: 117-132

Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled: On commutativity based Edge Lean search. Ann. Math. Artif. Intell. 56(2): 187-210 (2009)

Peter Niebert, Doron Peled: Efficient model checking for LTL with partial order snapshots. Theor. Comput. Sci. 410(42): 4180-4189 (2009)

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

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

Gal Katz, Doron Peled: Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms. ATVA 2008: 33-47

Peter Niebert, Doron Peled, Amir Pnueli: Discriminative Model Checking. CAV 2008: 504-516

Gal Katz, Doron Peled: Model Checking Driven Heuristic Search for Correct Programs. MoChArt 2008: 122-131

Gal Katz, Doron Peled: Model Checking-Based Genetic Programming with an Application to Mutual Exclusion. TACAS 2008: 141-156

Doron Peled, Patrizio Pelliccione, Paola Spoletini: Model Checking. Wiley Encyclopedia of Computer Science and Engineering 2008

Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Automatic generation of path conditions for concurrent timed systems. Theor. Comput. Sci. 404(3): 275-292 (2008)

Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini: Quantifying the Discord: Order Discrepancies in Message Sequence Charts. ATVA 2007: 378-393

Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck: Test Case Generation for Ultimately Periodic Paths. Haifa Verification Conference 2007: 120-135

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

Edith Elkind, Blaise Genest, Doron Peled: Detecting Races in Ensembles of Message Sequence Charts. TACAS 2007: 420-434

Michaela 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

Michaela 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

Doron Peled, Yih-Kuen Tsay: Preface. Int. J. Found. Comput. Sci. 18(1): 1-4 (2007)

 

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)

תחומי מחקר

הוכחת נכונות של מערכות חומרה ותוכנה, הוכחה אוטומטית, בדיקות של מערכות, לוגיקה ושפות פורמליות

 

דרושים סטודנטים למחקר לתואר שני / /שלישי בנושאים של לוגיקה, הנדסת תכנה, אימות ובדיקה של תכנה וחומרה.

למעוניינים יש לפנות לפרופ' פלד : doron.peled@cs.biu.ac.il