Vojtech Havel

According to our database, Vojtech Havel authored at least 11 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

P4Testgen: An Extensible Test Oracle For P4-16.

Fabian Ruffy, Jed Liu, Prathima Kotikalapudi, Vojtech Havel, Hanneli Tavante, Rob Sherwood, Vladyslav Dubina, Volodymyr Peschanenko, Anirudh Sivaraman, Nate Foster

Proceedings of the ACM SIGCOMM 2023 Conference, 2023

2022

P4Testgen: An Extensible Test Oracle For P4.

Fabian Ruffy, Jed Liu, Prathima Kotikalapudi, Vojtech Havel, Rob Sherwood, Vlad Dubina, Volodymyr Peschanenko, Nate Foster, Anirudh Sivaraman

CoRR, 2022

2016

Control Explicit-Data Symbolic Model Checking.

Petr Bauch, Vojtech Havel, Jiri Barnat

ACM Trans. Softw. Eng. Methodol., 2016

Accelerating temporal verification of Simulink diagrams using satisfiability modulo theories.

Petr Bauch, Vojtech Havel, Jiri Barnat

Softw. Qual. J., 2016

2014

LTL Model Checking of Parametric Timed Automata.

Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná

CoRR, 2014

Model Checking Parallel Programs with Inputs.

Jiri Barnat, Petr Bauch, Vojtech Havel

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

LTL Model Checking of LLVM Bitcode with Symbolic Data.

Petr Bauch, Vojtech Havel, Jiri Barnat

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2014

On Clock-Aware LTL Properties of Timed Automata.

Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

Temporal Verification of Simulink Diagrams.

Jiri Barnat, Petr Bauch, Vojtech Havel

Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

2013

DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs.

Jiri Barnat, Lubos Brim, Vojtech Havel, Jan Havlícek, Jan Kriho, Milan Lenco, Petr Rockai, Vladimír Still, Jirí Weiser

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model.

Jiri Barnat, Lubos Brim, Vojtech Havel

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013