Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Axel Legay

Axel Legay

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Directed Thesis:

Formal fault injection vulnerability detection in binaries : a software process and hardware validation
Analyse of real-time systems from scheduling perspective
Rigorous System-level Modeling and Performance Evaluation for Embedded System Design
Rare event simulation for statistical model checking