Alumni

[1] Etienne André. Professeur. Université de Lorraine at IUT Charlemagne, pages September 2019--Sepetember 2022, Bureau 204 email: etienne.andre@loria.fr; Tel +33383592000; http://mosel.loria.fr; Office Bureau 210.
[2] Manamiary Bruno Andriamiarina. Modélisation de Systèmes Répartis Dynamiques. PhD thesis, Université de Lorraine, November 2015. [ http ]
[3] Haniel Barbosa. Phd. Université de Lorraine, INRIA, December 2013-December 2017.
[4] Nazim Benaissa. La composition des protocoles de sécurité avec la méthode B événementielle. Thèse d'université, UHP, May 2010.
[5] Zheng Cheng. Post-doctoral researcher in anr discont. Université de Lorraine, March 2019-December 2022. http://discont.loria.fr.
[6] Raphaël Couturier. Utilisation des méthodes formelles pour le développement de programmes parallèles. PhD thesis, Université Henri Poincaré-Nancy 1, janvier 2000.
[7] Margaux Duroeulx. Phd. Université de Lorraine, LUE, October 2016-March 2020, Office Bureau B206.
[8] Daniel El-Ouraoui. Phd. Université de Lorraine, INRIA, October 2017-October 2020, Office Bureau B206.
[9] Loic Fejoz. Phd. 10/2006-09/2010.
[10] Alexis Grall. researcher. Université de Lorraine, UK, October 2018-October 2020,Office Bureau B205.
[11] Souad Kerroubi. A formal framework for integrating domain knowledge into systems design: Application to Event-B formalism. PhD thesis, Université de Lorraine, ANR Impex, December 2014-December 2018, Office Burea B212.
[12] Pierre Lermusiaux. Phd. Université de Lorraine, LU, October 2017-October 2021, Office Bureau B206.
[13] Romain Lieber. Spécification d'exigences physico-physiologiques en ingénierie d'un système support de maintenance aéronautique. PhD thesis, Université de Lorraine, 2013.
[14] Bruno Mermet. Qualité de services dans une logique temporelle compositionnelle. PhD thesis, Université Henri Poincaré-Nancy 1, février 1998.
[15] Yassine Mokhtari. Validation des spécifications formelles de la logique temporelle des actions. PhD thesis, Université Henri Poincaré-Nancy 1, février 2000.
[16] Mathieu Montin. Post-doctoral researcher in anr formedicis. Université de Lorraine, November 2020-October 2021.
[17] Rémi Nazin. PhD. PhD thesis, Université de Lorraine, DGA, October 2014-Janvier 2019, Office Burea B35.
[18] Julien Peyroux. Equations de Vlasov et calculs des solutions. Thèse d'université, UHP, November 2006.
[19] Cyril Proch. Développement incrémental et prouvé de systèmes sur puces. Thèse d'université, UHP, March 2006.
[20] Joris Rehm. Phd. 10/2006-09/2010.
[21] Dimitri Samborski. Problème d'interaction des services téléphoniques. Thèse d'université, INPL, October 2000.
[22] Neeraj Kumar Singh. Fiabilité et sûreté des systèmes informatiques critiques. Thèse d'université, UHP, October 2011.

This file was generated by bibtex2html 1.99.