Faustin Ahishakiye

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 6

Top Topics

Petri Net Model

Generation Algorithm

Service Discovery

Top Venues

GLOBECOM Workshops

Innov. Syst. Softw. Eng.

Publications

Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
Coverage visualization and analysis of net inscriptions in coloured Petri net models. Innov. Syst. Softw. Eng. 20 (1) (2024)
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Violet Ka I Pun, Volker Stolz
Hardware-Assisted Online Data Race Detection. Formal Methods in Outer Space (2021)
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
MC/DC Test Cases Generation Based on BDDs. SETTA (2021)
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. VECoS (2020)
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. CoRR (2020)
Faustin Ahishakiye, Svetlana Jaksic, Felix Dino Lange, Malte Schmitz, Volker Stolz, Daniel Thoma
Non-Intrusive MC/DC Measurement Based on Traces. TASE (2019)
Faustin Ahishakiye, Frank Y. Li
Service discovery protocols in D2D-enabled cellular networks: Reactive versus proactive. GLOBECOM Workshops (2014)