Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Martin Quinson

Martin Quinson

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Thesis:

Découverte automatique des caractéristiques et capacités d'une plate-forme de calcul distribué

Directed Thesis:

Scalable end-to-end models for the time and energy performance of Fog infrastructures
Efficient state-space exploration for asynchronous distributed programs ˸ Adapting unfolding-based dynamic partial order reduction to MPI programs
Vérification dynamique formelle de propriétés temporelles sur des applications distribuées réelles
Vérification des performances et de la correction des systèmes distribués