Temporal Logic Control of Discrete-Time Piecewise Affine Systems by Yordanov, B., Tumova, J., Cerna, I., Barnat, J., Belta, C.

Get full text

DivSIM , an interactive simulator for LLVM bitcode by Ročkai, Petr, Barnat, Jiří

Get full text

DiVM: Model checking with LLVM and graph memory by Ročkai, Petr, Štill, Vladimír, Černá, Ivana, Barnat, Jiří

Get full text

Analysing sanity of requirements for avionics systems by Barnat, Jiří, Bauch, Petr, Beneš, Nikola, Brim, Luboš, Beran, Jan, Kratochvíla, Tomáš

Get full text

Formal analysis of piecewise affine systems through formula-guided refinement by Yordanov, Boyan, Tůmová, Jana, Černá, Ivana, Barnat, Jiří, Belta, Calin

Get full text

Control Explicit--Data Symbolic Model Checking by Bauch, Petr, Havel, Vojtěch, Barnat, Jiří

Get full text

Accelerating temporal verification of Simulink diagrams using satisfiability modulo theories by Bauch, Petr, Havel, Vojtěch, Barnat, Jiří

Get full text

Designing fast LTL model checking algorithms for many-core GPUs by Barnat, Jiří, Bauch, Petr, Brim, Luboš, Češka, Milan

Get full text

On Parameter Synthesis by Parallel Model Checking by Barnat, J., Brim, L., Krejci, A., Streck, A., Safranek, D., Vejnar, M., Vejpustek, T.

Get full text

High-performance analysis of biological systems dynamics with the DiVinE model checker by Barnat, Jirí, Brim, Lubos, Safránek, Dravid

Get full text

On clock-aware LTL parameter synthesis of timed automata by Bezděk, Peter, Beneš, Nikola, Černá, Ivana, Barnat, Jiří

Get full text

Distributed Algorithms for SCC Decomposition by Barnat, J., Chaloupka, J., Van De Pol, J.

Get full text

On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties by Barnat, Jiří, Brim, Luboš, Ročkai, Petr

Get full text

Temporal Verification of Simulink Diagrams by Barnat, Jiri, Bauch, Petr, Havel, Vojtech

Request full text

RoFIOS - Flexible Full-Stack Software Solution for Metamorphic Robots by Mrazek, Jan, Barnat, Jiri

Request full text

Platform Dependent Verification: On Engineering Verification Tools for 21st Century by Brim, Luboš, Barnat, Jiří

Get full text

RoFICoM - First Open-Hardware Connector for Metamorphic Robots by Mrazek, Jan, Barnat, Jiri

Request full text

Fault-Tolerant and System-Wide Communication for Metamorphic Robots by Mrazek, Jan, Chlup, Vladimir, Barnat, Jiri

Request full text

DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking by Barnat, Jiří, Brim, Luboš, Češka, Milan

Get full text

Employing Multiple CUDA Devices to Accelerate LTL Model Checking by Barnat, Jiří, Bauch, Petr, Brim, Luboš, Češka, Milan

Request full text