Tomás Vojnar

According to our database, Tomás Vojnar authored at least 171 papers between 1997 and 2024.

Collaborative distances:

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

2024

Deciding Boolean Separation Logic via Small Models: Artifact.

Tomás Dacík, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger

Dataset, January, 2024

Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming.

Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar

CoRR, 2024

Deciding Boolean Separation Logic via Small Models (Technical Report).

Tomás Dacík, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger

CoRR, 2024

Algorithmic Details behind the Predator Shape Analyser.

Kamil Dudka, Petr Müller, Petr Peringer, Veronika Soková, Tomás Vojnar

CoRR, 2024

Deciding Boolean Separation Logic via Small Models.

Tomás Dacík, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger

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

Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming.

Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar

Proceedings of the Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024) co-located with the 40th International Conference on Logic Programming (ICLP 2024), 2024

Template-Based Verification of Array-Manipulating Programs.

Viktor Malík, Peter Schrammel, Tomás Vojnar

Proceedings of the Taming the Infinities of Concurrency, 2024

2023

Deciding Boolean Separation Logic via Small Models: Artifact.

Tomás Dacík, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger

Dataset, December, 2023

PredatorHP.

Veronika Soková, Petr Peringer, Tomás Vojnar, Ondrej Kinst

Dataset, November, 2023

PredatorHP.

Veronika Soková, Petr Peringer, Tomás Vojnar

Dataset, November, 2023

2LS.

Viktor Malík, Frantisek Necas, Peter Schrammel, Tomás Vojnar

Dataset, November, 2023

2LS.

Viktor Malík, Frantisek Necas, Peter Schrammel, Tomás Vojnar

Dataset, November, 2023

2LS.

Viktor Malík, Frantisek Necas, Peter Schrammel, Tomás Vojnar

Dataset, November, 2023

Sound One-Phase Shape Analysis with Biabduction.

Florian Sextl, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger

CoRR, 2023

2LS for Program Analysis.

Daniel Kroening, Viktor Malík, Peter Schrammel, Tomás Vojnar

CoRR, 2023

Fast Matching of Regular Patterns with Synchronizing Counting (Technical Report).

Lukás Holík, Juraj Síc, Lenka Turonová, Tomás Vojnar

CoRR, 2023

2LS: Arrays and Loop Unwinding - (Competition Contribution).

Viktor Malík, Frantisek Necas, Peter Schrammel, Tomás Vojnar

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

Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image.

David Kozak, Vojin Jovanovic, Codrut Stancu, Tomás Vojnar, Christian Wimmer

Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2023

Fast Matching of Regular Patterns with Synchronizing Counting.

Lukás Holík, Juraj Síc, Lenka Turonová, Tomás Vojnar

Proceedings of the Foundations of Software Science and Computation Structures, 2023

2022

2LS.

Viktor Malík, Frantisek Necas, Peter Schrammel, Tomás Vojnar

Dataset, December, 2022

SagTree: Towards efficient mutation in evolutionary circuit approximation.

Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar

Swarm Evol. Comput., 2022

Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019.

Tomás Vojnar, Lijun Zhang

Int. J. Softw. Tools Technol. Transf., 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

Low-Level Bi-Abduction (Artifact).

Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger

Dagstuhl Artifacts Ser., 2022

Designing Approximate Arithmetic Circuits with Combined Error Constraints.

Milan Ceska, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar

CoRR, 2022

Counting in Regexes Considered Harmful: Exposing ReDoS Vulnerability of Nonbacktracking Matchers.

Lenka Turonová, Lukás Holík, Ivan Homoliak, Ondrej Lengál, Margus Veanes, Tomás Vojnar

Proceedings of the 31st USENIX Security Symposium, 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

Applying Custom Patterns in Semantic Equality Analysis.

Viktor Malík, Petr Silling, Tomás Vojnar

Proceedings of the Networked Systems - 10th International Conference, 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

Static Deadlock Detection in Low-Level C Code.

Dominik Harmim, Vladimír Marcin, Lucie Svobodova, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory - EUROCAST 2022, 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

GPU-Accelerated Synthesis of Probabilistic Programs.

Roman Andriushchenko, Milan Ceska, Vladimír Marcin, Tomás Vojnar

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

Low-Level Bi-Abduction.

Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

Designing Approximate Arithmetic Circuits with Combined Error Constraints.

Milan Ceska, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar

Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

2021

Automata Terms in a Lazy WSkS Decision Procedure.

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

J. Autom. Reason., 2021

Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects.

Viktor Malík, Tomás Vojnar

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

2020

Artifact for the OOPSLA'20 paper "Regex Matching with Counting-Set Automata".

Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar

Dataset, August, 2020

Dataset for the OOPSLA'20 paper "Regex Matching with Counting-Set Automata".

Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar

Dataset, August, 2020

Dataset for the OOPSLA'20 paper "Regex Matching with Counting-Set Automata".

Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar

Dataset, August, 2020

PredatorHP.

Veronika Soková, Petr Peringer, Tomás Vojnar

Dataset, February, 2020

The 2LS Software Verification Framework for SV-COMP 2020.

Viktor Malík, Peter Schrammel, Tomás Vojnar

Dataset, February, 2020

Approximate reduction of finite automata for high-speed network intrusion detection.

Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar

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

Regex matching with counting-set automata.

Lenka Turonová, Lukás Holík, Ondrej Lengál, Olli Saarikivi, Margus Veanes, Tomás Vojnar

Proc. ACM Program. Lang., 2020

Abstraction refinement and antichains for trace inclusion of infinite state systems.

Lukás Holík, Radu Iosif, Adam Rogalewicz, Tomás Vojnar

Formal Methods Syst. Des., 2020

String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report).

Lukás Holík, Petr Janku, Anthony W. Lin, Philipp Rümmer, Tomás Vojnar

CoRR, 2020

Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits.

Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar

Appl. Soft Comput., 2020

PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution).

Petr Peringer, Veronika Soková, Tomás Vojnar

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

2LS: Heap Analysis and Memory Safety - (Competition Contribution).

Viktor Malík, Peter Schrammel, Tomás Vojnar

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

Symbiotic 7: Integration of Predator and More - (Competition Contribution).

Marek Chalupa, Tomás Jasek, Lukás Tomovic, Martin Hruska, Veronika Soková, Paulína Ayaziová, Jan Strejcek, Tomás Vojnar

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

Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits.

Milan Ceska, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

Antiprenexing for WSkS: A Little Goes a Long Way.

Vojtech Havlena, Lukás Holík, Ondrej Lengál, Ondrej Vales, Tomás Vojnar

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

2019

Forester Virtual Machine.

Ondrej Lengál, Lukás Holík, Tomás Vojnar, Adam Rogalewicz, Jirí Simácek, Martin Hruska, Peter Habermehl

Dataset, July, 2019

The AQUAS ECSEL Project Aggregated Quality Assurance for Systems: Co-Engineering Inside and Across the Product Life Cycle.

Luigi Pomante, Vittoriano Muttillo, Bohuslav Krena, Tomás Vojnar, Filip Veljkovic, Pacome Magnin, Martin Matschnig, Bernhard Fischer, Jabier Martinez, Thomas Gruber

Microprocess. Microsystems, 2019

Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report).

Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar

CoRR, 2019

PredatorHP Attacks Interval-Sized Regions.

Michal Kotoun, Petr Peringer, Veronika Soková, Tomás Vojnar

CoRR, 2019

Automata Terms in a Lazy WSkS Decision Procedure (Technical Report).

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

CoRR, 2019

Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata.

Milan Ceska, Vojtech Havlena, Lukás Holík, Jan Korenek, Ondrej Lengál, Denis Matousek, Jirí Matousek, Jakub Semric, Tomás Vojnar

CoRR, 2019

2LS: Heap Analysis and Memory Safety (Competition Contribution).

Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar

CoRR, 2019

Nested antichains for WS1S.

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

Acta Informatica, 2019

SL-COMP: Competition of Solvers for Separation Logic.

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

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

Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata.

Milan Ceska, Vojtech Havlena, Lukás Holík, Jan Korenek, Ondrej Lengál, Denis Matousek, Jirí Matousek, Jakub Semric, Tomás Vojnar

Proceedings of the 27th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2019

Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error.

Milan Ceska Jr., Milan Ceska, Jirí Matyás, Adam Pankuch, Tomás Vojnar

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

Succinct Determinisation of Counting Automata via Sphere Construction.

Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

J-ReCoVer: Java Reducer Commutativity Verifier.

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

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

Discovering Concurrency Errors.

João M. Lourenço, Jan Fiedor, Bohuslav Krena, Tomás Vojnar

Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

String constraints with concatenation and transducers solved efficiently.

Lukás Holík, Petr Janku, Anthony W. Lin, Philipp Rümmer, Tomás Vojnar

Proc. ACM Program. Lang., 2018

Simulation Algorithms for Symbolic Automata (Technical Report).

Lukás Holík, Ondrej Lengál, Juraj Síc, Margus Veanes, Tomás Vojnar

CoRR, 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

2LS: Memory Safety and Non-termination - (Competition Contribution).

Viktor Malík, Stefan Marticek, Peter Schrammel, Mandayam K. Srivas, Tomás Vojnar, Johanan Wahlang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

Template-Based Verification of Heap-Manipulating Programs.

Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

The AQUAS ECSEL Project.

Luigi Pomante, Bohuslav Krena, Tomás Vojnar, Filip Veljkovic, Pacome Magnin

Proceedings of the 21st Euromicro Conference on Digital System Design, 2018

ADAC: Automated Design of Approximate Circuits.

Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Simulation Algorithms for Symbolic Automata.

Lukás Holík, Ondrej Lengál, Juraj Síc, Margus Veanes, Tomás Vojnar

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Compositional entailment checking for a fragment of separation logic.

Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar

Formal Methods Syst. Des., 2017

Effect Summaries for Thread-Modular Analysis.

Lukás Holík, Roland Meyer, Tomás Vojnar, Sebastian Wolff

CoRR, 2017

Boosted decision trees for behaviour mining of concurrent programmes.

Renata Avros, V. Dudka, Bohuslav Krena, Zdenek Letko, Hana Pluhácková, Shmuel Ur, Tomás Vojnar, Zeev Volkovich

Concurr. Comput. Pract. Exp., 2017

Counterexample Validation and Interpolation-Based Refinement for Forest Automata.

Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Tomás Vojnar

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

Forester: From Heap Shapes to Automata Predicates - (Competition Contribution).

Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic.

Lukás Holík, Roland Meyer, Tomás Vojnar, Sebastian Wolff

Proceedings of the Static Analysis - 24th International Symposium, 2017

SPEN: A Solver for Separation Logic.

Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar

Proceedings of the NASA Formal Methods - 9th International Symposium, 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

Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished.

Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar

Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics.

Bohuslav Krena, Hana Pluhácková, Shmuel Ur, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory - EUROCAST 2017, 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

Verification of heap manipulating programs with ordered data by extended forest automata.

Parosh Aziz Abdulla, Lukás Holík, Bengt Jonsson, Ondrej Lengál, Cong Quy Trinh, Tomás Vojnar

Acta Informatica, 2016

From Low-Level Pointers to High-Level Containers.

Kamil Dudka, Lukás Holík, Petr Peringer, Marek Trtík, Tomás Vojnar

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

Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark - (Competition Contribution).

Michal Kotoun, Petr Peringer, Veronika Soková, Tomás Vojnar

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

Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems.

Radu Iosif, Adam Rogalewicz, Tomás Vojnar

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

Run Forester, Run Backwards! - (Competition Contribution).

Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar

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

Predator Shape Analysis Tool Suite.

Lukás Holík, Michal Kotoun, Petr Peringer, Veronika Soková, Marek Trtík, Tomás Vojnar

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

2015

Advances in noise-based testing of concurrent software.

Jan Fiedor, Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Tomás Vojnar

Softw. Test. Verification Reliab., 2015

Predator Hunting Party (Competition Contribution).

Petr Müller, Petr Peringer, Tomás Vojnar

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

Forester: Shape Analysis Using Tree Automata - (Competition Contribution).

Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar

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

Dynamic Validation of Contracts in Concurrent Code.

Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory - EUROCAST 2015, 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

Mediating for reduction (on minimizing alternating Büchi automata).

Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Tomás Vojnar

Theor. Comput. Sci., 2014

Abstraction Refinement for Trace Inclusion of Data Automata.

Radu Iosif, Adam Rogalewicz, Tomás Vojnar

CoRR, 2014

CPAlien: Shape Analyzer for CPAChecker - (Competition Contribution).

Petr Müller, Tomás Vojnar

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

Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution).

Kamil Dudka, Petr Peringer, Tomás Vojnar

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

Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software.

Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Hana Pluhácková, Tomás Vojnar

Proceedings of the Search-Based Software Engineering - 6th International Symposium, 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

On Monitoring C/C++ Transactional Memory Programs.

Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2014

Deciding Entailments in Inductive Separation Logic with Tree Automata.

Radu Iosif, Adam Rogalewicz, Tomás Vojnar

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

Automated formal analysis and verification: an overview.

Bohuslav Krena, Tomás Vojnar

Int. J. Gen. Syst., 2013

Monotonic Abstraction for Programs with Multiply-Linked Structures.

Parosh Aziz Abdulla, Jonathan Cederberg, Tomás Vojnar

Int. J. Found. Comput. Sci., 2013

Predator: A Tool for Verification of Low-Level List Manipulation - (Competition Contribution).

Kamil Dudka, Petr Müller, Petr Peringer, Tomás Vojnar

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

Byte-Precise Verification of Low-Level List Manipulation.

Kamil Dudka, Petr Peringer, Tomás Vojnar

Proceedings of the Static Analysis - 20th International Symposium, 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

Fully Automated Shape Analysis Based on Forest Automata.

Lukás Holík, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Abstract regular (tree) model checking.

Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar

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

Forest automata for verification of heap manipulation.

Peter Habermehl, Lukás Holík, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar

Formal Methods Syst. Des., 2012

pecial CAI Section Devoted to MEMICS '11: Preface.

Zdenek Kotásek, Lukás Sekanina, Tomás Vojnar, Jan Bouda, Ivana Cerná

Comput. Informatics, 2012

VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata.

Ondrej Lengál, Jirí Simácek, Tomás Vojnar

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

Predator: A Verification Tool for Programs with Dynamic Linked Data Structures - (Competition Contribution).

Kamil Dudka, Petr Müller, Petr Peringer, Tomás Vojnar

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

Testing of Concurrent Programs Using Genetic Algorithms.

Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Tomás Vojnar

Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012

ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level.

Jan Fiedor, Tomás Vojnar

Proceedings of the Runtime Verification, Third International Conference, 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

Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level.

Jan Fiedor, Tomás Vojnar

Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, 2012

2011

Programs with lists are counter automata.

Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar

Formal Methods Syst. Des., 2011

Efficient Algorithms for Handling Nondeterministic Automata.

Tomás Vojnar

Proceedings of the SOFSEM 2011: Theory and Practice of Computer Science, 2011

Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software.

Bohuslav Krena, Zdenek Letko, Tomás Vojnar

Proceedings of the Runtime Verification - Second International Conference, 2011

DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking.

Jan Fiedor, Vendula Hrubá, Bohuslav Krena, Tomás Vojnar

Proceedings of the Runtime Verification - Second International Conference, 2011

Noise Injection Heuristics for Concurrency Testing.

Bohuslav Krena, Zdenek Letko, Tomás Vojnar

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2011

A Uniform Classification of Common Concurrency Errors.

Jan Fiedor, Bohuslav Krena, Zdenek Letko, Tomás Vojnar

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

An Easy to Use Infrastructure for Building Static Analysis Tools.

Kamil Dudka, Petr Peringer, Tomás Vojnar

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

Advanced Ramsey-Based Büchi Automata Inclusion Testing.

Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic.

Kamil Dudka, Petr Peringer, Tomás Vojnar

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata.

Lukás Holík, Ondrej Lengál, Jirí Simácek, Tomás Vojnar

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Automata-based verification of programs with tree updates.

Peter Habermehl, Radu Iosif, Tomás Vojnar

Acta Informatica, 2010

When Simulation Meets Antichains.

Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Richard Mayr, Tomás Vojnar

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

Hijacking the Linux Kernel.

Boris Prochazka, Tomás Vojnar, Martin Drahanský

Proceedings of the Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2010

A platform for search-based testing of concurrent software.

Bohuslav Krena, Zdenek Letko, Tomás Vojnar, Shmuel Ur

Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, 2010

Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing.

Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Tool Demonstration of the FLATA Counter Automata Toolset.

Marius Bozga, Radu Iosif, Filip Konecný, Tomás Vojnar

Proceedings of the Second International Workshop on Invariant Generation, 2010

2009

Composed Bisimulation for Tree Automata.

Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar

Int. J. Found. Comput. Sci., 2009

Preface.

Peter Habermehl, Tomás Vojnar

Proceedings of the Joint Proceedings of the 8th, 2009

A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing.

Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Tomás Vojnar

Proceedings of the Runtime Verification, 9th International Workshop, 2009

Preface -- Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09).

Petr Hlinený, Václav Matyás, Tomás Vojnar

Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2009

Self-healing Assurance Based on Bounded Model Checking.

Vendula Hrubá, Bohuslav Krena, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory, 2009

Automatic Verification of Integer Array Programs.

Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecný, Tomás Vojnar

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Verification of parametric concurrent systems with prioritised FIFO resource management.

Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar

Formal Methods Syst. Des., 2008

Preface.

Milan Ceska, Zdenek Kotásek, Mojmír Kretínský, Ludek Matyska, Tomás Vojnar

Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2008

A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata.

Parosh Aziz Abdulla, Lukás Holík, Lisa Kaati, Tomás Vojnar

Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2008

Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata.

Ahmed Bouajjani, Peter Habermehl, Lukás Holík, Tayssir Touili, Tomás Vojnar

Proceedings of the Implementation and Applications of Automata, 2008

Computing Simulations over Tree Automata.

Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar

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

A Logic of Singly Indexed Arrays.

Peter Habermehl, Radu Iosif, Tomás Vojnar

Proceedings of the Logic for Programming, 2008

AtomRace: data race and atomicity violation detector and healer.

Zdenek Letko, Tomás Vojnar, Bohuslav Krena

Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, 2008

What Else Is Decidable about Integer Arrays?.

Peter Habermehl, Radu Iosif, Tomás Vojnar

Proceedings of the Foundations of Software Science and Computational Structures, 2008

2007

Generalised multi-pattern-based verification of programs with linear linked structures.

Milan Ceska, Pavel Erlebach, Tomás Vojnar

Formal Aspects Comput., 2007

Healing data races on-the-fly.

Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar

Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, 2007

Verifying Parametrised Hardware Designs Via Counter Automata.

Ales Smrcka, Tomás Vojnar

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

Pattern-Based Verification for Trees.

Milan Ceska, Pavel Erlebach, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory, 2007

On Some Directions in Security-Oriented Research.

Lukás Sekanina, Tomas Hruska, Tomás Vojnar, Dusan Kolár, Jan Cernocký

Proceedings of the 2007 ECSIS Symposium on Bio-inspired, 2007

Proving Termination of Tree Manipulating Programs.

Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomás Vojnar

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

Abstract Regular Tree Model Checking of Complex Dynamic Data Structures.

Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar

Proceedings of the Static Analysis, 13th International Symposium, 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

Pattern-Based Verification of Programs with Extended Linear Linked Data Structures.

Milan Ceska, Pavel Erlebach, Tomás Vojnar

Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, 2005

Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking.

Ahmed Bouajjani, Peter Habermehl, Pierre Moro, Tomás Vojnar

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

Parallel State Space Generation and Exploration on Shared-Memory Architectures.

Milan Ceska, Bohuslav Krena, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory, 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

2004

Regular Model Checking Using Inference of Regular Languages.

Peter Habermehl, Tomás Vojnar

Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, 2004

Abstract Regular Model Checking.

Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

Partial-Order Reduction in Model Checking Object-Oriented Petri Nets.

Milan Ceska, Ludek Hasa, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory, 2003

Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management.

Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar

Proceedings of the CONCUR 2003, 2003

2001

Generating and using state spaces of object-oriented Petri nets.

Milan Ceska, Vladimír Janousek, Tomás Vojnar

Comput. Syst. Sci. Eng., 2001

Analysis and Verification Queries over Object-Oriented Petri Nets.

Milan Ceska, Vladimír Janousek, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory, 2001

1999

Towards Verifying Distributed Systems Using Object-Oriented Petri Nets.

Milan Ceska, Vladimír Janousek, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory - EUROCAST'99, Vienna, Austria, September 29, 1999

1998

Object-oriented Petri nets, their simulation, and analysis.

Milan Ceska, Vladimír Janousek, Tomás Vojnar

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997

PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling.

Milan Ceska, Vladimír Janousek, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory, 1997