Ales Smrcka - RankMe

19 papers A 2C 1Journal 3Unranked 13

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Enhancing Security of AI-Based Code Synthesis with GitHub Copilot via Cheap and Efficient Prompt-Engineering. CoRR Jakub Res, Ivan Homoliak, Martin Peresíni, Ales Smrcka, Kamil Malinka, Petr Hanácek
2023	—	`conf`	NetLoiter: A Tool for Automated Testing of Network Applications using Fault-injection. DSN-W Michal Rozsíval, Ales Smrcka
2022	—	`conf`	Integrating OSLC Services into Eclipse. EUROCAST Jan Fiedor, Bohuslav Krena, Ales Smrcka, Ondrej Vasícek, Tomás Vojnar
2022	—	`conf`	Orchestrating Digital Twins for Distributed Manufacturing Execution Systems. EUROCAST Tomás Fiedor, Martin Hruska, Ales Smrcka
2022	—	`conf`	Unite: an adapter for transforming analysis tools to web services via OSLC. ESEC/SIGSOFT FSE Ondrej Vasícek, Jan Fiedor, Tomas Kratochvila, Bohuslav Krena, Ales Smrcka, Tomás Vojnar
2022	J	`jnl`	Utilizing parametric systems for detection of pipeline hazards. Int. J. Softw. Tools Technol. Transf. Lukás Charvát, Ales Smrcka, Tomás Vojnar
2021	—	`conf`	Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper. SAMOS 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
2021	J	`jnl`	The VALU3S ECSEL project: Verification and validation of automated systems safety and security. Microprocess. Microsystems 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
2020	C	`conf`	The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security. DSD 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	A	`conf`	Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs. ISSTA Jan Fiedor, Monika Muzikovská, Ales Smrcka, Ondrej Vasícek, Tomás Vojnar
2017	A	`conf`	Verifying Concurrent Programs Using Contracts. ICST Ricardo J. Dias, Carla Ferreira, Jan Fiedor, João M. Lourenço, Ales Smrcka, Diogo G. Sousa, Tomás Vojnar
2016	—	`conf`	HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems. MEMICS Lukás Charvát, Ales Smrcka, Tomás Vojnar
2015	—	`conf`	Microprocessor Hazard Analysis Via Formal Verification of Parameterized Systems. EUROCAST Lukás Charvát, Ales Smrcka, Tomás Vojnar
2014	—	`conf`	Using Formal Verification of Parameterized Systems in RAW Hazard Analysis in Microprocessors. MTV Lukás Charvát, Ales Smrcka, Tomás Vojnar
2013	—	`conf`	An Abstraction of Multi-port Memories with Arbitrary Addressable Units. EUROCAST (1) Lukás Charvát, Ales Smrcka, Tomás Vojnar
2012	—	`conf`	Automatic Formal Correspondence Checking of ISA and RTL Microprocessor Description. MTV Lukás Charvát, Ales Smrcka, Tomás Vojnar
2007	—	`conf`	Verifying Parametrised Hardware Designs Via Counter Automata. Haifa Verification Conference Ales Smrcka, Tomás Vojnar
2006	—	`conf`	Verifying VHDL Designs with Multiple Clocks in SMV. FMICS/PDMC Ales Smrcka, Vojtech Rehák, Tomás Vojnar, David Safránek, Petr Matousek, Z. Rehák
2005	—	`conf`	High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design. CHARME Petr Matousek, Ales Smrcka, Tomás Vojnar