( en | de | ru )

 

Disambiguierung von "Barnat, Jiri"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Scalable Multi-core LTL Model-Checking.

, , und . SPIN, Volume 4595 von Lecture Notes in Computer Science, Seite 187-203. 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.

Miriam Barnat

Günther Jirikowski

Gustav Jirikowski

Jíri Pokorný

Jiri Trcka

 

Weitere Publikationen von Autoren mit dem selben Namen

Verification of Systems with Degradation., , und . Comput. Informatics, 31 (3): 507- (2012)Efficient Large-Scale Model Checking., , , und . Distributed Verification and Grid Computing, Volume 08332 von Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?, , und . IROS, Seite 6935-6940. IEEE, (2021)Parametric Multi-step Scheme for GPU-Accelerated Graph Decomposition into Strongly Connected Components., , , , und . Euro-Par Workshops, Volume 10104 von Lecture Notes in Computer Science, Seite 519-531. Springer, (2016)Weak Memory Models as LLVM-to-LLVM Transformations., , und . MEMICS, Volume 9548 von Lecture Notes in Computer Science, Seite 144-155. Springer, (2015)Parallel Breadth-First Search LTL Model-Checking., , und . ASE, Seite 106-115. IEEE Computer Society, (2003)Towards Verification of Ensemble-Based Component Systems., , , , , und . FACS, Volume 8348 von Lecture Notes in Computer Science, Seite 41-60. Springer, (2013)Fast, Dynamically-Sized Concurrent Hash Table., , , und . SPIN, Volume 9232 von Lecture Notes in Computer Science, Seite 49-65. Springer, (2015)Can Flash Memory Help in Model Checking?, , , , und . FMICS, Volume 5596 von Lecture Notes in Computer Science, Seite 150-165. Springer, (2008)Squeeze All the Power Out of Your Hardware to Verify Your Software!., und . ISoLA, Volume 17 von Communications in Computer and Information Science, Seite 604-618. Springer, (2008)