( en | de | ru )

 

Disambiguation of "Barnat, Jiri"

Author of the publication

copydeleteadd this publication to your clipboard
Verification of Systems with Degradation.

, , and . Comput. Informatics, 31 (3): 507- (2012)

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

Jiri Trcka

Jíri Pokorný

 

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)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)Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?, , and . IROS, page 6935-6940. IEEE, (2021)Weak Memory Models as LLVM-to-LLVM Transformations., , and . MEMICS, volume 9548 of Lecture Notes in Computer Science, page 144-155. Springer, (2015)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)Optimizing and Caching SMT Queries in SymDIVINE - (Competition Contribution)., , , , and . TACAS (2), volume 10206 of Lecture Notes in Computer Science, page 390-393. (2017)