paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 241787513Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Dupont, Guillaume (19..-.... ; docteur en informatique)
Nom à l'état civil

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : anglais
Pays : France
Date de naissance :    19XX
Genre : Masculin

Notes

Note publique d'information : 
Co-auteur d'une communication en informatique

Note publique d'information : 
Auteur d'une thèse en informatique à Toulouse INP en 2021.

Note publique d'information : 
Doctorant à l'Institut national polytechnique de Toulouse (INPT), Institut de Recherche en Informatique de Toulouse (IRIT) (en 2017-2020)

Identifiants externes

Source

Correct-by-Construction Design of Hybrid Systems Based on Refinementand Proof. Guillaume Dupont / Sous la direction de Yamine Aït-Ameur et Neeraj K. Singh. Thèse de doctorat en informatique : Toulouse INP : 2021.

Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B / Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh. In : International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), 05-08 June 2018 , Southampton, United Kingdom

... Références liées : ...