( en | de | ru )

 

Disambiguation of "Peled, Doron A."

Author of the publication

copydeleteadd this publication to your clipboard
Software Reliability Methods.

. Texts in Computer Science Springer, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Doron Lahav

Yishai Peled

Doron Merkler

tefan Dorondel

Guy Doron

 

Other publications of authors with the same name

Using asynchronous Büchi automata for efficient automatic verification of concurrent systems., and . PSTV, volume 38 of IFIP Conference Proceedings, page 315-330. Chapman & Hall, (1995)Specification and Verification of Message Sequence Charts.. FORTE, volume 183 of IFIP Conference Proceedings, page 139-154. Kluwer, (2000)Partial order reduction: Linear and branching temporal logics and process algebras.. Partial Order Methods in Verification, volume 29 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 233-257. DIMACS/AMS, (1996)Synthesis of Parametric Programs using Genetic Programming and Model Checking., and . INFINITY, volume 140 of EPTCS, page 70-84. (2013)Comparing Symbolic and Explicit Model Checking of a Software System., and . SPIN, volume 2318 of Lecture Notes in Computer Science, page 230-239. Springer, (2002)MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming., and . ATVA, volume 6252 of Lecture Notes in Computer Science, page 359-364. Springer, (2010)Deciding Global Partial-Order Properties., , and . ICALP, volume 1443 of Lecture Notes in Computer Science, page 41-52. Springer, (1998)Proving Partial Order Liveness Properties., and . ICALP, volume 443 of Lecture Notes in Computer Science, page 553-571. Springer, (1990)Interleaving Set Temporal Logic (Preliminary Version)., and . PODC, page 178-190. ACM, (1987)Temporal Debugging for Concurrent Systems., and . TACAS, volume 2280 of Lecture Notes in Computer Science, page 431-444. Springer, (2002)