RNDr. Petr Ročkai, Ph.D.
| E‑mail: |
|
|---|
Počet publikací: 30
2017
-
From Model Checking to Runtime Verification and Back
Runtime Verification - 17th International Conference, RV 2017, rok: 2017
-
Model Checking of C and C++ with DIVINE 4
Automated Technology for Verification and Analysis, rok: 2017
-
Using Off-the-Shelf Exception Support Components in C++ Verification
IEEE International Conference on Software Quality, Reliability and Security - QRS 2017, rok: 2017
2016
-
DIVINE: Explicit-State LTL Model Checker
Proceedings of the 22Nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, rok: 2016
-
Model checking C++ programs with exceptions
Science of Computer Programming, rok: 2016, ročník: 128, vydání: 15 October 2016, DOI
-
On verifying C++ programs with probabilities
Proceedings of the 31st Annual ACM Symposium on Applied Computing, rok: 2016
-
Weak Memory Models as LLVM-to-LLVM Transformations
Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, rok: 2016
2015
-
Fast, Dynamically-Sized Concurrent Hash Table
Model Checking Software, rok: 2015
-
Techniques for Memory-Efficient Model Checking of C and C++ Code
Software Engineering and Formal Methods, rok: 2015
2014
-
Context-Switch-Directed Verification in DIVINE
Mathematical and Engineering Methods in Computer Science, rok: 2014