Tomás Vojnar

According to our database1, Tomás Vojnar
  • authored at least 109 papers between 1997 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection.
CoRR, 2017

Effect Summaries for Thread-Modular Analysis.
CoRR, 2017

Lazy Automata Techniques for WS1S.
CoRR, 2017

Boosted decision trees for behaviour mining of concurrent programmes.
Concurrency and Computation: Practice and Experience, 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

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 Inf., 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., Verif. Reliab., 2015

Nested Antichains for WS1S.
CoRR, 2015

From Low-Level Pointers to High-Level Containers.
CoRR, 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

Nested Antichains for WS1S.
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

Deciding Entailments in Inductive Separation Logic with Tree 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

Compositional Entailment Checking for a Fragment of Separation Logic.
Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2013
Automated formal analysis and verification: an overview.
Int. J. General Systems, 2013

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

Fully Automated Shape Analysis Based on Forest Automata
CoRR, 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

Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2013

2012
Abstract regular (tree) model checking.
STTT, 2012

Forest automata for verification of heap manipulation.
Formal Methods in System Design, 2012

pecial CAI Section Devoted to MEMICS '11: Preface.
Computing and 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 in System Design, 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

Monotonic Abstraction for Programs with Multiply-Linked Structures.
Proceedings of the Reachability Problems - 5th International Workshop, 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

Forest Automata for Verification of Heap Manipulation.
Proceedings of the Computer Aided Verification - 23rd 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 Inf., 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.
Electr. Notes Theor. Comput. Sci., 2009

Preface.
Electr. Notes Theor. Comput. Sci., 2009

A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata.
Electr. Notes Theor. Comput. Sci., 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

Mediating for Reduction (on Minimizing Alternating Büchi Automata).
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical 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 in System Design, 2008

Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata.
Proceedings of the Implementation and Applications of Automata, 2008

Composed Bisimulation for 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 Asp. 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
Pattern-Based Verification of Programs with Extended Linear Linked Data Structures.
Electr. Notes Theor. Comput. Sci., 2006

Abstract Regular Tree Model Checking.
Electr. Notes Theor. Comput. Sci., 2006

Automata-Based Verification of Programs with Tree Updates.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

Programs with Lists Are Counter Automata.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005
Regular Model Checking Using Inference of Regular Languages.
Electr. Notes Theor. Comput. Sci., 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
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

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


  Loading...