Gwenaël Delaval

13 papers and 100 indexed citations i.

Gwenaël Delaval has authored 13 papers that have received a total of 100 indexed citations. This includes 11 papers in Computational Theory and Mathematics, 9 papers in Hardware and Architecture and 5 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (10 papers), Real-Time Systems Scheduling (8 papers) and Petri Nets in System Modeling (7 papers). Gwenaël Delaval is often cited by papers focused on Formal Methods in Verification (10 papers), Real-Time Systems Scheduling (8 papers) and Petri Nets in System Modeling (7 papers) and collaborates with scholars based in France, Tunisia and United States. Gwenaël Delaval's co-authors include Éric Rutten, Hervé Marchand, Nejib Ben Hadj-Alouane, Roger Pissard-Gibollet and Daniel Simon and has published in prestigious journals such as ACM SIGPLAN Notices, Discrete Event Dynamic Systems and Concurrency and Computation Practice and Experience