Ales Smrcka
AuthID: R-00H-822
1
TITLE: Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S Invited Paper. Invited Paper
AUTHORS: Bauer, Thomas; Agirre, Joseba A.; Fuercho, David; Herzner, Wolfgang; Hruska, Bob; Karaca, Mustafa; Pereira, David; Proenca, Jose ; Schlick, Rupert; Sicher, Robert; Smrcka, Ales; Yayan, Ugur; Sangchoolie, Behrooz;
PUBLISHED: 2022, SOURCE: 21st International Conference on Embedded Computer Systems - Architectures, Modeling, and Simulation (SAMOS) in EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, SAMOS 2021, VOLUME: 13227
AUTHORS: Bauer, Thomas; Agirre, Joseba A.; Fuercho, David; Herzner, Wolfgang; Hruska, Bob; Karaca, Mustafa; Pereira, David; Proenca, Jose ; Schlick, Rupert; Sicher, Robert; Smrcka, Ales; Yayan, Ugur; Sangchoolie, Behrooz;
PUBLISHED: 2022, SOURCE: 21st International Conference on Embedded Computer Systems - Architectures, Modeling, and Simulation (SAMOS) in EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, SAMOS 2021, VOLUME: 13227
2
TITLE: Verifying Concurrent Programs Using Contracts
AUTHORS: Ricardo J. Dias; Carla Ferreira; Jan Fiedor; João M. Lourenço ; Ales Smrcka; Diogo G. Sousa; Tomás Vojnar;
PUBLISHED: 2017, SOURCE: 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017
AUTHORS: Ricardo J. Dias; Carla Ferreira; Jan Fiedor; João M. Lourenço ; Ales Smrcka; Diogo G. Sousa; Tomás Vojnar;
PUBLISHED: 2017, SOURCE: 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017
INDEXED IN: 
DBLP
DBLP3
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
