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

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

קורות חיים

פירסומים

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)

קורסים

89200 לוגיקה מתמטית סמסטר ב'  
89467 סמינריון בסינתיזה של תוכנה סמסטר ב'  
89477 סמינר באימות אוטומטי של תוכנה וחומרה סמסטר א'  
89539 מערכות מקביליות ומבוזרות סמסטר ב'  
89575 שיטות אימות לתוכנה סמסטר א'  

תחומי מחקר

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

 

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

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