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