M. Bastien Chopard, Professeur Adjoint, Giovanna Di, Marzo Serugendo, M. Dimitri Konstantas, ...
TH `ESE pr'esent'ee `a la Facult'e des sciences 'economiques et sociales de l'Universit'e de Gen`eve par
Formal Development ofJava Based Web Parallel Applications � (2008)
Giovanna Di, Marzo Serugendo, Nicolas Guel
The Java object-oriented programming language has been the subject of an important involvement from programmers and the industry. Especially for applications related to the Web. The problem of such a...
Hovering Information- Self-Organising Information that Finds its Own Storage (2008)
Dimitri Konstantas, Giovanna Di, Marzo Serugendo
A piece of Hovering Information is a geo-localized information residing in a highly dynamic environment such as a mobile ad hoc network. This information is attached to a geographical point, called...
Giovanna Di, Marzo Serugendo, ...
– Large scale open distributed systems – Autonomous and heterogeneous entities – Decentralised control – Large number of components
AUTONOMOUS SYSTEMS WITH EMERGENT BEHAVIOUR (2008)
This chapter presents the notion of autonomous engineered systems working without central control, through self-organisation and emergent behaviour. It argues that future large scale applications...
Specification-Carrying Code for Self-Managed Systems (2008)
Giovanna Di, Marzo Serugendo, Michel Deriaz
Abstract. This paper proposes the notion of Specification-Carrying Code as an interaction mechanism for self-assembly of autonomous decentralised software components. Each autonomous software entity...
Self-Organisation: Paradigms and Applications (2008)
Giovanna Di, Marzo Serugendo, Noria Foukia, Salima Hassas, Anthony Karageorgos, Soraya Kouadri Mostéfaoui, ...
Abstract. A self-organising system functions without central control, and through contextual local interactions. Components achieve a simple task individually, but a complex collective behaviour...
On the Use of Formal Specifications as Part of Running Programs (2008)
Abstract. Issues related to large scale systems made of autonomous components encompass interoperability among independently developed software and adaptability to changing environmental conditions....
Dependable Self-organising Software Architectures- An Approach for Self-Managing Systems (2008)
Giovanna Di, Marzo Serugendo, John Fitzgerald, Er Romanovsky, Nicolas Guelfi
Abstract. We argue that principles from the design of dependable software, especially separation of concerns and the use of formality, can be applied beneficially in the construction of self-managing...
THE ALICE CENTRAL TRIGGER PROCESSOR (2008)
I. J. Bloodworth, G. Di, Marzo Serugendo, D. Evans, G. T. Jones, P. Jovanovic, ...
The principal features of the ALICE Central Trigger Processor are presented, as described in the draft User Requirement Document currently under discussion. 1.
Designing Fault-Tolerant Mobile Systems (2007)
Giovanna Di, Marzo Serugendo, Alexander Romanovsky
Abstract. The purpose of this paper is to investigate how several innovative techniques, not all initially intended for fault-tolerance, can be applied in providing fault tolerance of complex mobile...
For the ALICE collaboration (2007)
T. Anticic, G. Di, Marzo Serugendo, E Vyvre, O. Villalobos Baillie, P. Jovanovic
The ALICE Trigger and Data Acquisition (TRG/DAQ) System is required to support n aggregate event building bndwidth of up to 4 GByte/s nd a storage capability of up to 1.25 GByte/s to mass storage....
Giovanna Di, Marzo Serugendo, Nicolas Guelfi, Alexander Romanovsky, Avelino Zorzo
The objectives of this paper are twofold. On the one hand, it aims to show the advantages of Coordinated Atomic actions (CA actions) as a design concept for dependable distributed system development,...
Giovanna Di, Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi
This report defines synchronised Petri nets with inhibitor arcs and an extension of these nets that integrates real-time constraints. The semantics of these nets is given by a transition system built...
This paper presents first a formal development methodology that enables a specifier to add complexity progressively into the system design, and to formally validate each step wrt client's...
A Formal Development and Validation Methodology for System Design (2007)
This paper presents first a formal development methodology that enables the validation of formal specifications as well as program codes wrt client’s requirements. The methodology is based on the...
A Formal Development and Validation Methodology for System Design (2007)
This paper presents first a formal development methodology that enables the validation of formal specifications as well as program codes wrt client's requirements. The methodology is based on...
A Formal Development and Validation Methodology Applied to Agent-Based Systems (2007)
Abstract. This paper presents first a formal development methodology that enables a specifier to add complexity progressively into the system design, and to formally validate each step wrt...
Dependable requirements for hovering information (2007)
Hovering information is a new concept denoting information that stays attached to a specific geographical location rather than to a specific host. As a result, when deployed over a mobile set of...
Self-organisation and emergence in mas: An overview (2006)
Giovanna Di, Marzo Serugendo, Marie-pierre Gleizes, Anthony Karageorgos
The spread of the Internet and the evolution of mobile communication, have created new possibilities for software applications such as ubiquitous computing, dynamic supply chains and medical home...
Self-organisation and emergence in mas: An overview (2006)
Giovanna Di, Marzo Serugendo, Marie-pierre Gleizes, Anthony Karageorgos
The spread of the Internet and the evolution of mobile communication, have created new possibilities for software applications such as ubiquitous computing, dynamic supply chains and medical home...
Towards a Secure and Efficient Model for Grid Computing using Mobile Code (2002)
Walter Binder, Giovanna Di, Marzo Serugendo, Jarle Hulaas
Abstract. Mobile code has often been mentioned as an attractive technol-ogy for distributing computations inside a Grid consisting of heterogeneous nodes interconnected by a large-scale network. We...
Abstract — This paper provides a unifying view for the engineering of self-adaptive (SA) and self-organising (SO) systems. We first identify requirements for designing and building trustworthy...
COALA - A Formal Language for Coordinated Atomic Actions (1998)
Julie Vachon, Didier Buchs, Mathieu Bu O, Giovanna Di, Marzo Serugendo, Brian R, ...
A Coordinated Atomic Action (CA action) is a uni ed scheme for coordinating complex concurrent activities and supporting error recovery between multiple interacting objects in distributed...
Survey of Theories for Mobile Agents (1995)
Giovanna Di Marzo, Giovanna Di, Marzo Serugendo, Murhimanya Muhugusa, Christian Tschudin, Jurgen Harms, ...
This paper investigates existing formalisms related to one or more features of the messenger paradigm: mobile processes, distributed processes, agents, communication through shared memory. A summary...
G. Di, Marzo Serugendo, J. S. Fitzgerald, A. Romanovsky, N. Guelfi, Giovanna Di, ...
This paper provides a unifying view for the engineering of self-adaptive (SA) and self-organising (SO) systems. We first identify requirements for designing and building trustworthy self-adaptive and...