Tomas Vojnar
AuthID: R-00F-KVE
1
TITLE: Verifying Concurrent Programs Using Contracts
AUTHORS: Ricardo J Dias; Carla Ferreira ; Jan Fiedor; Joao M Lourenco ; Ales Smrcka; Diogo G Sousa; Tomas Vojnar;
PUBLISHED: 2017, SOURCE: Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017
AUTHORS: Ricardo J Dias; Carla Ferreira ; Jan Fiedor; Joao M Lourenco ; Ales Smrcka; Diogo G Sousa; Tomas Vojnar;
PUBLISHED: 2017, SOURCE: Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017
2
TITLE: Dynamic Validation of Contracts in Concurrent Code
AUTHORS: Jan Fiedor; Zdenek Letko; Joao Lourenco ; Tomas Vojnar;
PUBLISHED: 2015, SOURCE: 15th International Conference on Computer Aided Systems Theory in COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2015, VOLUME: 9520
AUTHORS: Jan Fiedor; Zdenek Letko; Joao Lourenco ; Tomas Vojnar;
PUBLISHED: 2015, SOURCE: 15th International Conference on Computer Aided Systems Theory in COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2015, VOLUME: 9520
3
TITLE: On Monitoring C/C plus plus Transactional Memory Programs
AUTHORS: Jan Fiedor; Zdenek Letko; Joao Lourenco ; Tomas Vojnar;
PUBLISHED: 2014, SOURCE: 9th International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS) in MATHEMATICAL AND ENGINEERING METHODS IN COMPUTER SCIENCE, MEMICS 2014, VOLUME: 8934
AUTHORS: Jan Fiedor; Zdenek Letko; Joao Lourenco ; Tomas Vojnar;
PUBLISHED: 2014, SOURCE: 9th International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS) in MATHEMATICAL AND ENGINEERING METHODS IN COMPUTER SCIENCE, MEMICS 2014, VOLUME: 8934
