Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Bruno Monsuez

Bruno Monsuez

at_id:

orcid_id:

Disciplines:

Automotive engineering
Computer sciences
Edit Merge See Links

Thesis:

Typage par interprétation abstraite

Directed Thesis:

Optimal Coordination of Chassis Systems for Vehicle Motion Control
A model-driven framework development methodology for robotic systems
A stepwise compositional approach to model and analyze system C designs at the transactional level and the delta cycle level
Calcul du pire temps d'exécution : méthode formelle s'adaptant à la sophistication croissante des architectures matérielles
Conception d'un outil de débogage formel pour systèmes logiciels et matériels selon l'approche "Debug as Design"