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