Vojtech Havel

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