[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.