Ondřej Lengál

Products

• 2024

  Mata: A Finite Automata Library, software
  Authors: Fiedor Tomáš, Havlena Vojtěch, Holík Lukáš, Hruška Martin, Chocholatý David, Lengál Ondřej, Síč Juraj

  Z3-Noodler: A String Solver, software
  Authors: Havlena Vojtěch, Holík Lukáš, Chen Yu-Fang, Chocholatý David, Lengál Ondřej, Síč Juraj

• 2022

  GadgetCA: A Tool for Generating ReDoS Attacks, software
  Authors: Holík Lukáš, Holíková Lenka, Homoliak Ivan, Lengál Ondřej, Veanes Margus, Vojnar Tomáš

  Ranker: A Tool for Complementing Büchi Automata, software
  Authors: Havlena Vojtěch, Lengál Ondřej, Šmahlíková Barbora

• 2020

  Chipmunk: A Tool for Matching of Regular Expressions., software
  Authors: Holík Lukáš, Holíková Lenka, Lengál Ondřej, Veanes Margus, Vojnar Tomáš

• 2017

  Gaston - Symbolic WS1S Solver, software
  Authors: Fiedor Tomáš, Holík Lukáš, Janků Petr, Lengál Ondřej, Vojnar Tomáš

• 2015

  dWiNA - An Implementation of Decision Procedure for WS1S, software
  Authors: Fiedor Tomáš, Lengál Ondřej, Holík Lukáš, Vojnar Tomáš

• 2014

  SPEN - A Solver for Separation Logic Entailments, software
  Authors: Enea Constantin, Lengál Ondřej, Sighireanu Mihaela, Vojnar Tomáš

• 2012

  HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware, software
  Authors: Zachariášová Marcela, Lengál Ondřej, Kajan Michal

  VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata, software
  Authors: Lengál Ondřej, Šimáček Jiří, Vojnar Tomáš

• 2010

  libSFTA: A Semi-symbolic Nondeterministic Finite Tree Automata Library Prototype, software
  Authors: Holík Lukáš, Lengál Ondřej, Vojnar Tomáš