Tomás Fiedor

According to our database, Tomás Fiedor authored at least 11 papers between 2015 and 2026.

Collaborative distances:

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

2026

HypoVisor: Multi-Tenant POSIX Process Virtualization in Userspace for Untrusted Native Code.

Matthias Neugschwandtner, Rudi Horn, Tomás Fiedor, Lukas Stadler, Aleksandar Prokopec, William Blair, Zbynek Slajchrt, Andrija Kolic, Keith Lucas, François Farquet, Andrew Brownsword

Proceedings of the 19th European Workshop on Systems Security, EuroSec 2026, 2026

2024

Mata: A Fast and Simple Finite Automata Library.

David Chocholatý, Tomás Fiedor, Vojtech Havlena, Lukás Holík, Martin Hruska, Ondrej Lengál, Juraj Síc

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Efficient Manipulation of Control Flow Models in Evolving Software.

Tomás Fiedor, Jirí Pavela, Adam Rogalewicz, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory - EUROCAST 2024 - 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25, 2024

2023

Mata, a Fast and Simple Finite Automata Library (Technical Report).

David Chocholatý, Tomás Fiedor, Vojtech Havlena, Lukás Holík, Martin Hruska, Ondrej Lengál, Juraj Síc

CoRR, 2023

Reasoning About Regular Properties: A Comparative Study.

Tomás Fiedor, Lukás Holík, Martin Hruska, Adam Rogalewicz, Juraj Síc, Pavol Vargovcík

Proceedings of the Automated Deduction - CADE 29, 2023

2022

Perun: Performance Version System.

Tomás Fiedor, Jirí Pavela, Adam Rogalewicz, Tomás Vojnar

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 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

Automaty v rozhodovacích procedurách a výkonnostní analýze ; Automata in Decision Procedures and Performance Analysis.

Tomás Fiedor

PhD thesis, 2021

2018

From Shapes to Amortized Complexity.

Tomás Fiedor, Lukás Holík, Adam Rogalewicz, Moritz Sinn, Tomás Vojnar, Florian Zuleger

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

2017

Lazy Automata Techniques for WS1S.

Tomás Fiedor, Lukás Holík, Petr Janku, Ondrej Lengál, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2015

Nested Antichains for WS1S.

Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015