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 (ISSTA, 2018)

Integrating OSLC Services into Eclipse. - Jan Fiedor; Bohuslav Krena; Ales Smrcka; Ondrej Vasícek; Tomás Vojnar (EUROCAST, 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 (ESEC/SIGSOFT FSE, 2022)

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 001; Brendan Hall; Bohuslav Krena; Brian Larson; Sarat Chandra Varanasi; Tomás Vojnar (ICLP Workshops, 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 001; Brendan Hall; Bohuslav Krena; Brian Larson; Sarat Chandra Varanasi; Tomás Vojnar (CoRR, 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 001; Brendal Hall; Bohuslav Krena; Brian Larson; Sarat Chandra Varanasi; Tomás Vojnar (Theory Pract. Log. Program., 2024)

Early Validation of High-level Requirements on Cyber-Physical Systems. - Ondrej Vasícek (ICLP, 2024)