Tomás Vojnar

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 92

Top Venues

Publications

Tomás Dacík, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger
Deciding Boolean Separation Logic via Small Models (Technical Report). CoRR (2024)
Viktor Malík, Peter Schrammel, Tomás Vojnar
Template-Based Verification of Array-Manipulating Programs. Taming the Infinities of Concurrency (2024)
Tomás Dacík, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger
Deciding Boolean Separation Logic via Small Models. TACAS (1) (2024)
Kamil Dudka, Petr Müller, Petr Peringer, Veronika Soková, Tomás Vojnar
Algorithmic Details behind the Predator Shape Analyser. CoRR (2024)
David Kozak, Vojin Jovanovic, Codrut Stancu, Tomás Vojnar, Christian Wimmer
Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image. MPLR (2023)
Lukás Holík, Juraj Síc, Lenka Turonová, Tomás Vojnar
Fast Matching of Regular Patterns with Synchronizing Counting (Technical Report). CoRR (2023)
David Kozak, Vojin Jovanovic, Codrut Stancu, Tomás Vojnar, Christian Wimmer
Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image. CoRR (2023)
Florian Sextl, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger
Sound One-Phase Shape Analysis with Biabduction. CoRR (2023)
Lukás Holík, Juraj Síc, Lenka Turonová, Tomás Vojnar
Fast Matching of Regular Patterns with Synchronizing Counting. FoSSaCS (2023)
Viktor Malík, Frantisek Necas, Peter Schrammel, Tomás Vojnar
2LS: Arrays and Loop Unwinding - (Competition Contribution). TACAS (2) (2023)
Daniel Kroening, Viktor Malík, Peter Schrammel, Tomás Vojnar
2LS for Program Analysis. CoRR (2023)
Tomás Fiedor, Jirí Pavela, Adam Rogalewicz, Tomás Vojnar
Perun: Performance Version System. ICSME (2022)
Roman Andriushchenko, Milan Ceska, Vladimír Marcin, Tomás Vojnar
GPU-Accelerated Synthesis of Probabilistic Programs. EUROCAST (2022)
Viktor Malík, Petr Silling, Tomás Vojnar
Applying Custom Patterns in Semantic Equality Analysis. NETYS (2022)
Lenka Turonová, Lukás Holík, Ivan Homoliak, Ondrej Lengál, Margus Veanes, Tomás Vojnar
Counting in Regexes Considered Harmful: Exposing ReDoS Vulnerability of Nonbacktracking Matchers. USENIX Security Symposium (2022)
Dominik Harmim, Vladimír Marcin, Lucie Svobodova, Tomás Vojnar
Static Deadlock Detection in Low-Level C Code. CoRR (2022)
Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger
Low-Level Bi-Abduction. ECOOP (2022)
Tomás Fiedor, Jirí Pavela, Adam Rogalewicz, Tomás Vojnar
Perun: Performance Version System. CoRR (2022)
Jan Fiedor, Bohuslav Krena, Ales Smrcka, Ondrej Vasícek, Tomás Vojnar
Integrating OSLC Services into Eclipse. EUROCAST (2022)
Dominik Harmim, Vladimír Marcin, Lucie Svobodova, Tomás Vojnar
Static Deadlock Detection in Low-Level C Code. EUROCAST (2022)
Ondrej Vasícek, Jan Fiedor, Tomas Kratochvila, Bohuslav Krena, Ales Smrcka, Tomás Vojnar
Unite: an adapter for transforming analysis tools to web services via OSLC. ESEC/SIGSOFT FSE (2022)
Lukás Charvát, Ales Smrcka, Tomás Vojnar
Utilizing parametric systems for detection of pipeline hazards. Int. J. Softw. Tools Technol. Transf. 24 (1) (2022)
Tomás Vojnar, Lijun Zhang
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019. Int. J. Softw. Tools Technol. Transf. 24 (1) (2022)
Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger
Low-Level Bi-Abduction. CoRR (2022)
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar
Designing Approximate Arithmetic Circuits with Combined Error Constraints. DSD (2022)
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar
Designing Approximate Arithmetic Circuits with Combined Error Constraints. CoRR (2022)
Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger
Low-Level Bi-Abduction (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar
SagTree: Towards efficient mutation in evolutionary circuit approximation. Swarm Evol. Comput. 69 (2022)
Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar
Automata Terms in a Lazy WSkS Decision Procedure. J. Autom. Reason. 65 (7) (2021)
Viktor Malík, Tomás Vojnar
Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects. ICST (2021)
Vojtech Havlena, Lukás Holík, Ondrej Lengál, Ondrej Vales, Tomás Vojnar
Antiprenexing for WSkS: A Little Goes a Long Way. LPAR (2020)
Lenka Turonová, Lukás Holík, Ondrej Lengál, Olli Saarikivi, Margus Veanes, Tomás Vojnar
Regex matching with counting-set automata. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar
Approximate reduction of finite automata for high-speed network intrusion detection. Int. J. Softw. Tools Technol. Transf. 22 (5) (2020)
Marek Chalupa, Tomás Jasek, Lukás Tomovic, Martin Hruska, Veronika Soková, Paulína Ayaziová, Jan Strejcek, Tomás Vojnar
Symbiotic 7: Integration of Predator and More - (Competition Contribution). TACAS (2) (2020)
Lukás Holík, Petr Janku, Anthony W. Lin, Philipp Rümmer, Tomás Vojnar
String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report). CoRR (2020)
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar
Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits. Appl. Soft Comput. 95 (2020)
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar
Adaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits. CoRR (2020)
Lukás Holík, Radu Iosif, Adam Rogalewicz, Tomás Vojnar
Abstraction refinement and antichains for trace inclusion of infinite state systems. Formal Methods Syst. Des. 55 (3) (2020)
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar
Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits. SAT (2020)
Viktor Malík, Peter Schrammel, Tomás Vojnar
2LS: Heap Analysis and Memory Safety - (Competition Contribution). TACAS (2) (2020)
Petr Peringer, Veronika Soková, Tomás Vojnar
PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution). TACAS (2) (2020)
Yu-Fang Chen, Chang-Yi Chiang, Lukás Holík, Wei-Tsung Kao, Hsin-Hung Lin, Tomás Vojnar, Yean-Fu Wen, Wei-Cheng Wu
J-ReCoVer: Java Reducer Commutativity Verifier. APLAS (2019)
Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar
Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report). CoRR (2019)
Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar
Automata Terms in a Lazy WSkS Decision Procedure (Technical Report). CoRR (2019)
Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar
Automata Terms in a Lazy WSkS Decision Procedure. CADE (2019)
Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar
2LS: Heap Analysis and Memory Safety (Competition Contribution). CoRR (2019)
Michal Kotoun, Petr Peringer, Veronika Soková, Tomás Vojnar
PredatorHP Attacks Interval-Sized Regions. CoRR (2019)
Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar
Succinct Determinisation of Counting Automata via Sphere Construction. APLAS (2019)
Milan Ceska, Vojtech Havlena, Lukás Holík, Jan Korenek, Ondrej Lengál, Denis Matousek, Jirí Matousek, Jakub Semric, Tomás Vojnar
Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata. CoRR (2019)
Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar
Nested antichains for WS1S. Acta Informatica 56 (3) (2019)
Luigi Pomante, Vittoriano Muttillo, Bohuslav Krena, Tomás Vojnar, Filip Veljkovic, Pacome Magnin, Martin Matschnig, Bernhard Fischer, Jabier Martinez, Thomas Gruber
The AQUAS ECSEL Project Aggregated Quality Assurance for Systems: Co-Engineering Inside and Across the Product Life Cycle. Microprocess. Microsystems 69 (2019)
Milan Ceska Jr., Milan Ceska, Jirí Matyás, Adam Pankuch, Tomás Vojnar
Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error. EUROCAST (1) (2019)
Mihaela Sighireanu, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu
SL-COMP: Competition of Solvers for Separation Logic. TACAS (3) (2019)
Milan Ceska, Vojtech Havlena, Lukás Holík, Jan Korenek, Ondrej Lengál, Denis Matousek, Jirí Matousek, Jakub Semric, Tomás Vojnar
Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata. FCCM (2019)
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar
ADAC: Automated Design of Approximate Circuits. CAV (1) (2018)
Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar
Template-Based Verification of Heap-Manipulating Programs. FMCAD (2018)
Lukás Holík, Ondrej Lengál, Juraj Síc, Margus Veanes, Tomás Vojnar
Simulation Algorithms for Symbolic Automata. ATVA (2018)
Jan Fiedor, Monika Muzikovská, Ales Smrcka, Ondrej Vasícek, Tomás Vojnar
Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs. ISSTA (2018)
Viktor Malík, Stefan Marticek, Peter Schrammel, Mandayam K. Srivas, Tomás Vojnar, Johanan Wahlang
2LS: Memory Safety and Non-termination - (Competition Contribution). TACAS (2) (2018)
Luigi Pomante, Bohuslav Krena, Tomás Vojnar, Filip Veljkovic, Pacome Magnin
The AQUAS ECSEL Project. DSD (2018)
Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. TACAS (2) (2018)
Lukás Holík, Petr Janku, Anthony W. Lin, Philipp Rümmer, Tomás Vojnar
String constraints with concatenation and transducers solved efficiently. Proc. ACM Program. Lang. 2 (POPL) (2018)
Lukás Holík, Ondrej Lengál, Juraj Síc, Margus Veanes, Tomás Vojnar
Simulation Algorithms for Symbolic Automata (Technical Report). CoRR (2018)
Tomás Fiedor, Lukás Holík, Adam Rogalewicz, Moritz Sinn, Tomás Vojnar, Florian Zuleger
From Shapes to Amortized Complexity. VMCAI (2018)
Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar
Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished. ICCAD (2017)
Ricardo J. Dias, Carla Ferreira, Jan Fiedor, João M. Lourenço, Ales Smrcka, Diogo G. Sousa, Tomás Vojnar
Verifying Concurrent Programs Using Contracts. ICST (2017)
Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar
Compositional entailment checking for a fragment of separation logic. Formal Methods Syst. Des. 51 (3) (2017)
Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Tomás Vojnar
Counterexample Validation and Interpolation-Based Refinement for Forest Automata. VMCAI (2017)
Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar
SPEN: A Solver for Separation Logic. NFM (2017)
Bohuslav Krena, Hana Pluhácková, Shmuel Ur, Tomás Vojnar
Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics. EUROCAST (2) (2017)
Renata Avros, V. Dudka, Bohuslav Krena, Zdenek Letko, Hana Pluhácková, Shmuel Ur, Tomás Vojnar, Zeev Volkovich
Boosted decision trees for behaviour mining of concurrent programmes. Concurr. Comput. Pract. Exp. 29 (21) (2017)
Lukás Holík, Roland Meyer, Tomás Vojnar, Sebastian Wolff
Effect Summaries for Thread-Modular Analysis. CoRR (2017)
Tomás Fiedor, Lukás Holík, Petr Janku, Ondrej Lengál, Tomás Vojnar
Lazy Automata Techniques for WS1S. CoRR (2017)
Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. CoRR (2017)
Lukás Holík, Roland Meyer, Tomás Vojnar, Sebastian Wolff
Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic. SAS (2017)
Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
Forester: From Heap Shapes to Automata Predicates - (Competition Contribution). TACAS (2) (2017)
Tomás Fiedor, Lukás Holík, Petr Janku, Ondrej Lengál, Tomás Vojnar
Lazy Automata Techniques for WS1S. TACAS (1) (2017)
Radu Iosif, Adam Rogalewicz, Tomás Vojnar
Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. TACAS (2016)
Parosh Aziz Abdulla, Lukás Holík, Bengt Jonsson, Ondrej Lengál, Cong Quy Trinh, Tomás Vojnar
Verification of heap manipulating programs with ordered data by extended forest automata. Acta Informatica 53 (4) (2016)
Kamil Dudka, Lukás Holík, Petr Peringer, Marek Trtík, Tomás Vojnar
From Low-Level Pointers to High-Level Containers. VMCAI (2016)
Lukás Holík, Michal Kotoun, Petr Peringer, Veronika Soková, Marek Trtík, Tomás Vojnar
Predator Shape Analysis Tool Suite. Haifa Verification Conference (2016)
Lukás Charvát, Ales Smrcka, Tomás Vojnar
HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems. MEMICS (2016)
Michal Kotoun, Petr Peringer, Veronika Soková, Tomás Vojnar
Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark - (Competition Contribution). TACAS (2016)
Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
Run Forester, Run Backwards! - (Competition Contribution). TACAS (2016)
Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar
Nested Antichains for WS1S. TACAS (2015)
Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar
Nested Antichains for WS1S. CoRR (2015)
Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
Forester: Shape Analysis Using Tree Automata - (Competition Contribution). TACAS (2015)
Kamil Dudka, Lukás Holík, Petr Peringer, Marek Trtík, Tomás Vojnar
From Low-Level Pointers to High-Level Containers. CoRR (2015)
Jan Fiedor, Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Tomás Vojnar
Advances in noise-based testing of concurrent software. Softw. Test. Verification Reliab. 25 (3) (2015)
Lukás Charvát, Ales Smrcka, Tomás Vojnar
Microprocessor Hazard Analysis Via Formal Verification of Parameterized Systems. EUROCAST (2015)
Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar
Dynamic Validation of Contracts in Concurrent Code. EUROCAST (2015)
Petr Müller, Petr Peringer, Tomás Vojnar
Predator Hunting Party (Competition Contribution). TACAS (2015)
Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Tomás Vojnar
Mediating for reduction (on minimizing alternating Büchi automata). Theor. Comput. Sci. 552 (2014)
Radu Iosif, Adam Rogalewicz, Tomás Vojnar
Deciding Entailments in Inductive Separation Logic with Tree Automata. ATVA (2014)
Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Hana Pluhácková, Tomás Vojnar
Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. SSBSE (2014)
Petr Müller, Tomás Vojnar
CPAlien: Shape Analyzer for CPAChecker - (Competition Contribution). TACAS (2014)
Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar
Compositional Entailment Checking for a Fragment of Separation Logic. APLAS (2014)
Radu Iosif, Adam Rogalewicz, Tomás Vojnar
Abstraction Refinement for Trace Inclusion of Data Automata. CoRR (2014)
Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar
On Monitoring C/C++ Transactional Memory Programs. MEMICS (2014)
Radu Iosif, Adam Rogalewicz, Tomás Vojnar
Deciding Entailments in Inductive Separation Logic with Tree Automata. CoRR (2014)

Tomás Vojnar.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tomás Vojnar