Doron Peled - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Monitoring Distributed Systems Using KnowledgeSusanne Graf, Doron Peled, Sophie Quinton. forte 2011: 183-197 [doi]

Synthesis of Distributed Control through Knowledge AccumulationGal Katz, Doron Peled, Sven Schewe. cav 2011: 510-525 [doi]

2010

Knowledge Based Scheduling of Distributed SystemsSaddek Bensalem, Doron Peled, Joseph Sifakis. BIRTHDAY 2010: 26-41 [doi]

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

Quantifying the Discord: Order Discrepancies in Message Sequence ChartsEdith Elkind, Blaise Genest, Doron Peled, Paola Spoletini. ijfcs, 21(2):211-233, 2010. [doi]

Achieving Distributed Control through Model CheckingSusanne Graf, Doron Peled, Sophie Quinton. cav 2010: 396-409 [doi]

Code Mutation in Verification and Automatic Code CorrectionGal Katz, Doron Peled. TACAS 2010: 435-450 [doi]

MCGP: A Software Synthesis Tool Based on Model Checking and Genetic ProgrammingGal Katz, Doron Peled. ATVA 2010: 359-364 [doi]

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

Time for Verification, Essays in Memory of Amir PnueliZohar Manna, Doron Peled, editors, Volume 6200 of Lecture Notes in Computer Science, Springer, 2010. [doi]

2009

Priority Scheduling of Distributed Systems Based on Model CheckingAnanda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis. cav 2009: 79-93 [doi]

Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected PapersSaddek Bensalem, Doron Peled, editors, Volume 5779 of Lecture Notes in Computer Science, Springer, 2009. [doi]

On commutativity based Edge Lean searchDragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled. AMAI, 56(2):187-210, 2009. [doi]

Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic ProgrammingGal Katz, Doron Peled. hvc 2011: 117-132 [doi]

Efficient model checking for LTL with partial order snapshotsPeter Niebert, Doron Peled. TCS, 410(42):4180-4189, 2009. [doi]

Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited PapersDoron Peled, Michael Wooldridge, editors, Volume 5348 of Lecture Notes in Computer Science, Springer, 2009. [doi]

2008

Automatic generation of path conditions for concurrent timed systemsSaddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis. TCS, 404(3):275-292, 2008. [doi]

Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06. - 15.06.2007Michaela Huhn, Hardi Hungar, Doron Peled, editors, Volume 07241 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2008.

Model Checking Driven Heuristic Search for Correct ProgramsGal Katz, Doron Peled. mochart 2009: 122-131 [doi]

Model Checking-Based Genetic Programming with an Application to Mutual ExclusionGal Katz, Doron Peled. TACAS 2008: 141-156 [doi]

Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion AlgorithmsGal Katz, Doron Peled. ATVA 2008: 33-47 [doi]

Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, ProceedingsFrancesco Logozzo, Doron Peled, Lenore D. Zuck, editors, Volume 4905 of Lecture Notes in Computer Science, Springer, 2008.

Discriminative Model CheckingPeter Niebert, Doron Peled, Amir Pnueli. cav 2008: 504-516 [doi]

2007

Test Case Generation for Ultimately Periodic PathsSaddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck. hvc 2008: 120-135 [doi]

On Commutativity Based Edge Lean SearchDragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled. icalp 2007: 158-170 [doi]

Quantifying the Discord: Order Discrepancies in Message Sequence ChartsEdith Elkind, Blaise Genest, Doron Peled, Paola Spoletini. ATVA 2007: 378-393 [doi]

Detecting Races in Ensembles of Message Sequence ChartsEdith Elkind, Blaise Genest, Doron Peled. TACAS 2007: 420-434 [doi]

07241 Summary - Tools for the Model-based Development of Certifiable, Dependable SystemsMichaela Huhn, Hardi Hungar, Doron Peled. dagstuhl 2008: [doi]

07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable SystemsMichaela Huhn, Hardi Hungar, Doron Peled. dagstuhl 2008: [doi]

PrefaceDoron Peled, Yih-Kuen Tsay. ijfcs, 18(1):1-4, 2007. [doi]

2006

Grey-Box CheckingEdith Elkind, Blaise Genest, Doron Peled, Hongyang Qu. forte 2006: 420-435 [doi]

Adaptive Model CheckingAlex Groce, Doron Peled, Mihalis Yannakakis. igpl, 14(5):729-744, 2006. [doi]

Efficient Model Checking for LTL with Partial Order SnapshotsPeter Niebert, Doron Peled. TACAS 2006: 272-286 [doi]

Enforcing Concurrent Temporal BehaviorsDoron Peled, Hongyang Qu. ijfcs, 17(4):743-762, 2006. [doi]

2005

Deciding Global Partial-Order PropertiesRajeev Alur, Kenneth L. McMillan, Doron Peled. fmsd, 26(1):7-25, 2005. [doi]

Generating Path Conditions for Timed SystemsSaddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis. IFM 2005: 5-19 [doi]

Snapshot VerificationBlaise Genest, Dietrich Kuske, Anca Muscholl, Doron Peled. TACAS 2005: 510-525 [doi]

Model checking, testing and verification working togetherElsa L. Gunter, Doron Peled. fac, 17(2):201-221, 2005. [doi]

Calculating Probabilities of Real-Time Test CasesMarcin Jurdzinski, Doron Peled, Hongyang Qu. fates 2006: 134-151 [doi]

Introduction: Special Issue on Partial Order in Formal MethodsDoron Peled. fmsd, 26(1):5-6, 2005. [doi]

Enforcing Concurrent Temporal BehaviorsDoron Peled, Hongyang Qu. ENTCS, 113:65-83, 2005. [doi]

Time Unbalanced Partial OrderDoron Peled, Hongyang Qu. fates 2006: 152-169 [doi]

Automatic Test Generation and Monitoring of Infinite States SystemsDoron Peled. vissas 2006: 127-142

Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, ProceedingsDoron Peled, Yih-Kuen Tsay, editors, Volume 3707 of Lecture Notes in Computer Science, Springer, 2005.

2004

Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, ProceedingsRajeev Alur, Doron Peled, editors, Volume 3114 of Lecture Notes in Computer Science, Springer, 2004.

Automatic Generation of Path Conditions for Timed SystemsSaddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis. isola 2004: 243-249

Specifying and Verifying Partial Order Properties Using Template MSCsBlaise Genest, Marius Minea, Anca Muscholl, Doron Peled. fossacs 2004: 195-210 [doi]

2003

2002

Comparing Symbolic and Explicit Model Checking of a Software SystemCindy Eisner, Doron Peled. spin 2002: 230-239 [doi]

AMC: An Adaptive Model CheckerAlex Groce, Doron Peled, Mihalis Yannakakis. cav 2002: 521-525 [doi]

Adaptive Model CheckingAlex Groce, Doron Peled, Mihalis Yannakakis. TACAS 2002: 357-370 [doi]

Tracing the executions of concurrent programsElsa L. Gunter, Doron Peled. ENTCS, 70(4), 2002. [doi]

Temporal Debugging for Concurrent SystemsElsa L. Gunter, Doron Peled. TACAS 2002: 431-444 [doi]

Combining Software and Hardware Verification TechniquesRobert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün. fmsd, 21(3):251-280, 2002.

Black Box CheckingDoron Peled, Moshe Y. Vardi, Mihalis Yannakakis. jalc, 7(2):225-246, 2002.

Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, ProceedingsDoron Peled, Moshe Y. Vardi, editors, Volume 2529 of Lecture Notes in Computer Science, Springer, 2002.

Specification and Verification using Message Sequence ChartsDoron Peled. ENTCS, 65(7), 2002. [doi]

2001

Parametric temporal logic for model measuring Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled. tocl, 2(3):388-407, 2001. [doi]

Model checkingEdmund M. Clarke, Orna Grumberg, Doron Peled. MIT Press, 2001.

Compositional Message Sequence ChartsElsa L. Gunter, Anca Muscholl, Doron Peled. TACAS 2001: 496-511 [doi]

From Finite State Communication Protocols to High-Level Message Sequence ChartsAnca Muscholl, Doron Peled. icalp 2001: 720-731 [doi]

Relaxed Visibility Enhances Partial Order ReductionDoron Peled, Antti Valmari, Ilkka Kokkarinen. fmsd, 19(3):275-289, 2001.

From Falsification to VerificationDoron Peled, Amir Pnueli, Lenore D. Zuck. fsttcs 2001: 292-304 [doi]

From Model Checking to a Temporal ProofDoron Peled, Lenore D. Zuck. spin 2001: 1-14 [doi]

A Combined Testing and Verification Approach for Software ReliabilityNatasha Sharygina, Doron Peled. fm 2001: 611-628 [doi]

2000

1999

Undecidability of Partial Order LogicsRajeev Alur, Doron Peled. ipl, 69(3):137-143, 1999. [doi]

Parametric Temporal Logic for Model Measuring Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled. icalp 1999: 159-168 [doi]

Formal Verification of a Partial-Order Reduction Technique for Model CheckingChing-Tsun Chou, Doron Peled. JAR, 23(3-4):265-298, 1999.

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

A Partial Order Approach to Branching Time Logic Model CheckingRob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek. iandc, 150(2):132-152, 1999.

Path Exploration ToolElsa L. Gunter, Doron Peled. TACAS 1999: 405-419 [doi]

Computer Aided Verification, 11th International Conference, CAV 99, Trento, Italy, July 6-10, 1999, ProceedingsNicolas Halbwachs, Doron Peled, editors, Volume 1633 of Lecture Notes in Computer Science, Springer, 1999.

Generalized Stuttering EquivalenceSomesh Jha, Doron Peled. pdpta 1999: 1054-1060

Message Sequence Graphs and Decision Problems on Mazurkiewicz TracesAnca Muscholl, Doron Peled. mfcs 1999: 81-91

Black Box CheckingDoron Peled, Moshe Y. Vardi, Mihalis Yannakakis. forte 1999: 225-240

Hazard-Freedom Checking in Speed-Independent SystemsHüsnü Yenigün, Vladimir Levin, Doron Peled, Peter A. Beerel. charme 1999: 317-320 [doi]

1998

A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract)Parosh Aziz Abdulla, Bengt Jonsson, Mats Kindahl, Doron Peled. cav 1998: 379-390

Deciding Global Partial-Order PropertiesRajeev Alur, Kenneth L. McMillan, Doron Peled. icalp 1998: 41-52 [doi]

Adding Partial Orders to Linear Temporal LogicGirish Bhat, Doron Peled. FUIN, 36(1):1-21, 1998.

Static Partial Order ReductionRobert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün. TACAS 1998: 345-357 [doi]

Deciding Properties for Message Sequence ChartsAnca Muscholl, Doron Peled, Zhendong Su. fossacs 1998: 226-242 [doi]

A Toolset for Message Sequence ChartsDoron Peled. cav 1998: 532-536

Ten Years of Partial Order ReductionDoron Peled. cav 1998: 17-28

An Algorithmic Approach for Checking Closure Properties of Temporal Logic Specifications and Omega-Regular LanguagesDoron Peled, Thomas Wilke, Pierre Wolper. TCS, 195(2):183-203, 1998. [doi]

1997

PreviousNext