Formal Model Research Group

2024

GenRex: Generator of Regular Expressions, software
Authors: Regéciová Dominika, Kolář Dušan, Milkovič Marek

2023

Extractor, software
Authors: Regéciová Dominika, Kolář Dušan, Pluskal Jan

2022

Membership solver for Watson-Crick Context-free Grammars, software
Authors: Hammer Jan, Křivka Zbyněk

2015

LLk Parsing Table Generator, software
Authors: Kocman Radim, Kolář Dušan

2013

PicoBlaze Instruction Simulator, software
Authors: Křivka Zbyněk, Šimek Jiří

2011

Integrated Development Environment VLAM, software
Authors: Jirák Ota, Křivka Zbyněk, Olšarová Nela, Vašíček Zdeněk

2009

PicoBlaze C Compiler, software
Authors: Křivka Zbyněk