


Остановите войну!
for scientists:


default search action
Tomás Vojnar
Person information

- affiliation: Brno University of Technology
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [c120]Lukás Holík
, Juraj Síc
, Lenka Turonová
, Tomás Vojnar
:
Fast Matching of Regular Patterns with Synchronizing Counting. FoSSaCS 2023: 392-412 - [c119]Viktor Malík
, Frantisek Necas
, Peter Schrammel
, Tomás Vojnar
:
2LS: Arrays and Loop Unwinding - (Competition Contribution). TACAS (2) 2023: 529-534 - [i24]Lukás Holík, Juraj Síc, Lenka Turonová, Tomás Vojnar:
Fast Matching of Regular Patterns with Synchronizing Counting (Technical Report). CoRR abs/2301.12851 (2023) - [i23]Daniel Kroening, Viktor Malík, Peter Schrammel, Tomás Vojnar:
2LS for Program Analysis. CoRR abs/2302.02380 (2023) - [i22]Florian Sextl, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger:
Sound One-Phase Shape Analysis with Biabduction. CoRR abs/2307.06346 (2023) - [i21]David Kozak, Vojin Jovanovic, Codrut Stancu, Tomás Vojnar, Christian Wimmer:
Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image. CoRR abs/2308.16566 (2023) - 2022
- [j28]Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger
:
Low-Level Bi-Abduction (Artifact). Dagstuhl Artifacts Ser. 8(2): 11:1-11:6 (2022) - [j27]Lukás Charvát, Ales Smrcka, Tomás Vojnar:
Utilizing parametric systems for detection of pipeline hazards. Int. J. Softw. Tools Technol. Transf. 24(1): 1-28 (2022) - [j26]Tomás Vojnar
, Lijun Zhang
:
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019. Int. J. Softw. Tools Technol. Transf. 24(1): 29-31 (2022) - [j25]Milan Ceska
, Jirí Matyás
, Vojtech Mrazek
, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar
:
SagTree: Towards efficient mutation in evolutionary circuit approximation. Swarm Evol. Comput. 69: 100986 (2022) - [c118]Milan Ceska, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar:
Designing Approximate Arithmetic Circuits with Combined Error Constraints. DSD 2022: 785-792 - [c117]Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger
:
Low-Level Bi-Abduction. ECOOP 2022: 19:1-19:30 - [c116]Jan Fiedor, Bohuslav Krena, Ales Smrcka, Ondrej Vasícek, Tomás Vojnar:
Integrating OSLC Services into Eclipse. EUROCAST 2022: 240-249 - [c115]Roman Andriushchenko
, Milan Ceska
, Vladimír Marcin, Tomás Vojnar
:
GPU-Accelerated Synthesis of Probabilistic Programs. EUROCAST 2022: 258-266 - [c114]Dominik Harmim, Vladimír Marcin, Lucie Svobodova, Tomás Vojnar:
Static Deadlock Detection in Low-Level C Code. EUROCAST 2022: 267-276 - [c113]Tomás Fiedor, Jirí Pavela, Adam Rogalewicz, Tomás Vojnar:
Perun: Performance Version System. ICSME 2022: 499-503 - [c112]Viktor Malík
, Petr Silling
, Tomás Vojnar
:
Applying Custom Patterns in Semantic Equality Analysis. NETYS 2022: 265-282 - [c111]Ondrej Vasícek, Jan Fiedor, Tomas Kratochvila, Bohuslav Krena, Ales Smrcka, Tomás Vojnar:
Unite: an adapter for transforming analysis tools to web services via OSLC. ESEC/SIGSOFT FSE 2022: 1408-1418 - [c110]Lenka Turonová, Lukás Holík, Ivan Homoliak, Ondrej Lengál, Margus Veanes, Tomás Vojnar:
Counting in Regexes Considered Harmful: Exposing ReDoS Vulnerability of Nonbacktracking Matchers. USENIX Security Symposium 2022: 4165-4182 - [i20]Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger
:
Low-Level Bi-Abduction. CoRR abs/2205.02590 (2022) - [i19]Milan Ceska
, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar:
Designing Approximate Arithmetic Circuits with Combined Error Constraints. CoRR abs/2206.13077 (2022) - [i18]Dominik Harmim, Vladimír Marcin, Lucie Svobodova, Tomás Vojnar:
Static Deadlock Detection in Low-Level C Code. CoRR abs/2207.01948 (2022) - [i17]Tomás Fiedor, Jirí Pavela, Adam Rogalewicz, Tomás Vojnar:
Perun: Performance Version System. CoRR abs/2207.12900 (2022) - 2021
- [j24]Vojtech Havlena
, Lukás Holík
, Ondrej Lengál
, Tomás Vojnar
:
Automata Terms in a Lazy WSkS Decision Procedure. J. Autom. Reason. 65(7): 971-999 (2021) - [c109]Viktor Malík
, Tomás Vojnar
:
Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects. ICST 2021: 329-339 - 2020
- [j23]Milan Ceska
, Jirí Matyás
, Vojtech Mrazek
, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar
:
Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits. Appl. Soft Comput. 95: 106466 (2020) - [j22]Lukás Holík
, Radu Iosif, Adam Rogalewicz
, Tomás Vojnar:
Abstraction refinement and antichains for trace inclusion of infinite state systems. Formal Methods Syst. Des. 55(3): 137-170 (2020) - [j21]Lenka Turonová, Lukás Holík
, Ondrej Lengál
, Olli Saarikivi
, Margus Veanes, Tomás Vojnar
:
Regex matching with counting-set automata. Proc. ACM Program. Lang. 4(OOPSLA): 218:1-218:30 (2020) - [j20]Milan Ceska
, Vojtech Havlena, Lukás Holík
, Ondrej Lengál
, Tomás Vojnar
:
Approximate reduction of finite automata for high-speed network intrusion detection. Int. J. Softw. Tools Technol. Transf. 22(5): 523-539 (2020) - [c108]Vojtech Havlena, Lukás Holík, Ondrej Lengál
, Ondrej Vales, Tomás Vojnar:
Antiprenexing for WSkS: A Little Goes a Long Way. LPAR 2020: 298-316 - [c107]Milan Ceska
, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar
:
Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits. SAT 2020: 481-491 - [c106]Viktor Malík
, Peter Schrammel
, Tomás Vojnar
:
2LS: Heap Analysis and Memory Safety - (Competition Contribution). TACAS (2) 2020: 368-372 - [c105]Petr Peringer, Veronika Soková, Tomás Vojnar
:
PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution). TACAS (2) 2020: 408-412 - [c104]Marek Chalupa
, Tomás Jasek, Lukás Tomovic, Martin Hruska, Veronika Soková, Paulína Ayaziová, Jan Strejcek
, Tomás Vojnar
:
Symbiotic 7: Integration of Predator and More - (Competition Contribution). TACAS (2) 2020: 413-417 - [i16]Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar:
Adaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits. CoRR abs/2003.02491 (2020) - [i15]Lukás Holík, Petr Janku, Anthony W. Lin, Philipp Rümmer, Tomás Vojnar:
String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report). CoRR abs/2010.15975 (2020)
2010 – 2019
- 2019
- [j19]Tomás Fiedor, Lukás Holík
, Ondrej Lengál
, Tomás Vojnar
:
Nested antichains for WS1S. Acta Informatica 56(3): 205-228 (2019) - [j18]Luigi Pomante
, Vittoriano Muttillo, Bohuslav Krena, Tomás Vojnar, Filip Veljkovic, Pacome Magnin
, Martin Matschnig, Bernhard Fischer, Jabier Martinez
, Thomas Gruber:
The AQUAS ECSEL Project Aggregated Quality Assurance for Systems: Co-Engineering Inside and Across the Product Life Cycle. Microprocess. Microsystems 69: 54-67 (2019) - [c103]Yu-Fang Chen, Chang-Yi Chiang, Lukás Holík
, Wei-Tsung Kao, Hsin-Hung Lin, Tomás Vojnar, Yean-Fu Wen, Wei-Cheng Wu:
J-ReCoVer: Java Reducer Commutativity Verifier. APLAS 2019: 357-366 - [c102]Lukás Holík
, Ondrej Lengál
, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar:
Succinct Determinisation of Counting Automata via Sphere Construction. APLAS 2019: 468-489 - [c101]Vojtech Havlena, Lukás Holík
, Ondrej Lengál
, Tomás Vojnar
:
Automata Terms in a Lazy WSkS Decision Procedure. CADE 2019: 300-318 - [c100]Milan Ceska Jr., Milan Ceska, Jirí Matyás, Adam Pankuch, Tomás Vojnar:
Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error. EUROCAST (1) 2019: 482-490 - [c99]Milan Ceska
, Vojtech Havlena, Lukás Holík
, Jan Korenek, Ondrej Lengál
, Denis Matousek, Jirí Matousek, Jakub Semric, Tomás Vojnar:
Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata. FCCM 2019: 109-117 - [c98]Mihaela Sighireanu, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan
, Christoph Matheja
, Thomas Noll
, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar
, Constantin Enea, Ondrej Lengál
, Chong Gao, Zhilin Wu:
SL-COMP: Competition of Solvers for Separation Logic. TACAS (3) 2019: 116-132 - [e9]Tomás Vojnar, Lijun Zhang:
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. Lecture Notes in Computer Science 11427, Springer 2019, ISBN 978-3-030-17461-3 [contents] - [e8]Tomás Vojnar, Lijun Zhang:
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. Lecture Notes in Computer Science 11428, Springer 2019, ISBN 978-3-030-17464-4 [contents] - [i14]Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar:
2LS: Heap Analysis and Memory Safety (Competition Contribution). CoRR abs/1903.00712 (2019) - [i13]Milan Ceska, Vojtech Havlena, Lukás Holík, Jan Korenek, Ondrej Lengál, Denis Matousek, Jirí Matousek, Jakub Semric, Tomás Vojnar:
Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata. CoRR abs/1904.10786 (2019) - [i12]Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Automata Terms in a Lazy WSkS Decision Procedure (Technical Report). CoRR abs/1905.08697 (2019) - [i11]Michal Kotoun, Petr Peringer, Veronika Soková, Tomás Vojnar:
PredatorHP Attacks Interval-Sized Regions. CoRR abs/1909.07152 (2019) - [i10]Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar:
Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report). CoRR abs/1910.01996 (2019) - 2018
- [j17]Lukás Holík, Petr Janku, Anthony W. Lin
, Philipp Rümmer, Tomás Vojnar
:
String constraints with concatenation and transducers solved efficiently. Proc. ACM Program. Lang. 2(POPL): 4:1-4:32 (2018) - [c97]Lukás Holík
, Ondrej Lengál
, Juraj Síc
, Margus Veanes, Tomás Vojnar
:
Simulation Algorithms for Symbolic Automata. ATVA 2018: 109-125 - [c96]Milan Ceska
, Jirí Matyás
, Vojtech Mrazek
, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar
:
ADAC: Automated Design of Approximate Circuits. CAV (1) 2018: 612-620 - [c95]Luigi Pomante
, Bohuslav Krena
, Tomás Vojnar
, Filip Veljkovic, Pacome Magnin
:
The AQUAS ECSEL Project. DSD 2018: 592-599 - [c94]Viktor Malík
, Martin Hruska, Peter Schrammel
, Tomás Vojnar:
Template-Based Verification of Heap-Manipulating Programs. FMCAD 2018: 1-9 - [c93]Jan Fiedor, Monika Muzikovská, Ales Smrcka, Ondrej Vasícek, Tomás Vojnar
:
Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs. ISSTA 2018: 356-359 - [c92]Milan Ceska
, Vojtech Havlena, Lukás Holík
, Ondrej Lengál
, Tomás Vojnar
:
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. TACAS (2) 2018: 155-175 - [c91]Viktor Malík
, Stefan Marticek, Peter Schrammel
, Mandayam K. Srivas, Tomás Vojnar
, Johanan Wahlang:
2LS: Memory Safety and Non-termination - (Competition Contribution). TACAS (2) 2018: 417-421 - [c90]Tomás Fiedor, Lukás Holík
, Adam Rogalewicz, Moritz Sinn, Tomás Vojnar
, Florian Zuleger:
From Shapes to Amortized Complexity. VMCAI 2018: 205-225 - [p1]João M. Lourenço
, Jan Fiedor, Bohuslav Krena
, Tomás Vojnar
:
Discovering Concurrency Errors. Lectures on Runtime Verification 2018: 34-60 - [i9]Lukás Holík, Ondrej Lengál, Juraj Síc, Margus Veanes, Tomás Vojnar:
Simulation Algorithms for Symbolic Automata (Technical Report). CoRR abs/1807.08487 (2018) - 2017
- [j16]Renata Avros, V. Dudka, Bohuslav Krena
, Zdenek Letko, Hana Pluhácková, Shmuel Ur, Tomás Vojnar
, Zeev Volkovich
:
Boosted decision trees for behaviour mining of concurrent programmes. Concurr. Comput. Pract. Exp. 29(21) (2017) - [j15]Constantin Enea, Ondrej Lengál
, Mihaela Sighireanu, Tomás Vojnar
:
Compositional entailment checking for a fragment of separation logic. Formal Methods Syst. Des. 51(3): 575-607 (2017) - [c89]Bohuslav Krena
, Hana Pluhácková, Shmuel Ur, Tomás Vojnar
:
Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics. EUROCAST (2) 2017: 99-108 - [c88]Milan Ceska
, Jirí Matyás
, Vojtech Mrazek
, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar
:
Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished. ICCAD 2017: 416-423 - [c87]Ricardo J. Dias
, Carla Ferreira
, Jan Fiedor, João M. Lourenço
, Ales Smrcka, Diogo G. Sousa, Tomás Vojnar
:
Verifying Concurrent Programs Using Contracts. ICST 2017: 196-206 - [c86]Constantin Enea, Ondrej Lengál
, Mihaela Sighireanu, Tomás Vojnar
:
SPEN: A Solver for Separation Logic. NFM 2017: 302-309 - [c85]Lukás Holík
, Roland Meyer, Tomás Vojnar
, Sebastian Wolff
:
Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic. SAS 2017: 169-191 - [c84]Lukás Holík
, Martin Hruska, Ondrej Lengál
, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
:
Forester: From Heap Shapes to Automata Predicates - (Competition Contribution). TACAS (2) 2017: 365-369 - [c83]Tomás Fiedor, Lukás Holík
, Petr Janku, Ondrej Lengál
, Tomás Vojnar
:
Lazy Automata Techniques for WS1S. TACAS (1) 2017: 407-425 - [c82]Lukás Holík
, Martin Hruska, Ondrej Lengál
, Adam Rogalewicz, Tomás Vojnar
:
Counterexample Validation and Interpolation-Based Refinement for Forest Automata. VMCAI 2017: 288-309 - [i8]Tomás Fiedor, Lukás Holík, Petr Janku, Ondrej Lengál, Tomás Vojnar:
Lazy Automata Techniques for WS1S. CoRR abs/1701.06282 (2017) - [i7]Lukás Holík, Roland Meyer, Tomás Vojnar, Sebastian Wolff:
Effect Summaries for Thread-Modular Analysis. CoRR abs/1705.03701 (2017) - [i6]Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. CoRR abs/1710.08647 (2017) - 2016
- [j14]Parosh Aziz Abdulla, Lukás Holík
, Bengt Jonsson, Ondrej Lengál
, Cong Quy Trinh, Tomás Vojnar
:
Verification of heap manipulating programs with ordered data by extended forest automata. Acta Informatica 53(4): 357-385 (2016) - [c81]Lukás Holík
, Michal Kotoun, Petr Peringer, Veronika Soková, Marek Trtík, Tomás Vojnar
:
Predator Shape Analysis Tool Suite. Haifa Verification Conference 2016: 202-209 - [c80]Radu Iosif, Adam Rogalewicz, Tomás Vojnar
:
Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. TACAS 2016: 71-89 - [c79]Lukás Holík
, Martin Hruska, Ondrej Lengál
, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
:
Run Forester, Run Backwards! - (Competition Contribution). TACAS 2016: 923-926 - [c78]Michal Kotoun, Petr Peringer, Veronika Soková, Tomás Vojnar
:
Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark - (Competition Contribution). TACAS 2016: 942-945 - [c77]Kamil Dudka, Lukás Holík
, Petr Peringer, Marek Trtík, Tomás Vojnar
:
From Low-Level Pointers to High-Level Containers. VMCAI 2016: 431-452 - [c76]Lukás Charvát, Ales Smrcka, Tomás Vojnar
:
HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems. MEMICS 2016: 87-93 - [e7]Jan Kofron
, Tomás Vojnar
:
Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9548, Springer 2016, ISBN 978-3-319-29816-0 [contents] - 2015
- [j13]Jan Fiedor, Vendula Hrubá, Bohuslav Krena
, Zdenek Letko, Shmuel Ur, Tomás Vojnar
:
Advances in noise-based testing of concurrent software. Softw. Test. Verification Reliab. 25(3): 272-309 (2015) - [c75]Jan Fiedor, Zdenek Letko, João Lourenço
, Tomás Vojnar
:
Dynamic Validation of Contracts in Concurrent Code. EUROCAST 2015: 555-564 - [c74]Lukás Charvát, Ales Smrcka, Tomás Vojnar
:
Microprocessor Hazard Analysis Via Formal Verification of Parameterized Systems. EUROCAST 2015: 605-614 - [c73]Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
:
Forester: Shape Analysis Using Tree Automata - (Competition Contribution). TACAS 2015: 432-435 - [c72]Petr Müller, Petr Peringer, Tomás Vojnar
:
Predator Hunting Party (Competition Contribution). TACAS 2015: 443-446 - [c71]Tomás Fiedor, Lukás Holík
, Ondrej Lengál
, Tomás Vojnar
:
Nested Antichains for WS1S. TACAS 2015: 658-674 - [i5]Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Nested Antichains for WS1S. CoRR abs/1501.03849 (2015) - [i4]Kamil Dudka, Lukás Holík, Petr Peringer, Marek Trtík, Tomás Vojnar:
From Low-Level Pointers to High-Level Containers. CoRR abs/1510.07995 (2015) - 2014
- [j12]Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík
, Tomás Vojnar
:
Mediating for reduction (on minimizing alternating Büchi automata). Theor. Comput. Sci. 552: 26-43 (2014) - [c70]Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar:
Compositional Entailment Checking for a Fragment of Separation Logic. APLAS 2014: 314-333 - [c69]Radu Iosif, Adam Rogalewicz, Tomás Vojnar:
Deciding Entailments in Inductive Separation Logic with Tree Automata. ATVA 2014: 201-218 - [c68]Jan Fiedor, Zdenek Letko, João Lourenço
, Tomás Vojnar
:
On Monitoring C/C++ Transactional Memory Programs. MEMICS 2014: 73-87 - [c67]Lukás Charvát, Ales Smrcka, Tomás Vojnar
:
Using Formal Verification of Parameterized Systems in RAW Hazard Analysis in Microprocessors. MTV 2014: 83-89 - [c66]Vendula Hrubá, Bohuslav Krena
, Zdenek Letko, Hana Pluhácková, Tomás Vojnar
:
Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. SSBSE 2014: 107-122 - [c65]Petr Müller, Tomás Vojnar
:
CPAlien: Shape Analyzer for CPAChecker - (Competition Contribution). TACAS 2014: 395-397 - [c64]Kamil Dudka, Petr Peringer, Tomás Vojnar
:
Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution). TACAS 2014: 412-414 - [i3]Radu Iosif, Adam Rogalewicz, Tomás Vojnar:
Deciding Entailments in Inductive Separation Logic with Tree Automata. CoRR abs/1402.2127 (2014) - [i2]Radu Iosif, Adam Rogalewicz, Tomás Vojnar:
Abstraction Refinement for Trace Inclusion of Data Automata. CoRR abs/1410.5056 (2014) - 2013
- [j11]Parosh Aziz Abdulla, Jonathan Cederberg, Tomás Vojnar
:
Monotonic Abstraction for Programs with Multiply-Linked Structures. Int. J. Found. Comput. Sci. 24(2): 187-210 (2013) - [j10]Bohuslav Krena
, Tomás Vojnar
:
Automated formal analysis and verification: an overview. Int. J. Gen. Syst. 42(4): 335-365 (2013) - [c63]Parosh Aziz Abdulla, Lukás Holík
, Bengt Jonsson, Ondrej Lengál
, Cong Quy Trinh, Tomás Vojnar
:
Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata. ATVA 2013: 224-239 - [c62]Lukás Holík
, Ondrej Lengál
, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
:
Fully Automated Shape Analysis Based on Forest Automata. CAV 2013: 740-755 - [c61]Lukás Charvát, Ales Smrcka, Tomás Vojnar:
An Abstraction of Multi-port Memories with Arbitrary Addressable Units. EUROCAST (1) 2013: 460-468 - [c60]Kamil Dudka, Petr Peringer, Tomás Vojnar
:
Byte-Precise Verification of Low-Level List Manipulation. SAS 2013: 215-237 - [c59]Kamil Dudka, Petr Müller, Petr Peringer, Tomás Vojnar
:
Predator: A Tool for Verification of Low-Level List Manipulation - (Competition Contribution). TACAS 2013: 627-629 - [e6]Antonín Kucera, Thomas A. Henzinger, Jaroslav Nesetril, Tomás Vojnar, David Antos:
Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7721, Springer 2013, ISBN 978-3-642-36044-2 [contents] - [i1]Lukás Holík, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar:
Fully Automated Shape Analysis Based on Forest Automata. CoRR abs/1304.5806 (2013) - 2012
- [j9]Zdenek Kotásek, Lukás Sekanina, Tomás Vojnar, Jan Bouda, Ivana Cerná:
pecial CAI Section Devoted to MEMICS '11: Preface. Comput. Informatics 31(3): 481- (2012) - [j8]Peter Habermehl, Lukás Holík
, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
:
Forest automata for verification of heap manipulation. Formal Methods Syst. Des. 41(1): 83-106 (2012) - [j7]Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar
:
Abstract regular (tree) model checking. Int. J. Softw. Tools Technol. Transf. 14(2): 167-191 (2012) - [c58]