D. Peled

发表

Doron A. Peled, D. Peled, 2003, ICALP.
Doron A. Peled, Elsa L. Gunter, E. Gunter, 2005, Formal Aspects of Computing.
Anca Muscholl, Doron A. Peled, Dietrich Kuske, 2005, TACAS.
Amir Pnueli, Doron A. Peled, A. Pnueli, 1994, Theor. Comput. Sci..
Pierre Wolper, Doron A. Peled, Moshe Y. Vardi, 1995, PSTV.
Doron A. Peled, Thomas Wilke, Thomas Wilke, 1997, Inf. Process. Lett..
E. Clarke, D. Peled, O. Grumberg, 1999, International Journal on Software Tools for Technology Transfer.
Shmuel Katz, D. Peled, 1987 .
Doron A. Peled, Stavros Tripakis, Hongyang Qu, 2004, ISoLA.
R. Kurshan, K. Fisler, D. Peled, 2013 .
Gerard J. Holzmann, Doron Peled, Jean-Charles Gregorie, 1997 .
Rajeev Alur, Gerard J. Holzmann, Doron Peled, 1996, Softw. Concepts Tools.
Steven F Knittel, M. Yannakakis, B. Kernighan, 1996 .
Genest, D. Peled, ChartsBlaise, 2007 .
A. Valmari, D. Peled, I. Kokkarinen, 2005 .
Somesh Jha, Doron A. Peled, S. Jha, 1999, PDPTA.
Gerard J. Holzmann, Vaughan R. Pratt, Doron Peled, 1997 .
Gerard J. Holzmann, Vaughan R. Pratt, Doron Peled, 1997, Partial Order Methods in Verification.
Gerard J. Holzmann, Vaughan R. Pratt, Doron Peled, 1997 .
Shmuel Katz, D. Peled, 2013 .
Doron A. Peled, Patrice Godefroid, Mark G. Staskauskas, 1996, ISSTA '96.
D. Peled, Itay Cohen, Roi Fogler, 2022, 2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Doron A. Peled, Gal Katz, D. Peled, 2009, Haifa Verification Conference.
Gerard J. Holzmann, Doron A. Peled, D. Peled, 1996, CAV.
Doron A. Peled, Shmuel Katz, Shmuel Katz, 1987, PODC '87.
Gerard J. Holzmann, Doron A. Peled, D. Peled, 1994, FORTE.
Doron A. Peled, D. Peled, 1994, Theor. Comput. Sci..
Kim G. Larsen, Sean Sedwards, Doron A. Peled, 2017, VSTTE.
Rajeev Alur, Gerard J. Holzmann, Doron A. Peled, 1996, TACAS.
D. Ničković, D. Peled, P. Katsaros, 2022, NSV/FoMLAS@CAV.
Parosh Aziz Abdulla, Doron A. Peled, Mats Kindahl, 1997, FORTE.
Doron A. Peled, Peter Niebert, P. Niebert, 2006, Theor. Comput. Sci..
Rajeev Alur, Doron A. Peled, R. Alur, 1999, Inf. Process. Lett..
Rajeev Alur, Doron A. Peled, Kenneth L. McMillan, 1998, Formal Methods Syst. Des..
Doron A. Peled, D. Peled, 1998, CAV.
Doron A. Peled, D. Peled, 1997, TPHOLs.
Girish Bhat, Doron A. Peled, D. Peled, 1997, Fundam. Informaticae.
Pierre Wolper, Doron A. Peled, Thomas Wilke, 1996, CONCUR.
Doron A. Peled, D. Peled, 1994, Formal Methods Syst. Des..
Wojciech Penczek, Rajeev Alur, Doron A. Peled, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Doron A. Peled, Shmuel Katz, Shmuel Katz, 1992, Theor. Comput. Sci..
Amir Pnueli, Shmuel Katz, Doron Peled, 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Doron A. Peled, D. Peled, 1992, CONCUR.
Dogan Ulus, Doron A. Peled, Klaus Havelund, 2017, Formal Methods in System Design.
Axel Legay, Doron A. Peled, Thanh-Hung Nguyen, 2011, Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011).
Doron A. Peled, Hongyang Qu, D. Peled, 2003, FORTE.
Doron A. Peled, Hüsnü Yenigün, Robert P. Kurshan, 2002, Formal Methods Syst. Des..
Doron A. Peled, Cindy Eisner, D. Peled, 2002, SPIN.
Doron A. Peled, Klaus Havelund, K. Havelund, 2018, RV.
Klaus Havelund, Doron Peled, K. Havelund, 2018, Models, Mindsets, Meta.
Doron A. Peled, Sophie Quinton, Susanne Graf, 2011, FMOODS/FORTE.
Klaus Havelund, Doron Peled, K. Havelund, 2021, International Journal on Software Tools for Technology Transfer.
Wojciech Penczek, Doron A. Peled, Ruurd Kuiper, 1995, Proceedings Third Israel Symposium on the Theory of Computing and Systems.
Mihalis Yannakakis, Doron A. Peled, Moshe Y. Vardi, 1999, FORTE.
Bernd Finkbeiner, Doron A. Peled, Peter Faymonville, 2014, VMCAI.
D. Peled, Gal Katz, 2013, International Journal on Software Tools for Technology Transfer.
Sven Schewe, John Fearnley, Doron A. Peled, 2012, J. Comput. Syst. Sci..
Anca Muscholl, Doron A. Peled, D. Peled, 2003, Scenarios: Models, Transformations and Tools.
Doron A. Peled, D. Peled, 2002, VISS@ETAPS.
Alex Groce, Mihalis Yannakakis, Doron A. Peled, 2002, Log. J. IGPL.
Amir Pnueli, Doron A. Peled, Lenore D. Zuck, 2001, FSTTCS.
Doron A. Peled, Lenore D. Zuck, D. Peled, 2001, SPIN '01.
Doron A. Peled, Antti Valmari, Ilkka Kokkarinen, 1997, Formal Methods Syst. Des..
Doron A. Peled, D. Peled, 2018, Handbook of Model Checking.
Anca Muscholl, Doron A. Peled, D. Peled, 2000, SAM.
Doron A. Peled, D. Peled, 2000, ICDCS Workshop on Distributed System Validation and Verification.
Mihalis Yannakakis, Gerard J. Holzmann, Doron A. Peled, 1996, The Spin Verification System.
Edmund M. Clarke, Doron A. Peled, Orna Grumberg, 1999, International Journal on Software Tools for Technology Transfer.
Doron A. Peled, Shmuel Katz, Shmuel Katz, 1988, REX Workshop.
Edith Elkind, Doron A. Peled, Blaise Genest, 2007, TACAS.
Doron A. Peled, Hongyang Qu, D. Peled, 2006, RV@ETAPS.
Anca Muscholl, Doron A. Peled, Elsa L. Gunter, 2001, International Journal on Software Tools for Technology Transfer.
Doron A. Peled, Elsa L. Gunter, E. Gunter, 1999, TACAS.
Doron A. Peled, D. Peled, 1998, CAV.
Anca Muscholl, Zhendong Su, Doron A. Peled, 1998, FoSSaCS.
Doron Peled, Vladdimir Levin, V. Levin, 1997, TAPSOFT.
Dragan Bosnacki, Edith Elkind, Doron A. Peled, 2007, Annals of Mathematics and Artificial Intelligence.
Peter A. Beerel, Doron A. Peled, Hüsnü Yenigün, 1999, CHARME.
Doron A. Peled, Hüsnü Yenigün, Robert P. Kurshan, 1998, TACAS.
Doron A. Peled, Patrice Godefroid, Mark G. Staskauskas, 1996, ISSTA '96.
Doron A. Peled, Shmuel Katz, Shmuel Katz, 1992, Distributed Computing.
Anca Muscholl, Doron A. Peled, Blaise Genest, 2003, Lectures on Concurrency and Petri Nets.
Doron Peled, D. Peled, 2001 .
C. R. Ramakrishnan, Radu Grosu, Doron A. Peled, 2014, ISoLA.
Doron A. Peled, D. Peled, 2001, Texts in Computer Science.
E. Clarke, D. Kroening, H. Veith, 2018 .
Anca Muscholl, Doron A. Peled, D. Peled, 2001, ICALP.
Anca Muscholl, Doron A. Peled, D. Peled, 1999, MFCS.
Farn Wang, Chung-Hao Huang, Sven Schewe, 2016, IEEE Transactions on Software Engineering.
Farn Wang, Chung-Hao Huang, Sven Schewe, 2012, GandALF.
Axel Legay, Doron A. Peled, Saddek Bensalem, 2013, 2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013).
Doron A. Peled, Marius Bozga, Saddek Bensalem, 2012, Haifa Verification Conference.
Doron A. Peled, Marius Bozga, Sophie Quinton, 2010, ATVA.
Doron A. Peled, Gal Katz, D. Peled, 2010, TACAS.
Joseph Sifakis, Doron A. Peled, Ananda Basu, 2009, Formal Methods Syst. Des..
Doron A. Peled, Natasha Sharygina, N. Sharygina, 2001, FME.
Amir Pnueli, Doron Peled, A. Pnueli, 1990, ICALP.
Joseph Sifakis, Doron A. Peled, Saddek Bensalem, 2010, Essays in Memory of Amir Pnueli.
Wojciech Penczek, Doron A. Peled, Marta Z. Kwiatkowska, 1994, ICTL.
Doron A. Peled, Borzoo Bonakdarpour, Marius Bozga, 2013, Haifa Verification Conference.
K. Havelund, D. Peled, 2022, Formal Methods in System Design.
Doron A. Peled, Lei Bu, Dashuan Shen, 2018, ISoLA.
Doron A. Peled, D. Peled, 2016, ISoLA.
Doron A. Peled, D. Peled, 2016, RV.
Doron A. Peled, Gal Katz, D. Peled, 2009, MoChArt.
Doron A. Peled, Klaus Havelund, K. Havelund, 2018, SPIN.
Edith Elkind, Doron A. Peled, Hongyang Qu, 2006, FORTE.
Alex Groce, Mihalis Yannakakis, Doron A. Peled, 2002, CAV.
R. Alur, D. Peled, G. Holzmann, 1996, Softw. Concepts Tools.
Gerard J. Holzmann, Doron A. Peled, Margaret H. Redberg, 1997, Bell Labs Technical Journal.
D. Peled, A. Muscholl, Zhendong Su, 1998, Foundations of Software Science and Computation Structure.
Anca Muscholl, Doron A. Peled, Marius Minea, 2004, FoSSaCS.
Edmund M. Clarke, Jeannette M. Wing, E. Clarke, 1996 .
Somesh Jha, Doron A. Peled, E. Allen Emerson, 1997, TACAS.
D. Peled, Zhenhua Duan, Cong Tian, 2018, Handbook of Finite State Based Models and Applications.