Service discovery protocols in D2D-enabled cellular networks: Reactive versus proactive. - Faustin Ahishakiye; Frank Y. Li (GLOBECOM Workshops, 2014)

Non-Intrusive MC/DC Measurement Based on Traces. - Faustin Ahishakiye; Svetlana Jaksic; Felix Dino Lange; Malte Schmitz 001; Volker Stolz; Daniel Thoma (TASE, 2019)

Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. - Faustin Ahishakiye; José Ignacio Requeno Jarabo; Lars Michael Kristensen; Volker Stolz (VECoS, 2020)

Hardware-Assisted Online Data Race Detection. - Faustin Ahishakiye; José Ignacio Requeno Jarabo; Violet Ka I Pun; Volker Stolz (Formal Methods in Outer Space, 2021)

MC/DC Test Cases Generation Based on BDDs. - Faustin Ahishakiye; José Ignacio Requeno Jarabo; Lars Michael Kristensen; Volker Stolz (SETTA, 2021)

Coverage visualization and analysis of net inscriptions in coloured Petri net models. - Faustin Ahishakiye; José Ignacio Requeno Jarabo; Lars Michael Kristensen; Volker Stolz (Innov. Syst. Softw. Eng., 2024)