Journals, Books, Book Chapters

  1. "Engineering Self-Organising Systems - Methodologies and Applications". S. Brueckner, G. Di Marzo Serugendo, A. Karageorgos, R. Naghpal (Eds), LNAI 3464, Springer-Verlag, June 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. (pdf)

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

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

  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), volume 1887, LNAI, pp. 214-225, Springer-Verlag, 2001. ( ps , pdf )
    9.  
  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, Suisse, 1999. ( abstract , ps.gz , pdf )
    10.  
  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. ( ps , pdf )
    11.  
  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. (pdf)

  2. G. Di Marzo Serugendo: "Trust as an Interaction Mechanism for Self-Organising Systems", In International Conference on Complex Systems (ICCS'04), May 2004. (pdf)

  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), volume 2360, LNCS, pp. 142-162, June 2002. ( ps , pdf )
    4.  
  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. ( pdf )
    5.  
  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. ( abstract+ps, pdf )
    6.  
  6. G. Di Marzo Serugendo, ``A Formal Developement and Validation Methodology for System Design,'' Fifth International Conference on Information Systems Analysis and Synthesis, 1999. ( abstract+ps , pdf )
    7.  
  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). ( abstract+ps , pdf )
    8.  
  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). ( abstract+ps , pdf )
    9.  
  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.  
  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 (10 p.).  (ps , pdf )

Workshops - Reviewed Papers

  1. G. Di Marzo Serugendo, M. Deriaz: "Specification-Carrying Code for Self-Managed Systems". In IFIP/IEEE International Workshop on Self-Managed Systems and Services. 2005. (pdf)

  2. 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. pp. 143-152. D. Hales and B. Edmonds (Eds). 2005. (pdf)

  3. 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 Workshop on Engineering Self-Organising Applications (ESOA'03), Melbourne, Australia, July 2003.

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

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

  6. 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. (ps ,pdf )
    7.  
  7. 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. ( pdf )
    8.  
  8. 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. ( pdf )
    9.  
  9. 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. ( ps , pdf )
    10.  
  10. 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. ( abstract+ps , pdf )
    11.  
  11. 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.  ( ps , pdf )
    12.  
  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 (15p.).  ( ps , pdf )
    13.  
  13. 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. ( ps , pdf )
    14.  
  14. M. Muhugusa, G. Di Marzo, C. F. Tschudin, J. Harms, " Implementation and Interpretation of Protocols in the ComScript environment ", In Proceedings of International Conference on Communications (ICC'95), Seattle, U.S.A, 1995 (6 p.).

Technical Reports

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

  2. 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).

  3. 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)

  4. 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 )
    5.  
  5. 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 )
    6.  
  6. 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 )

  7. 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 )
    8.  
  8. 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 )
    9.  
  9. 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 )
    10.  
  10. 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 )
    11.  
  11. 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 )
    12.  
  12. 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 )
    13.  
  13. 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 )
    14.  
  14. 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 )
    15.  
  15. 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 )
    16.  
  16. 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 )
    17.  
  17. 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 )

   Drafts

  1. G. Di Marzo Serugendo, "Refinement Patterns for System Design ", Draft, December 2000.
    2.  
  2. G. Di Marzo Serugendo, "A Temporal Logic for CO-OPN/2 ", Draft. March 2000.

    3.