Massimo Tivoli Vis

*	2009
30	EE	Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli: Automatic synthesis of behavior protocols for composable web-services. ESEC/SIGSOFT FSE 2009: 141-150
29	EE	Valé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
28	EE	Betty 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
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

Coauthor Index

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