( en | de | ru )

 

Disambiguierung von "Peled, Doron A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Adaptive Model Checking.

, , und . TACAS, Volume 2280 von Lecture Notes in Computer Science, Seite 357-370. Springer, (2002)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Doron Lahav

Yishai Peled

Doron Merkler

tefan Dorondel

Guy Doron

 

Weitere Publikationen von Autoren mit dem selben Namen

Adaptive Model Checking., , und . Logic Journal of the IGPL, 14 (5): 729-744 (2006)Model Checking.. Software and Systems Safety - Specification and Verification, Volume 30 von NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2011)Black Box Checking., , und . FORTE, Volume 156 von IFIP Conference Proceedings, Seite 225-240. Kluwer, (1999)Formal Methods for Message Sequence Charts.. ICDCS Workshop on Distributed System Validation and Verification, Seite E7-E13. (2000)An improvement in formal verification., und . FORTE, Volume 6 von IFIP Conference Proceedings, Seite 197-211. Chapman & Hall, (1994)State Space Reduction Using Partial Order Techniques., , , und . Int. J. Softw. Tools Technol. Transf., 2 (3): 279-287 (1999)Verification of Distributed Programs Using Representative Interleaving Sequences., und . Distributed Comput., 6 (2): 107-120 (1992)Formal Verification of a Partial-Order Reduction Technique for Model Checking., und . J. Autom. Reason., 23 (3-4): 265-298 (1999)Adding Partial Orders to Linear Temporal Logic., und . Fundam. Informaticae, 36 (1): 1-21 (1998)Hazard-Freedom Checking in Speed-Independent Systems., , , und . CHARME, Volume 1703 von Lecture Notes in Computer Science, Seite 317-320. Springer, (1999)