Giovanna Di Marzo Serugendo

According to our database1, Giovanna Di Marzo Serugendo authored at least 89 papers between 1998 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Leaders and Followers: A Design Pattern for Second-Order Emergence.
Proceedings of the IEEE 4th International Workshops on Foundations and Applications of Self* Systems, 2019

2018
Paraconsistent Rule-based Reasoning with Graded Truth Values.
FLAP, 2018

Coordination Model with Reinforcement Learning for Ensuring Reliable On-Demand Services in Collective Adaptive Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

2017
Heterogeneous Approximate Reasoning with Graded Truth Values.
Proceedings of the Rough Sets - International Joint Conference, 2017

Spatial edge services.
Proceedings of the Global Internet of Things Summit, 2017

Spatial Edge Services - From Coordination Model to Actual Applications.
Proceedings of the Coordination Models and Languages, 2017

2016
Spatial awareness in pervasive ecosystems.
Knowledge Eng. Review, 2016

Engineering Adaptivity, Universal Autonomous Systems Ethics and Compliance Issues - ISOLA'2016 - Panel Discussion Position Paper.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Logic Fragments: Coordinating Entities with Logic Programs.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015
Preface to Formal Coordination and Self-organisation: Special section including selected best papers from CM 2012-2013.
Sci. Comput. Program., 2015

Developing pervasive multi-agent systems with nature-inspired coordination.
Pervasive Mob. Comput., 2015

Social Amoeba Dictyostelium Discoideum as an Inspiration for Swarm Robotics.
Proceedings of the 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems, 2015

A Logic Language for Run Time Assessment of Spatial Properties in Self-Organizing Systems.
Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015

Towards a Spatial Language for Run-Time Assessments in Self-Organizing Systems.
Proceedings of the 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems, 2015

Logic Fragments: A Coordination Model Based on Logic Inference.
Proceedings of the Coordination Models and Languages, 2015

2014
Tuple MapReduce and Pangool: an associated implementation.
Knowl. Inf. Syst., 2014

Self-organising assembly systems formally specified in Maude.
J. Ambient Intell. Humaniz. Comput., 2014

The ONE-SAPERE Simulator: A Prototyping Tool for Engineering Self-Organisation in Pervasive Environments.
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2014

Self-Organising and Context-Aware Data Flows.
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2014

Self-managing and self-organising mobile computing applications: a separation of concerns approach.
Proceedings of the Symposium on Applied Computing, 2014

Self-composition of services with chemical reactions.
Proceedings of the Symposium on Applied Computing, 2014

Self-composition of Services in Pervasive Systems: A Chemical-Inspired Approach.
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2014

2013
Description and composition of bio-inspired design patterns: a complete overview.
Natural Computing, 2013

Injecting Self-Organisation into Pervasive Service Ecosystems.
MONET, 2013

Self-Organising Services.
Proceedings of the 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2013

From Self-Organizing Mechanisms to Design Patterns to Engineering Self-Organizing Applications.
Proceedings of the 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2013

Secure Channel Service for MANETs.
Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013

2012
A method fragments approach to methodologies for engineering self-organizing systems.
TAAS, 2012

A Decentralized Approach for Detecting Dynamically Changing Diffuse Event Sources in noisy WSN Environments.
Applied Artificial Intelligence, 2012

Service-oriented Communities: Models and Concepts Towards Fractal Social Organizations.
Proceedings of the Eighth International Conference on Signal Image Technology and Internet Based Systems, 2012

SmartContent: A Self-Protecting and Context-Aware Active Content.
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012

Towards Situated Awareness in Urban Networks: A Bio-Inspired Approach.
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012

Augmenting the Repertoire of Design Patterns for Self-Organized Software by Reverse Engineering a Bio-Inspired P2P System.
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2012

Analysis of New Gradient Based Aggregation Algorithms for Data-Propagation in Mobile Networks.
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012

Formal Modeling of Socio-technical Collective Adaptive Systems.
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012

Tuple MapReduce: Beyond Classic MapReduce.
Proceedings of the 12th IEEE International Conference on Data Mining, 2012

2011
Conclusions.
Proceedings of the Self-organising Software - From Natural to Artificial Adaptation, 2011

History and Definitions.
Proceedings of the Self-organising Software - From Natural to Artificial Adaptation, 2011

Self-organising Systems.
Proceedings of the Self-organising Software - From Natural to Artificial Adaptation, 2011

Introduction.
Proceedings of the Self-organising Software - From Natural to Artificial Adaptation, 2011

Agents and Multi-Agent Systems.
Proceedings of the Self-organising Software - From Natural to Artificial Adaptation, 2011

Engineering Self-organising Systems.
Proceedings of the Self-organising Software - From Natural to Artificial Adaptation, 2011

Self-Organizing Assembly Systems.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2011

Infrastructureless Spatial Storage Algorithms.
TAAS, 2011


Advances in complexity engineering.
IJBIC, 2011

Concepts in complexity engineering.
IJBIC, 2011

Self-organising Pervasive Ecosystems: A Crowd Evacuation Example.
Proceedings of the Software Engineering for Resilient Systems, 2011

Modeling Self-* Systems Using Chemically-Inspired Composable Patterns.
Proceedings of the 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2011

BIO-CORE: Bio-inspired Self-organising Mechanisms Core.
Proceedings of the Bio-Inspired Models of Networks, Information, and Computing Systems, 2011

2010
Ambient intelligence in self-organising assembly systems using the chemical reaction model.
J. Ambient Intell. Humaniz. Comput., 2010

Experience Report in Developing and Applying a Method for Self-Organisation to Agile Manufacturing.
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

MetaSelf: an architecture and a development method for dependable self-* systems.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Infrastructureless storage in dynamic environments.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Hovering Information - Self-Organizing Information that Finds its Own Storage.
Proceedings of the Autonomic Communication, 2010

2009
Robustness and Dependability of Self-Organizing Systems - A Safety Engineering Perspective.
Proceedings of the Stabilization, 2009

An Architecture for Self-Managing Evolvable Assembly Systems.
Proceedings of the IEEE International Conference on Systems, 2009

Methodologies for Self-Organising Systems: A SPEM Approach.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009


Engineering Self-Adaptive Systems through Feedback Loops.
Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009

2008
Activity-Based Computing.
IEEE Pervasive Computing, 2008

Hovering Information - Self-Organising Information that Finds Its Own Storage.
Proceedings of the IEEE International Conference on Sensor Networks, 2008

Designing Self-Organization for Evolvable Assembly Systems.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

User Defined Geo-referenced Information.
Proceedings of the Software and Data Technologies - Third International Conference, 2008

A Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems.
Proceedings of the Organic Computing - Controlled Self-organization, 30.03. - 04.04.2008, 2008

2007
WG2: Software engineering for organic computing applications (SE4OC).
Proceedings of the Software Engineering 2007, 2007

A metadata-based architectural model for dynamically resilient systems.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Decentralised Car Traffic Control using Message Propagation and Re-routing.
Proceedings of the IEEE Intelligent Transportation Systems Conference, 2007

SAMBA - An Agent architecture for Ambient Intelligence Elements Interoperability.
Proceedings of the Enterprise Interoperability II, 2007

Decentralised car traffic control using message propagation optimized with a genetic algorithm.
Proceedings of the IEEE Congress on Evolutionary Computation, 2007

2006
Introduction.
TAAS, 2006

Self-Organisation and Emergence in MAS: An Overview.
Informatica (Slovenia), 2006

Self-Organising Mechanisms from Social and Business/Economics Approaches.
Informatica (Slovenia), 2006

A Service-Oriented Infrastructure for Adaptive Systems based on Specification-Carrying Code.
Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06, 2006

A Decentralised Car Traffic Control System Simulation Using Local Message Propagation Optimised with a Genetic Algorithm.
Proceedings of the Engineering Self-Organising Systems, 4th International Workshop, 2006

2005
Self-organization in multi-agent systems.
Knowledge Eng. Review, 2005

On the Use of Formal Specifications as Part of Running Programs.
Proceedings of the Software Engineering for Multi-Agent Systems IV, 2005

2004
Disconnected service architecture for unanticipated run-time evolution of code.
IEE Proceedings - Software, 2004

Enhancing Java Grid Computing Security with Resource Control.
Proceedings of the Grid Services Engineering and Management, 2004

2003
Using Trust for Secure Collaboration in Uncertain Environments.
IEEE Pervasive Computing, 2003

Engineering Emergent Behaviour: A Vision.
Proceedings of the Multi-Agent-Based Simulation III, 4th International Workshop, 2003

Self-Organisation: Paradigms and Applications.
Proceedings of the Engineering Self-Organising Systems, 2003

2002
Designing Fault-Tolerant Mobile Systems.
Proceedings of the Scientific Engineering for Distributed Java Applications, 2002

Real-Time Synchronised Petri Nets.
Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2000
A Formal Development and Validation Methodology Applied to Agent-Based Systems.
Proceedings of the Infrastructure for Agents, 2000

1999
Formal Development and Validation of Java Dependable Distributed Systems.
Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS '99), 1999

1998
A Survey of Theories for Mobile Agents.
World Wide Web, 1998

Formal Development of Java Based Web Parallel Applications.
Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

Using Object-Oriented Algebraic Nets for the Reverse Engineering of Java Programs: A Case Study.
Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998


  Loading...