Antonio Bucchiarone

Chiranji Lal Chowdhary

Thippa Reddy Gadekallu

Proceedings of the IEEE Globecom Workshops, 2020

Learning Neural Search Policies for Classical Planning.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

Run-time and Collective Adaptation of Gameful Systems.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020

Size Matters: Microservices Research and Applications.

[BibT_eX]

[DOI]

Proceedings of the Microservices, Science and Engineering., 2020

DevOps and Its Philosophy: Education Matters!

[BibT_eX]

[DOI]

Proceedings of the Microservices, Science and Engineering., 2020

2019

The Resilience of "Planes, Trains, and Automobiles": Comment on "Driverless Cars Will Make Passenger Rail Obsolete, " by Yair Wiseman [Opinion].

[BibT_eX]

[DOI]

Philip Feldman

IEEE Technol. Soc. Mag., 2019

Collective Adaptation through Multi-Agents Ensembles: The Case of Smart Urban Mobility.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2019

ATLAS: A new way to exploit world-wide mobility services.

[BibT_eX]

[DOI]

Francisco Javier Royo Abancens

Softw. Impacts, 2019

Smart Construction: Remote and Adaptable Management of Construction Sites through IoT.

[BibT_eX]

[DOI]

Pablo Fernandez Vivanco

Orkhan Amiraslanov

Paul Lukowicz

IEEE Internet Things Mag., 2019

Cyber-Storms Come from Clouds: Security of Cloud Computing in the IoT Era.

[BibT_eX]

[DOI]

Future Internet, 2019

Size Matters: Microservices Research and Applications.

[BibT_eX]

[DOI]

CoRR, 2019

DevOps and its Philosophy : Education Matters!

[BibT_eX]

[DOI]

CoRR, 2019

Exploiting Multi-level Modelling for Designing and Deploying Gameful Systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

GDF: A Gamification Design Framework Powered by Model-Driven Engineering.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

A DevOps Perspective for QoS-Aware Adaptive Applications.

[BibT_eX]

[DOI]

Catia Trubiani

Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2019

A Model-Driven Approach Towards Automatic Migration to Microservices.

[BibT_eX]

[DOI]

Kemal Soysal

Claudio Guidi

Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2019

Teaching DevOps in Academia and Industry: Reflections and Vision.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2019

Ten Years of Self-adaptive Systems: From Dynamic Ensembles to Collective Adaptive Systems.

[BibT_eX]

[DOI]

Marina Mongiello

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

From Monolithic to Microservices: An Experience Report from the Banking Domain.

[BibT_eX]

[DOI]

Nicola Dragoni

Schahram Dustdar

Stephan Thordal Larsen

Manuel Mazzara

IEEE Softw., 2018

Towards an adaptive city journey planner with MDE.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

A Model-Driven Solution to Support Smart Mobility Planning.

[BibT_eX]

[DOI]

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

BASIC: Towards a Blockchained Agent-Based SImulator for Cities.

[BibT_eX]

[DOI]

Luana Marrocco

Eduardo Castelló Ferrer

Alex 'Sandy' Pentland

Proceedings of the Massively Multi-Agent Systems II - International Workshop, 2018

Diversity in Massively Multi-agent Systems: Concepts, Implementations, and Normal Accidents.

[BibT_eX]

[DOI]

Philip Feldman

Proceedings of the Massively Multi-Agent Systems II - International Workshop, 2018

Enacting Emergent Configurations in the IoT Through Domain Objects.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 16th International Conference, 2018

CARPooL: Collective Adaptation using concuRrent PLanning.

[BibT_eX]

[DOI]

Daniel Furelos-Blanco

Anders Jonsson

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Collective Adaptation through Concurrent Planning: the Case of Sustainable Urban Mobility.

[BibT_eX]

[DOI]

Daniel Furelos-Blanco

Anders Jonsson

Fahmida Khandokar

Monjur M. Mourshed

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

A context-aware framework for dynamic composition of process fragments in the internet of services.

[BibT_eX]

[DOI]

J. Internet Serv. Appl., 2017

Towards learning domain-independent planning heuristics.

[BibT_eX]

[DOI]

CoRR, 2017

CAStlE: A Tool for Collective Adaptive Systems Engineering.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 2017

Towards a Domain Specific Language for Engineering Collective Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 2017

ATLAS: A World-Wide Travel Assistant Exploiting Service-Based Adaptive Technologies.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 15th International Conference, 2017

2016

Domain Objects and Microservices for Systems Development: A Roadmap.

[BibT_eX]

[DOI]

Proceedings of 5th International Conference in Software Engineering for Defence Applications, 2016

Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016

SMART: A process-oriented methodology for resilient smart cities.

[BibT_eX]

[DOI]

Fahmida Khandokar

Monjur M. Mourshed

Proceedings of the IEEE International Smart Cities Conference, 2016

Incremental Composition for Adaptive By-Design Service Based Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2016

DeMOCAS: Domain Objects for Service-Based Collective Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - ICSOC 2016 Workshops, 2016

Decentralized Dynamic Adaptation for Service-Based Collective Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - ICSOC 2016 Workshops, 2016

Preface to DAS 2016.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Autonomic Computing, 2016

Leveraging Collective Run-Time Adaptation for UAV-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 42th Euromicro Conference on Software Engineering and Advanced Applications, 2016

2015

All Together Now: Collective Intelligence for Computer-Supported Collective Action.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015

An Approach for Collective Adaptation in Socio-Technical Systems.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015

Sustainable Safety in Mobile Multi-robot Systems via Collective Adaptation.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems, 2015

Distributed Service Co-evolution Based on Domain Objects.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - ICSOC 2015 Workshops, 2015

Design for Adaptation of Distributed Service-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 13th International Conference, 2015

Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the Software, 2015

2014

A Goal Model for Collective Adaptive Systems.

[BibT_eX]

[DOI]

Heorhi Raik

Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014

Collective Adaptation in Process-Based Systems.

[BibT_eX]

[DOI]

Heorhi Raik

Giuseppe Valetto

Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2014

Domain Objects for Dynamic and Incremental Service Composition.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented and Cloud Computing - Third European Conference, 2014

2013

CAptLang: a language for context-aware and adaptable business processes.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013

A conceptual framework for collective adaptive systems.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Domain Objects for Continuous Context-Aware Adaptation of Service-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse.

[BibT_eX]

[DOI]

Heorhi Raik

Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Towards Modeling and Execution of Collective Adaptive Systems.

[BibT_eX]

[DOI]

Vasilios Andrikopoulos

Santiago Gomez Saez

Dimka Karastoyanova

Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013

2012

SOAdapt: A process reference model for developing adaptable service-based applications.

[BibT_eX]

[DOI]

Stephen Lane

Ita Richardson

Inf. Softw. Technol., 2012

A Variable Context Model for Adaptable Service-Based Applications.

[BibT_eX]

[DOI]

Int. J. Adapt. Resilient Auton. Syst., 2012

ASTRO-CAptEvo: Dynamic Context-Aware Adaptation for Service-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE World Congress on Services, 2012

Dynamic Adaptation of Fragment-Based and Context-Aware Business Processes.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems.

[BibT_eX]

[DOI]

Clarissa Cassales Marquezan

Konstantinos Bratanis

Andreas Metzger

Proceedings of the First International Workshop on European Software Services and Systems Research, 2012

A car logistics scenario for context-aware adaptive service-based systems.

[BibT_eX]

[DOI]

Proceedings of the 4th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2012

Adaptivity in dynamic service-based systems.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on European Software Services and Systems Research, 2012

2011

Adaptation of service-based business processes by context-aware replanning.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

Using a Lifecycle Model for Developing and Executing Real-Time Online Applications on Clouds.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - ICSOC 2011 Workshops, 2011

CAptEvo: Context-Aware Adaptation and Evolution of Business Processes.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - ICSOC 2011 Workshops, 2011

A Context-Aware Framework for Business Processes Evolution.

[BibT_eX]

[DOI]

Proceedings of the Workshops Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, 2011

2010

A Framework for Rule-Based Dynamic Adaptation.

[BibT_eX]

[DOI]

Ivan Lanese

Fabrizio Montesi

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

Using a Lifecycle Model for Developing and Executing Adaptable Interactive Distributed Applications.

[BibT_eX]

[DOI]

Proceedings of the Towards a Service-Based Internet - Third European Conference, 2010

Service Engineering.

[BibT_eX]

[DOI]

Vasilios Andrikopoulos

Proceedings of the Service Research Challenges and Solutions for the Future Internet - S-Cube, 2010

Exploiting assumption-based verification for the adaptation of service-based applications.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

An experience in using a tool for evaluating a large set of natural language requirements.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

A context-driven adaptation process for service-based applications.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems, 2010

Formal Analysis and Verification of Self-Healing Systems.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2010

2009

From Requirements to code: an Architecture-centric Approach for producing Quality Systems

[BibT_eX]

[DOI]

CoRR, 2009

A Formalisation of Adaptable Pervasive Flows.

[BibT_eX]

[DOI]

Alberto Lluch-Lafuente

Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

Self-Repairing systems modeling and verification using AGG.

[BibT_eX]

[DOI]

Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, 2009

Design for Adaptation of Service-Based Applications: Main Issues and Requirements.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 2009

Dynamic Software Architecture Development: Towards an Automated Process.

[BibT_eX]

[DOI]

Maurice H. ter Beek

Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

2008

An architectural approach to the correct and automatic assembly of evolving component-based systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2008

Evaluation of Natural Language Requirements in the MODCONTROL Project.

[BibT_eX]

[DOI]

ERCIM News, 2008

A Graph-based Design Framework for Global Computing Systems.

[BibT_eX]

[DOI]

Greg Dennis

Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, 2008

Dynamic Software Architectures Verification using DynAlloy.

[BibT_eX]

[DOI]

Juan P. Galeotti

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

QuARS Express - A Tool Demonstration.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Graph-Based Design and Analysis of Dynamic Software Architectures.

[BibT_eX]

[DOI]

Alberto Lluch-Lafuente

Proceedings of the Concurrency, 2008

2007

Modelling Dynamic Software Architectures using Typed Graph Grammars.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, 2007

QoS Composition of Services for Data-Intensive Application.

[BibT_eX]

[DOI]

Luigi Presti

Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 2007

Web Service Composition Approaches: From Industrial Standards to Formal Methods.

[BibT_eX]

[DOI]

Maurice H. ter Beek

Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 2007

2006

Architecting Fault-tolerant Component-based Systems: from requirements to testing.

[BibT_eX]

[DOI]

Henry Muccini

Patrizio Pelliccione

Proceedings of the Second International Workshop on Views on Designing Complex Architectures, 2006

A Practical Architecture-Centric Analysis Process.

[BibT_eX]

[DOI]

Henry Muccini

Patrizio Pelliccione

Proceedings of the Quality of Software Architectures, 2006

Towards an architectural approach for the dynamic and automatic composition of software components.

[BibT_eX]

[DOI]

Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, 2006

2005

An Architecture-Centric Approach for Producing Quality Systems.

[BibT_eX]

[DOI]

Proceedings of the Quality of Software Architectures and Software Quality, 2005

Quality Analysis of NL Requirements: An Industrial Case Study.

[BibT_eX]

[DOI]

Pierluigi Pierini

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

TeStor: Deriving Test Sequences from Model-Based Specifications.

[BibT_eX]

[DOI]

Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005

2004

Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing.

[BibT_eX]

[DOI]

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

2003

Automatic synthesis of coordinators for COTS group-ware applications: an example.

[BibT_eX]

[DOI]

Paola Inverardi

Massimo Tivoli