Dominik Harmim

Products

• 2022

  Atomer: Atomicity Violations Analyser, Version 2.0, software, 2022
  Authors: HARMIM, D.; VOJNAR, T.

• 2020

  Atomer: Atomicity Violations Analyser, Version 1.0, software, 2020
  Authors: HARMIM, D.; VOJNAR, T.

• 2019

  VeriFIT Static Analysis Plugins, software, 2019
  Authors: MARCIN, V.; HARMIM, D.; PAVELA, O.; VOJNAR, T.; FIEDOR, T.; ROGALEWICZ, A.