Ondrej Vasícek

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

Collaborative distances:

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

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