CURRICULUM VITAE

Education

1996-1999:      Swiss Federal Institute of Technology in Lausanne (EPFL)

•  Ph.D. in Computer Science - Software Engineering (1999)

"Stepwise Refinement of Formal Specifications Based on Logical Formulae: from CO-OPN/2 specifications to Java programs"

1987-1994:      University of Geneva, Faculty of Science

M.Sc. in Mathematics (1993)    Domain: Numerical analysis.

M.Sc. in Computer Science (1994) Domain: Software Engineering.

Personal Data

Nationalities:           Italy, Switzerland

Birth:                        June 12th, 1966

E-mail:                      Giovanna.Dimarzo at cui.unige.ch

French, Italian:        Mother tongues

English:                    Good

German:                    Fair

Employment

2004-2005:         University of Luxembourg - Software Engineering Competence Center

Senior Researcher

2002-2004:         University of Geneva - Centre Universitaire d'Informatique - OSG

Lecturer/Senior Researcher

2000-2001:         CERN - IT Division

Scientific Associate (Fellow)

1999:                   University of Geneva - Centre Universitaire d'Informatique - TiOS

Post-doc

1996-1999:         EPFL - Computer Science Department - Software Engineering Laboratory

Research Assistant - Ph.D. Student

1993-1996:        University of Geneva - Centre Universitaire d'Informatique - TiOS

Research Assistant

Research Activities

2004-2005:    FIDJI

I am currently in charge of directing the production of a book describing the research activities realised in the framework of the Luxembourg funded FIDJI project. The book proposes a pragmatic approach intended to fill in the divide which lies between architects, designers and developers, and covers software engineering activities from analysis to development.

2004-:             INTEROP

•     European Master in Interoperability

In the framework of the EU-funded INTEROP Network of Excellence (IST-1-508011), I am  in charge of designing a Research Master in Interoperability for Networked Enterprises Applications and Software at the European level.

2002-:             Unanticipated Software Evolution

In the framework of unanticipated software evolution, I investigate the means to allow run- time software evolution of code, not anticipated at design time. I am currently proposing a service architecture based on interactions occurring through anonymous and asynchronous communication, and syntactic service description, wihtout relying on the notion of APIs.

2002-:               Self-Organising Applications

•  Specification Carrying Code
  

I am currently proposing the notion of Specification Carrying Code as a basic interaction mechanism which allows entities to adapt/understand unknown peers. Interactions between entities occur through a service-oriented architecture, and are exclusively based on an exchange of capabilities expressed using a formal specification conveying the semantics of the proposed services.  In this framework, I am leading the Engineering Self-Organising Applications project, funded by FNRS grant (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)

• AgentLink III Technical Forum on Self-Organisation in MAS

I am co-chairing the AgentLink III Technical Forum Group on Self-Organisation in Multi-Agent Systems (MAS), whose scopes 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).

•   ESOA Working Group
  

Self-organising applications (SOAs) are typically based on several interacting software components that can act autonomously and in collaboration with each other, and with no central entity. Such applications include pervasive or wireless applications, as well as those to be deployed on a Grid or a P2P network, possibly relying on agents or mobile agents. In the framework of the AgentCities.NET   project (IST-2000-28384), I am chairing the ESOA: Engineering Self-Organising Applications   working group, whose goal is to explore some of the challenging issues SOAs raise in the Agentcities environment. (2002-2003)

2002-:             Trust/Agents/Formal Methods

• Security founded on the notion of Trust
  

I am involved in the IST project (IST-2001-32486) " SECURE: Secure Environments for Collaboration among Ubiquitous Roaming Entities ". It 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)

• Dependable Mobile Agent Systems
  

This work is conducted in collaboration with the University of Newcastle upon Tyne (UK). It aims at proposing an exception handling model for mobile agent-based applications that run on a coordination-based environment. I participate to the definition of the exception handling model, and I am in charge of applying it to a coordination platform.

2000-2001 :     CERN Projects - "ALICE Experiment "

• Formal Specification of ALICE DAQ.
  

In the framework of the ALICE collaboration, I am entrusted to formally specify and simulate the whole functionality of the Data Acquisition System (DAQ) of the ALICE high energy physics experiment. I am using the Foresight tool, which enables to define the formal specification and to simulate it. I have clearly established the functionality of the whole system, and its sub-systems, as well as identified the parameters of the system and their values. I have studied the performances of the ALICE DAQ system, compared it with the expected ones, and identified bottlenecks.

1999-2001:     Formal Methods: Real-time

• Real-time synchronized Petri nets.

This work is conducted in collaboration with EPFL, the Politecnico di Milano (Italy), and Luxembourg University of Applied Science. It is dedicated to the definition of a class of high level Petri nets (with inhibitor arcs, and synchronization among Petri nets) with real-time constraints attached to transitions as relative time intervals. My work consists in defining the whole syntax and (strong time) semantics of these nets (1999-2001).

• Refinement of real-time specifications.

This work aims at providing a formal definition of the refinement of TRIO specifications. TRIO is a linear, first-order typed temporal logic used for defining real-time systems. I am in charge of defining the formal refinement of TRIO specifications. This work is undertaken jointly with the Politecnico di Milano (Italy) (2000-2001).

1994-1999:      Formal Methods: Petri nets

• Concurrent Object-Oriented Petri nets (CO-OPN).

This project studied the formal development and validation of distributed systems using CO-OPN (Concurrent Object-Oriented Petri nets). My work included the specification of distributed systems using CO-OPN, the application of CO-OPN to mobile agents, the use of category theory for defining the semantics of CO-OPN, and the definition of a theory of refinement for CO-OPN. It was funded by FNRS Project (21.32286.91) " Formal Methods for Concurrency " (1994-1999).

• Stepwise refinement of formal specifications based on contracts.

In the framework of my Ph.D., I defined a theory of stepwise refinement of formal specifications that makes use of logical properties (contract), in order to formally assert that a refinement step is correct. I applied the theory to CO-OPN specifications (1996-1999).
This theory of refinement is currently being applied in the FIDJI project undertaken at the Luxembourg University of Applied Science.

• Multi-threaded Transactions.
  

This work was dedicated to the definition of a formal language, called COALA, for expressing systems built using Coordinated Atomic Actions (multi-threaded transactions). The semantics of this language is defined using a  high level class of Petri nets.  I participated actively to the formal definition of Coordinated Atomic Actions, and to the elaboration of the syntax of COALA. This work was part of the  ESPRIT Project (20072) " Design For Validation (DeVa) ". It has been realised in collaboration with people from the University of Newcastle upon Tyne (UK) and EFPL (1996-1998).

1993-2001:      Agents

• Methodologies for Multi-Agent Systems.
  

This work is dedicated to the software engineering of multi-agent systems. It studies methods and tools for specifying and developing multi-agent systems. In this framework, I have  proposed a development methodology based on the refinement by contracts (2000-2001).

• Mobile Agents.

This project investigated both the specification of systems built with messengers (a kind of mobile agents), as well as the use of messengers for implementing distributed systems. During this project, I participated in establishing messengers as a kind of mobile agents, as well as in positioning messengers wrt other mobile agents environments.  In addition, I performed an analysis of several formal languages, and investigated their suitability for expressing mobile agents. I participated as well to the description of the building of some distributed systems with messengers. This work was funded by the FNRS Project (2000-0400631.94) " Communication Messengers as a Basis for Distributed Algorithms (Theory and Implementation) " (1994-1996).

• ComScript.

The aim of the ComScript Project was twofold: it provided a platform for the dynamic (re)configuration of protocol stacks and offered at the same time a language for the implementation of distributed applications.  My work consisted in the implementation of protocol stacks within the ComScript environment. It was part of the FNRS Project (21-31121.91) " ComScript - a Generic Platform for Heterogeneous Communications Protocol Architectures " (1993-1994).

 

Scientific Activities   

                        Editor-in-Chief:

• ACM Transactions on Autonomous Adaptive Systems (TAAS) - First Issue Fall 2005 

                        Organising Committee:

• Multi-Agents for Modeling Complex Systems (MA4CS'05) workshop
• Engineering Self-Organising Applications Workshop (ESOA'03, ESOA'04, ESOA'05)
  

                        Editorial Board, Program Committee:

• International Conference on Autonomic Computing (ICAC'06)
  
• International Conference on Self-Organization and Adaptation of Multi-Agents and Grid Systems (SOAS'05)
  
• International Workshop on Biologically Inspired Approaches to Advanced Information Technology (Bio-ADIT'06)
• European Workshop on Multi-Agent Systems (EUMAS'05)
  
• International Conference on Interoperability of Enterprise Software and Applications (INTEROP-ESA'05)
• First Workshop on Self-Managed Systems and Services (SelfMan'05)
• Socially Inspired Computing - Engineering with Social Metaphors
  
• International Conference on Advances in Intelligent Systems Theory and Applications (AISTA'04)
• First International Workshop on Coordination and Petri Nets
• Autonomous Agents and Multi-Agent Systems (AAMAS'04, AAMAS'05) 
• International Workshop on Ubiquitous Computing (IWUC'04)
• 1st European Workshop on Multiagent Systems (EUMAS'03)
• Scientifc Engineering of Distributed Java Applications (FIDJI'01/02/03)
• Eighth International Workshop on Enterprise Security, Special Session on Trust Management in Collaborative Global Computing (2003)
• The 8th ECOOP WORKSHOP ON MOBILE OBJECT SYSTEMS: New Frontiers (MOS'02)
• Mobile Agent Technology - Special Issue of the Informatik Forum Journal (2002)
• Agent-Based High Performance Computing Workshop (Agents'99).

                        Referee:     

• Third Workshop on Modeling of Objects, Components and Agents (MOCA'04)
  
• International Conference on Complex Systems (ICCS'20004)
• International Conference on Dependable Systems and Networks (DSN'04)
• European Conference on Artificial Intelligence (ECAI'04)
• Congress on Evolutionary Computation (CEC'03)
  
• Journal of Systems and Software (2003)
  
• Autonomous Agents and Multi-Agent Systems (AAMAS'03)
• The Computer Journal (2002)
• International Conference on Application and Theory of Petri Nets (ICATPN'98, ICATPN'01 ,  ICATPN'04)
• Hawaii International Conference on System Sciences ( HICSS-33 )
• Internet Society Conference ( INET'98 )
• IEEE Transactions on Software Engineering
• DeVa project.
  
  

                        Expert

• Projects funded by the Luxembourg government                   

                        Additional Activities

• AgentLink III - University of Geneva Contact Point
• Elaboration of a European Master in Interoperability
  

                        Invited Talks

• Semantic Interoperability in Service-Oriented Computing. First Tuesday on Interoperability. Geneva. June 2005. (slides)
  
• About Self-Organisation, Emergent Behaviour, and Self-Management. Panel. SelfMan'05 Workshop. Nice, May 2005 (slides)
  
• Engineering Emergent Behaviour: A Vision. Invited Talk. MABS'03. Melbourne. July 2003. (slides)
• SECURE Applications Scenario. Global Computing Workshop. Rovereto. March 2003. (slides)
  
• Designing Fault-Tolerant Mobile Systems. Keynote Speaker. FIDJI'02. Luxembourg. November 2002. (slides)
  
• CO-OPN: Concurrent Object-Oriented Petri Nets. Lisbon. September 2002. ( slides )
• Grilles de Calculs et Réseaux Pair-à-Pair. Les jeudis de l'IST. Luxembourg. May 2002. ( slides )

            Awards and Honours

• Editor-in-Chief, ACM Transactions on Autonomous Adaptive Systems (2004-2007)
  
• Nomination for Descartes Prize 2003
• CERN fellowship (1999)
  

 

Teaching Activities

                    Lectures

• 2002:              Object-Oriented Programming / 2nd year course
  

                    Exercises

• 1999:               Introduction to the Object-Oriented Paradigm / 2nd year course
  

Seminars on VisualAge for Java (with programming exercises)

Seminars on design patterns, UML and Select Enterprise

• 1995-1997:     Computer Networks (laboratory) / 3rd year course
  

Protocols (Ethernet, UDP, TCP, RPC, etc.)

Physical cabling, Use of network analysers

• 1993-1996:     Computer Architecture (exercises) / 1st year course

• 1996:               Tutorial on advanced calculus / 2nd year course
  

                    Ph.D / M.Sc. / B.Sc. Students

• M. Oriol: "An Approach to the Dynamic Evolution of Software Systems". PhD in Information Sysems. Faculty of Economic and Social Sciences, University of Geneva, 2004.
  
  
• M. Deriaz. "e-cash: Anonymous Electronic Payments". M.Sc. in Computer Science, Faculty of Science, University of Geneva, June 2003.

• R. Wang. "Un Service Web de banque électronique". B.Sc. in Information Systems, Faculty of Economic and Social Sciences, University of Geneva, February 2003.

Externally Funded Research Programs               

• "A Social Semantic Infrastructure supporting Ambient Intelligence". Swiss SNF project 200020-105476/1. (2004-2005)
  
• "Engineering Self-Organising Applications". Swiss SNF project 21-68026.02. (2002-2004)
  
• "Communication Messengers as a Basis for Distributed Algorithms (Theory and Implementation)" Swiss SNF Project 2000-0400631.94 and its follow-up. (1994-1996)
• "ISACOM - Intelligent Scheduling Algorithms with COmmunication Messengers". Swiss SNF Project 21-43370.95.(1995)

Publications

Journals, Books, Book Chapters

1. "Engineering Self-Organising Applications". S. Brueckner, G. Di Marzo Serugendo, A. Karageorgos, R. Naghpal (Eds), to appear, Springer-Verlag, 2005.
   
   
2. M. Oriol, G. Di Marzo Serugendo, "A Disconnected Service Architecture for Unanticipated Run-time Evolution of Code", IEE Proceedings-Software, Special Issue on Unanticipated Software Evolution, Susan Eisenbach (Ed), 2004.
   
   
3. "Engineering Self-Organising Systems: Nature-Inspired Approaches to Software Engineering". G. Di Marzo Serugendo, A. Karageorgos, O. F. Rana, F. Zambonelli (Eds), LNAI 2977, Springer-Verlag, 2004. 
   
   
4. G. Di Marzo Serugendo, N.Foukia, S. Hassas, A.Karageorgos, S. Kouadri Mostéfaoui, O. F. Rana,  M. Ulieru, P. Valckenaers, C.Van Aart, "Self-Organising Applications: Paradigms and Applications". Proceedings of the Engineering Self-Organising Applications Workshop (ESOA'03), G. Di Marzo Serugendo, A. Karageorgos, O. F. Rana, F. Zambonelli (Eds), LNCS 2977, Springer-Verlag, 2004.
   
   
5. G. Di Marzo Serugendo, "Engineering Emergent Behaviour: A Vision", Invited Talk. Multi-Agent-Based Simulation III. 4th International Workshop, MABS 2003 Melbourne, Australia, July 2003, Revised Papers. D. Hales, B. Edmonds,  E. Norling, J. Rouchier (Eds), LNAI 2927, Springer-Verlag, 2003.
   
   
6. V. Cahill, B. Shand, E. Gray, N. Dimmock, A. Twigg, J. Bacon, C. English, W. Wagealla, S. Terzis, P. Nixon, C. Bryce, G. Di Marzo Serugendo, J.-M. Seigneur, M. Carbone, K. Krukow, C. Jensen, Y. Chen, M. Nielsen: "Using Trust for Secure Collaboration in Uncertain Environments", IEEE Pervasive Computing Magazine, special issue on Dealing with Uncertainty, Volume 2, Number 3, pp. 52-61, Jul-Sep 2003.
   
   
7. G. Di Marzo Serugendo, A. Romanovsky, "Designing Fault-Tolerant Mobile Systems ", Proceedings of the International Workshop on scientiFic engIneering of Distributed Java applIcations (FIDJI'02), Keynote Paper, volume 2604, LNCS, pp. 185-201, Springer-Verlag, 2002.
   
   
8. G. Di Marzo Serugendo, " A Formal Development and Validation Methodology applied to Agent-Based Systems", Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-agent Systems, T. Wagner and O. Rana (eds), pp. 214-225, volume 1887, LNAI, Springer-Verlag, 2001.
   
 
9. Giovanna Di Marzo Serugendo, ``Stepwise Refinement of Formal Specifications Based on Logical Formulae: from COOPN/2 Specifications to Java Programs,'' Ph.D. Thesis no 1931, Ecole Polytechnique Fédérale de Lausanne, Département d'informatique, Lausanne, Switzerland, 1999.
   
 
10. G. Di Marzo, M. Muhugusa, C. F. Tschudin, "A Survey of Theories for Mobile Agents", World Wide Web Journal, Special Issue on Distributed World Wide Web Processing: Applications and Techniques of Web Agents, pp. 139-153, Baltzer Science Publishers, 1998.
 
11. G. Di Marzo, M. Muhugusa, C. F. Tschudin, "Agent Mobility ". Chapter 20 in Bots and Other Internet Beasties, J. Williams. Sams.net Publishing. pp.375-406, 1996, ISBN 1-57521-016-9.

Conferences

1. Jarle Hulaas, Walter Binder, Giovanna Di Marzo Serugendo: "Enhancing Java Grid Computing Security with Resource Control", In the International Conference on Grid Services Engineering and Management (GSEM'04), September 2004.
   
   
2. G. Di Marzo Serugendo: "Trust as an Interaction Mechanism for Self-Organising Systems", In International Conference on Complex Systems (ICCS'04), May 2004.
   
   
3. G. Di Marzo Serugendo, D. Mandrioli, D. Buchs, N. Guelfi: " Real-Time Synchronised Petri Nets ", In 23rd International Conference on Application and Theory of Petri Nets (ICATPN'02), pp. 142-162, volume 2360, LNCS, June 2002.
   
 
4. T. Anticic, G. Di Marzo Serugendo, P. Jovanovic, P. Vande Vyvre, O. Villalobos Baillie, "Specification and Simulation of the ALICE Trigger and DAQ System", In International Conference on High-Energy and Nuclear Physics (CHEP'01). September 2001.
 
5. G. Di Marzo Serugendo, N. Guelfi, A. Romanovsky and A. F. Zorzo, ``Formal Development and Validation of Java Dependable Distributed Systems ,'' Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99), IEEE Computer Society Press, 1999.
   
 
6. G. Di Marzo Serugendo, ``A Formal Developement and Validation Methodology for System Design,'' Fifth International Conference on Information Systems Analysis and Synthesis (ISAS'99), 1999.
   
 
7. Giovanna Di Marzo Serugendo and Nicolas Guelfi, `` Using Object-Oriented Algebraic Nets for the Reverse Engineering of Java Programs: A Case Study,'' Proceedings of the International Conference on Application of Concurrency to System Design (CSD'98), IEEE Computer Society Press, 1998, pp. 166-176, Also available as Technical Report (EPFL-DI No 98/267).
   
 
8. Giovanna Di Marzo Serugendo and Nicolas Guelfi, `` Formal Development of Java Based Web Parallel Applications,'' Proceedings of the Hawaii International Conference on System Sciences (HICCS'98), 1998. Also available as Technical Report (EPFL-DI No 97/248).
   
 
9. C. F. Tschudin, G. Di Marzo, M. Muhugusa, J. Harms, " Welche Sicherheit fur Mobilen Code?", SIS'96 Conference, March 21-22, 1996, Vienna.
   
 
10. M. Muhugusa, G. Di Marzo, C. F. Tschudin, J. Harms, " ComScript: An Environment for the Implementation of Protocol Stacks and their Dynamic Reconfiguration", In Proceedings of the International Symposium on Applied Corporate Computing (ISACC'94), Monterrey, Mexico, 1994 .

Workshops - Reviewed Papers

1. G. Di Marzo Serugendo, M. Deriaz: "A Social Semantic Infrastructure for Decentralised Systems Based on Specification-Carrying Code and Trust". In Proceedings of the Socially-Inspired Computing Workshop. D. Hales and B. Edmonds (Eds). 2005.
   
   
2. S. K. Mostefaoui, O.F Rana, N. Foukia, S.Hassas, G. Di Marzo Serugendo, C. Van Aart and A. Karageorgos: "Self-Organising Applications: A Survey", 1st Workhop on Engineering Self-Organising Applications (ESOA'03), Melbourne, Australia, July 2003.
   
   
3. N. Foukia and G. Di Marzo Serugendo, "Self-Organizing Architecture for Intrusion Detection and Response Systems" in Proceedings of HP-OVUA 2003 Workshop, Geneva, Switzerland, July 2003.
   
   
4. G. Di Marzo Serugendo, A. Romanovsky, "Using Exception Handling for Fault-Tolerance in Mobile Coordination-Based Environments", Exception Handling in Object Oriented Systems: towards Emerging Application Areas and New Programming Paradigms Workshop, Darmstadt, Germany, July 2003.
   
   
5. W. Binder, G. Di Marzo Serugendo, J. Hulaas: "Towards a Secure and Efficient Model for Grid Computing using Mobile Code", In 8th ECOOP Workshop on Mobile Object Systems: Agent Applications and New Frontiers, June 2002.
   
 
6. G. Di Marzo Serugendo, P. Jovanovic, P. Vande Vyvre, O. Villalobos Baillie, "Specification and Simulation of ALICE DAQ System ", In 6th Workshop on Electronics for LHC Experiments (LEB'00), pp. 419-423. Faculty of Physics and Nuclear Techniques, University of Mining and Metallurgy, Krakow, Poland, September 2000.
   
 
7. I. J. Bloodworth, G. Di Marzo Serugendo, D. Evans, G. T. Jones, P. Jovanovic, A. Jusko, J. B. Kinson, A. Kirk, V. Lenti, M. Luptak, P. I. Norman, L. Sandor, P. Vande Vyvre and O. Villalobos Baillie, " The ALICE Central Trigger Processor",  In 6th Workshop on Electronics for LHC Experiments (LEB'00), pp. 318-322. Faculty of Physics and Nuclear Techniques, University of Mining and Metallurgy, Krakow, Poland, September 2000.
   
   
8. G. Di Marzo Serugendo, "A Formal Development and Validation Methodology applied to Agent-Based Systems", Workshop on Infrastructure for Scalable Multi-agent Systems, Fourth International Conference on Autonomous Agents (Agents 2000), June 2000.
   
 
9. Julie Vachon, Didier Buchs, Mathieu Buffo, Giovanna Di Marzo Serugendo, Brian Randell, Sascha Romanovsky, Robert Stroud and J. Xu, `` COALA - A Formal Language for Coordinated Atomic Actions,'' DeVa Third Year Report, Deliverables: Part 2 (Papers), December 1998, pp. 43-86.
   
 
10. G. Di Marzo, M. Muhugusa, C. F. Tschudin, D. Billard, J. Harms, "Communication Messengers as a Basis for Distributed Algorithms ", In proceedings of the 2nd European Research Seminar on Advances in Distributed Systems (ERSADS 97), March 1997, Zinal, Switzerland, pp. 111-116.
    
 
11. M. Muhugusa, G. Di Marzo, C. F. Tschudin, J. Harms, " Distributed Semaphore in a Messenger Environment", In Proceedings of the First International Workshop on Decentralized Intelligent and Multi-Agent Systems, Nov. 1995, Krakow, Poland.
    
 
12. G. Di Marzo, M. Muhugusa, C. F. Tschudin, J. Harms, " The Messenger Paradigm and its Impact on Distributed Systems", Intelligent Computer Communications Workshop, ICC'95, Romania, 1995.
    
 
13. M. Muhugusa, G. Di Marzo, C. F. Tschudin, J. Harms, " Implementation and Interpretation of Protocols in the ComScript environment ", In Proceedings of the International Conference on Communications (ICC'95), Seattle, U.S.A, 1995.

Technical Reports

1. M. Oriol, G. Di Marzo Serugendo, "Application Evolution: A Disconnected and Service Based Approach", Technical Report, Centre Universitaire d'Informatique, University of Geneva, 2003.
   
   
2. G. Di Marzo Serugendo, A. Romanovsky, "Designing Fault-Tolerant Mobile Systems ", Technical Report CS-TR-783, Computing Science, University of Newcastle upon Tyne, UK, November 2002. Also in Proceedings of the International Workshop on scientiFic engIneering of Distributed Java applIcations (FIDJI'02), Keynote Paper, LNCS 2604, Springer-Verlag, 2002.
   
   
   
3. G. Di Marzo Serugendo, P. Jovanovic, P. Vande Vyvre, O. Villalobos Baillie, "Specification and Simulation of the ALICE DAQ System ", ALICE Internal Note/DAQ, ALICE-INT-2002-01, European Organisation for Nuclear Research (CERN), January 2002.
   
 
4. G. Di Marzo Serugendo, D. Mandrioli, D. Buchs, N. Guelfi: "Adding Real-Time Constraints to Synchronised Petri Nets", Technical Report 2000/341, Software Engineering Laboratory, Swiss Federal Institute of Technology, Lausanne, Switzerland, 2000.
   
   
5. G. Di Marzo Serugendo, N. Guelfi, A. Romanovsky and A. Zorzo, ``CO-OPN/2 Specification of the DSGamma System Designed Using Co-ordinated Atomic Actions ,'' Technical Report no 641, Computing Science, University of Newcastle upon Tyne, UK, June 1998.
   
 
6. G. Di Marzo Serugendo, N. Guelfi, A. Romanovsky and A. Zorzo, ``Formal Development and Validation of the DSGamma System Based on CO-OPN/2 and Coordinated Atomic Actions,'' Technical Report 98/265, Software Engineering Laboratory, Swiss Federal Institute of Technology, Lausanne, Switzerland, 1998.
   
 
7. Giovanna Di Marzo Serugendo and Nicolas Guelfi, `` Formal Development of Java Programs,'' Technical Report 97/248, Software Engineering Laboratory, Swiss Federal Institute of Technology, Lausanne, Switzerland, 1997.
   
 
8. C. F. Tschudin, G. Di Marzo, M. Muhugusa, J. Harms, " A Distributed Micro-kernel for Communication Messengers", Technical Report No 110 (Cahier du CUI), University of Geneva, 1996.
   
 
9. G. Di Marzo, M. Muhugusa, C. F. Tschudin, J. Harms, " Formalization of Agents and Multi-Agent Systems. The Special Case of Category Theory. Working Paper", Technical Report No 109 (Cahier du CUI), University of Geneva, 1996.
   
 
10. M. Muhugusa, G. Di Marzo, C. F. Tschudin, J. Harms, " Access Consistency Memory Model for Messengers", Technical Report No 107 (Cahier du CUI), University of Geneva, 1996.
    
 
11.  G. Di Marzo, M. Muhugusa, C. F. Tschudin, J. Harms, " Survey of Theories for Mobile Agents", Technical Report No 106 (Cahier du CUI), University of Geneva, 1996.
    
 
12.  M. Muhugusa, G. Di Marzo, C. F. Tschudin, J. Harms, " Distributed Services in a Messenger Environment", Technical Report No 105 (Cahier du CUI), University of Geneva, 1996.
 
13. G. Di Marzo, M. Muhugusa, C. F. Tschudin, "Mathematical Formalization of the Messenger Paradigm", Technical Report No 100 (Cahier du CUI), University of Geneva, 1995.
    
 
14. Olivier Biberstein, Didier Buchs, Mathieu Buffo, Christophe Buffard, Jacques Flumet, Jarle Hulaas, Giovanna di Marzo and Pascal Racloz, `` SANDS1.5/COOPN1.5 An Overview of the Language and its SupportingTools ,'' Technical Report 95/133, EPFL-DI-LGL, 1995.
    
 
15. C. F. Tschudin, G. Di Marzo, M. Muhugusa, J. Harms, " Messenger-based Operating systems", Technical Report No 90 (Cahier du CUI), University of Geneva, 1994.
    
 
16. Didier Buchs and Giovanna Di Marzo, ``ACCESS - Algebraic Concurrent Events for System Specification,'' Technical Report 94/86, Swiss Federal Institute of Technology, Switzerland, November 1994.

January 2005