Search filters

List of works by Marco Autili

6th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2024)

scientific article published on 22 October 2024

A Choreography-Based and Collaborative Road Mobility System for L’Aquila City

scientific article published on 14 June 2019

A Model-Based Synthesis Process for Choreography Realizability Enforcement

A Software Exoskeleton to Protect and Support Citizen’s Ethics and Privacy in the Digital World

scientific article published in 2019

A Tool-Supported Methodology for Validation and Refinement of Early-Stage Domain Models

A development process for requirements based service choreography

article

Aiding the realization of service-oriented distributed systems

scientific article published on 8 April 2019

An Integrated Development and Runtime Environment for the Future Internet

scientific article published in 2012

Assessing Dependability for Mobile and Ubiquitous Systems: Is There a Role for Software Architectures?

scientific article published in 2012

Automated Integration of Service-Oriented Software Systems

scientific article published in 2015

Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications

scientific article published in 2015

Automated Synthesis of Service Choreographies

scientific article published in January 2015

Biological Immunity and Software Resilience: Two Faces of the Same Coin?

scientific article published in 2015

CHOREOS: Large scale choreographies for the future internet

scientific article published in February 2014

CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems

scientific article published in 2020

CHOReVOLUTION: Service choreography in practice

scientific article published in October 2020

Cooperative Intelligent Transport Systems: Choreography-Based Urban Traffic Coordination

scientific article published in April 2021

Developing highly complex distributed systems: a software engineering perspective

scientific article published on 25 November 2011

Different Glasses to Look into the Three Cs: Component, Connector, Coordination

scientific article published in 2019

Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains

scientific article published on 19 March 2019

Distributed Enforcement of Service Choreographies

scientific article published on 11 February 2015

EAGLE

Handling uncertainty in the specification of autonomous multi-robot systems through mission adaptation

scientific article published on 07 June 2024

Highly collaborative distributed systems: Synthesis and enactment at work

scientific article published on 30 September 2020

IEEE Services Visionary Track on Service Composition for the Future Internet (SCFI 2015)

scientific article published in June 2015

Integration Architecture Synthesis for Taming Uncertainty in the Digital Space

article by Marco Autili et al published 2012 in Lecture Notes in Computer Science

Introducing Trust in Service-Oriented Distributed Systems through Blockchain

scientific article published in October 2019

Model-driven adaptation of service choreographies

scientific article published on 9 April 2018

ModelLAND: Where Do Models Come from?

article by Marco Autili et al published 2014 in Lecture Notes in Computer Science

On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed Systems

scientific article published on 22 December 2015

On the model-driven synthesis of evolvable service choreographies

scientific article published on 24 September 2018

Producing software by integration: challenges and research directions (keynote)

Run Time Models in Adaptive Service Infrastructure

scientific article published in 2010

SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors

scientific article published on 30 March 2006

SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems

scientific article published in May 2007

Self-aware Computing Systems: Related Concepts and Research Areas

scientific article published in 2017

Software engineering techniques for statically analyzing mobile apps: research trends, characteristics, and potential for industrial adoption

scientific article published on 23 July 2021

Synthesis and Verification of Self-aware Computing Systems

scientific article published in 2017

Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems

scientific article published in 2006

Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution

scientific article published in 2017

Synthesis of Resilient Choreographies

scientific article published in 2013

Synthesis of context‐aware business‐to‐business processes for location‐based services through choreographies

scientific article published on 13 December 2021

Synthesis of correct and distributed adaptors for component-based systems

scientific article published on 7 November 2005

Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems

scientific article published in December 2008

Thematic series on Verification and Composition for the Internet of Services and Things

scientific article published on 17 April 2018

Thematic series on service composition for the future internet

article

Towards a Connector Algebra

scientific article published in 2010

Towards the synthesis of context-aware choreographies

scientific article published in October 2020

Transition Strategies for Increasing Self-awareness in Existing Types of Computing Systems

scientific article published in 2017

Paulina is supported by:

About Paulina

Help