• Coverage visualization and analysis of net inscriptions in coloured Petri net models 

      Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Kristensen, Lars Michael; Stolz, Volker (Peer reviewed; Journal article, 2023)
      High-level Petri nets such as coloured Petri nets (CPNs) are characterized by the combination of Petri nets and a high-level programming language. In CPNs and CPN Tools, the inscriptions (e.g. arc expressions and guards) ...
    • Hardware-Assisted Online Data Race Detection 

      Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Pun, Ka I; Stolz, Volker (Chapter; Peer reviewed, 2021)
      Dynamic data race detection techniques usually involve invasive instrumentation that makes it impossible to deploy an executable with such checking in the field, hence making errors difficult to debug and reproduce. This ...
    • MC/DC Test Cases Generation Based on BDDs 

      Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Kristensen, Lars Michael; Stolz, Volker (Chapter; Peer reviewed, 2021)
      We present a greedy approach to test-cases selection for single decisions to achieve MC/DC-coverage of their Boolean conditions. Our heuristics take into account “don’t care” inputs through three-valued truth values that ...
    • Runtime Verification of Timed Petri Nets 

      Requeno Jarabo, Jose Ignacio; Gómez-Martínez, Elena; Kallwies, Hannes; Haustein, Melanie; Leucker, Martin; Stolz, Volker; Stünkel, Patrick (Others, 2024)
      Timed Petri net (TPN) is a type of Petri net for modeling concurrent systems that incorporates time durations as first-class citizens. This paper provides a means for analyzing TPN by runtime verification, a lightweight ...