The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Doron Peled: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Blaise Genest, Anca Muscholl, Doron Peled
    Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:537-558 [Conf]
  2. Elsa L. Gunter, Doron Peled
    Unit Checking: Symbolic Model Checking for a Unit of Code. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:548-567 [Conf]
  3. Doron Peled
    On Projective and Separable Properties. [Citation Graph (0, 0)][DBLP]
    CAAP, 1994, pp:291-308 [Conf]
  4. Parosh Aziz Abdulla, Bengt Jonsson, Mats Kindahl, Doron Peled
    A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:379-390 [Conf]
  5. Alex Groce, Doron Peled, Mihalis Yannakakis
    AMC: An Adaptive Model Checker. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:521-525 [Conf]
  6. Elsa L. Gunter, Robert P. Kurshan, Doron Peled
    PET: An Interactive Software Testing Tool. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:552-556 [Conf]
  7. Gerard J. Holzmann, Doron Peled
    The State of SPIN. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:385-389 [Conf]
  8. Ilkka Kokkarinen, Doron Peled, Antti Valmari
    Relaxed Visibility Enhances Partial Order Reduction. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:328-339 [Conf]
  9. Doron Peled
    All from One, One for All: on Model Checking Using Representatives. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:409-423 [Conf]
  10. Doron Peled
    Combining Partial Order Reductions with On-the-fly Model-Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1994, pp:377-390 [Conf]
  11. Doron Peled
    Ten Years of Partial Order Reduction. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:17-28 [Conf]
  12. Doron Peled
    A Toolset for Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:532-536 [Conf]
  13. Hüsnü Yenigün, Vladimir Levin, Doron Peled, Peter A. Beerel
    Hazard-Freedom Checking in Speed-Independent Systems. [Citation Graph (0, 0)][DBLP]
    CHARME, 1999, pp:317-320 [Conf]
  14. Girish Bhat, Doron Peled
    Adding Partial Orders to Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:119-134 [Conf]
  15. Doron Peled
    Sometimes 'Some' is as Good as 'All'. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:192-206 [Conf]
  16. Doron Peled, Thomas Wilke, Pierre Wolper
    An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:596-610 [Conf]
  17. Anca Muscholl, Doron Peled
    Deciding Properties of Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    Scenarios: Models, Transformations and Tools, 2003, pp:43-65 [Conf]
  18. Marcin Jurdzinski, Doron Peled, Hongyang Qu
    Calculating Probabilities of Real-Time Test Cases. [Citation Graph (0, 0)][DBLP]
    FATES, 2005, pp:134-151 [Conf]
  19. Doron Peled, Hongyang Qu
    Time Unbalanced Partial Order. [Citation Graph (0, 0)][DBLP]
    FATES, 2005, pp:152-169 [Conf]
  20. Natasha Sharygina, Doron Peled
    A Combined Testing and Verification Approach for Software Reliability. [Citation Graph (0, 0)][DBLP]
    FME, 2001, pp:611-628 [Conf]
  21. Parosh Aziz Abdulla, Mats Kindahl, Doron Peled
    An Improved Search Strategy for Lossy Channel Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:251-264 [Conf]
  22. Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu
    Grey-Box Checking. [Citation Graph (0, 0)][DBLP]
    FORTE, 2006, pp:420-435 [Conf]
  23. Gerard J. Holzmann, Doron Peled
    An improvement in formal verification. [Citation Graph (0, 0)][DBLP]
    FORTE, 1994, pp:197-211 [Conf]
  24. Doron Peled
    Specification and Verification of Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    FORTE, 2000, pp:139-154 [Conf]
  25. Doron Peled, Hongyang Qu
    Automatic Verification of Annotated Code. [Citation Graph (0, 0)][DBLP]
    FORTE, 2003, pp:127-143 [Conf]
  26. Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis
    Black Box Checking. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:225-240 [Conf]
  27. Blaise Genest, Marius Minea, Anca Muscholl, Doron Peled
    Specifying and Verifying Partial Order Properties Using Template MSCs. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2004, pp:195-210 [Conf]
  28. Anca Muscholl, Doron Peled, Zhendong Su
    Deciding Properties for Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1998, pp:226-242 [Conf]
  29. Doron Peled, Amir Pnueli, Lenore D. Zuck
    From Falsification to Verification. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2001, pp:292-304 [Conf]
  30. Rajeev Alur, Kenneth L. McMillan, Doron Peled
    Deciding Global Partial-Order Properties. [Citation Graph (0, 0)][DBLP]
    ICALP, 1998, pp:41-52 [Conf]
  31. Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled
    Parametric Temporal Logic for "Model Measuring". [Citation Graph (0, 0)][DBLP]
    ICALP, 1999, pp:159-168 [Conf]
  32. Anca Muscholl, Doron Peled
    From Finite State Communication Protocols to High-Level Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    ICALP, 2001, pp:720-731 [Conf]
  33. Doron Peled
    Model Checking and Testing Combined. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:47-63 [Conf]
  34. Doron Peled, Amir Pnueli
    Proving Partial Order Liveness Properties. [Citation Graph (0, 0)][DBLP]
    ICALP, 1990, pp:553-571 [Conf]
  35. Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün
    Verifying hardware in its software context. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1997, pp:742-749 [Conf]
  36. Doron Peled
    Formal Methods for Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  37. Marta Z. Kwiatkowska, Doron Peled, Wojciech Penczek
    A Hierarchy of Partial Order Temporal Properties. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:398-414 [Conf]
  38. Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis
    Generating Path Conditions for Timed Systems. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:5-19 [Conf]
  39. Patrice Godefroid, Doron Peled, Mark G. Staskauskas
    Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:261-269 [Conf]
  40. Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek
    A Partial Order Approach to Branching Time Logic Model Checking. [Citation Graph (0, 0)][DBLP]
    ISTCS, 1995, pp:130-139 [Conf]
  41. Rajeev Alur, Kenneth L. McMillan, Doron Peled
    Model-Checking of Correctness Conditions for Concurrent Objects. [Citation Graph (0, 0)][DBLP]
    LICS, 1996, pp:219-228 [Conf]
  42. Rajeev Alur, Doron Peled, Wojciech Penczek
    Model-Checking of Causality Properties [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:90-100 [Conf]
  43. Doron Peled, Shmuel Katz, Amir Pnueli
    Specifying and Proving Serializability in Temporal Logic [Citation Graph (0, 0)][DBLP]
    LICS, 1991, pp:232-244 [Conf]
  44. Anca Muscholl, Doron Peled
    Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces. [Citation Graph (0, 0)][DBLP]
    MFCS, 1999, pp:81-91 [Conf]
  45. Doron Peled
    Partial Order Reduction: Model-Checking Using Representatives. [Citation Graph (0, 0)][DBLP]
    MFCS, 1996, pp:93-112 [Conf]
  46. Doron Peled, Mathai Joseph
    A Compositional Approach for Fault-Tolerance Using Specification Transformation. [Citation Graph (0, 0)][DBLP]
    PARLE, 1993, pp:173-184 [Conf]
  47. Elsa L. Gunter, Doron Peled
    Using a Mix of Languages in Formal Methods: The PET System. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2000, pp:- [Conf]
  48. Somesh Jha, Doron Peled
    Generalized Stuttering Equivalence. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1999, pp:1054-1060 [Conf]
  49. Shmuel Katz, Doron Peled
    Interleaving Set Temporal Logic (Preliminary Version). [Citation Graph (0, 0)][DBLP]
    PODC, 1987, pp:178-190 [Conf]
  50. Rob Gerth, Doron Peled, Moshe Y. Vardi, Pierre Wolper
    Simple on-the-fly automatic verification of linear temporal logic. [Citation Graph (0, 0)][DBLP]
    PSTV, 1995, pp:3-18 [Conf]
  51. Doron Peled, Wojciech Penczek
    Using asynchronous Büchi automata for efficient automatic verification of concurrent systems. [Citation Graph (0, 0)][DBLP]
    PSTV, 1995, pp:315-330 [Conf]
  52. Shmuel Katz, Doron Peled
    An efficient verification method for parallel and distributed programs. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:489-507 [Conf]
  53. Anca Muscholl, Doron Peled
    Analyzing Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    SAM, 2000, pp:3-17 [Conf]
  54. Doron Peled, Lenore D. Zuck
    From Model Checking to a Temporal Proof. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:1-14 [Conf]
  55. Cindy Eisner, Doron Peled
    Comparing Symbolic and Explicit Model Checking of a Software System. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:230-239 [Conf]
  56. Rajeev Alur, Gerard J. Holzmann, Doron Peled
    An Analyser for Mesage Sequence Charts. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:35-48 [Conf]
  57. Ching-Tsun Chou, Doron Peled
    Formal Verification of a Partial-Order Reduction Technique for Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:241-257 [Conf]
  58. Elsa L. Gunter, Anca Muscholl, Doron Peled
    Compositional Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:496-511 [Conf]
  59. Elsa L. Gunter, Doron Peled
    Temporal Debugging for Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:431-444 [Conf]
  60. Elsa L. Gunter, Doron Peled
    Path Exploration Tool. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:405-419 [Conf]
  61. E. Allen Emerson, Somesh Jha, Doron Peled
    Combining Partial Order and Symmetry Reductions. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:19-34 [Conf]
  62. Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron Peled
    Snapshot Verification. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:510-525 [Conf]
  63. Alex Groce, Doron Peled, Mihalis Yannakakis
    Adaptive Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:357-370 [Conf]
  64. Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün
    Static Partial Order Reduction. [Citation Graph (0, 0)][DBLP]
    TACAS, 1998, pp:345-357 [Conf]
  65. Peter Niebert, Doron Peled
    Efficient Model Checking for LTL with Partial Order Snapshots. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:272-286 [Conf]
  66. Vladimir Levin, Doron Peled
    Verification of Message Sequence Charts via Template Matching. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:652-666 [Conf]
  67. Shmuel Katz, Doron Peled
    Interleaving Set Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:21-43 [Conf]
  68. Doron Peled
    Verification for Robust Specification. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1997, pp:231-241 [Conf]
  69. Doron Peled
    Automatic Test Generation and Monitoring of Infinite States Systems. [Citation Graph (0, 0)][DBLP]
    VISSAS, 2005, pp:127-142 [Conf]
  70. Doron Peled
    User Interfaces for Formal Methods. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:122- [Journal]
  71. Shmuel Katz, Doron Peled
    Verification of Distributed Programs Using Representative Interleaving Sequences. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1992, v:6, n:2, pp:107-120 [Journal]
  72. Elsa L. Gunter, Doron Peled
    Tracing the executions of concurrent programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]
  73. Doron Peled
    Specification and Verification using Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:7, pp:- [Journal]
  74. Doron Peled, Hongyang Qu
    Enforcing Concurrent Temporal Behaviors. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:65-83 [Journal]
  75. Elsa L. Gunter, Doron Peled
    Model checking, testing and verification working together. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2005, v:17, n:2, pp:201-221 [Journal]
  76. Rajeev Alur, Kenneth L. McMillan, Doron Peled
    Deciding Global Partial-Order Properties. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:26, n:1, pp:7-25 [Journal]
  77. Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün
    Combining Software and Hardware Verification Techniques. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2002, v:21, n:3, pp:251-280 [Journal]
  78. Doron Peled
    Introduction: Special Issue on Partial Order in Formal Methods. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:26, n:1, pp:5-6 [Journal]
  79. Doron Peled
    Combining Partial Order Reductions with On-the-Fly Model-Checking. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1996, v:8, n:1, pp:39-64 [Journal]
  80. Doron Peled, Antti Valmari, Ilkka Kokkarinen
    Relaxed Visibility Enhances Partial Order Reduction. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:19, n:3, pp:275-289 [Journal]
  81. Girish Bhat, Doron Peled
    Adding Partial Orders to Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1998, v:36, n:1, pp:1-21 [Journal]
  82. Rajeev Alur, Kenneth L. McMillan, Doron Peled
    Model-Checking of Correctness Conditions for Concurrent Objects. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:160, n:1-2, pp:167-188 [Journal]
  83. Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek
    A Partial Order Approach to Branching Time Logic Model Checking. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:150, n:2, pp:132-152 [Journal]
  84. Alex Groce, Doron Peled, Mihalis Yannakakis
    Adaptive Model Checking. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2006, v:14, n:5, pp:729-744 [Journal]
  85. Doron Peled, Hongyang Qu
    Enforcing Concurrent Temporal Behaviors. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:743-762 [Journal]
  86. Doron Peled, Yih-Kuen Tsay
    Preface. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2007, v:18, n:1, pp:1-4 [Journal]
  87. Rajeev Alur, Doron Peled
    Undecidability of Partial Order Logics. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1999, v:69, n:3, pp:137-143 [Journal]
  88. Doron Peled, Thomas Wilke
    Stutter-Invariant Temporal Properties are Expressible Without the Next-Time Operator. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1997, v:63, n:5, pp:243-246 [Journal]
  89. Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis
    Black Box Checking. [Citation Graph (0, 0)][DBLP]
    Journal of Automata, Languages and Combinatorics, 2002, v:7, n:2, pp:225-246 [Journal]
  90. Ching-Tsun Chou, Doron Peled
    Formal Verification of a Partial-Order Reduction Technique for Model Checking. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1999, v:23, n:3-4, pp:265-298 [Journal]
  91. Rajeev Alur, Gerard J. Holzmann, Doron Peled
    An Analyzer for Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 1996, v:17, n:2, pp:70-77 [Journal]
  92. Elsa L. Gunter, Anca Muscholl, Doron Peled
    Compositional message sequence charts. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:5, n:1, pp:78-89 [Journal]
  93. Edmund M. Clarke, Orna Grumberg, Marius Minea, Doron Peled
    State Space Reduction Using Partial Order Techniques. [Citation Graph (0, 0)][DBLP]
    STTT, 1999, v:2, n:3, pp:279-287 [Journal]
  94. Shmuel Katz, Doron Peled
    Interleaving Set Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:75, n:3, pp:263-287 [Journal]
  95. Shmuel Katz, Doron Peled
    Defining Conditional Independence Using Collapses. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:101, n:2, pp:337-359 [Journal]
  96. Doron Peled
    On Projective and Separable Properties. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:186, n:1-2, pp:135-156 [Journal]
  97. Doron Peled, Mathai Joseph
    A Compositional Framework for Fault Tolerance by Specification Transformation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:128, n:1&2, pp:99-125 [Journal]
  98. Doron Peled, Amir Pnueli
    Proving Partial Order Properties. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:126, n:2, pp:143-182 [Journal]
  99. Doron Peled, Thomas Wilke, Pierre Wolper
    An Algorithmic Approach for Checking Closure Properties of Temporal Logic Specifications and Omega-Regular Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:195, n:2, pp:183-203 [Journal]
  100. Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled
    Parametric temporal logic for "model measuring". [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2001, v:2, n:3, pp:388-407 [Journal]
  101. Patrice Godefroid, Doron Peled, Mark G. Staskauskas
    Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1996, v:22, n:7, pp:496-507 [Journal]
  102. Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini
    Quantifying the Discord: Order Discrepancies in Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:378-393 [Conf]
  103. Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled
    On Commutativity Based Edge Lean Search. [Citation Graph (0, 0)][DBLP]
    ICALP, 2007, pp:158-170 [Conf]
  104. Edith Elkind, Blaise Genest, Doron Peled
    Detecting Races in Ensembles of Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:420-434 [Conf]

  105. Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms. [Citation Graph (, )][DBLP]


  106. Methods for Knowledge Based Controlling of Distributed Systems. [Citation Graph (, )][DBLP]


  107. MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming. [Citation Graph (, )][DBLP]


  108. Knowledge Based Scheduling of Distributed Systems. [Citation Graph (, )][DBLP]


  109. Achieving Distributed Control through Model Checking. [Citation Graph (, )][DBLP]


  110. Discriminative Model Checking. [Citation Graph (, )][DBLP]


  111. Priority Scheduling of Distributed Systems Based on Model Checking. [Citation Graph (, )][DBLP]


  112. 07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems. [Citation Graph (, )][DBLP]


  113. 07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems. [Citation Graph (, )][DBLP]


  114. Test Case Generation for Ultimately Periodic Paths. [Citation Graph (, )][DBLP]


  115. Automatic Generation of Path Conditions for Timed Systems. [Citation Graph (, )][DBLP]


  116. Code Mutation in Verification and Automatic Code Correction. [Citation Graph (, )][DBLP]


  117. Model Checking-Based Genetic Programming with an Application to Mutual Exclusion. [Citation Graph (, )][DBLP]


  118. Model Checking Driven Heuristic Search for Correct Programs. [Citation Graph (, )][DBLP]


  119. On commutativity based Edge Lean search. [Citation Graph (, )][DBLP]


Search in 0.126secs, Finished in 0.129secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002