♂ Person: Massimo Tivoli

DBLP: Tivoli:Massimo

Facilitated 7 volumes:

PrCo

PrCo

Ed

PrCh

PrCo

PrCo

PrCo

Contributed to:

2015

2014

2013

2013

2013

2011

2011

2009

2007

2007

2005

2005

2004

2002

2003

2002

2001

2015

2016

Wrote 20 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.

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.

ICSE-2013-InverardiT #automation #composition #protocol #synthesis

Automatic synthesis of modular connectors via composition of protocol mediation patterns (PI, MT), pp. 3–12.

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.

SFM-2011-InverardiST #synthesis

Application-Layer Connector Synthesis (PI, RS, MT), pp. 148–190.

ESEC-FSE-2009-BertolinoIPT #automation #behaviour #composition #protocol #synthesis

Automatic synthesis of behavior protocols for composable web-services (AB, PI, PP, MT), pp. 141–150.

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.

TACAS-2007-TivoliFGG #adaptation #component #realtime #synthesis

Adaptor Synthesis for Real-Time Components (MT, PF, AG, GG), pp. 185–200.

ASE-2005-FredrikssonTC #analysis #component #design #development #framework #non-functional

A component-based development framework for supporting functional and non-functional analysis in control system design (JF, MT, IC), pp. 368–371.

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.

WICSA-2005-TivoliG #adaptation #architecture #component #synthesis

Adaptor Synthesis for Protocol-Enhanced Component Based Architectures (MT, DG), pp. 276–277.

CBSE-2004-TivoliIPFS #assembly #component #data transformation

Correct Components Assembly for a Product Data Management Cooperative System (MT, PI, VP, AF, MS), pp. 84–99.

CBSE-2003-InverardiT #assembly #component #composition #synthesis

A compositional synthesis of failure-free connectors for correct components assembly (PI, MT), p. 17.

SFM-2003-InverardiT #architecture #assembly #component

Software Architecture for Correct Components Assembly (PI, MT), pp. 92–121.

CBSE-2002-InverardiT #approach #architecture #assembly #automation #component #off the shelf

Correct and automatic assembly of COTS components: an architectural approach (PI, MT), p. 3.

ESEC-FSE-2001-InverardiT #automation #concurrent #synthesis

Automatic synthesis of deadlock free connectors for COM/DCOM applications (PI, MT), pp. 121–131.

ASE-2015-BozhinoskiRMPT #multi #named

FLYAQ: Enabling Non-expert Users to Specify and Generate Missions of Autonomous Multicopters (DB, DDR, IM, PP, MT), pp. 801–806.

MoDELS-2016-RuscioMPT #automation #generative

Automatic generation of detailed flight plans from high-level mission descriptions (DDR, IM, PP, MT), pp. 45–55.