Tomáš Vojnar

Ostatní výsledky

• 2022

  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.

• 2020

  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

  Counterexample Validation and Interpolation-Based Refinement for Forest Automata, zpráva odborná, 2017
  Autoři: HRUŠKA, M.; HOLÍK, L.; LENGÁL, O.; ROGALEWICZ, A.; VOJNAR, T.

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

• 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.

  Testing Concurrent Programs Using Multi-objective Genetic Algorithms, zpráva odborná, 2013
  Autoři: DUDKA, V.; KŘENA, B.; LETKO, Z.; ŠIMKOVÁ, H.; VOJNAR, T.

  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.

• 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.

  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.

  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: HOLÍK, L.; VOJNAR, T.; ABDULLA, P.; CHEN, Y.

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

• 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.

• 2004

  Integration of tools for the analysis of parameterized systems and dynamic networks, Finalized common validation framework, zpráva odborná, 2004
  Autoři: BOUAJJANI, A.; VOJNAR, T.

• 2003

  PNtalk system (v. 96), produkt nebo technologie ve stavu vývoje, testování, 2003
  Autoři: JANOUŠEK, V.; VOJNAR, T.

• 2002

  Automata with Parameterized Arrays and Parameterized Networks of Automata, zpráva odborná, 2002
  Autoři: BOUAJJANI, A.; VOJNAR, T.

  Verification of Parameterized Concurrent Systems with Resource Sharing, zpráva odborná, 2002
  Autoři: BOUAJJANI, A.; HABERMEHL, P.; VOJNAR, T.