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 |