Follow
Ondřej Vašíček
Ondřej Vašíček
Brno University of Technology
Verified email at fit.vut.cz - Homepage
Title
Cited by
Cited by
Year
Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs
J Fiedor, M Mužikovská, A Smrčka, O Vašíček, T Vojnar
Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018
102018
Unite: an adapter for transforming analysis tools to web services via OSLC
O Vašíček, J Fiedor, T Kratochvíla, B Křena, A Smrčka, T Vojnar
Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022
12022
Integrating OSLC Services into Eclipse
J Fiedor, B Křena, A Smrčka, O Vašíček, T Vojnar
International Conference on Computer Aided Systems Theory, 240-249, 2022
12022
The system can't perform the operation now. Try again later.
Articles 1–3