Ing.

Dominik Harmim

External Pedagogue

196257/BUT personal ID

Products

2022

Atomer: Atomicity Violations Analyser, Version 2.0, software
Authors: Harmim Dominik, Vojnar Tomáš
2020

Atomer: Atomicity Violations Analyser, Version 1.0, software
Authors: Harmim Dominik, Vojnar Tomáš
2019

VeriFIT Static Analysis Plugins, software
Authors: Marcin Vladimír, Harmim Dominik, Pavela Ondřej, Vojnar Tomáš, Fiedor Tomáš, Rogalewicz Adam