( en | de | ru )

 

Disambiguierung von "Thierry-Mieg, Yann"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
dmcG : A Distributed Symbolic Model Checker Based on GreatSPN.

, , , und . ICATPN, Volume 4546 von Lecture Notes in Computer Science, Seite 495-504. Springer, (2007)

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.

Susanne Mieg

Georgios Yannis

Christos Yannissis

Harald Mieg

Harald Mieg

 

Weitere Publikationen von Autoren mit dem selben Namen

Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata., , , und . TACAS, Volume 8413 von Lecture Notes in Computer Science, Seite 440-454. Springer, (2014)Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking., , , und . ATVA, Volume 6996 von Lecture Notes in Computer Science, Seite 336-350. Springer, (2011)Automatic Symmetry Detection in Well-Formed Nets., , und . ICATPN, Volume 2679 von Lecture Notes in Computer Science, Seite 82-101. Springer, (2003)Symbolic Model-Checking Using ITS-Tools.. TACAS, Volume 9035 von Lecture Notes in Computer Science, Seite 231-237. Springer, (2015)New features in CPN-AMI 3: focusing on the analysis of complex distributed systems., , , , , , und . ACSD, Seite 273-275. IEEE Computer Society, (2006)Self-adaptive Model Checking, the Next Step?, und . Petri Nets, Volume 10877 von Lecture Notes in Computer Science, Seite 3-15. Springer, (2018)Semi-automatic controller design of Java-like models., , , und . FTfJP@ECOOP, Seite 3:1-3:7. ACM, (2013)dmcG : A Distributed Symbolic Model Checker Based on GreatSPN., , , und . ICATPN, Volume 4546 von Lecture Notes in Computer Science, Seite 495-504. Springer, (2007)Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking, , , und . CoRR, (2011)Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag., , , und . Petri Nets, Volume 6709 von Lecture Notes in Computer Science, Seite 338-347. Springer, (2011)