2023

A symbolic algorithm for the case-split rule in solving word constraints with extensions (technical report), zpráva odborná, 2023
Autoři: HAVLENA, V.; LENGÁL, O.; CHEN, Y.; TURRINI, A.

Modular Mix-and-Match Complementation of Büchi Automata (Technical Report), zpráva odborná, 2023
Autoři: HAVLENA, V.; ŠMAHLÍKOVÁ, B.; LENGÁL, O.; LI, Y.; TURRINI, A.

2022

Complementing Büchi Automata with Ranker (Technical Report), zpráva odborná, 2022
Autoři: HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B.

Low-Level Bi-Abduction (Artifact), různé, 2022
Autoři: ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; HOLÍK, L.; PERINGER, P.; ZULEGER, F.

Low-Level Bi-Abduction (technical report), zpráva odborná, 2022
Autoři: HOLÍK, L.; PERINGER, P.; ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; ZULEGER, F.

Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Buchi Automata Complementation (Technical Report), zpráva odborná, 2022
Autoři: HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B.

2021

Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation (Technical Report), zpráva odborná, 2021
Autoři: HAVLENA, V.; LENGÁL, O.

2020

Learning Probabilistic Automata in the Context of IEC 104, zpráva odborná, 2020
Autoři: HAVLENA, V.; HOLÍK, L.; MATOUŠEK, P.

String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report), zpráva odborná, 2020
Autoři: HOLÍK, L.; JANKŮ, P.; VOJNAR, T.; LIN, A.; RUMMER, P.

2019

Automata Terms in a Lazy WSkS Decision Procedure (Technical Report), zpráva odborná, 2019
Autoři: HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; VOJNAR, T.

PredatorHP Attacks Interval-Sized Regions, zpráva odborná, 2019
Autoři: KOTOUN, M.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T.

Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report), zpráva odborná, 2019
Autoři: HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; SAARIKIVI, O.; VEANES, M.

2018

Simulation Algorithms for Symbolic Automata (Technical Report), zpráva odborná, 2018
Autoři: HOLÍK, L.; LENGÁL, O.; SÍČ, J.; VOJNAR, T.; VEANES, M.

2017

An Executable Sequential Specification for Spark Aggregation, zpráva odborná, 2017
Autoři: LENGÁL, O.; HONG, C.; CHEN, Y.; MU, S.; SINHA, N.; WANG, B.

Lazy Automata Techniques for WS1S, zpráva odborná, 2017
Autoři: FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T.

Register Automata with Linear Arithmetic, zpráva odborná, 2017
Autoři: LENGÁL, O.; CHEN, Y.; TAN, T.; WU, Z.

2016

From Low-Level Pointers to High-Level Containers, Technical Report No. FIT-TR-2015-03, zpráva odborná, 2016
Autoři: DUDKA, K.; HOLÍK, L.; PERINGER, P.; TRTÍK, M.; VOJNAR, T.

2014

Compositional Entailment Checking for a Fragment of Separation Logic, zpráva odborná, 2014
Autoři: ENEA, C.; LENGÁL, O.; SIGHIREANU, M.; VOJNAR, T.

Using Formal Verification of Parameterized Systems in RAW Hazard Analysis in Microprocessors, zpráva odborná, 2014
Autoři: CHARVÁT, L.; SMRČKA, A.; VOJNAR, T.

2013

Byte-Precise Verification of Low-Level List Manipulation, zpráva odborná, 2013
Autoři: DUDKA, K.; PERINGER, P.; VOJNAR, T.

Fully Automated Shape Analysis Based on Forest Automata, zpráva odborná, 2013
Autoři: HOLÍK, L.; LENGÁL, O.; ROGALEWICZ, A.; ŠIMÁČEK, J.; VOJNAR, T.

The Tree Width of Separation Logic with Recursive Definitions, zpráva odborná, 2013
Autoři: ROGALEWICZ, A.; ŠIMÁČEK, J.; IOSIF, R.

Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata, zpráva odborná, 2013
Autoři: HOLÍK, L.; JONSSON, B.; LENGÁL, O.; VOJNAR, T.; TRINH, Q.; ABDULLA, P.

2012

Testing of Concurrent Programs Using Genetic Algorithms, zpráva odborná, 2012
Autoři: DUDKA, V.; KŘENA, B.; LETKO, Z.; VOJNAR, T.

Towards Beneficial Hardware Acceleration in HAVEN: Evaluation of Testbed Architectures, zpráva odborná, 2012
Autoři: ZACHARIÁŠOVÁ, M.; LENGÁL, O.

2011

Advanced Ramsey-based Büchi Automata Inclusion Testing, zpráva odborná, 2011
Autoři: ABDULLA, P.; CHEN, Y.; CLEMENTE, L.; HOLÍK, L.; HONG, C.; MAYR, R.; VOJNAR, T.

DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, zpráva odborná, 2011
Autoři: DUDKA, V.; FIEDOR, J.; KŘENA, B.; VOJNAR, T.

Efficient Inclusion Checking on Explicit and Semi-Symbolic Tree Automata, zpráva odborná, 2011
Autoři: HOLÍK, L.; LENGÁL, O.; ŠIMÁČEK, J.; VOJNAR, T.

Forest Automata for Verification of Heap Manipulation, zpráva odborná, 2011
Autoři: HOLÍK, L.; ROGALEWICZ, A.; ŠIMÁČEK, J.; VOJNAR, T.; HABERMEHL, P.

HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware, zpráva odborná, 2011
Autoři: ZACHARIÁŠOVÁ, M.; LENGÁL, O.; KAJAN, M.

Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic, zpráva odborná, 2011
Autoři: DUDKA, K.; PERINGER, P.; VOJNAR, T.

2010

A Uniform Classification of Common Concurrency Errors, zpráva odborná, 2010
Autoři: FIEDOR, J.; KŘENA, B.; LETKO, Z.; VOJNAR, T.

Fast Acceleration of Ultimately Periodic Relations, zpráva odborná, 2010
Autoři: BOZGA, M.; IOSIF, R.; KONEČNÝ, F.

Simulation Subsumption in Ramsey-based Büchi Automata Universality and Inclusion Testing, zpráva odborná, 2010
Autoři: HOLÍK, L.; VOJNAR, T.; CHEN, Y.; MAYR, R.; HONG, C.; ABDULLA, P.; CLEMENTE, L.

When Simulation Meets Antichains (On Checking Language Inclusion of Nondeterministic Finite (Tree) Automata), zpráva odborná, 2010
Autoři: HOLÍK, L.; VOJNAR, T.; ABDULLA, P.; CHEN, Y.; MAYR, R.

2009

A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing, zpráva odborná, 2009
Autoři: LETKO, Z.; VOJNAR, T.; KŘENA, B.; NIR-BUCHBINDER, Y.; TZOREF-BRILL, R.; UR, S.

Automatic Verification of Integer Array Programs, zpráva odborná, 2009
Autoři: IOSIF, R.; KONEČNÝ, F.; VOJNAR, T.; HABERMEHL, P.; BOZGA, M.

Mediating for Reduction (On Minimizing Alternating Büchi Automata), zpráva odborná, 2009
Autoři: ABDULLA, P.; HOLÍK, L.; CHEN, Y.; VOJNAR, T.

Mediating for Reduction (On Minimizing Alternating Büchi Automata), zpráva odborná, 2009
Autoři: HOLÍK, L.; VOJNAR, T.; ABDULLA, P.; CHEN, Y.

Optimizing an LTS-Simulation Algorithm, zpráva odborná, 2009
Autoři: HOLÍK, L.; ŠIMÁČEK, J.

2008

A Logic of Singly Indexed Arrays, zpráva odborná, 2008
Autoři: HABERMEHL, P.; IOSIF, R.; VOJNAR, T.

A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata, zpráva odborná, 2008
Autoři: HOLÍK, L.; VOJNAR, T.; ABDULLA, P.; KAATI, L.

Antichain-based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata, zpráva odborná, 2008
Autoři: HOLÍK, L.; VOJNAR, T.; BOUAJJANI, A.; HABERMEHL, P.; TOUILI, T.

Composed Bisimulation for Tree Automata, zpráva odborná, 2008
Autoři: HOLÍK, L.; VOJNAR, T.; ABDULLA, P.; BOUAJJANI, A.; KAATI, L.

Computing Simulations over Tree Automata: Efficient Techniques for Reducing Tree Automata, zpráva odborná, 2008
Autoři: HOLÍK, L.; VOJNAR, T.; ABDULLA, P.; BOUAJJANI, A.; KAATI, L.

What else is decidable about integer arrays?, zpráva odborná, 2008
Autoři: HABERMEHL, P.; IOSIF, R.; VOJNAR, T.

2007

SHADOWS - Deliverable D3.2.1: Research Report on Methodology for Self-Healing Concurrent Code Fixing, zpráva odborná, 2007
Autoři: KŘENA, B.; LETKO, Z.; TZOREF-BRILL, R.; UR, S.; VOJNAR, T.

SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications, zpráva odborná, 2007
Autoři: DUDKA, V.; KŘENA, B.; LETKO, Z.; VOJNAR, T.

2005

CRC64 Algorithm Analysis and Verification, zpráva odborná, 2005
Autoři: HLÁVKA, P.; KRATOCHVÍLA, T.; ŘEHÁK, V.; ŠAFRÁNEK, D.; ŠIMEČEK, P.; VOJNAR, T.