Ales Smrcka
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2006–2023
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | DSN | NetLoiter: A Tool for Automated Testing of Network Applications using Fault-injection. | Michal Rozsval, Ales Smrcka |
| 2020 | DSD | The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security. | Raul Barbosa, Stylianos Basagiannis, Georgios Giantamidis, H. Becker, Enrico Ferrari, J. Jahic, Alper Kanak, Mikel Labayen Esnaola, Vanessa Orani, David Pereira, Luigi Pomante, Rupert Schlick, Ales Smrcka, Ahmet Yazici, Peter Folkesson, Behrooz Sangchoolie |
| 2018 | ISSTA | Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs. | Jan Fiedor, Monika Muzikovsk, Ales Smrcka, Ondrej Vascek, Toms Vojnar |
| 2017 | ICST | Verifying Concurrent Programs Using Contracts. | Ricardo J. Dias, Carla Ferreira, Jan Fiedor, Joo M. Loureno, Ales Smrcka, Diogo G. Sousa, Toms Vojnar |
| 2006 | FMICS | Verifying VHDL Designs with Multiple Clocks in SMV. | Ales Smrcka, Vojtech Rehk, Toms Vojnar, David Safrnek, Petr Matousek, Z. Rehk |