( en | de | ru )

 

Disambiguierung von "Raskin, Jean-François"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Event Clock Automata: From Theory to Practice.

, , und . FORMATS, Volume 6919 von Lecture Notes in Computer Science, Seite 209-224. Springer, (2011)

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.

Jean-François Stumper

Jean-François Viaud

Jean-François Paillotin

Jean François Savoie

Jean-François Hren

 

Weitere Publikationen von Autoren mit dem selben Namen

A Game-Based Verification of Non-repudiation and Fair Exchange Protocols., und . CONCUR, Volume 2154 von Lecture Notes in Computer Science, Seite 551-565. Springer, (2001)Abstract Interpretation of Game Properties., , , und . SAS, Volume 1824 von Lecture Notes in Computer Science, Seite 220-239. Springer, (2000)On Optimal Timed Strategies., , und . FORMATS, Volume 3829 von Lecture Notes in Computer Science, Seite 49-64. Springer, (2005)Model-Checking for Weighted Timed Automata., , und . FORMATS/FTRTFT, Volume 3253 von Lecture Notes in Computer Science, Seite 277-292. Springer, (2004)Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking., , , , , und . IEEE Trans. Software Eng., 39 (8): 1069-1089 (2013)Secure equilibria in weighted games., , und . CSL-LICS, Seite 26:1-26:26. ACM, (2014)On the Efficient Computation of the Minimal Coverability Set for Petri Nets., , und . ATVA, Volume 4762 von Lecture Notes in Computer Science, Seite 98-113. Springer, (2007)Expand, Enlarge, and Check: New Algorithms for the Coverability Problem of WSTS., , und . FSTTCS, Volume 3328 von Lecture Notes in Computer Science, Seite 287-298. Springer, (2004)Algorithms for Omega-Regular Games with Imperfect Information, ., , , und . CSL, Volume 4207 von Lecture Notes in Computer Science, Seite 287-302. Springer, (2006)On the Verification of Concurrent, Asynchronous Programs with Waiting Queues., , und . ACM Trans. Embed. Comput. Syst., 14 (3): 58:1-58:26 (2015)