Tomas Vojnar
AuthID: R-00F-KVE
1
TÃTULO: Verifying Concurrent Programs Using Contracts
AUTORES: Ricardo J Dias; Carla Ferreira ; Jan Fiedor; Joao M Lourenco ; Ales Smrcka; Diogo G Sousa; Tomas Vojnar;
PUBLICAÇÃO: 2017, FONTE: Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017
AUTORES: Ricardo J Dias; Carla Ferreira ; Jan Fiedor; Joao M Lourenco ; Ales Smrcka; Diogo G Sousa; Tomas Vojnar;
PUBLICAÇÃO: 2017, FONTE: Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017
2
TÃTULO: Dynamic Validation of Contracts in Concurrent Code
AUTORES: Jan Fiedor; Zdenek Letko; Joao Lourenco ; Tomas Vojnar;
PUBLICAÇÃO: 2015, FONTE: 15th International Conference on Computer Aided Systems Theory in COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2015, VOLUME: 9520
AUTORES: Jan Fiedor; Zdenek Letko; Joao Lourenco ; Tomas Vojnar;
PUBLICAÇÃO: 2015, FONTE: 15th International Conference on Computer Aided Systems Theory in COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2015, VOLUME: 9520
3
TÃTULO: On Monitoring C/C plus plus Transactional Memory Programs
AUTORES: Jan Fiedor; Zdenek Letko; Joao Lourenco ; Tomas Vojnar;
PUBLICAÇÃO: 2014, FONTE: 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
AUTORES: Jan Fiedor; Zdenek Letko; Joao Lourenco ; Tomas Vojnar;
PUBLICAÇÃO: 2014, FONTE: 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
