Massimo Tivoli Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli: Automatic synthesis of behavior protocols for composable web-services. ESEC/SIGSOFT FSE 2009: 141-150
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLValérie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon S. Blair, Paul Grace, Marta Z. Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, Antonino Sabetta: CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. ICECCS 2009: 154-161
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBetty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle: Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems 2009: 1-26
2008
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Autili, Paolo Di Benedetto, Davide Di Ruscio, Paola Inverardi, Massimo Tivoli: A development process for context-aware adaptive services. ASE Workshops 2008: 9-16
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Inverardi, Massimo Tivoli: The Future of Software: Adaptation and Dependability. ISSSE 2008: 1-31
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonia 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
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrizio 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)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Tivoli, Paola Inverardi: Failure-free coordinators synthesis for component-based architectures. Sci. Comput. Program. 71(3): 181-212 (2008)
2007
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Inverardi, Massimo Tivoli: A reuse-based approach to the correct and automatic composition of web-services. ESSPE 2007: 29-33
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Autili, Paola Inverardi, Alfredo Navarra, Massimo Tivoli: SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems. ICSE 2007: 784-787
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler: Adaptor Synthesis for Real-Time Components. TACAS 2007: 185-200
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Poizat, Gwen Salaün, Massimo Tivoli: An Adaptation-based Approach to Incrementally Build Component Systems. Electr. Notes Theor. Comput. Sci. 182: 155-170 (2007)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli: Preface. Electr. Notes Theor. Comput. Sci. 189: 1-3 (2007)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMikael Å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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Autili, Michele Flammini, Paola Inverardi, Alfredo Navarra, Massimo Tivoli: Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems. EWSA 2006: 17-32
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Bucchiarone, Andrea Polini, Patrizio Pelliccione, Massimo Tivoli: Towards an architectural approach for the dynamic and automatic composition of software components. ROSATEA 2006: 12-21
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Tivoli, Marco Autili: SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors. L'OBJET 12(1): 77-103 (2006)
2005
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohan 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Inverardi, Leonardo Mostarda, Massimo Tivoli, Marco Autili: Synthesis of correct and distributed adaptors for component-based systems: an automatic approach. ASE 2005: 405-409
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Tivoli, David Garlan: Adaptor Synthesis for Protocol-Enhanced Component Based Architectures. WICSA 2005: 276-277
2004
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Tivoli, Paola Inverardi, Valentina Presutti, Alessandro Forghieri, Maurizio Sebastianis: Correct Components Assembly for a Product Data Management Cooperative System. CBSE 2004: 84-99
2003
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Inverardi, Massimo Tivoli: Software Architecture for Correct Components Assembly. SFM 2003: 92-121
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Inverardi, Massimo Tivoli, Antonio Bucchiarone: Automatic synthesis of coordinators for COTS group-ware applications: an example. WETICE 2003: 123-
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Inverardi, Massimo Tivoli: Deadlock-free software architectures for COM/DCOM Applications. Journal of Systems and Software 65(3): 173-183 (2003)
2002
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Inverardi, Massimo Tivoli: Automatic Failures-Free Connector Synthesis: An Example. RISSEF 2002: 184-197
2001
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Inverardi, Massimo Tivoli: Automatic synthesis of deadlock free connectors for COM/DCOM applications. ESEC / SIGSOFT FSE 2001: 121-131

Coauthor Index

1Mikael Åkerholm [15]
2Jesper Andersson [28]
3Guglielmo De Angelis [25]
4Marco Autili [9] [11] [13] [19] [20] [24] [27]
5Basil Becker [28]
6Steffen Becker [7] [14] [16]
7Nelly Bencomo [28]
8Paolo Di Benedetto [27]
9L. Berardinelli [19]
10Antonia Bertolino [25] [29] [30]
11Gordon S. Blair [29]
12Antonio Brogi [7]
13Yuriy Brun [28]
14Antonio Bucchiarone [4] [12] [23]
15Radu Calinescu [29]
16Carlos Canal (Carlos Canal Velasco) [14] [16]
17Jan Carlson [15]
18Betty H. C. Cheng [28]
19Vittorio Cortellessa [19]
20Ivica Crnkovic [10]
21Bojan Cukic [28]
22Nikolay Diakov [14] [16]
23Schahram Dustdar [28]
24Anthony Finkelstein [28]
25Michele Flammini [13]
26Alessandro Forghieri [6]
27Pascal Fradet [18]
28Johan Fredriksson [10] [15]
29Cristina Gacek [28]
30David Garlan [8]
31Kurt Geihs [28]
32Holger Giese [28]
33Alain Girault [18]
34Ian Gorton [7]
35Gregor Gößler [18]
36Paul Grace [29]
37Vincenzo Grassi [28]
38John Håkansson [15]
39Hans Hansson [15]
40Paola Inverardi [1] [2] [3] [4] [5] [6] [9] [13] [19] [20] [21] [22] [25] [26] [27] [28] [29] [30]
41Valérie Issarny [29]
42Bengt Jonsson [29]
43Gabor Karsai [28]
44Holger M. Kienle [28]
45Jeff Kramer [28]
46Marta Z. Kwiatkowska [29]
47Rogério de Lemos [28]
48Marin Litoiu [28]
49Jeff Magee (Jeff N. Magee) [28]
50Sam Malek [28]
51Antinisca Di Marco [19] [25]
52Raffaela Mirandola [28]
53Anders Möller [15]
54Leonardo Mostarda [9] [24]
55Hausi A. Müller [28]
56Juan Manuel Murillo (Juan Manuel Murillo Rodriguez) [14] [16]
57Alfredo Navarra [13] [20] [24]
58Sven Overhage [7]
59Sooyong Park [28]
60Patrizio Pelliccione [12] [23] [30]
61Paul Pettersson [15]
62Pascal Poizat [14] [16] [17]
63Andrea Polini [12] [23]
64Valentina Presutti [6]
65Alexander Romanovsky (Alexander B. Romanovsky) [7]
66Davide Di Ruscio [19] [27]
67Antonino Sabetta [25] [29]
68Gwen Salaün [17]
69Maurizio Sebastianis [6]
70Giovanna Di Marzo Serugendo [28]
71Mary Shaw [28]
72Bernhard Steffen [29]
73Matthias Tichy [28]
74Danny Weyns [28]
75Jon Whittle (Jonathan Whittle) [28]

Copyright © Fri Nov 20 16:48:08 2009 by Michael Ley (ley@uni-trier.de)