||Leila Charfi researches on LOTOS &
|Nicolas ||Nicolas Gorse
researches on Feature Interaction.
|Rossana ||Rossana Maria
Castro Andrade's research interests are in
Formal Specification and Validation,
Computer Communication Networks and
Heterogeneous System Administration.
||One of Zhimei Yi's research topics is
|Kazi ||Kazi Farooqui
researches on ODP-based models of Mobile and
Group-Oriented Distributed Computing.
|Gaurav ||Gaurav Rampal
works on the specification of GSM in LOTOS. His
research Interests are ODP, Formal Methods,
Intelligent Networks and Network management.
Andriantsiferana works on the Specification,
Simulation, Testing and Validation of the
General Packet Radio Service protocols
(joint work with Motorola Canada). He also
worked on the Design and Implementation of
simulation/validation tools using C++, Java,
|Bernard ||Bernard Stepien
is a part time collaborator who dealt with just
about as many aspects of LOTOS as one can think
of. Backward Execution is among his
most recent work. He currently researches the
field of Features Interactions.
|Paul ||Paul Berlinguette has developped
concepts and implemented the first version of
the X Window based interface of the tool. He
also worked on GLOTOS.
Paul is currently
working on his M.Sc.