Le Groupe de Recherche LOTOS de l'Ud'O

Les Chercheurs


Chercheurs Le groupe LOTOS est composé de Dr Luigi Logrippo, le principal investigateur, et de Jacques Sincennes, analyste-programmeur, avec plusieurs étudiants.

Daniel Le mémoire de maîtrise de Daniel Amyot portait sur la Formalization of Timethreads Using LOTOS. Sa thèse de doctorat y était aussi reliée. Mais il a plusieurs autres intérêts de recherche.
Romelia< Romelia Plesa étudie les méthodes de traitements d'appels (Call Processing).
Ruoshan Ruoshan Guan élabore la traduction systématique de UCM en LOTOS.
Wael Wael Hassan s'intéresse à l'application de méthodes formelles pour les systèmes de télécommunications; plus spécifiquement aux services de gestion de connection globale.
Wissam< Wissam Itani
Yiqun Yiqun Xu
Dongmei Dongmei Jiang
Ken Ken Chan
Haihui Haihui Chen
Jenny Jenny Zhang se penche sur l'implémenation de Feature Execution Trees.
Jane Jane Fanyang

Leila Leila Charfi travaille sur LOTOS & TTCN.
Nicolas Nicolas Gorse travaille sur Interactions de Service.
Rossana Les sujets sur lesquels se penchent Rossana Maria Castro Andrade sont Formal Specification and Validation, Computer Communication Networks et Heterogeneous System Administration.
Amy Un des sujets de recherche de Zhimei Yi est le Telecommunication Software Design.
Kazi Kazi Farooqui travaille sur ODP-based models of Mobile and Group-Oriented Distributed Computing.
Gaurav Gaurav Rampal travaille à la spécification de GSM en LOTOS. Ses intérêts de recherche son ODP, les méthodes formelles, les réseaux intelligents et la gestion des réseaux.
Laurent Laurent Andriantsiferana participe au projet Specification, Simulation, Testing and Validation of the General Packet Radio Service protocols conjointement avec Motorola Canada. Il travaille aussi sur le Design and Implementation of simulation/validation tools using C++, Java, Perl.
Bernard Bernard Stepien est un collaborateur à temps partiel qui traite à peu de choses près toutes les facettes de LOTOS. Backward Execution fait partie de ses travaux récents. Il s'intéresse présentement aux Features Interactions.
Paul Paul Berlinguette a developpé les concepts et implémenté la première version X window de l'interface de XEludo. Il a aussi travaillé sur GLOTOS. Paul travaille présentement sur sa thèse de maîtrise.

Une photo des gens du groupe, premier semestre de 1998.
Célébration de la retraite (partielle) de Luigi (June 2002), marquant également le début d'une nouvelle carrière à l'Université du Québec à Gatineau ;-)
lotos-mgr@site.uottawa.ca