Contributions to formalisms for the specification and verification of quantitative properties

Président du jury Massart, Thierry

Promoteur Filiot, Emmanuel

Co-Promoteur Raskin, Jean-François

Publication Non publié, 2020-10-09

Thèse de doctorat

Titre:	Contributions to formalisms for the specification and verification of quantitative properties
Auteur:	Mazzocchi, Nicolas
Président du jury:	Massart, Thierry
Promoteur:	Filiot, Emmanuel
Co-Promoteur:	Raskin, Jean-François
Membre du jury:	Sankaranarayanan, Sriram; Reynier, Pierre-Alain
Informations sur la publication:	Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles
Date de défense:	2020-10-09
Sujet CREF:	Informatique mathématique
Mots-clés:	Formal methods
	Quantitative verification
	Weighted automata
	Logic for automata
Intitulé du diplôme:	Doctorat en Sciences
Langue:	Anglais
Anneé académique:	2020-2021

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.