( en | de | ru )

 

Disambiguation of "Barnat, Jiri"

Author of the publication

copydeleteadd this publication to your clipboard
SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration.

, , , and . SPIN, volume 9641 of Lecture Notes in Computer Science, page 208-213. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Miriam Barnat

Günther Jirikowski

Gustav Jirikowski

Jíri Pokorný

Jiri Trcka

 

Other publications of authors with the same name

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