doc. Mgr.
Adam Rogalewicz
Ph.D.
zástupce vedoucího ústavu
Produkty
-
2022
Broom: Nástroj pro statickou analýzu C programů založen na separační logice a bi-abdukčním přístupu, software
Autoři: Holík Lukáš, Peringer Petr, Rogalewicz Adam, Šoková Veronika, Vojnar Tomáš, Zuleger Florian -
2020
Looper: analyzátor nejhorší ceny, verze 1.0, software
Autoři: Pavela Ondřej, Vojnar Tomáš, Fiedor Tomáš, Rogalewicz AdamPerun: Systém pro verzování výkonu, verze 0.18.3, software
Autoři: Fiedor Tomáš, Pavela Jiří, Podola Radim, Stupinský Šimon, Liščinský Matúš, Rogalewicz Adam, Vojnar Tomáš -
2019
Pluginy pro statickou analýzu vyvíjené skupinou VeriFIT, software
Autoři: Marcin Vladimír, Harmim Dominik, Pavela Ondřej, Vojnar Tomáš, Fiedor Tomáš, Rogalewicz Adam -
2018
Ranger: Nástroj pro Analýzu Mezí Programů Manipulujících s Haldou, software
Autoři: Fiedor Tomáš, Holík Lukáš, Rogalewicz Adam, Sinn Moritz, Vojnar Tomáš, Zuleger Florian -
2015
INCLUDER (tracer): Nástroj pro rozhodování běhové inkluze pro automaty nad daty, software
Autoři: Rogalewicz Adam, Iosif Radu, Vojnar Tomáš -
2014
SLIDE: Separační logika s induktivními definicemi, software
Autoři: Rogalewicz Adam, Iosif Radu, Vojnar Tomáš -
2010
Forester: Nástroj pro verifikaci programů s ukazateli, software
Autoři: Habermehl Peter, Holík Lukáš, Rogalewicz Adam, Šimáček Jiří, Vojnar Tomáš -
2007
ARTMC - Abstraktní regulární stromový model checking, software
Autoři: Rogalewicz Adam, Vojnar Tomáš