Vojtech Havel

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 4

Top Topics

Linear Time Temporal Logic

Formal Verification

Satisfiability Modulo Theories

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

Fabian Ruffy, Jed Liu, Prathima Kotikalapudi, Vojtech Havel, Hanneli Tavante, Rob Sherwood, Vladyslav Dubina, Volodymyr Peschanenko, Anirudh Sivaraman, Nate Foster
P4Testgen: An Extensible Test Oracle For P4-16. SIGCOMM (2023)
Fabian Ruffy, Jed Liu, Prathima Kotikalapudi, Vojtech Havel, Rob Sherwood, Vlad Dubina, Volodymyr Peschanenko, Nate Foster, Anirudh Sivaraman
P4Testgen: An Extensible Test Oracle For P4. CoRR (2022)
Petr Bauch, Vojtech Havel, Jiri Barnat
Accelerating temporal verification of Simulink diagrams using satisfiability modulo theories. Softw. Qual. J. 24 (1) (2016)
Petr Bauch, Vojtech Havel, Jiri Barnat
Control Explicit-Data Symbolic Model Checking. ACM Trans. Softw. Eng. Methodol. 25 (2) (2016)
Jiri Barnat, Petr Bauch, Vojtech Havel
Temporal Verification of Simulink Diagrams. HASE (2014)
Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná
On Clock-Aware LTL Properties of Timed Automata. ICTAC (2014)
Petr Bauch, Vojtech Havel, Jiri Barnat
LTL Model Checking of LLVM Bitcode with Symbolic Data. MEMICS (2014)
Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná
LTL Model Checking of Parametric Timed Automata. CoRR (2014)
Jiri Barnat, Petr Bauch, Vojtech Havel
Model Checking Parallel Programs with Inputs. PDP (2014)
Jiri Barnat, Lubos Brim, Vojtech Havel, Jan Havlícek, Jan Kriho, Milan Lenco, Petr Rockai, Vladimír Still, Jirí Weiser
DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs. CAV (2013)
Jiri Barnat, Lubos Brim, Vojtech Havel
LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model. ACSD (2013)