Research Visitors hosted at NUIM
- Dominique
Mery, UHP, Henri
Poincaré University,
Nancy 1, France,
Erasmus Teaching Exchange 2009: Lectures
presented to the MSc in Computer Science
students on Event B and the Rodin platform and a
Departmental Seminar on Case studies in Event B.
- Dominique
Mery, LORIA, Laboratoire
Lorrain de Recherche
en Informatique et ses
Applications, Ulysses Visit 2008: research on translating programs for
control system from Programmable Logic to Event B so that we can use formal
verification tools to verify its software requirements.
- Dominique
Cansell, LORIA, Laboratoire
Lorrain de Recherche
en Informatique et ses
Applications, Ulysses Visit 2008: research on translating programs for
control system from Programmable Logic to Event B so that we can use
formal verification tools to verify its software requirements.
- Dominique
Mery, UHP, Henri
Poincaré University,
Nancy 1, France,
Erasmus Teaching Exchange 2008: Lectures
presented to the MSc in Computer Science
students on Event B and the Rodin platform and a
Departmental Seminar on Case studies in Event B.
- Paul
Gibson, Le département LOgiciels-Réseaux,
Telecom & Management SudParis, Research
Visit in 2008 for collaboration on teaching formal methods and
presentation of research relating to the ETAPS 2008 publication "How
Do I know If My Design Is Correct?"
- K. Rustan M. Leino Microsoft
Research, Redmond, Research Collaboration and Research Presentation in
2007: Program verification via an intermediate verification language
- Anna
Danko, Polish Japanese Institute of Information
Technology, Warsaw, Poland, Research collaboration and presentation of
research on Multi Agent Systems (May 11th and 12th, 2004)
- Rem Collier, Department of Computer Science,
University College Dublin, Research presentation on Agent Factory: A Framework
for the Engineering of Agent-Oriented Applications (9th February 2004)
- John
McCormack, Hewlett Packard, Systems Research Labs, Palo Alto, Research
collaboration and presentation in 2003.