2008 |
27 | EE | Marco Autili,
Paolo Di Benedetto,
Davide Di Ruscio,
Paola Inverardi,
Massimo Tivoli:
A development process for context-aware adaptive services.
ASE Workshops 2008: 9-16 |
26 | EE | Paola Inverardi,
Massimo Tivoli:
The Future of Software: Adaptation and Dependability.
ISSSE 2008: 1-31 |
25 | EE | Antonia Bertolino,
Guglielmo De Angelis,
Antinisca Di Marco,
Paola Inverardi,
Antonino Sabetta,
Massimo Tivoli:
A Framework for Analyzing and Testing the Performance of Software Services.
ISoLA 2008: 206-220 |
24 | EE | Marco Autili,
Leonardo Mostarda,
Alfredo Navarra,
Massimo Tivoli:
Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems.
Journal of Systems and Software 81(12): 2210-2236 (2008) |
23 | EE | Patrizio Pelliccione,
Massimo Tivoli,
Antonio Bucchiarone,
Andrea Polini:
An architectural approach to the correct and automatic assembly of evolving component-based systems.
Journal of Systems and Software 81(12): 2237-2251 (2008) |
22 | EE | Massimo Tivoli,
Paola Inverardi:
Failure-free coordinators synthesis for component-based architectures.
Sci. Comput. Program. 71(3): 181-212 (2008) |
2007 |
21 | EE | Paola Inverardi,
Massimo Tivoli:
A reuse-based approach to the correct and automatic composition of web-services.
ESSPE 2007: 29-33 |
20 | EE | Marco Autili,
Paola Inverardi,
Alfredo Navarra,
Massimo Tivoli:
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems.
ICSE 2007: 784-787 |
19 | EE | Marco Autili,
L. Berardinelli,
Vittorio Cortellessa,
Antinisca Di Marco,
Davide Di Ruscio,
Paola Inverardi,
Massimo Tivoli:
A Development Process for Self-adapting Service Oriented Applications.
ICSOC 2007: 442-448 |
18 | EE | Massimo Tivoli,
Pascal Fradet,
Alain Girault,
Gregor Gößler:
Adaptor Synthesis for Real-Time Components.
TACAS 2007: 185-200 |
17 | EE | Pascal Poizat,
Gwen Salaün,
Massimo Tivoli:
An Adaptation-based Approach to Incrementally Build Component Systems.
Electr. Notes Theor. Comput. Sci. 182: 155-170 (2007) |
16 | EE | Steffen Becker,
Carlos Canal,
Nikolay Diakov,
Juan Manuel Murillo,
Pascal Poizat,
Massimo Tivoli:
Preface.
Electr. Notes Theor. Comput. Sci. 189: 1-3 (2007) |
15 | EE | Mikael Åkerholm,
Jan Carlson,
Johan Fredriksson,
Hans Hansson,
John Håkansson,
Anders Möller,
Paul Pettersson,
Massimo Tivoli:
The SAVE approach to component-based development of vehicular systems.
Journal of Systems and Software 80(5): 655-667 (2007) |
2006 |
14 | EE | Steffen Becker,
Carlos Canal,
Nikolay Diakov,
Juan Manuel Murillo,
Pascal Poizat,
Massimo Tivoli:
Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation.
ECOOP Workshops 2006: 72-86 |
13 | EE | Marco Autili,
Michele Flammini,
Paola Inverardi,
Alfredo Navarra,
Massimo Tivoli:
Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems.
EWSA 2006: 17-32 |
12 | EE | Antonio Bucchiarone,
Andrea Polini,
Patrizio Pelliccione,
Massimo Tivoli:
Towards an architectural approach for the dynamic and automatic composition of software components.
ROSATEA 2006: 12-21 |
11 | EE | Massimo Tivoli,
Marco Autili:
SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors.
L'OBJET 12(1): 77-103 (2006) |
2005 |
10 | EE | Johan Fredriksson,
Massimo Tivoli,
Ivica Crnkovic:
A component-based development framework for supporting functional and non-functional analysis in control system design.
ASE 2005: 368-371 |
9 | EE | Paola Inverardi,
Leonardo Mostarda,
Massimo Tivoli,
Marco Autili:
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach.
ASE 2005: 405-409 |
8 | EE | Massimo Tivoli,
David Garlan:
Adaptor Synthesis for Protocol-Enhanced Component Based Architectures.
WICSA 2005: 276-277 |
2004 |
7 | EE | Steffen Becker,
Antonio Brogi,
Ian Gorton,
Sven Overhage,
Alexander Romanovsky,
Massimo Tivoli:
Towards an Engineering Approach to Component Adaptation.
Architecting Systems with Trustworthy Components 2004: 193-215 |
6 | EE | Massimo Tivoli,
Paola Inverardi,
Valentina Presutti,
Alessandro Forghieri,
Maurizio Sebastianis:
Correct Components Assembly for a Product Data Management Cooperative System.
CBSE 2004: 84-99 |
2003 |
5 | EE | Paola Inverardi,
Massimo Tivoli:
Software Architecture for Correct Components Assembly.
SFM 2003: 92-121 |
4 | EE | Paola Inverardi,
Massimo Tivoli,
Antonio Bucchiarone:
Automatic synthesis of coordinators for COTS group-ware applications: an example.
WETICE 2003: 123- |
3 | EE | Paola Inverardi,
Massimo Tivoli:
Deadlock-free software architectures for COM/DCOM Applications.
Journal of Systems and Software 65(3): 173-183 (2003) |
2002 |
2 | EE | Paola Inverardi,
Massimo Tivoli:
Automatic Failures-Free Connector Synthesis: An Example.
RISSEF 2002: 184-197 |
2001 |
1 | EE | Paola Inverardi,
Massimo Tivoli:
Automatic synthesis of deadlock free connectors for COM/DCOM applications.
ESEC / SIGSOFT FSE 2001: 121-131 |