Ales Smrcka

According to our database, Ales Smrcka authored at least 19 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Enhancing Security of AI-Based Code Synthesis with GitHub Copilot via Cheap and Efficient Prompt-Engineering.

Jakub Res, Ivan Homoliak, Martin Peresíni, Ales Smrcka, Kamil Malinka, Petr Hanácek

CoRR, 2024

2023

NetLoiter: A Tool for Automated Testing of Network Applications using Fault-injection.

Michal Rozsíval, Ales Smrcka

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2022

Utilizing parametric systems for detection of pipeline hazards.

Lukás Charvát, Ales Smrcka, Tomás Vojnar

Int. J. Softw. Tools Technol. Transf., 2022

Unite: an adapter for transforming analysis tools to web services via OSLC.

Ondrej Vasícek, Jan Fiedor, Tomas Kratochvila, Bohuslav Krena, Ales Smrcka, Tomás Vojnar

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Integrating OSLC Services into Eclipse.

Jan Fiedor, Bohuslav Krena, Ales Smrcka, Ondrej Vasícek, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory - EUROCAST 2022, 2022

Orchestrating Digital Twins for Distributed Manufacturing Execution Systems.

Tomás Fiedor, Martin Hruska, Ales Smrcka

Proceedings of the Computer Aided Systems Theory - EUROCAST 2022, 2022

2021

The VALU3S ECSEL project: Verification and validation of automated systems safety and security.

Joseba Andoni Agirre, Leire Etxeberria, Raul Barbosa, Stylianos Basagiannis, Georgios Giantamidis, Thomas Bauer, Enrico Ferrari, Mikel Labayen Esnaola, Vanessa Orani, Johnny Öberg, David Pereira, José Proença, Rupert Schlick, Ales Smrcka, Walter Tiberti, Stefano Tonetta, Marco Bozzano, Ahmet Yazici, Behrooz Sangchoolie

Microprocess. Microsystems, November, 2021

Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper.

Thomas Bauer, Joseba Andoni Agirre, David Fürcho, Wolfgang Herzner, Bob Hruska, Mustafa Karaca, David Pereira, José Proença, Rupert Schlick, Robert Sicher, Ales Smrcka, Ugur Yayan, Behrooz Sangchoolie

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2021

2020

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, A. Kanak, Mikel Labayen Esnaola, Vanessa Orani, David Pereira, Luigi Pomante, Rupert Schlick, Ales Smrcka, Ahmet Yazici, Peter Folkesson, Behrooz Sangchoolie

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

2018

Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs.

Jan Fiedor, Monika Muzikovská, Ales Smrcka, Ondrej Vasícek, Tomás Vojnar

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

2017

Verifying Concurrent Programs Using Contracts.

Ricardo J. Dias, Carla Ferreira, Jan Fiedor, João M. Lourenço, Ales Smrcka, Diogo G. Sousa, Tomás Vojnar

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems.

Lukás Charvát, Ales Smrcka, Tomás Vojnar

Proceedings of the Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2016

2015

Microprocessor Hazard Analysis Via Formal Verification of Parameterized Systems.

Lukás Charvát, Ales Smrcka, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory - EUROCAST 2015, 2015

2014

Using Formal Verification of Parameterized Systems in RAW Hazard Analysis in Microprocessors.

Lukás Charvát, Ales Smrcka, Tomás Vojnar

Proceedings of the 15th International Microprocessor Test and Verification Workshop, 2014

2013

An Abstraction of Multi-port Memories with Arbitrary Addressable Units.

Lukás Charvát, Ales Smrcka, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory - EUROCAST 2013, 2013

2012

Automatic Formal Correspondence Checking of ISA and RTL Microprocessor Description.

Lukás Charvát, Ales Smrcka, Tomás Vojnar

Proceedings of the 13th International Workshop on Microprocessor Test and Verification, 2012

2007

Verifying Parametrised Hardware Designs Via Counter Automata.

Ales Smrcka, Tomás Vojnar

Proceedings of the Hardware and Software: Verification and Testing, 2007

2006

Verifying VHDL Designs with Multiple Clocks in SMV.

Ales Smrcka, Vojtech Rehák, Tomás Vojnar, David Safránek, Petr Matousek, Z. Rehák

Proceedings of the Formal Methods: Applications and Technology, 2006

2005

High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design.

Petr Matousek, Ales Smrcka, Tomás Vojnar

Proceedings of the Correct Hardware Design and Verification Methods, 2005