Tomás Vojnar

Affiliations:
  • Brno University of Technology


According to our database1, Tomás Vojnar authored at least 151 papers between 1997 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Sound One-Phase Shape Analysis with Biabduction.
CoRR, 2023

2LS for Program Analysis.
CoRR, 2023

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

2LS: Arrays and Loop Unwinding - (Competition Contribution).
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.
Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2023

Fast Matching of Regular Patterns with Synchronizing Counting.
Proceedings of the Foundations of Software Science and Computation Structures, 2023

2022
SagTree: Towards efficient mutation in evolutionary circuit approximation.
Swarm Evol. Comput., 2022

Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019.
Int. J. Softw. Tools Technol. Transf., 2022

Utilizing parametric systems for detection of pipeline hazards.
Int. J. Softw. Tools Technol. Transf., 2022

Low-Level Bi-Abduction (Artifact).
Dagstuhl Artifacts Ser., 2022

Designing Approximate Arithmetic Circuits with Combined Error Constraints.
CoRR, 2022

Counting in Regexes Considered Harmful: Exposing ReDoS Vulnerability of Nonbacktracking Matchers.
Proceedings of the 31st USENIX Security Symposium, 2022

Unite: an adapter for transforming analysis tools to web services via OSLC.
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.
Proceedings of the Networked Systems - 10th International Conference, 2022

Perun: Performance Version System.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

Static Deadlock Detection in Low-Level C Code.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2022, 2022

Integrating OSLC Services into Eclipse.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2022, 2022

GPU-Accelerated Synthesis of Probabilistic Programs.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2022, 2022

Low-Level Bi-Abduction.
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

Designing Approximate Arithmetic Circuits with Combined Error Constraints.
Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

2021
Automata Terms in a Lazy WSkS Decision Procedure.
J. Autom. Reason., 2021

Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects.
Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

2020
Approximate reduction of finite automata for high-speed network intrusion detection.
Int. J. Softw. Tools Technol. Transf., 2020

Regex matching with counting-set automata.
Proc. ACM Program. Lang., 2020

Abstraction refinement and antichains for trace inclusion of infinite state systems.
Formal Methods Syst. Des., 2020

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

Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits.
Appl. Soft Comput., 2020

PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2LS: Heap Analysis and Memory Safety - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Symbiotic 7: Integration of Predator and More - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

Antiprenexing for WSkS: A Little Goes a Long Way.
Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

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

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

PredatorHP Attacks Interval-Sized Regions.
CoRR, 2019

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

Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata.
CoRR, 2019

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

Nested antichains for WS1S.
Acta Informatica, 2019


Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata.
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.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2019, 2019

Succinct Determinisation of Counting Automata via Sphere Construction.
Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

J-ReCoVer: Java Reducer Commutativity Verifier.
Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018
Discovering Concurrency Errors.
Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

String constraints with concatenation and transducers solved efficiently.
Proc. ACM Program. Lang., 2018

Simulation Algorithms for Symbolic Automata (Technical Report).
CoRR, 2018

From Shapes to Amortized Complexity.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

2LS: Memory Safety and Non-termination - (Competition Contribution).
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.
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Template-Based Verification of Heap-Manipulating Programs.
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

The AQUAS ECSEL Project.
Proceedings of the 21st Euromicro Conference on Digital System Design, 2018

ADAC: Automated Design of Approximate Circuits.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Simulation Algorithms for Symbolic Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2018

2017
Compositional entailment checking for a fragment of separation logic.
Formal Methods Syst. Des., 2017

Effect Summaries for Thread-Modular Analysis.
CoRR, 2017

Boosted decision trees for behaviour mining of concurrent programmes.
Concurr. Comput. Pract. Exp., 2017

Counterexample Validation and Interpolation-Based Refinement for Forest Automata.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Forester: From Heap Shapes to Automata Predicates - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Lazy Automata Techniques for WS1S.
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.
Proceedings of the Static Analysis - 24th International Symposium, 2017

SPEN: A Solver for Separation Logic.
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Verifying Concurrent Programs Using Contracts.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished.
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2017, 2017

2016
HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems.
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.
Acta Informatica, 2016

From Low-Level Pointers to High-Level Containers.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark - (Competition Contribution).
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.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Run Forester, Run Backwards! - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Predator Shape Analysis Tool Suite.
Proceedings of the Hardware and Software: Verification and Testing, 2016

2015
Advances in noise-based testing of concurrent software.
Softw. Test. Verification Reliab., 2015

Predator Hunting Party (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Forester: Shape Analysis Using Tree Automata - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Dynamic Validation of Contracts in Concurrent Code.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2015, 2015

Microprocessor Hazard Analysis Via Formal Verification of Parameterized Systems.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2015, 2015

2014
Mediating for reduction (on minimizing alternating Büchi automata).
Theor. Comput. Sci., 2014

Abstraction Refinement for Trace Inclusion of Data Automata.
CoRR, 2014

CPAlien: Shape Analyzer for CPAChecker - (Competition Contribution).
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).
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.
Proceedings of the Search-Based Software Engineering - 6th International Symposium, 2014

Using Formal Verification of Parameterized Systems in RAW Hazard Analysis in Microprocessors.
Proceedings of the 15th International Microprocessor Test and Verification Workshop, 2014

On Monitoring C/C++ Transactional Memory Programs.
Proceedings of the Mathematical and Engineering Methods in Computer Science, 2014

Deciding Entailments in Inductive Separation Logic with Tree Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2014

2013
Automated formal analysis and verification: an overview.
Int. J. Gen. Syst., 2013

Monotonic Abstraction for Programs with Multiply-Linked Structures.
Int. J. Found. Comput. Sci., 2013

Predator: A Tool for Verification of Low-Level List Manipulation - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Byte-Precise Verification of Low-Level List Manipulation.
Proceedings of the Static Analysis - 20th International Symposium, 2013

An Abstraction of Multi-port Memories with Arbitrary Addressable Units.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2013, 2013

Fully Automated Shape Analysis Based on Forest Automata.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
Forest automata for verification of heap manipulation.
Formal Methods Syst. Des., 2012

pecial CAI Section Devoted to MEMICS '11: Preface.
Comput. Informatics, 2012

VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata.
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).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Testing of Concurrent Programs Using Genetic Algorithms.
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.
Proceedings of the Runtime Verification, Third International Conference, 2012

Automatic Formal Correspondence Checking of ISA and RTL Microprocessor Description.
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.
Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, 2012

2011
Programs with lists are counter automata.
Formal Methods Syst. Des., 2011

Efficient Algorithms for Handling Nondeterministic Automata.
Proceedings of the SOFSEM 2011: Theory and Practice of Computer Science, 2011

Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software.
Proceedings of the Runtime Verification - Second International Conference, 2011

DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking.
Proceedings of the Runtime Verification - Second International Conference, 2011

Noise Injection Heuristics for Concurrency Testing.
Proceedings of the Mathematical and Engineering Methods in Computer Science, 2011

A Uniform Classification of Common Concurrency Errors.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011

An Easy to Use Infrastructure for Building Static Analysis Tools.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011

Advanced Ramsey-Based Büchi Automata Inclusion Testing.
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.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2010
Automata-based verification of programs with tree updates.
Acta Informatica, 2010

When Simulation Meets Antichains.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

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

A platform for search-based testing of concurrent software.
Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, 2010

Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Tool Demonstration of the FLATA Counter Automata Toolset.
Proceedings of the Second International Workshop on Invariant Generation, 2010

2009
Composed Bisimulation for Tree Automata.
Int. J. Found. Comput. Sci., 2009

Preface.
Proceedings of the Joint Proceedings of the 8th, 2009

A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing.
Proceedings of the Runtime Verification, 9th International Workshop, 2009

Preface -- Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09).
Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2009

Self-healing Assurance Based on Bounded Model Checking.
Proceedings of the Computer Aided Systems Theory, 2009

Automatic Verification of Integer Array Programs.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008
Verification of parametric concurrent systems with prioritised FIFO resource management.
Formal Methods Syst. Des., 2008

Preface.
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.
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.
Proceedings of the Implementation and Applications of Automata, 2008

Computing Simulations over Tree Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

A Logic of Singly Indexed Arrays.
Proceedings of the Logic for Programming, 2008

AtomRace: data race and atomicity violation detector and healer.
Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, 2008

What Else Is Decidable about Integer Arrays?.
Proceedings of the Foundations of Software Science and Computational Structures, 2008

2007
Generalised multi-pattern-based verification of programs with linear linked structures.
Formal Aspects Comput., 2007

Healing data races on-the-fly.
Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, 2007

Verifying Parametrised Hardware Designs Via Counter Automata.
Proceedings of the Hardware and Software: Verification and Testing, 2007

Pattern-Based Verification for Trees.
Proceedings of the Computer Aided Systems Theory, 2007

On Some Directions in Security-Oriented Research.
Proceedings of the 2007 ECSIS Symposium on Bio-inspired, 2007

Proving Termination of Tree Manipulating Programs.
Proceedings of the Automated Technology for Verification and Analysis, 2007

2006
Abstract Regular Tree Model Checking of Complex Dynamic Data Structures.
Proceedings of the Static Analysis, 13th International Symposium, 2006

Verifying VHDL Designs with Multiple Clocks in SMV.
Proceedings of the Formal Methods: Applications and Technology, 2006

2005
Pattern-Based Verification of Programs with Extended Linear Linked Data Structures.
Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, 2005

Abstract Regular Tree Model Checking.
Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, 2005

Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Parallel State Space Generation and Exploration on Shared-Memory Architectures.
Proceedings of the Computer Aided Systems Theory, 2005

High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design.
Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004
Regular Model Checking Using Inference of Regular Languages.
Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, 2004

Abstract Regular Model Checking.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003
Partial-Order Reduction in Model Checking Object-Oriented Petri Nets.
Proceedings of the Computer Aided Systems Theory, 2003

Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management.
Proceedings of the CONCUR 2003, 2003

2001
Generating and using state spaces of object-oriented Petri nets.
Comput. Syst. Sci. Eng., 2001

Analysis and Verification Queries over Object-Oriented Petri Nets.
Proceedings of the Computer Aided Systems Theory, 2001

1999
Towards Verifying Distributed Systems Using Object-Oriented Petri Nets.
Proceedings of the Computer Aided Systems Theory - EUROCAST'99, Vienna, Austria, September 29, 1999

1998
Object-oriented Petri nets, their simulation, and analysis.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997
PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling.
Proceedings of the Computer Aided Systems Theory, 1997


  Loading...