( en | de | ru )

 

Disambiguierung von "Petrucci, Laure"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata.

, , , , , und . FTSCS, Seite 3-15. ACM, (2022)

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.

Stefan Laure

Laure Aeschimann

Laure Amate

Laure Fourchaud

Laure Johann

 

Weitere Publikationen von Autoren mit dem selben Namen

Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving., , , , , und . Petri Nets, Volume 13929 von Lecture Notes in Computer Science, Seite 369-392. Springer, (2023)Coloured Petri Nets Refinements., , und . PNSE+ModPE, Volume 989 von CEUR Workshop Proceedings, Seite 187-201. CEUR-WS.org, (2013)Efficient state-based analysis by introducing bags in Petri nets color domains., , , , und . ACC, Seite 5018-5025. IEEE, (2009)PAPETRI: Environment for the Analysis of PETRI Nets., , und . CAV (DIMACS/AMS volume), Volume 3 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 43-56. DIMACS/AMS, (1990)Modular construction of the symbolic observation graph., und . ACSD, Seite 88-97. IEEE, (2008)Specification and validation of a concurrent system: an educational project., und . Int. J. Softw. Tools Technol. Transf., 3 (4): 372-381 (2001)A Formal Model for Fault Tolerant Parallel Matrix Factorization., , und . ICECCS, Seite 62-70. IEEE, (2022)Parallel Nested Depth-First Searches for LTL Model Checking., , und . ATVA, Volume 6996 von Lecture Notes in Computer Science, Seite 381-396. Springer, (2011)Multi-threaded Explicit State Space Exploration with State Reconstruction., , und . ATVA, Volume 8172 von Lecture Notes in Computer Science, Seite 208-223. Springer, (2013)Avoiding State Exposion by Composition of Minimal Covering Graphs., und . CAV, Volume 575 von Lecture Notes in Computer Science, Seite 169-180. Springer, (1991)