|
|
English
version
For å registrere i Cristin må du være vitenskapelig eller administrativt ansatt.
|
|
|
|
|
|
|
|
|
2023
|
1. |
Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Kristensen, Lars Michael; Stolz, Volker. Coverage visualization and analysis of net inscriptions in coloured Petri net models. Innovations in Systems and Software Engineering 2023 s. - HVL
Untitled
|
2021
|
2. |
Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Kristensen, Lars Michael; Stolz, Volker. MC/DC Test Cases Generation Based on BDDs. I: SETTA2021: 7th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications. Beijing, China: Springer International Publishing 2021 ISBN 978-3-030-91265-9. s. 178-197 HVL
Untitled
|
|
3. |
Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Pun, Ka I; Stolz, Volker. Hardware-Assisted Online Data Race Detection. Lecture Notes in Computer Science (LNCS) 2021 ;Volum 13065. HVL
Untitled
|
2020
|
4. |
Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Kristensen, Lars Michael; Stolz, Volker. Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. I: Verification and Evaluation of Computer and Communication Systems: 14th International Conference, VECoS 2020 Xi’an, China, October 26–27, 2020 Proceedings. Springer 2020 ISBN 978-3-030-65954-7. s. 68-83 HVL
Untitled
|
|