Giovanna Di Marzo Serugendo

Giovanna Di Marzo Serugendo
University of Geneva | UNIGE · Centre Universitaire d'Informatique (CUI) - Institute of Services Science (ISS)

PhD in Software Engineering

About

210
Publications
28,482
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
5,183
Citations
Citations since 2016
35 Research Items
2090 Citations
2016201720182019202020212022050100150200250300
2016201720182019202020212022050100150200250300
2016201720182019202020212022050100150200250300
2016201720182019202020212022050100150200250300
Introduction
My current interests are related to the engineering of autonomous systems, self-assembly of software, self-organising, self-adaptive and large-scale services. I am exploring reliability and controllability issues of self-organising systems; formal methods and proofs of properties of self-organising systems; and decentralised algorithms. Applications areas encompass: autonomous displays, industrial assembly systems, dynamically resilient systems, and socio-technical systems.
Additional affiliations
August 2010 - present
University of Geneva
Position
  • Professor
Description
  • Full professor, director of the institute
August 2010 - March 2016
University of Geneva
Position
  • Professor, Director
October 2005 - July 2010
Birkbeck, University of London
Position
  • Lecturer
Description
  • Lecturer
Education
September 1996 - March 1999
École Polytechnique Fédérale de Lausanne
Field of study
  • Software Engineering
October 1988 - March 1994
University of Geneva
Field of study
  • Computer Science
October 1987 - March 1993
University of Geneva
Field of study
  • Mathematics

Publications

Publications (210)
Article
This article reviews various conceptual views behind the digital twins paradigm, highlights software technologies to develop digital twins, analyzes the use of digital twins during the lifecycle of industrial assets, and discusses a generic scenario from the electricity domain.
Article
Full-text available
The past three decades of policy process studies have seen the emergence of a clear intellectual lineage with regard to complexity. Implicitly or explicitly, scholars have employed complexity theory to examine the intricate dynamics of collective action in political contexts. However, the methodological counterparts to complexity theory, such as co...
Article
Full-text available
Digital technology has the potential to eradicate extreme poverty and food insecurity to the majority of smallholder farmers in the world. This paper aims to identify knowledge gaps on digital technology for sustainable agriculture and assess their availability to smallholder farmers worldwide. The particular case of Tanzania receives special atten...
Article
Full-text available
Digital technology has the potential to eradicate extreme poverty and food insecurity to the majority of smallholder farmers in the world. This paper aims to identify knowledge gaps on digital technology for sustainable agriculture and assess their availability to smallholder farmers worldwide. The particular case of Tanzania receives special atten...
Article
Full-text available
Writing study regulations for academic study programs and automatically implementing those regulations is a difficult task that involves a variety of actors and requires at each step careful compliance to the constraints defined in the regulations. This paper describes: (1) the innovation process, taking place through a hands-on experiment, that le...
Article
Full-text available
Consciousness has been hypothesized to operate as a global workspace, which accesses and integrates multimodal information in a uni_ed manner, supports expectation violation monitoring and reduction, and the motivation, programming and control of action. One important yet open issue concerns how the subjective perspective at the core of consciousne...
Conference Paper
Full-text available
There is an increasing interest from Utilities or electro-intensive electricity users to use the digital representation of electrical assets, i.e., "digital twins", with the aim of increased life span, decreased operation cost and increase operation safety. The reality is that such ambition faces many difficulties for real industrial deployment, es...
Preprint
Full-text available
While policy process theory has converged on the view that policymaking can be studied as a complex system, the literature has only minimally used the methodological complement to the theory - experiments performed with computational models. Implementations are rare, mainly pushed by computer scientists in trans-disciplinary work and often so detac...
Article
Full-text available
Forecasts announce that the number of connected objects will exceed 20 billion by 2025. Objects, such as sensors, drones or autonomous cars participate in pervasive applications of various domains ranging from smart cities, quality of life, transportation, energy, business or entertainment. These inter-connected devices provide storage, computing a...
Article
Full-text available
In this paper, we describe an innovative process towards digital transformation in the high-educational field, developed at the University of Geneva since 2016. It aims to provide novel services identified proactively as of high value for improving student and university members experience. This approach is made possible through our Digital Innovat...
Preprint
Full-text available
The role of consciousness in biological cybernetics remains an essential yet open question. We applied the principles of the Projective Consciousness Model (PCM) to derive a unified model of appraisal and social-affective perspective taking, and their role in the motivation of action. We show how the PCM can account for known relationships between...
Article
Full-text available
By studying and modelling the behaviour of Dictyostelium discoideum, we aim at deriving mechanisms useful for engineering collective artificial intelligence systems. This paper discusses a selection of agent-based models reproducing second-order behaviour of Dictyostelium discoideum, occurring during the migration phase; their corresponding biologi...
Article
Full-text available
Collective behaviour in nature provides a source of inspiration to engineer artificial collective adaptive systems, due to their mechanisms favouring adaptation to environmental changes and enabling complex emergent behaviour to arise from a relatively simple behaviour of individual entities. As part of our ongoing research, we study the social amo...
Conference Paper
Service self-composition is a well-understood research area focusing on service-based applications providing new services by automatically combining pre-existing ones. In this paper we focus on tuple-based coordination, and propose a solution leveraging logic tuples and tuple spaces to support semantic self-composition for services. A full-stack de...
Preprint
Service self-composition is a well-understood research area focusing on service-based applications providing new services by automatically combining pre-existing ones. In this paper we focus on tuple-based coordination, and propose a solution leveraging logic tuples and tuple spaces to support semantic self-composition for services. A full-stack de...
Article
Full-text available
This paper presents a model for representing compliance rules related to subsurface objects. Rules expressed in this model can be automatically evaluated (using SHACL or SPARQL) on existing 3D city models expressed in RDF. The main characteristics of the proposed model are (1) its expressiveness, that comes from the use of formal ontologies for rep...
Article
Full-text available
Context-aware, pervasive systems, mobile devices, intelligent virtual assistants activating services or controlling connected devices are pervading our everyday life. These systems rely on centralized services provided by servers in a cloud gathering all requests, performing pre-defined computations and involving pre-defined devices. Large-scale sc...
Article
Complexity of intra- and inter-systems interactions is steadily increasing in modern application scenarios such as the Internet of Things, therefore coordination technologies are required to take a crucial step forward towards full maturity. In this paper we look back at the history of the COORDINATION conference series with the goal of shedding li...
Article
This article proposes an automated methodology for the analysis of online political discourse. Drawing from the discourse quality index (DQI) by Steenbergen et al., it applies a machine learning–based quantitative approach to measuring the discourse quality of political discussions online. The DelibAnalysis framework aims to provide an accessible,...
Article
Full-text available
Increase in access to mobile phone devices and social media networks has changed the way people report and respond to disasters. Community-driven initiatives such as Stand By Task Force (SBTF) or GISCorps have shown great potential by crowdsourcing the acquisition, analysis, and geolocation of social media data for disaster responders. These initia...
Chapter
Context-aware and pervasive systems are growing in the market segments. This is due to the expansion of Internet of things (IoT) devices. Current solutions rely on centralized services provided by servers gathering all requests and performing pre-defined computations involving pre-defined devices. Large-scale IoT scenarios, involving adaptation and...
Article
Collective behaviour in nature provides a source of inspiration for engineering artificial systems (e.g. robotics, ecosystems of services), due to their inherent mechanisms favouring adaptation to environmental changes and enabling complex emergent behaviour to arise from a relatively simple behaviour of individual entities. The first-order emergen...
Conference Paper
In neighbourhoods, the number of energy generators are growing. A main reason for this being the rise in people’s energy needs and the possibility of local energy production. Future scenarios involve people’s choices of energy type (mostly green) as well as sharing energy among neighbours. This article investigates the use of spatial services appli...
Article
Modern artificial systems, such as cooperative traffic systems or swarm robotics, are made of multiple autonomous agents, each handling uncertain, partial and potentially inconsistent information, used in their reasoning and decision making. Graded reasoning, being a suitable tool for addressing phenomena related to such circumstances, is investiga...
Article
Full-text available
Traffic congestion is one of the main issues in the study of transportation planning and management. It creates different problems including, environmental pollution, health problem and incur a cost which is increasing through years. One third of this congestion is created by cars searching for parking places. Drivers may be aware that parking plac...
Conference Paper
The current paper is devoted to paraconsistent approximate reasoning with graded truth-values. In our previous paper we introduced a family of many-valued logics parameterized by a number of truth/falsity grades together with a corresponding family of rule languages with tractable query evaluation. Such grades are shown here to be a natural qualita...
Conference Paper
This paper is devoted to paraconsistent approximate reasoning with graded truth-values. In the previous research we introduced a family of many-valued logics parameterized by a variable number of truth/falsity grades together with a corresponding family of rule languages with tractable query evaluation. Such grades are shown here to be a natural qu...
Conference Paper
Ubiquitous and context-aware sensors are increasing in number and aim at providing comfort and better life quality. They are spatially distributed and their computation capacity is still under-exploited. Spatial Edge Service are a new generation of services exploiting IoT and spatially distributed data. They result from collective and decentralised...
Article
Full-text available
Mobile devices make it possible to create, store, access, share or publish personal content on the Internet, anywhere and at anytime. This leads to situations of potential intentional or unintentional misuse of content as well as privacy issues. Recent techniques involving the use of contextual information focus on access of documents stored in clo...
Conference Paper
Rigorous engineering of self-organising and self-adaptive systems is a challenging activity. Interactions with humans and unexpected entities, dependence on contextual information for self-organisation and adaptation represent just some of the factors complicating the co- ordination process among multiple entities of the system. Recently we propose...
Conference Paper
This paper summarises some of the discussion held during the panel of the ISOLA’2016 conference on whether artificial systems actually adapt to unforeseen situations and whether we master autonomous adaptive systems. We focus here on three questions: (1) What is a collective adaptive system and what are the elements to consider when engineering a c...
Conference Paper
In this paper we define a spatial language used to verify global properties of self-organizing systems at run- time. The language can be used to assess spatial properties of system components to check desired global properties of the system against emergent global behaviors arising from local interactions among components. The spatial language exte...
Conference Paper
The assessment of emergent global behaviors of self-organizing applications is an important task to accomplish before employing such systems in real scenarios, yet their intrinsic complexity make this activity still challenging. In this paper we present a logic language used to verify graph-based global properties of self-organizing systems at run-...
Conference Paper
Full-text available
Integrated clinical environments (ICEs) consist of interoperable medical devices that seamlessly exchange data and commands to create safety interlocks and closed loop controls to improve the quality of care delivered to the patient. Currently at the prototype stage, they promise to form the basis of a new generation of healthcare systems for high...
Conference Paper
Chemical-based coordination models have proven useful to engineer self-organising and self-adaptive systems. Formal assessment of emergent global behaviours in self-organising systems is still an issue, most of the time emergent properties are being analysed through extensive simulations. This paper aims at integrating logic programs into a chemica...
Article
Pervasive systems are intended to make use of services and components that they encounter in their environment. Such systems are naturally spatial in that they can only be understood in terms of the ways in which components meet and interact in space. Rather than treating spatiality separately from system components, researchers are starting to dev...
Conference Paper
This paper presents The ONE-SAPERE simulator, the first simulator combining an opportunistic network environment simulator with a middleware for pervasive systems, the SAPERE Middleware, which has already been released for Android devices and PCs.
Chapter
Full-text available
In this chapter, Jose Luis Fernandez-Marquez et al. propose an approach to engineering self-organizing software systems toward self-adaptation and resilience from an architectural point of view. They argue that the adaptation of complete systems is different from the adaptation of single components within the systems and propose an architectural ap...
Article
Next generation of socio-technical infrastructures will be characterized by the presence of complex networks of pervasive systems, composed of thousands of heterogeneous devices consuming and producing high-volumes of interdependent data. Smart-cities represent an example of these future digital scenarios: by using wide area mobile ad-hoc networks...
Conference Paper
Although the research area of self-organising systems is well established, their construction is often ad hoc. Consequently, such software is difficult reuse across applications that require similar functionality of have similar goals. The development of self-organising applications and, a fortiori, self-organising mobile applications is therefore...
Article
Service-oriented programming has dramatically changed the way software applications are developped, promoting reusability of code and easing the design of complex applications. Actual techniques for automatic composition of services present several limitations to be used in the context of future pervasive scenarios: (1) limited scalability due to c...
Article
A new category of services based on data propagation among mobile devices is evolving. Traditionally, distributed applications are engineered on top of a mobile infrastructure in an ad hoc manner that does not conform to standard software engineering practices, such as modularization and reuse. Furthermore, current service-oriented approaches are n...
Chapter
As described in the previous chapter, self-organizing systems exhibit adaptation and resilience features, but the assessment and measurement of these features is not trivial, even if it would be very useful in order to quantify the adaptation and the resilience of different approaches and to compare systems. In this chapter, Matteo Risoldi, Jose Lu...
Article
This article reviews the existing work in self-healing and self-repairing technologies, including work in software engineering, materials, mechanics, electronics, MEMS, self-reconfigurable robotics, and others. It suggests a terminology and taxonomy for self-healing and self-repair, and discusses the various related types of other self-* properties...
Article
Full-text available
We introduce fractal social organizations—a novel class of socio-technical complex systems characterized by a distributed, bio-inspired, hierarchical architecture. Based on a same building block that is recursively applied at different layers, said systems provide a homogeneous way to model collective behaviors of different complexity and scale. Ke...
Conference Paper
Full-text available
This paper discusses the notion of self-organising mechanisms, such as spreading or gossip, provided as services on top of which more complex applications can be built. Their functionality is provided as the result of the interactions among several entities, possibly distributed across several nodes. Self-organising services are either provided as...
Conference Paper
Full-text available
This tutorial will first review the main bio-inspired self-organizing mechanisms available from the literature, such as gradient, gossip, or digital pheromone, explaining the links and relationships between them. The talk will then present these mechanisms under the form of design patterns, detailing what problem they address and what solution they...
Conference Paper
This paper shows how to use a well defined set of self-organizing services for establishing and preserving a confidential and adaptive channel between two communicating entities on top of an ad-hoc mobile network.
Conference Paper
This paper describes the notion of context-aware data flows sensitive to their environment, other nearby flows, propagating and behaving according to self-organising principles. This paves the way for a new category of spatially-situated pervasive services based on data propagation among mobile devices.
Article
Full-text available
This paper presents Tuple MapReduce, a new foundational model extending MapReduce with the notion of tuples. Tuple MapReduce allows to bridge the gap between the low-level constructs provided by MapReduce and higher-level needs required by programmers, such as compound records, sorting, or joins. This paper shows as well Pangool, an open-source fra...
Conference Paper
Full-text available
This paper proposes Tuple MapReduce, a new foundational model extending MapReduce with the notion of tuples. Tuple MapReduce allows to bridge the gap between the low-level constructs provided by MapReduce and higher-level needs required by programmers, such as compound records, sorting or joins. This paper presents as well Pangool, an opensource fr...
Conference Paper
It is described an abstract model for the definition and the dynamic evolution of "communities of actants" originating from a given reference society of roles. Multiple representations are provided, showing how communities evolve with respect to their reference societies. In particular we show how such representations are self-similar and factorisa...
Conference Paper
Full-text available
Self-organising assembly systems (SOASs) are advanced assembly systems that play an active role in their own design and during production. Agentified modules participate in their own arrangement in the system layout, monitor themselves and self-adapt to production conditions. In previous works, we addressed the design phase of the assembly system....
Conference Paper
Full-text available
Systems with self-* properties are often governed by certain rules. This article reflects on the underlying concepts, principles and mechanisms with the goal to make them accessible to the engineering of socio-technical systems composed of humans, agents, robots and other entities. Simulations in Presage, a platform for prototyping agent societies,...
Article
Full-text available
Pervasive service ecosystems are a new par-adigm for the design of context-aware systems featur-ing adaptivity and self-awareness. A theoretical and practical framework has been proposed for address-ing these scenarios, taking primary inspirations from natural ecosystems and grounding upon two basic ab-stractions: "live semantic annotations" (LSAs)...
Conference Paper
Full-text available
Investigations of self-organizing mechanisms, of-ten inspired by phenomena in natural or societal systems, have yielded a wealth of techniques for the self-adaptation of complex, large-and ultra-large-scale software systems. The principled design of self-adaptive software using prin-ciples of self-organization remains challenging. Several studies h...
Conference Paper
Full-text available
The development of communications systems in general, and the Internet in particular, has given billions of people the opportunity to connect and share content with audiences to which they would otherwise never have had access to. Nowadays, anyone can publish and share content, whether personal or not, on the Internet. In addition, the ubiquitousne...
Conference Paper
The possibility to have millions of computational devices interconnected across urban environments opens up novel application areas. In such highly distributed scenarios, applications must gain awareness as a result of opportunistic encounters with co-located devices, a departure from traditional reasoning approaches. We envision situated awareness...
Conference Paper
Full-text available
In large scale networks, agents must use partial knowledge obtained from local interactions to reason about their environment. They require efficient mechanisms to allow them to retrieve and aggregate information beyond their communication range. Even though proposals have been presented for gathering information in large scale wireless sensor netw...
Article
Full-text available
This article summarizes five relevant methods for developing self-organizing multiagent systems. It identifies their most relevant aspects and provides a description of each one under the form of method fragments expressed using SPEM (Software and System Process Engineering Metamodel). The use of a “metamodel” to describe fragments facilitates the...
Conference Paper
Full-text available
This paper discusses the notion of “core bio-inspired services” - low-level services providing basic bio-inspired mechanisms, such as evaporation, aggregation or spreading - shared by higher-level services or applications. Design patterns descriptions of self-organising mechanisms, such as gossip, morphogenesis, or foraging, show that these higher-...
Conference Paper
Full-text available
Socio-technical collective adaptive systems (CAS) are composed of different heterogeneous parts or entities (e.g., individuals, groups, computers, robots, agents, devices, software, services, sensors) that interact collectively in a complex and largely unpredictable manner. Their ability to be adaptive requires incorporating mechanisms that allow e...