prof. RNDr. Jiří Barnat, Ph.D.
děkan Fakulty informatiky
kancelář: A409
Botanická 554/68a
602 00 Brno
telefon: | 549 49 3507 |
---|---|
e‑mail: | |
www: | www.google.com |
sociální a akademické sítě: |
---|
Počet publikací: 135
2019
-
Extending DIVINE with Symbolic Verification Using SMT
Tools and Algorithms for the Construction and Analysis of Systems, rok: 2019
-
Local Nontermination Detection for Parallel C++ Programs
International Conference on Software Engineering and Formal Methods, rok: 2019
-
Reproducible Execution of POSIX Programs with DiOS
Software Engineering and Formal Methods, rok: 2019
-
RoFICoM - First Open-Hardware Connector for Metamorphic Robots
2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), rok: 2019
2018
-
DiVM: Model checking with LLVM and graph memory
Journal of Systems and Software, rok: 2018, ročník: 143, vydání: Oct, DOI
-
Model Checking of C++ Programs Under the x86-TSO Memory Model
Formal Methods and Software Engineering, rok: 2018
-
On clock-aware LTL parameter synthesis of timed automata
Journal of Logical and Algebraic Methods in Programming, rok: 2018, ročník: 99, vydání: Oct, DOI
-
Symbolic Computation via Program Transformation
Theoretical Aspects of Computing – ICTAC 2018, rok: 2018
2017
-
Detecting Attractors in Biological Models with Uncertain Parameters
Computational Methods in Systems Biology. CMSB 2017, rok: 2017
-
From Model Checking to Runtime Verification and Back
Runtime Verification - 17th International Conference, RV 2017, rok: 2017