TIVOLI, MASSIMO

TIVOLI, MASSIMO  

Dipartimento di Ingegneria e scienze dell informazione e matematica  

Mostra records
Risultati 1 - 20 di 104 (tempo di esecuzione: 0.029 secondi).
Titolo Data di pubblicazione Autore(i) File
A Framework for Analyzing and Testing the Performance of Software Services 1-gen-2008 Bertolino, A; DE ANGELIS, G; DI MARCO, Antinisca; Inverardi, Paola; Sabetta, A; Tivoli, Massimo
An Adaptation-based Approach to Incrementally Build Component Systems 1-gen-2007 Poizat, P; Salaun, G; Tivoli, Massimo
Adaptor synthesis for protocol-enhanced component based architectures 1-gen-2005 Tivoli, Massimo; Garlan, D.
Adaptor synthesis for real-time components 1-gen-2007 Tivoli, Massimo; Fradet, P; Girault, A; Goessler, G.
Aiding the Realization of Service-oriented Distributed Systems 1-gen-2019 Autili, Marco; DI SALLE, Amleto; Gallo, Francesco; Pompilio, Claudio; Tivoli, Massimo
An architectural approach to the correct and automatic assembly of evolving component-based systems 1-gen-2008 Pelliccione, Patrizio; A., Bucchiarone; AND A., Polini; Tivoli, Massimo
Application-Layer Connector Synthesis 1-gen-2011 Inverardi, Paola; Spalazzese, Romina; Tivoli, Massimo
Architectural Style for the Development of Choreographies in the Future Internet 1-gen-2014 Athanasopoulos, D; Autili, Marco; Georgantas, N; Issarny, V; Tivoli, Massimo; Zarras, A.
Assessing Dependability for Mobile and Ubiquitous Systems: Is There a Role for Software Architectures? 1-gen-2012 Autili, M; Inverardi, P; Tivoli, M
Automated Inference of Models for Black Box Systems based on Interface Descriptions 1-gen-2012 Merten, M; Howar, F; Steffen, B; Pelliccione, Patrizio; Tivoli, Massimo
Automated integration of service-oriented software systems 1-gen-2015 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 1-gen-2019 Autili, Marco; Inverardi, Paola; Spalazzese, Romina; Tivoli, Massimo; Mignosi, Filippo
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 1-gen-2015 Autili, Marco; Inverardi, Paola; Mignosi, Filippo; Spalazzese, R; Tivoli, Massimo
Automated Synthesis of Service Choreographies 1-gen-2015 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
Automatic adaptor synthesis for protocol transformation 1-gen-2004 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
Automatic failures-free connector synthesis: An example 1-gen-2004 Inverardi, Paola; Tivoli, Massimo
Automatic Generation of detailed Flight Plans from High-level Mission Descriptions 1-gen-2016 DI RUSCIO, Davide; Malavolta, Ivano; Pelliccione, Patrizio; Tivoli, Massimo
Automatic synthesis of behavior protocols for composable web-services 1-gen-2009 Bertolino, A; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo
Automatic synthesis of coordinators of COTS group-ware applications: an example 1-gen-2003 Inverardi, Paola; Tivoli, Massimo; Bucchiarone, A.
Automatic Synthesis of Deadlock free connectors for COM/DCOM Applications 1-gen-2001 Inverardi, Paola; Tivoli, Massimo