El-Hokayem, Léonard
25  Ergebnisse:
Personensuche X
?
 
?
 
?
11

Opportunistic Monitoring of Multithreaded Programs:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
 
?
 
?
13

Bringing runtime verification home: a case study on the hie..:

El-Hokayem, Antoine ; Falcone, Yliès
International Journal on Software Tools for Technology Transfer.  24 (2021)  2 - p. 159-181 , 2021
 
?
14

A temporal configuration logic for dynamic reconfigurable s..:

, In: Proceedings of the 36th Annual ACM Symposium on Applied Computing,
 
?
 
1-15