PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Barnat, Jiri"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards Verification of Ensemble-Based Component Systems.

, , , , , und . FACS, Volume 8348 von Lecture Notes in Computer Science, Seite 41-60. Springer, (2013)

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.

Keine Personen gefunden für den Autorennamen Barnat, Jiri
Eine Person hinzufügen mit dem Namen Barnat, Jiri
 

Weitere Publikationen von Autoren mit dem selben Namen

On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties., , und . Sci. Comput. Program., 77 (12): 1272-1288 (2012)Quantitative Model Checking of Systems with Degradation., , und . QEST, Seite 21-30. IEEE Computer Society, (2009)A symbolic approach to controlling piecewise affine systems., , , , und . CDC, Seite 4230-4235. IEEE, (2010)Optimal Observation Mode Scheduling for Systems under Temporal Constraints., , , und . CoRR, (2016)LTL Model Checking of Parametric Timed Automata., , , , und . CoRR, (2014)I/O Efficient Accepting Cycle Detection., , und . CAV, Volume 4590 von Lecture Notes in Computer Science, Seite 281-293. Springer, (2007)Tutorial: Parallel Model Checking., und . SPIN, Volume 4595 von Lecture Notes in Computer Science, Seite 2-3. Springer, (2007)DiVinE Multi-Core - A Parallel LTL Model-Checker., , und . ATVA, Volume 5311 von Lecture Notes in Computer Science, Seite 234-239. Springer, (2008)From Model Checking to Runtime Verification and Back., , und . RV, Volume 10548 von Lecture Notes in Computer Science, Seite 225-240. Springer, (2017)LTL Model Checking of LLVM Bitcode with Symbolic Data., , und . MEMICS, Volume 8934 von Lecture Notes in Computer Science, Seite 47-59. Springer, (2014)