B-COoL : un métalangage pour la spécification des opérateurs de coordination des langages
/ Matias Vara Larsen ; sous la direction de Frédéric Mallet et Julien DeAntoni. Thèse
de doctorat : Informatique : Nice : 2016
Information trouvée : président du jury
Génération automatique de tests à partir de modèles SysML pour la validation fonctionnelle
de systèmes embarqués / Jonathan Lasalle; sous la direction de Fabrice Bouquet, 2013
(thèse)
Ildar Nigmatullin, Andrey Sadovykh, Nan Messe, Sophie Ebersold, Jean-Michel Bruel.
RQCODE – Towards Object-Oriented Requirements in the Software Security Domain. IEEE
International Conference on Software Testing, Verification and Validation Workshops
(ICSTW 2022), Apr 2022, Valencia, Spain. pp.2-6, ⟨10.1109/ICSTW55395.2022.00015⟩.
⟨hal-03781938⟩, 2022-11-10
Justification Factory : de l'élicitation d'exigences de justification jusqu'à leur
production en continu / Clément Duffau ; sous la direction de Mireille Blay-Fornarino
et de Thomas Polacsek. Thèse de doctorat : Informatique : Côte d'Azur : 2018
Information trouvée : rapporteur de thèse, membre du jury
Modeling and verification of functional and non functional requirements of ambient,
self adaptative systems / Manzoor Ahmad ; sous la direction de Jean-Michel Bruel et
de Nicolas Belloir, 2013. Thèse de doctorat : Informatique : Toulouse 2 : 2013
Information trouvée : directeur de thèse
Multi-vue design pour cyber-physical systems / Hui Zhao ; sous la direction de Frédéric
Mallet et Ludovic Apvrille. Thèse de doctorat : Informatique : Université Côte d'Azur
: 2022
Information trouvée : rapporteur de thèse, membre du jury
Préserver la séparation des préoccupations durant l’intégration de domaines hétérogènes
dans les systèmes logiciels / Ivan Logre ; sous la direction de Michel Riveill. Thèse
de doctorat : Informatique : Côte d'Azur : 2017
Information trouvée : rapporteur de thèse, membre du jury
https://orcid.org/0000-0002-3653-0148, 2022-11-10
Information trouvée : En poste à l'Université Toulouse-Jean Jaurès (depuis 2008)
rapporteur de thèse, membre du jury
www.irit.fr, 2022-11-10
Information trouvée : Membre de l’Institut de Recherche en Informatique de Toulouse