Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Viser treff 1-4 av 4

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