♂ Person: Marco Autili

DBLP: Autili:Marco

Facilitated 1 volumes:

PrCo

Contributed to:

2015

2014

2014

2013

2013

2011

2009

2007

2008

2005

Wrote 10 papers:

LATA-2015-AutiliIMST #automation #specification #synthesis

Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications (MA, PI, FM, RS, MT), pp. 3–24.

CSMR-WCRE-2014-AutiliIT #internet #named #scalability

CHOREOS: Large scale choreographies for the future internet (MA, PI, MT), pp. 391–394.

FSE-2014-AutiliRSP #internet #named

CHOReOSynt: enforcing choreography realizability in the future internet (MA, DDR, ADS, AP), pp. 723–726.

ESEC-FSE-2013-InverardiARPT #challenge #integration #research

Producing software by integration: challenges and research directions (PI, MA, DDR, PP, MT), pp. 2–12.

FASE-2013-AutiliRSIT #modelling #process #synthesis

A Model-Based Synthesis Process for Choreography Realizability Enforcement (MA, DDR, ADS, PI, MT), pp. 37–52.

ESEC-FSE-2011-AutiliCRIPT #named #nondeterminism #ubiquitous

EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty (MA, VC, DDR, PI, PP, MT), pp. 488–491.

FASE-2009-AutiliBI #adaptation #approach

Context-Aware Adaptive Services: The PLASTIC Approach (MA, PDB, PI), pp. 124–139.

ICSE-2007-AutiliINT #automation #component #distributed #named #synthesis

SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems (MA, PI, AN, MT), pp. 784–787.

GT-VMT-2006-AutiliP08 #requirements #towards #visual notation

Towards a Graphical Tool for Refining User to System Requirements (MA, PP), pp. 147–157.

ASE-2005-InverardiMTA #adaptation #approach #automation #component #distributed #synthesis

Synthesis of correct and distributed adaptors for component-based systems: an automatic approach (PI, LM, MT, MA), pp. 405–409.