Tomás Vojnar - RankMe

202 papers A* 8A 25B 30C 5Misc 1Journal 60Unranked 63

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	SEAL: Symbolic Execution with Separation Logic (Competition Contribution). CoRR Tomás Brablec, Tomás Dacík, Tomás Vojnar
2026	—	`conf`	Seal: Symbolic Execution with Separation Logic - (Competition Contribution). TACAS (2) Tomás Brablec, Tomás Dacík, Tomás Vojnar
2025	—	`conf`	Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration. ESOP (2) Florian Sextl, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger
2025	B	`conf`	On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming. ICLP Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Tomás Vojnar
2025	—	`conf`	RacerF: Data Race Detection with Frama-C (Competition Contribution). TACAS (3) Tomás Dacík, Tomás Vojnar
2025	J	`jnl`	RacerF: Data Race Detection with Frama-C (Competition Contribution). CoRR Tomás Dacík, Tomás Vojnar
2025	A	`conf`	RacerF: Lightweight Static Data Race Detection for C Code (Experience Paper). ECOOP Tomás Dacík, Tomás Vojnar
2025	J	`jnl`	RacerF: Lightweight Static Data Race Detection for C Code. CoRR Tomás Dacík, Tomás Vojnar
2025	—	`conf`	SAVAT: A Tool for Visualizing the Impact of Changes in Microservices. ECSA (Tracks and Workshops) Adam Kattan Rahmani, Gabriel Goulis, David Kozak, Tomás Cerný, Tomás Vojnar
2025	A	`conf`	SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges. CGO David Kozak, Codrut Stancu, Tomás Vojnar, Christian Wimmer
2025	J	`jnl`	SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges. CoRR David Kozak, Codrut Stancu, Tomás Vojnar, Christian Wimmer
2024	J	`jnl`	Algorithmic Details behind the Predator Shape Analyser. CoRR Kamil Dudka, Petr Müller, Petr Peringer, Veronika Soková, Tomás Vojnar
2024	J	`jnl`	Deciding Boolean Separation Logic via Small Models (Technical Report). CoRR Tomás Dacík, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger
2024	—	`conf`	Deciding Boolean Separation Logic via Small Models. TACAS (1) Tomás Dacík, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger
2024	J	`jnl`	Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming. Theory Pract. Log. Program. Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendal Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar
2024	J	`jnl`	Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. CoRR Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar
2024	—	`conf`	Efficient Manipulation of Control Flow Models in Evolving Software. EUROCAST (1) Tomás Fiedor, Jirí Pavela, Adam Rogalewicz, Tomás Vojnar
2024	—	`conf`	Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. ICLP Workshops Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar
2024	—	`conf`	Template-Based Verification of Array-Manipulating Programs. Taming the Infinities of Concurrency Viktor Malík, Peter Schrammel, Tomás Vojnar
2023	J	`jnl`	2LS for Program Analysis. CoRR Daniel Kroening, Viktor Malík, Peter Schrammel, Tomás Vojnar
2023	—	`conf`	2LS: Arrays and Loop Unwinding - (Competition Contribution). TACAS (2) Viktor Malík, Frantisek Necas, Peter Schrammel, Tomás Vojnar
2023	C	`conf`	Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image. MPLR David Kozak, Vojin Jovanovic, Codrut Stancu, Tomás Vojnar, Christian Wimmer
2023	J	`jnl`	Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image. CoRR David Kozak, Vojin Jovanovic, Codrut Stancu, Tomás Vojnar, Christian Wimmer
2023	J	`jnl`	Fast Matching of Regular Patterns with Synchronizing Counting (Technical Report). CoRR Lukás Holík, Juraj Síc, Lenka Turonová, Tomás Vojnar
2023	B	`conf`	Fast Matching of Regular Patterns with Synchronizing Counting. FoSSaCS Lukás Holík, Juraj Síc, Lenka Turonová, Tomás Vojnar
2023	J	`jnl`	Sound One-Phase Shape Analysis with Biabduction. CoRR Florian Sextl, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger
2022	—	`conf`	Applying Custom Patterns in Semantic Equality Analysis. NETYS Viktor Malík, Petr Silling, Tomás Vojnar
2022	A*	`conf`	Counting in Regexes Considered Harmful: Exposing ReDoS Vulnerability of Nonbacktracking Matchers. USENIX Security Symposium Lenka Turonová, Lukás Holík, Ivan Homoliak, Ondrej Lengál, Margus Veanes, Tomás Vojnar
2022	C	`conf`	Designing Approximate Arithmetic Circuits with Combined Error Constraints. DSD Milan Ceska, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar
2022	J	`jnl`	Designing Approximate Arithmetic Circuits with Combined Error Constraints. CoRR Milan Ceska, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar
2022	—	`conf`	GPU-Accelerated Synthesis of Probabilistic Programs. EUROCAST Roman Andriushchenko, Milan Ceska, Vladimír Marcin, Tomás Vojnar
2022	—	`conf`	Integrating OSLC Services into Eclipse. EUROCAST Jan Fiedor, Bohuslav Krena, Ales Smrcka, Ondrej Vasícek, Tomás Vojnar
2022	J	`jnl`	Low-Level Bi-Abduction (Artifact). Dagstuhl Artifacts Ser. Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger
2022	A	`conf`	Low-Level Bi-Abduction. ECOOP Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger
2022	J	`jnl`	Low-Level Bi-Abduction. CoRR Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger
2022	A	`conf`	Perun: Performance Version System. ICSME Tomás Fiedor, Jirí Pavela, Adam Rogalewicz, Tomás Vojnar
2022	J	`jnl`	Perun: Performance Version System. CoRR Tomás Fiedor, Jirí Pavela, Adam Rogalewicz, Tomás Vojnar
2022	J	`jnl`	SagTree: Towards efficient mutation in evolutionary circuit approximation. Swarm Evol. Comput. Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar
2022	—	`conf`	Static Deadlock Detection in Low-Level C Code. EUROCAST Dominik Harmim, Vladimír Marcin, Lucie Svobodova, Tomás Vojnar
2022	J	`jnl`	Static Deadlock Detection in Low-Level C Code. CoRR Dominik Harmim, Vladimír Marcin, Lucie Svobodova, Tomás Vojnar
2022	J	`jnl`	Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019. Int. J. Softw. Tools Technol. Transf. Tomás Vojnar, Lijun Zhang
2022	—	`conf`	Unite: an adapter for transforming analysis tools to web services via OSLC. ESEC/SIGSOFT FSE Ondrej Vasícek, Jan Fiedor, Tomas Kratochvila, Bohuslav Krena, Ales Smrcka, Tomás Vojnar
2022	J	`jnl`	Utilizing parametric systems for detection of pipeline hazards. Int. J. Softw. Tools Technol. Transf. Lukás Charvát, Ales Smrcka, Tomás Vojnar
2021	J	`jnl`	Automata Terms in a Lazy WSkS Decision Procedure. J. Autom. Reason. Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar
2021	A	`conf`	Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects. ICST Viktor Malík, Tomás Vojnar
2020	—	`conf`	2LS: Heap Analysis and Memory Safety - (Competition Contribution). TACAS (2) Viktor Malík, Peter Schrammel, Tomás Vojnar
2020	J	`jnl`	Abstraction refinement and antichains for trace inclusion of infinite state systems. Formal Methods Syst. Des. Lukás Holík, Radu Iosif, Adam Rogalewicz, Tomás Vojnar
2020	J	`jnl`	Adaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits. CoRR Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar
2020	J	`jnl`	Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits. Appl. Soft Comput. Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar
2020	B	`conf`	Antiprenexing for WSkS: A Little Goes a Long Way. LPAR Vojtech Havlena, Lukás Holík, Ondrej Lengál, Ondrej Vales, Tomás Vojnar
2020	J	`jnl`	Approximate reduction of finite automata for high-speed network intrusion detection. Int. J. Softw. Tools Technol. Transf. Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar
2020	—	`conf`	PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution). TACAS (2) Petr Peringer, Veronika Soková, Tomás Vojnar
2020	J	`jnl`	Regex matching with counting-set automata. Proc. ACM Program. Lang. Lenka Turonová, Lukás Holík, Ondrej Lengál, Olli Saarikivi, Margus Veanes, Tomás Vojnar
2020	A	`conf`	Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits. SAT Milan Ceska, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar
2020	J	`jnl`	String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report). CoRR Lukás Holík, Petr Janku, Anthony W. Lin, Philipp Rümmer, Tomás Vojnar
2020	—	`conf`	Symbiotic 7: Integration of Predator and More - (Competition Contribution). TACAS (2) Marek Chalupa, Tomás Jasek, Lukás Tomovic, Martin Hruska, Veronika Soková, Paulína Ayaziová, Jan Strejcek, Tomás Vojnar
2019	J	`jnl`	2LS: Heap Analysis and Memory Safety (Competition Contribution). CoRR Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar
2019	—	`conf`	Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error. EUROCAST (1) Milan Ceska Jr., Milan Ceska, Jirí Matyás, Adam Pankuch, Tomás Vojnar
2019	J	`jnl`	Automata Terms in a Lazy WSkS Decision Procedure (Technical Report). CoRR Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar
2019	A	`conf`	Automata Terms in a Lazy WSkS Decision Procedure. CADE Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar
2019	Misc	`conf`	Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata. FCCM Milan Ceska, Vojtech Havlena, Lukás Holík, Jan Korenek, Ondrej Lengál, Denis Matousek, Jirí Matousek, Jakub Semric, Tomás Vojnar
2019	J	`jnl`	Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata. CoRR Milan Ceska, Vojtech Havlena, Lukás Holík, Jan Korenek, Ondrej Lengál, Denis Matousek, Jirí Matousek, Jakub Semric, Tomás Vojnar
2019	B	`conf`	J-ReCoVer: Java Reducer Commutativity Verifier. APLAS 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
2019	J	`jnl`	Nested antichains for WS1S. Acta Informatica Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar
2019	J	`jnl`	PredatorHP Attacks Interval-Sized Regions. CoRR Michal Kotoun, Petr Peringer, Veronika Soková, Tomás Vojnar
2019	—	`conf`	SL-COMP: Competition of Solvers for Separation Logic. TACAS (3) 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
2019	J	`jnl`	Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report). CoRR Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar
2019	B	`conf`	Succinct Determinisation of Counting Automata via Sphere Construction. APLAS Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar
2019	J	`jnl`	The AQUAS ECSEL Project Aggregated Quality Assurance for Systems: Co-Engineering Inside and Across the Product Life Cycle. Microprocess. Microsystems Luigi Pomante, Vittoriano Muttillo, Bohuslav Krena, Tomás Vojnar, Filip Veljkovic, Pacome Magnin, Martin Matschnig, Bernhard Fischer, Jabier Martinez, Thomas Gruber
2019	—	`ed.`	Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I TACAS (1) Tomás Vojnar, Lijun Zhang
2019	—	`ed.`	Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II TACAS (2) Tomás Vojnar, Lijun Zhang
2018	—	`conf`	2LS: Memory Safety and Non-termination - (Competition Contribution). TACAS (2) Viktor Malík, Stefan Marticek, Peter Schrammel, Mandayam K. Srivas, Tomás Vojnar, Johanan Wahlang
2018	—	`conf`	ADAC: Automated Design of Approximate Circuits. CAV (1) Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar
2018	A	`conf`	Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs. ISSTA Jan Fiedor, Monika Muzikovská, Ales Smrcka, Ondrej Vasícek, Tomás Vojnar
2018	—	`conf`	Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. TACAS (2) Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar
2018	—	`ch.`	Discovering Concurrency Errors. Lectures on Runtime Verification João M. Lourenço, Jan Fiedor, Bohuslav Krena, Tomás Vojnar
2018	B	`conf`	From Shapes to Amortized Complexity. VMCAI Tomás Fiedor, Lukás Holík, Adam Rogalewicz, Moritz Sinn, Tomás Vojnar, Florian Zuleger
2018	J	`jnl`	Simulation Algorithms for Symbolic Automata (Technical Report). CoRR Lukás Holík, Ondrej Lengál, Juraj Síc, Margus Veanes, Tomás Vojnar
2018	B	`conf`	Simulation Algorithms for Symbolic Automata. ATVA Lukás Holík, Ondrej Lengál, Juraj Síc, Margus Veanes, Tomás Vojnar
2018	J	`jnl`	String constraints with concatenation and transducers solved efficiently. Proc. ACM Program. Lang. Lukás Holík, Petr Janku, Anthony W. Lin, Philipp Rümmer, Tomás Vojnar
2018	B	`conf`	Template-Based Verification of Heap-Manipulating Programs. FMCAD Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar
2018	C	`conf`	The AQUAS ECSEL Project. DSD Luigi Pomante, Bohuslav Krena, Tomás Vojnar, Filip Veljkovic, Pacome Magnin
2017	J	`jnl`	Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. CoRR Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar
2017	A	`conf`	Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished. ICCAD Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar
2017	J	`jnl`	Boosted decision trees for behaviour mining of concurrent programmes. Concurr. Comput. Pract. Exp. Renata Avros, V. Dudka, Bohuslav Krena, Zdenek Letko, Hana Pluhácková, Shmuel Ur, Tomás Vojnar, Zeev Volkovich
2017	J	`jnl`	Compositional entailment checking for a fragment of separation logic. Formal Methods Syst. Des. Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar
2017	B	`conf`	Counterexample Validation and Interpolation-Based Refinement for Forest Automata. VMCAI Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Tomás Vojnar
2017	B	`conf`	Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic. SAS Lukás Holík, Roland Meyer, Tomás Vojnar, Sebastian Wolff
2017	J	`jnl`	Effect Summaries for Thread-Modular Analysis. CoRR Lukás Holík, Roland Meyer, Tomás Vojnar, Sebastian Wolff
2017	—	`conf`	Forester: From Heap Shapes to Automata Predicates - (Competition Contribution). TACAS (2) Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
2017	—	`conf`	Lazy Automata Techniques for WS1S. TACAS (1) Tomás Fiedor, Lukás Holík, Petr Janku, Ondrej Lengál, Tomás Vojnar
2017	J	`jnl`	Lazy Automata Techniques for WS1S. CoRR Tomás Fiedor, Lukás Holík, Petr Janku, Ondrej Lengál, Tomás Vojnar
2017	—	`conf`	Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics. EUROCAST (2) Bohuslav Krena, Hana Pluhácková, Shmuel Ur, Tomás Vojnar
2017	—	`conf`	SPEN: A Solver for Separation Logic. NFM Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar
2017	A	`conf`	Verifying Concurrent Programs Using Contracts. ICST Ricardo J. Dias, Carla Ferreira, Jan Fiedor, João M. Lourenço, Ales Smrcka, Diogo G. Sousa, Tomás Vojnar
2016	A	`conf`	Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. TACAS Radu Iosif, Adam Rogalewicz, Tomás Vojnar
2016	B	`conf`	From Low-Level Pointers to High-Level Containers. VMCAI Kamil Dudka, Lukás Holík, Petr Peringer, Marek Trtík, Tomás Vojnar
2016	—	`conf`	HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems. MEMICS Lukás Charvát, Ales Smrcka, Tomás Vojnar
2016	—	`ed.`	Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers MEMICS Jan Kofron, Tomás Vojnar
2016	A	`conf`	Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark - (Competition Contribution). TACAS Michal Kotoun, Petr Peringer, Veronika Soková, Tomás Vojnar
2016	—	`conf`	Predator Shape Analysis Tool Suite. Haifa Verification Conference Lukás Holík, Michal Kotoun, Petr Peringer, Veronika Soková, Marek Trtík, Tomás Vojnar
2016	A	`conf`	Run Forester, Run Backwards! - (Competition Contribution). TACAS Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
2016	J	`jnl`	Verification of heap manipulating programs with ordered data by extended forest automata. Acta Informatica Parosh Aziz Abdulla, Lukás Holík, Bengt Jonsson, Ondrej Lengál, Cong Quy Trinh, Tomás Vojnar
2015	J	`jnl`	Advances in noise-based testing of concurrent software. Softw. Test. Verification Reliab. Jan Fiedor, Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Tomás Vojnar
2015	—	`conf`	Dynamic Validation of Contracts in Concurrent Code. EUROCAST Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar
2015	A	`conf`	Forester: Shape Analysis Using Tree Automata - (Competition Contribution). TACAS Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
2015	J	`jnl`	From Low-Level Pointers to High-Level Containers. CoRR Kamil Dudka, Lukás Holík, Petr Peringer, Marek Trtík, Tomás Vojnar
2015	—	`conf`	Microprocessor Hazard Analysis Via Formal Verification of Parameterized Systems. EUROCAST Lukás Charvát, Ales Smrcka, Tomás Vojnar
2015	A	`conf`	Nested Antichains for WS1S. TACAS Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar
2015	J	`jnl`	Nested Antichains for WS1S. CoRR Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar
2015	A	`conf`	Predator Hunting Party (Competition Contribution). TACAS Petr Müller, Petr Peringer, Tomás Vojnar
2014	J	`jnl`	Abstraction Refinement for Trace Inclusion of Data Automata. CoRR Radu Iosif, Adam Rogalewicz, Tomás Vojnar
2014	A	`conf`	CPAlien: Shape Analyzer for CPAChecker - (Competition Contribution). TACAS Petr Müller, Tomás Vojnar
2014	B	`conf`	Compositional Entailment Checking for a Fragment of Separation Logic. APLAS Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar
2014	B	`conf`	Deciding Entailments in Inductive Separation Logic with Tree Automata. ATVA Radu Iosif, Adam Rogalewicz, Tomás Vojnar
2014	J	`jnl`	Deciding Entailments in Inductive Separation Logic with Tree Automata. CoRR Radu Iosif, Adam Rogalewicz, Tomás Vojnar
2014	J	`jnl`	Mediating for reduction (on minimizing alternating Büchi automata). Theor. Comput. Sci. Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Tomás Vojnar
2014	B	`conf`	Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. SSBSE Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Hana Pluhácková, Tomás Vojnar
2014	—	`conf`	On Monitoring C/C++ Transactional Memory Programs. MEMICS Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar
2014	A	`conf`	Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution). TACAS Kamil Dudka, Petr Peringer, Tomás Vojnar
2014	—	`conf`	Using Formal Verification of Parameterized Systems in RAW Hazard Analysis in Microprocessors. MTV Lukás Charvát, Ales Smrcka, Tomás Vojnar
2013	—	`conf`	An Abstraction of Multi-port Memories with Arbitrary Addressable Units. EUROCAST (1) Lukás Charvát, Ales Smrcka, Tomás Vojnar
2013	J	`jnl`	Automated formal analysis and verification: an overview. Int. J. Gen. Syst. Bohuslav Krena, Tomás Vojnar
2013	B	`conf`	Byte-Precise Verification of Low-Level List Manipulation. SAS Kamil Dudka, Petr Peringer, Tomás Vojnar
2013	J	`jnl`	Fully Automated Shape Analysis Based on Forest Automata CoRR Lukás Holík, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
2013	A*	`conf`	Fully Automated Shape Analysis Based on Forest Automata. CAV Lukás Holík, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
2013	—	`ed.`	Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers MEMICS Antonín Kucera, Thomas A. Henzinger, Jaroslav Nesetril, Tomás Vojnar, David Antos
2013	J	`jnl`	Monotonic Abstraction for Programs with Multiply-Linked Structures. Int. J. Found. Comput. Sci. Parosh Aziz Abdulla, Jonathan Cederberg, Tomás Vojnar
2013	A	`conf`	Predator: A Tool for Verification of Low-Level List Manipulation - (Competition Contribution). TACAS Kamil Dudka, Petr Müller, Petr Peringer, Tomás Vojnar
2013	B	`conf`	Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata. ATVA Parosh Aziz Abdulla, Lukás Holík, Bengt Jonsson, Ondrej Lengál, Cong Quy Trinh, Tomás Vojnar
2012	B	`conf`	ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. RV Jan Fiedor, Tomás Vojnar
2012	J	`jnl`	Abstract regular (tree) model checking. Int. J. Softw. Tools Technol. Transf. Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar
2012	—	`conf`	Automatic Formal Correspondence Checking of ISA and RTL Microprocessor Description. MTV Lukás Charvát, Ales Smrcka, Tomás Vojnar
2012	J	`jnl`	Forest automata for verification of heap manipulation. Formal Methods Syst. Des. Peter Habermehl, Lukás Holík, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
2012	—	`ed.`	Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers MEMICS Zdenek Kotásek, Jan Bouda, Ivana Cerná, Lukás Sekanina, Tomás Vojnar, David Antos
2012	—	`conf`	Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level. PADTAD Jan Fiedor, Tomás Vojnar
2012	A	`conf`	Predator: A Verification Tool for Programs with Dynamic Linked Data Structures - (Competition Contribution). TACAS Kamil Dudka, Petr Müller, Petr Peringer, Tomás Vojnar
2012	B	`conf`	Testing of Concurrent Programs Using Genetic Algorithms. SSBSE Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Tomás Vojnar
2012	A	`conf`	VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata. TACAS Ondrej Lengál, Jirí Simácek, Tomás Vojnar
2012	J	`jnl`	pecial CAI Section Devoted to MEMICS '11: Preface. Comput. Informatics Zdenek Kotásek, Lukás Sekanina, Tomás Vojnar, Jan Bouda, Ivana Cerná
2011	—	`conf`	A Uniform Classification of Common Concurrency Errors. EUROCAST (1) Jan Fiedor, Bohuslav Krena, Zdenek Letko, Tomás Vojnar
2011	B	`conf`	Advanced Ramsey-Based Büchi Automata Inclusion Testing. CONCUR Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar
2011	—	`conf`	An Easy to Use Infrastructure for Building Static Analysis Tools. EUROCAST (1) Kamil Dudka, Petr Peringer, Tomás Vojnar
2011	B	`conf`	Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software. RV Bohuslav Krena, Zdenek Letko, Tomás Vojnar
2011	B	`conf`	DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. RV Jan Fiedor, Vendula Hrubá, Bohuslav Krena, Tomás Vojnar
2011	B	`conf`	Efficient Algorithms for Handling Nondeterministic Automata. SOFSEM Tomás Vojnar
2011	B	`conf`	Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata. ATVA Lukás Holík, Ondrej Lengál, Jirí Simácek, Tomás Vojnar
2011	A*	`conf`	Forest Automata for Verification of Heap Manipulation. CAV Peter Habermehl, Lukás Holík, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
2011	—	`conf`	Monotonic Abstraction for Programs with Multiply-Linked Structures. RP Parosh Aziz Abdulla, Jonathan Cederberg, Tomás Vojnar
2011	—	`conf`	Noise Injection Heuristics for Concurrency Testing. MEMICS Bohuslav Krena, Zdenek Letko, Tomás Vojnar
2011	A*	`conf`	Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic. CAV Kamil Dudka, Petr Peringer, Tomás Vojnar
2011	J	`jnl`	Programs with lists are counter automata. Formal Methods Syst. Des. Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar
2011	—	`ed.`	Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Mikulov, Czech Republic, October 22-24, 2010, Selected Papers MEMICS Ludek Matyska, Michal Kozubek, Tomás Vojnar, Pavel Zemcík, David Antos
2010	—	`conf`	A platform for search-based testing of concurrent software. PDATAD Bohuslav Krena, Zdenek Letko, Tomás Vojnar, Shmuel Ur
2010	J	`jnl`	Automata-based verification of programs with tree updates. Acta Informatica Peter Habermehl, Radu Iosif, Tomás Vojnar
2010	—	`conf`	Hijacking the Linux Kernel. MEMICS Boris Prochazka, Tomás Vojnar, Martin Drahanský
2010	A*	`conf`	Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. CAV Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar
2010	—	`conf`	Tool Demonstration of the FLATA Counter Automata Toolset. WING@ETAPS/IJCAR Marius Bozga, Radu Iosif, Filip Konecný, Tomás Vojnar
2010	A	`conf`	When Simulation Meets Antichains. TACAS Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Richard Mayr, Tomás Vojnar
2009	B	`conf`	A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. RV Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Tomás Vojnar
2009	—	`ed.`	Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2009, Prestige Hotel, Znojmo, Czech Republic, November 13-15, 2009 MEMICS Petr Hlinený, Václav Matyás, Tomás Vojnar
2009	A*	`conf`	Automatic Verification of Integer Array Programs. CAV Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecný, Tomás Vojnar
2009	J	`jnl`	Composed Bisimulation for Tree Automata. Int. J. Found. Comput. Sci. Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar
2009	—	`ed.`	Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008 INFINITY Peter Habermehl, Tomás Vojnar
2009	—	`conf`	Mediating for Reduction (on Minimizing Alternating Büchi Automata). FSTTCS Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Tomás Vojnar
2009	—	`conf`	Preface -- Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). MEMICS Petr Hlinený, Václav Matyás, Tomás Vojnar
2009	—	`conf`	Preface. INFINITY Peter Habermehl, Tomás Vojnar
2009	—	`ed.`	Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2008, Znojmo, Czech Republic, November 14-16, 2008 MEMICS Milan Ceska, Zdenek Kotásek, Mojmír Kretínský, Ludek Matyska, Tomás Vojnar
2009	—	`conf`	Self-healing Assurance Based on Bounded Model Checking. EUROCAST Vendula Hrubá, Bohuslav Krena, Tomás Vojnar
2008	B	`conf`	A Logic of Singly Indexed Arrays. LPAR Peter Habermehl, Radu Iosif, Tomás Vojnar
2008	—	`conf`	A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata. MEMICS Parosh Aziz Abdulla, Lukás Holík, Lisa Kaati, Tomás Vojnar
2008	C	`conf`	Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata. CIAA Ahmed Bouajjani, Peter Habermehl, Lukás Holík, Tayssir Touili, Tomás Vojnar
2008	—	`conf`	AtomRace: data race and atomicity violation detector and healer. PADTAD Zdenek Letko, Tomás Vojnar, Bohuslav Krena
2008	C	`conf`	Composed Bisimulation for Tree Automata. CIAA Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar
2008	A	`conf`	Computing Simulations over Tree Automata. TACAS Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar
2008	—	`conf`	Preface. MEMICS Milan Ceska, Zdenek Kotásek, Mojmír Kretínský, Ludek Matyska, Tomás Vojnar
2008	J	`jnl`	Verification of parametric concurrent systems with prioritised FIFO resource management. Formal Methods Syst. Des. Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar
2008	B	`conf`	What Else Is Decidable about Integer Arrays?. FoSSaCS Peter Habermehl, Radu Iosif, Tomás Vojnar
2007	J	`jnl`	Generalised multi-pattern-based verification of programs with linear linked structures. Formal Aspects Comput. Milan Ceska, Pavel Erlebach, Tomás Vojnar
2007	—	`conf`	Healing data races on-the-fly. PADTAD Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar
2007	—	`conf`	On Some Directions in Security-Oriented Research. BLISS Lukás Sekanina, Tomas Hruska, Tomás Vojnar, Dusan Kolár, Jan Cernocký
2007	—	`conf`	Pattern-Based Verification for Trees. EUROCAST Milan Ceska, Pavel Erlebach, Tomás Vojnar
2007	B	`conf`	Proving Termination of Tree Manipulating Programs. ATVA Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomás Vojnar
2007	—	`conf`	Verifying Parametrised Hardware Designs Via Counter Automata. Haifa Verification Conference Ales Smrcka, Tomás Vojnar
2006	B	`conf`	Abstract Regular Tree Model Checking of Complex Dynamic Data Structures. SAS Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar
2006	A	`conf`	Automata-Based Verification of Programs with Tree Updates. TACAS Peter Habermehl, Radu Iosif, Tomás Vojnar
2006	A*	`conf`	Programs with Lists Are Counter Automata. CAV Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar
2006	—	`conf`	Verifying VHDL Designs with Multiple Clocks in SMV. FMICS/PDMC Ales Smrcka, Vojtech Rehák, Tomás Vojnar, David Safránek, Petr Matousek, Z. Rehák
2005	—	`conf`	Abstract Regular Tree Model Checking. INFINITY Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar
2005	—	`conf`	High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design. CHARME Petr Matousek, Ales Smrcka, Tomás Vojnar
2005	—	`conf`	Parallel State Space Generation and Exploration on Shared-Memory Architectures. EUROCAST Milan Ceska, Bohuslav Krena, Tomás Vojnar
2005	—	`conf`	Pattern-Based Verification of Programs with Extended Linear Linked Data Structures. AVoCS Milan Ceska, Pavel Erlebach, Tomás Vojnar
2005	A	`conf`	Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking. TACAS Ahmed Bouajjani, Peter Habermehl, Pierre Moro, Tomás Vojnar
2004	A*	`conf`	Abstract Regular Model Checking. CAV Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar
2004	—	`conf`	Regular Model Checking Using Inference of Regular Languages. INFINITY Peter Habermehl, Tomás Vojnar
2003	—	`conf`	Partial-Order Reduction in Model Checking Object-Oriented Petri Nets. EUROCAST Milan Ceska, Ludek Hasa, Tomás Vojnar
2003	B	`conf`	Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management. CONCUR Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar
2001	—	`conf`	Analysis and Verification Queries over Object-Oriented Petri Nets. EUROCAST Milan Ceska, Vladimír Janousek, Tomás Vojnar
2001	J	`jnl`	Generating and using state spaces of object-oriented Petri nets. Comput. Syst. Sci. Eng. Milan Ceska, Vladimír Janousek, Tomás Vojnar
1999	—	`conf`	Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. EUROCAST Milan Ceska, Vladimír Janousek, Tomás Vojnar
1998	B	`conf`	Object-oriented Petri nets, their simulation, and analysis. SMC Milan Ceska, Vladimír Janousek, Tomás Vojnar
1997	—	`conf`	PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling. EUROCAST Milan Ceska, Vladimír Janousek, Tomás Vojnar