Current Projects

Self-Organising Applications

• A Social Semantical Infrastructure Supporting Ambient Intelligence (SNF 200020-105476/1)
  This project aims at defining an infrastructure for interoperable computing entities following a human-like communication schema (2004-2005)
  
  
• Engineering Self-Organising Applications (SNF 21-68026.02)
  This research aims at enabling two or more programs, which do not know each other, to discover each other capabilities by exchanging formal specifications and proofs. (2002-2004)
  

Security/Trust

• SECURE: Secure Environments for Collaboration among Ubiquitous Roaming Entities (IST-2001-32486)
  This project aims to develop formal security models for large scale systems based on the notion of trust. My work includes the validation of the approach in the context of the formal model.  (2002-2004)

Software Engineering

• FIDJI: scientiFic engIneering of Distributed Java applIcations (Luxembourg project n°MEN/IST/01/001.)
  The FIDJI project is related to the formal development of reliable distributed systems to be implemented in Java (2001-2005)
  

NoE / Coordination Actions

• INTEROP: Interoperability for Enterprise Software and Applications (IST-1-508011)
  INTEROP is a Network of Excellence supported by the European Commission for a three-year-period. It aims to create the conditions of an innovative and competitive research in the domain of Interoperability for Enterprise Applications and Software. Among others it is defining the notion of European Master in Interoperability for Enterprise Applications and Software.
  

• AgentLink III
  AgentLink is the European Commission's IST-funded Coordination Action for Agent-Based Computing. The AgentLink III Technical Forum Group on Self-Organisation in Multi-Agent Systems (MAS) goals are to group together the computing science research community working on self-organisation and emergent behavior, and to establish and enhance links with other disciplines (2004-2005).
  

Past projects

Agents

• Agentcities (IST-2000-28)
  The ESOA: Engineering Self-Organising Applications  working group of the Agentcities project goals are to explore some of the challenging issues SOAs raise in the Agentcities environment. (2002-2003)
  
  
• ComScript Project
The aim of the ComScript Project is twofold: it provides a platform for the dynamic (re)configuration of protocol stacks and offers at the same time a language for the implementation of distributed applications. (1993-1994)


• Messengers Project
Messengers are mobile threads of execution which can travel across the network. This project investigates both the formalisation of mobile agents, as well as the development of distributed messenger-based applications. (See ADAMA   for the follow-up of this project).

Formal Methods

• Specification of ALICE DAQ
  This project consists of specifying and simulating the Data Acquisition System (DAQ) of the CERN ALICE experiment using the Foresight tool, in order to study the performances of the ALICE DAQ system. (2000-2001) 
  
  
• Dependable Applications
This project aims at the validation of dependable distributed applications. Part of this project is dedicated to the specification of Coordinated Atomic Actions (multi-threaded transactions) using a  high-level class of Petri nets. (1996-1998)


• Formal Methods for Concurrency Project
This project aims at developping  tools and theories based on CO-OPN (Concurrent Object-Oriented Petri Nets). (1994-1999)


• Real-time synchronized Petri Nets
This work is dedicated to the definition of a class of high-level Petri nets (with inhibitor arcs, and synchronisation among Petri nets) with real-time constraints attached to transitions as relative time intervals. Strong time semantics has been defined for these nets. (1999-2001)


• Refinement of Real-time Specifications
This research aims at providing a formal definition of the refinement of TRIO specifications. TRIO is a linear, first-order typed temporal logic. (2000-2001)

Ph.D. Thesis

• "Stepwise Refinement of Formal Specifications Based on Logical Formulae: from CO-OPN/2 specifications to Java programs"
In the framework of CO-OPN, a theory of stepwise refinement has been defined. It makes use of logical properties (contract), in order to formally assert that a refinement step is correct. (1996-1999)  ( abstract , whole thesis , fiche de these )