Trust Related Presentations

  1. Trust as an interaction mechanism for self-organising systems. Boston. May 2004.
  2. SECURE Applications Scenarios. Global Computing Workshop. Rovereto. March 2003. (slides)

Grid Related Presentations

  1. Towards a Secure and Efficient Model for Grid Computing using Mobile Code. Malaga. June 2002. (slides)
  2. Grilles de Calculs et Réseaux Pair-à-Pair. Les jeudis de l'IST. Luxembourg. May 2002. (slides)

ALICE/Foresight Presentations

  1. Specification and Simulation of a High-Energy Physics Experiment. November 2001. (slides)
  2. ALICE DAQ Simulation. February 2001. (slides)
  3. High-level System Design using Foresight. November 2000. (slides)
  4. Specification and Simulation of ALICE DAQ System. September 2000. (slides)
  5. High-level System Design using Foresight. July 2000. (slides)
  6. Modelling and Simulation of ALICE DAQ System. June 2000. (slides)
  7. Modelling and Simulation of ALICE DAQ System. March 2000.(slides)

Agent Related Presentations

  1. Engineering Emergent Behaviour: A Vision. Invited Talk. MABS'03. Melbourne. July 2003. (slides)
  2. Designing Fault-Tolerant Mobile Systems. Keynote Speaker. FIDJI'02. Luxembourg. November 2002. (slides)
  3. A Formal Development and Validation Methodology applied to Agent-Based Systems. June 2000. (slides)
  4. Communication Messengers as a Basis for Distributed Algorithms. March 1997. (slides)
  5. The Messenger Paradigm and its Impact on Distributed Systems. June 1995.  (slides)

Formal Methods Presentations

  1. CO-OPN: Concurrent Object-Oriented Petri Nets. Lisbon. September 2002. (slides)
  2. Real-Time Synchronized Petri Nets. Adelaide. June 2002. (slides)
  3. Using Object-Oriented Algebraic Nets for the Reverse Engineering of Java Programs: A Case Study. March 1998 (slides)
  4. Formal Development of Java Based Web ParallelApplications. January 1998. (slides)
  5. ConForM Scientific Days  (JS1.ps.Z, JS3.ps.Z, JS4.ps.Z)
  6. ACCESS. March 1994. (slides)

Ph.D. Thesis

  1. Stepwise Refinement of Formal Specifications Based on Logical Formulae from COOPN/2 Specifications to Java Programs. January/March 1999. (slides-jury) (slides-public)