Full Professor

Giovanna Di Marzo Serugendo

publications

 

journals

1. Frei, R. and Di Marzo Serugendo, G. (2011). Concepts in Complexity Engineering. To appear:  Int. J. of Bio-Inspired Computation. (pdf)

2. Frei, R. and Di Marzo Serugendo, G. (2011). Advances in Complexity Engineering. To appear Int. J. of Bio-Inspired Computation. (pdf)

3. Frei, R., and Di Marzo Serugendo, G. (2011). Self-organising evolvable assembly systems. To appear IEEE Transactions on Systems, Man and Cybernetics: Part C. (pdf)

4. J.L. Fernandez-Marquez, G. Di Marzo Serugendo, J.L. Arcos. Infrastructureless Spatial Storage Algorithms. ACM Transactions on Autonomous Adaptive Systems (TAAS). To appear. 2011 (pdf)

5.  G. Di Marzo Serugendo, A. A. Villalba Castro, D. Konstantas. Hovering Information. Activity-Based Computing (Works in Progress).  IEEE Pervasive Computing 7(2): 58-61 (2008) (pdf)

6. S. Hassas, G. Di Marzo Serugendo, A. Karageorgos, C. Castelfranchi. "Self-organising mechanisms from social and business/economics approaches", Informatica 30(1):63-71, Slovene Society Informatika, Ljubljana, Slovenia, 2006. (pdf)

7. G. Di Marzo Serugendo, M.-P. Gleizes, A. Karageorgos. "Self-organisation and emergence in MAS: an overview", Informatica 30(1): 45-54, Slovene Society Informatika, Ljubljana, Slovenia, 2006. (pdf)

8. G. Di Marzo Serugendo, M.-P. Gleizes, A. Karageorgos. "Self-Organisation in MAS", Knowledge Engineering Review 20(2):165-189, Cambridge University Press, 2005. (pdf)

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

10. 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.

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

 

books

1. Self-Organizing Software – From Natural to Artificial Adaptation. G. Di Marzo Serugendo, M.-P. Gleizes, A. Karageorgos (Eds). Natural Computing Series, Springer, To Appear.

2. IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC'08). M. Singhal, G. Di Marzo Serugendo, J. P. Tsai, W.-C. Lee, K. Romer, Y.-C. Tseng, H. C. W. Hsiao, (eds). IEEE Computer Society Press, June 2008.

3. First IEEE International Conference on Self-Adaptive and Self-Organizing Ssytems (SASO 2007). G. Di Marzo Serugendo, J.-P. Martin-Flatin, M. Jelasity, F. Zambonelli (Eds). IEEE Computer Society Press, July 2007.

4. Engineering Self-Organising Systems. S. Brueckner, G. Di Marzo Serugendo, D. Hales, F. Zambonelli (Eds), LNAI 3910, Springer-Verlag, 2006.

5. Engineering Self-Organising Systems - Methodologies and Applications. S. Brueckner, G. Di Marzo Serugendo, A. Karageorgos, R. Nagpal (Eds), LNAI 3464, Springer-Verlag, June 2005.

6. 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.

 


book chapters / invited papers

1. G. Di Marzo Serugendo, M.-P. Gleizes, A. Karageorgos. Self-Organising Systems. In Self-Organizing Software – From Natural to Artificial Adaptation. G. Di Marzo Serugendo, M.-P. Gleizes, A. Karageorgos (Eds). Natural Computing Series, Springer, To appear.  Chapter 2.

2. G. Di Marzo Serugendo, M.-P. Gleizes, A. Karageorgos. History and Definitions. In Self- Organizing Software – From Natural to Artificial Adaptation. G. Di Marzo Serugendo, M.-P. Gleizes, A. Karageorgos (Eds). Natural Computing Series, Springer, To appear.  Chapter 3.

3. M.-P. Gleizes, V. Camps, A. Karageorgos, G. Di Marzo Serugendo,. Agents and Multi-Agent Systems. In Self-Organizing Software – From Natural to Artificial Adaptation. G. Di Marzo Serugendo, M.-P. Gleizes, A. Karageorgos (Eds). Natural Computing Series, Springer, To appear.  Chapter 5.

4. C. Bernon, M.-P. Gleizes, F. Migeon, G. Di Marzo Serugendo,. Engineering Self-Organising Systems. In Self-Organizing Software – From Natural to Artificial Adaptation. G. Di Marzo Serugendo, M.-P. Gleizes, A. Karageorgos (Eds). Natural Computing Series, Springer, To appear.  Chapter 12.

5. A. A. Villalba Castro, G. Di Marzo Serugendo, D. Konstantas. Hovering Information - Self-Organising Information that Finds its own Storage. Autonomic Communication Vasilakos, A.; Parashar, M.; Karnouskos, S.; Pedrycz, W. (Eds.) Springer, 2009. (pdf)

6. Betty H. C. Cheng et al. “Software Engineering for Self-Adaptive Systems: A Research Roadmap”. In Software Engineering for Self-Adaptive Systems. LNCS 5525, pp.1-26, Springer-Verlag, 2009  (pdf)

7. Y. Brun, G. Di Marzo Serugendo, C. Gacek, H. Giese, H. Kienle, M. Litoiu, H. Mueller, M. Pezze, M. Shaw. “Engineering Self-Adaptive Systems through Feedback Loops”. In Software Engineering for Self-Adaptive Systems. LNCS 5525, pp. 49-70, Springer-Verlag, 2009. (pdf)

8. Martin Kelly, G. Di Marzo Serugendo.  "A decentralised car traffic control system simulation using local message propagation optimised with a genetic algorithm". In Engineering Self-Organising Systems, 4th International Workshop, ESOA'06, LNAI 4335, pp. 192-210, Springer-Verlag, 2007. (pdf)

9. G. Di Marzo Serugendo. "Autonomous Systems with Emergent Behaviour". Chapter in “Handbook of Research on Nature Inspired Computing for Economy and Management”. Jean-Philippe Rennard (Ed), Idea Group, Inc., Hershey-PA, USA, pp. 429-443, September 2006. (pdf)

10. G. Di Marzo Serugendo. "On the use of formal specifications as part of running programs." Invited Paper. Software Engineering for Large-Scale Multi-Agent Systems (SELMAS’05). LNCS 3914, pp. 224-237, May 2006. (pdf)

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

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

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

14. 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. Jose Luis Fernandez-Marquez, Josep Lluis Arcos and Giovanna Di Marzo Serugendo, Matteo Casadei: Description and Composition of Bio-Inspired Design Patterns: The Gossip Case. IEEE Conference on Engineering of Auonomic and Autonomous Systems. April 2011. (pdf)

2. Di Marzo Serugendo, G. and Frei, R. (2010). Experience report in developing and applying a method for self-organisation to agile manufacturing. IEEE Int. Conf. on Self-Adaptive and Self- Organizing Systems (SASO), Budapest, Hungary, 2010. (pdf)

3. Jose Luis Fernandez-Marquez, Josep Lluis Arcos and Giovanna Di Marzo Serugendo: A Decentralized Approach for Detecting Dynamically Changing Diffuse Event Sources in Noisy WSN Environments. IEEE Int. Conf. on Self-Adaptive and Self-Organizing Systems (SASO), Budapest, Hungary, 2010. (pdf)

4. R. Frei, Nuno Pereira, Jose Belo, J. Barata, G. Di Marzo Serugendo. Implementing Self-Organisation and Self-Management in Evolvable Assembly Systems. IEEE International Symposium on Industrial Electronics (ISIE 2010), July 2010. (pdf)

5. G. Di Marzo Serugendo, J. Fitzgerald, A. Romanovsky. MetaSelf—An Architecture and Development Method for Dependable Self-* Systems. The 25th Symposium on Applied Computing (SAC 2010). Switzerland, March 2010 (pdf)

6. J. L. Fernandez, J. L. Arcos, G. Di Marzo Serugendo. Infrastructureless Storage in Dynamic Environments. The 25th Symposium on Applied Computing (SAC 2010). Switzerland, March 2010 . (pdf)

7. G. Di Marzo Serugendo. “Robustness and Dependability of Self-Organising Systems – A Safety Engineering Perspective”. The 11th International Symposium on Stabilization, Safety and Security of Distributed Systems (SSS 2009), Lyon, France, November 2009. (pdf)

8. R. Frei, G. Di Marzo Serugendo, J. Barata. An Architecture for Self-Managing Evolvable Assembly Systems. IEEE International Conference on Systems, Man and Cybernetics, San Antonio, Texas, October 2009. (pdf)

9. M. Puviani, G. Di Marzo Serugendo, R. Frei, G. Cabri. Methodologies for self-organising systems: a SPEM approach. IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT’09), Milan, Italy, September 2009. (pdf)

10. R. Frei, G. Di Marzo Serugendo, J. Barata. Designing Self-Organization for Evolvable Assembly Systems. To appear. Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems. Isola di San Servolo (Venice), Italy, October 20-24, 2008, pp.97-106. (pdf)

11. A. A. Villalba Castro, G. Di Marzo Serugendo, D. Konstantas. Hovering Information - Self-Organising Information that Finds its own Storage. International IEEE Conference on Sensor Networks, Ubiquitous and Trustworthy Computing, Taichung, Taiwan, 11-13 June 2008, pp. 193-200. (pdf)

12. M. Kelly, G. Di Marzo Serugendo. Decentralised Car Traffic Control Using Message Propagation and Re-routing. The 10th International IEEE Conference on Intelligent Transportation Systems. (ITSC'07). September 2007. (pdf)

13. M. Kelly, G. Di Marzo Serugendo. Decentralised Car Traffic Control Using Message Propagation Optimized with a Genetic Algorithm. IEEE Congress on Evolutionary Computation (CEC 2007). September 2007. (pdf)

14. Arne-Jørgen Berre, Giovanna Di Marzo Serugendo, Djamel Khadraoui, François Charoy, George Athanasopoulos, Michael Pantazoglou, Jean-Henry Morin, Pavlos Moraitis, Nikolaos Spanoudakis, “SAMBA – An Agent architecture for Ambient Intelligence Elements Interoperability”, Third International Conference on Interoperability of Enterprise Software and Applications (I-ESA’07), 2007 (pdf)

15. G. Di Marzo Serugendo, J. Fitzgerald, A. Romanovsky, N. Guelfi. "A Metadata-Based Architectural Model for Dynamically Resilient Systems", Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Corea, March 11-15, 2007, pp. 566-573, ACM 2007. (pdf)

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

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

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

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

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

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

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

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

24. C. F. Tschudin, G. Di Marzo, M. Muhugusa, J. Harms, " Welche Sicherheit fur Mobilen Code?", SIS'96 Conference, March 21-22, 1996, Vienna.

25. 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. Jose Luis Fernandez-Marquez, Josep Lluis Arcos and Giovanna Di Marzo Serugendo: A Decentralized Approach for Detecting Dynamically Changing Diffuse Event Sources in Noisy WSN Environments. European Workshop on Multi-Agent Systems. EUMAS 2010. (pdf)

2. A. A. Villalba Castro, G. Di Marzo Serugendo, D. Konstantas. Hovering Information - Infrastructure-Free Self-Organising Location-Aware Information Dissemination Service. Second ERCIM Workhop on eMobility in conjunction with WWIC 08, Tampere, Finland, May 2008. (pdf)

3. G. Di Marzo Serugendo, A. Villalba Castro, D. Konstantas: "Dependable Requirements for Hovering Information", To appear in the Supplementary Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07), June 2007. (pdf)

4. R. Frei, J. Barata, G. Di Marzo Serugendo. "A Complexity Theory Approach to Evolvable Production Systems", In Proceedings of the International Workshop on Multi-Agent Robotic Systems (MARS 2007), Peter Sapaty and Joaquim Filipe (Eds), INSTICC Press, pp 44-53, May 2007, Portugal (pdf)

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

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

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

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

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

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

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

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

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

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

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

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

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

18. 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.

 


newsletters 

1. G. Di Marzo Serugendo, J. Fitzgerald. “Designing and Controlling Trustworthy Self-Organising Systems”. PerAda Magazine. DOI:  10.2417/2200903.1534

2. G. Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos "AgentLink Third Technical Forum Group Self-Organisation in Multi-Agent”, AgentLink Newsletter, Issue 19, ISSN 1465-3842, pp. 25, November 2005.

3. G. Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos "AgentLink Second Technical Forum Group Self-Organisation in Multi-Agent”, AgentLink Newsletter, Issue 17, ISSN 1465-3842, pp. 24-25, April 2005.

4. G. Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos "AgentLink First Technical Forum Group Self-Organisation in Multi-Agent Systems”, AgentLink Newsletter, Issue 16, ISSN 1465-3842, pp. 23-24, December 2004.

 

 

PhD / MSc Thesis

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

2. G. Di Marzo, "ACCESS - Algebraic Concurrent Events for System Specification"  , MSc Computer Science Thesis, Faculty of Science, University of Geneva, Switzerland, 1994. (pdf)

3. G. Di Marzo, "RODAS5(4) - Méthodes de Rosenbrock d'ordre 5(4) adaptées aux problemes différentiels-algébriques", MSc Mathematics Thesis, Faculty of Science, University of Geneva, Switzerland, 1993. (pdf)

 

unpublished

1. G. Di Marzo Serugendo, M. Oriol: "Let's Try the I'am Feeling Lucky Approach", 2003. (pdf)

2. G. Di Marzo Serugendo, "Refinement Patterns for System Design", Draft, December 2000.

3. G. Di Marzo Serugendo, "A Temporal Logic for CO-OPN/2", Draft. March 2000.

 

technical reports