Follow
Tomas Fiedor
Tomas Fiedor
VeriFIT Team Researcher, FIT BUT
Verified email at fit.vutbr.cz - Homepage
Title
Cited by
Cited by
Year
Lazy automata techniques for WS1S
T Fiedor, L Holík, P Janků, O Lengál, T Vojnar
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
162017
Nested antichains for WS1S
T Fiedor, L Holík, O Lengál, T Vojnar
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
142015
From shapes to amortized complexity
T Fiedor, L Holík, A Rogalewicz, M Sinn, T Vojnar, F Zuleger
Verification, Model Checking, and Abstract Interpretation: 19th …, 2018
102018
Nested antichains for WS1S
T Fiedor, L Holík, O Lengál, T Vojnar
Acta Informatica 56 (3), 205-228, 2019
92019
Reasoning about regular properties: A comparative study
T Fiedor, L Holík, M Hruška, A Rogalewicz, J Síč, P Vargovčík
International Conference on Automated Deduction, 286-306, 2023
22023
Mata, a Fast and Simple Finite Automata Library (Technical Report)
D Chocholatý, T Fiedor, V Havlena, L Holík, M Hruška, O Lengál, J Síč
arXiv e-prints, arXiv: 2310.10136, 2023
12023
Perun: Performance Version System
T Fiedor, J Pavela, A Rogalewicz, T Vojnar
2022 IEEE International Conference on Software Maintenance and Evolution …, 2022
12022
Orchestrating Digital Twins for Distributed Manufacturing Execution Systems
T Fiedor, M Hruška, A Smrčka
International Conference on Computer Aided Systems Theory, 223-231, 2022
12022
Mata, a Fast and Simple Finite Automata Library
D Chocholatý, T Fiedor, V Havlena, L Holík, M Hruška, O Lengál, J Síč
arXiv preprint arXiv:2310.10136, 2023
2023
Software pro měření a vyhodnocení výkonnostních parametrů
P Čeleda, A Tomči, D Iľkovič, M Madzia, J Ziková, A Smrčka, T Fiedor, ...
2021
Automata in Decision Procedures and Performance Analysis
T Fiedor
2019
A Decision Procedure For The WSkS Logic
T Fiedor
Vysoké učení technické v Brně. Fakulta informačních technologií, 2019
2019
Deciding WS1S Using an Automata-based Approach
T Fiedor, L Holık, O Lengál, T á š Vojnar
The system can't perform the operation now. Try again later.
Articles 1–13