Projects

• Participant of ESPRIT Project 415: Working Group on Semantics and Proof Techniques, 1985-1990.
• Participant of ESPRIT Project 3069: Formal Methods and Tools for the Development of Distributed and Real Time Systems, 1990-1992.
• Participant of NFI-project REX (Research an Education in Concurrent Systems) nr. NF 62- 519, organized by Dr. J.W. de Bakker, Dr. W.P. de Roever and Dr. G. Rozenberg: Semantics and proof-theory of real-time systems.
• Participant of ESPRIT Project: REACT (continuation of ESPRIT project 3096).
• A proposer of Human Capital and Mobility Network: EXPRESS, 1993-1997.
• Coordinator of the ESPRIT Working Group Concurrent Constraint Programming for Time Critical Applications, 1997-2001.
• Principal Investigator of the NOAG-i project: A Methodology for the Design of Agent-Based Architectures.
• Partner of the European IST project (Fifth RTD Framework Program), 2002-2004. OMEGA on correct development of Real-Time Embedded Systems in UML.
• Coordinator of the bilateral NWO/DFG project MobiJ. Other Partners: Marcello Bonsangue, LIACS, and Willem-Paul de Roever, University of Kiel.
• Project leader of the theme Formal Methods for Active Networking of the BRICKS project.
• CWI representative of the NWO CoCoMas project on Coordination and Composition in Multi-Agent Systems.
• Partner of the ITREA project Trust4all.
• Coordinator of the Credo (IST-33826) project (of the 6th Framework Programme) on the modeling and analysis of evolutionary structures for distributed services.