Ondrej Vasícek

According to our database, Ondrej Vasícek authored at least 8 papers between 2018 and 2025.

Collaborative distances:

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

2025

On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming.

Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Tomás Vojnar

Proceedings of the Proceedings 41st International Conference on Logic Programming, January, 2025

Early Validation of High-level Requirements on Cyber-Physical Systems.

Ondrej Vasícek

Proceedings of the Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), 2025

2024

Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming.

Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendal Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar

Theory Pract. Log. Program., 2024

Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming.

Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar

CoRR, 2024

Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming.

Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar

Proceedings of the Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024) co-located with the 40th International Conference on Logic Programming (ICLP 2024), 2024

2022

Unite: an adapter for transforming analysis tools to web services via OSLC.

Ondrej Vasícek, Jan Fiedor, Tomas Kratochvila, Bohuslav Krena, Ales Smrcka, Tomás Vojnar

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Integrating OSLC Services into Eclipse.

Jan Fiedor, Bohuslav Krena, Ales Smrcka, Ondrej Vasícek, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory - EUROCAST 2022, 2022

2018

Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs.

Jan Fiedor, Monika Muzikovská, Ales Smrcka, Ondrej Vasícek, Tomás Vojnar

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018