Faustin Ahishakiye

According to our database, Faustin Ahishakiye authored at least 6 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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., March, 2024

2021

MC/DC Test Cases Generation Based on BDDs.

Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021

Hardware-Assisted Online Data Race Detection.

Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Violet Ka I Pun, Volker Stolz

Proceedings of the Formal Methods in Outer Space, 2021

2020

Coverage Analysis of Net Inscriptions in Coloured Petri Net Models.

Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2020

2019

Non-Intrusive MC/DC Measurement Based on Traces.

Faustin Ahishakiye, Svetlana Jaksic, Felix Dino Lange, Malte Schmitz, Volker Stolz, Daniel Thoma

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

2014

Service discovery protocols in D2D-enabled cellular networks: Reactive versus proactive.

Faustin Ahishakiye, Frank Y. Li

Proceedings of the 2014 IEEE GLOBECOM Workshops, Austin, TX, USA, December 8-12, 2014, 2014