CL

Colas Le Guernic

Centre National de la Recherche Scientifique

31

Publications

2,424

Citations

16

h-index

17

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (12)
Book Chapter (11)
Preprint (7)
Dissertation (1)

Filter by Open Access Type

Open Access (11)
Closed Access (20)

Filter by Authors

Colas Le Guernic (31)
Antoine Girard (11)
Oded Maler (7)
Thao Dang (7)
Goran Frehse (6)

Filter by Topics

Formal Methods in Verification (13)
Petri Nets in System Modeling (6)
Software Testing and Debugging Techniques (5)
Advanced Control Systems Optimization (5)
Advanced Malware Detection Techniques (5)