technical reports

1. R. Frei, G. Di Marzo Serugendo, J. Barata, Designing Self-Organisation for Evolvable Assembly Systems, BBKCS-09-04, June 2009. (pdf)

2. M. Puviani, G. Di Marzo Serugendo, G. Cabri, Methodologies for self-organising systems: a SPEM approach, BBKCS-09-05, June 2009. (pdf)

3. G. Di Marzo Serugendo, R. Frei, Experience report in developing and applying a method for self-organisation to agile manufacturing, BBKCS-09-06 , July 2009. (pdf)

4. G. Di Marzo Serugendo, J. Fitzgerald, A. Romanovsky, N. Guelfi,  "MetaSelf - A Framework for Designing and Controlling Self-Adaptive and Self-Organising Systems",  BBKCS-08-08, Technical Report, School of Computer Science and Information Systems, Birkbeck College, London, UK, December 2008. (pdf)

5. A. Villalba Castro, G. Di Marzo Serugendo, D. Konstantas, "Hovering Information - Self-Organising Information that Finds its Own Storage", BBKCS-07-07, Technical Report, School of Computer Science and Information Systems, Birkbeck College, London, UK, Nov 2007. (pdf)

6. G. Di Marzo Serugendo, J. Fitzgerald, A. Romanovsky, N. Guelfi,  "A Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems", CS-TR-1018, Technical Report, School of Computing Science, University of Newcastle, Newcastle, UK, April 2007.  (pdf)

7. G. Di Marzo Serugendo, J. Fitzgerald, A. Romanovsky, N. Guelfi,  "Dependable Self-Organising Software Architectures - An Approach for Self-Managing Systems", BBKCS-06-05, Technical Report, School of Computer Science and Information Systems, Birkbeck College, London, UK, May 2006. (pdf)

8. Michel Deriaz, G. Di Marzo Serugendo. "Semantic Service-Oriented Architecture". Technical Report, Centre Universitaire d'Informatique, University of Geneva, 2004 (pdf).

9. M. Oriol, G. Di Marzo Serugendo, "Application Evolution: A Disconnected and Service Based Approach", Technical Report, Centre Universitaire d'Informatique, University of Geneva, 2003 (ps, pdf).

10. 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. (ps , pdf)

11. 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. (ps , pdf)

12. 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. (ps , pdf)

13. 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. (ps , pdf)

14. 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. (abstract+ps , pdf )

15. 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. (abstract+ps , pdf)

16. 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 (8 p.). ( ps, pdf)

17. 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 (33 p.). ( ps, pdf)

18. 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 (34 p.).  ( ps, pdf)

19. 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 (27 p.).  ( ps, pdf)

20. 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 (39 p.).  (ps, pdf)

21. 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 (23 p.). (ps, pdf)

22. 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. (abstract+ps , pdf)

23. 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 (7 p.).  (ps, pdf)

24. 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. (abstract+ps, pdf)