Patrizio Pelliccione Vis

*	2009
40	EE	Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli: Automatic synthesis of behavior protocols for composable web-services. ESEC/SIGSOFT FSE 2009: 141-150
39	EE	Ivano Malavolta, Henry Muccini, Patrizio Pelliccione: Integrating AADL within a Multi-domain Modeling Framework. ICECCS 2009: 341-346
38	EE	Antonio Cicchetti, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio: Towards a Framework for Distributed and Collaborative Modeling. WETICE 2009: 149-154
37	EE	Antonio Bucchiarone, Patrizio Pelliccione, Charlie Vattani, Olga Runge: Self-Repairing systems modeling and verification using AGG. WICSA/ECSA 2009: 181-190
36	EE	Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli: Towards maintainer script modernization in FOSS distributions CoRR abs/0909.5087: (2009)
35	EE	Antonio Bucchiarone, Davide Di Ruscio, Henry Muccini, Patrizio Pelliccione: From Requirements to code: an Architecture-centric Approach for producing Quality Systems CoRR abs/0910.0493: (2009)
34	EE	Patrizio Pelliccione, Paola Inverardi, Henry Muccini: CHARMY: A Framework for Designing and Verifying Architectural Specifications. IEEE Trans. Software Eng. 35(3): 325-346 (2009)
33	EE	Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander Romanovsky, Avelino Francisco Zorzo: Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study. Journal of Systems and Software 82(2): 207-228 (2009)
32	EE	Juan A. Botía Blaya, Isabelle M. Demeure, Paolo Gianrossi, Pedro García López, Juan Antonio Martínez Navarro, Eike Michael Meyer, Patrizio Pelliccione, Frédérique Tastet-Cherel: POPEYE: providing collaborative services for ad hoc and spontaneous communities. Service Oriented Computing and Applications 3(1): 25-45 (2009)
	2008
31	EE	Ivano Malavolta, Henry Muccini, Patrizio Pelliccione: DUALLY: A framework for Architectural Languages and Tools Interoperability. ASE 2008: 483-484
30	EE	Henry Muccini, Patrizio Pelliccione: Simulating Software Architectures for Functional Analysis. WICSA 2008: 289-292
29	EE	Doron Peled, Patrizio Pelliccione, Paola Spoletini: Model Checking. Wiley Encyclopedia of Computer Science and Engineering 2008
28	EE	Marco Autili, Patrizio Pelliccione: Towards a Graphical Tool for Refining User to System Requirements. Electr. Notes Theor. Comput. Sci. 211: 147-157 (2008)
27	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)
	2007
26		Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky: Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007 ACM 2007
25	EE	Marcel Arrufat, Hoa Dung Ha Duong, Christian Melchiorre, Eike Michael Meyer, Ignacio Nieto, Patrizio Pelliccione, Frédérique Tastet-Cherel: POPEYE: A simple and reliable collaborative working environment over mobile ad-hoc networks. CollaborateCom 2007: 399-407
24	EE	Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky: EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. ESEC/SIGSOFT FSE 2007: 617-618
23	EE	Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky: EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. ESEC/SIGSOFT FSE (Companion) 2007: 617-618
22	EE	Hoa Dung Ha Duong, Christian Melchiorre, Eike Michael Meyer, Ignacio Nieto, Gerard París, Patrizio Pelliccione, Frédérique Tastet-Cherel: A Software Architecture for Reliable Collaborative Working Environments. WETICE 2007: 176-177
21	EE	Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky: Architecting Fault Tolerant Systems. WICSA 2007: 43
20	EE	Marco Autili, Paola Inverardi, Patrizio Pelliccione: Graphical scenarios for specifying temporal properties: an automated approach. Autom. Softw. Eng. 14(3): 293-340 (2007)
19	EE	Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione: Architecting Fault-tolerant Component-based Systems: from requirements to testing. Electr. Notes Theor. Comput. Sci. 168: 77-90 (2007)
	2006
18	EE	Daniela Colangelo, Daniele Compare, Paola Inverardi, Patrizio Pelliccione: Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach. FORTE 2006: 243-258
17	EE	Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander Romanovsky, Avelino F. Zorzo: CAA-DRIP: a framework for implementing Coordinated Atomic Actions. ISSRE 2006: 385-394
16	EE	Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione: A Practical Architecture-Centric Analysis Process. QoSA 2006: 127-144
15	EE	Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione: The Fault-Tolerant Insulin Pump Therapy. RODIN Book 2006: 59-79
14	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
13	EE	Marco Autili, Paola Inverardi, Patrizio Pelliccione: A scenario based notation for specifying temporal properties. SCESM 2006: 21-28
	2005
12	EE	Patrizio Pelliccione, Henry Muccini, Antonio Bucchiarone, Fabrizio Facchini: TeStor: Deriving Test Sequences from Model-Based Specifications. CBSE 2005: 267-282
11	EE	Paola Inverardi, Henry Muccini, Patrizio Pelliccione: CHARMY: an extensible tool for architectural analysis. ESEC/SIGSOFT FSE 2005: 111-114
10	EE	Mauro Caporuscio, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Alfonso Pierantonio: Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications. EWSA 2005: 130-145
9	EE	Mauro Caporuscio, Henry Muccini, Patrizio Pelliccione, Ezio Di Nisio: Rapid System Development Via Product Line Architecture Implementation. RISE 2005: 18-33
8	EE	Paola Inverardi, Henry Muccini, Patrizio Pelliccione: DUALLY: Putting in Synergy UML 2.0 and ADLs. WICSA 2005: 251-252
7	EE	Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi, Fabio Mancinelli, Patrizio Pelliccione: A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures. Electr. Notes Theor. Comput. Sci. 116: 31-44 (2005)
	2004
6	EE	Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione: Formal Analysis of Architectural Patterns. EWSA 2004: 10-24
5	EE	Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione, P. Pierini: Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing. FORTE Workshops 2004: 351-365
4	EE	Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione: Compositional Verification of Middleware-Based Software Architecture Descriptions. ICSE 2004: 221-230
	2003
3	EE	Daniele Compare, Paola Inverardi, Patrizio Pelliccione, Alessandra Sebastiani: Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle. FME 2003: 114-132
	2002
2	EE	Paola Inverardi, Fabio Mancinelli, Henry Muccini, Patrizio Pelliccione: An Experience in Architectural Extensions: Active Objects in J2EE. FIDJI 2002: 87-98
	2001
1	EE	Paola Inverardi, Henry Muccini, Patrizio Pelliccione: Automated Check of Architectural Models Consistency Using SPIN. ASE 2001: 346-349

Coauthor Index

1	Marcel Arrufat	[25]
2	Marco Autili	[13] [20] [28]
3	Antonia Bertolino	[40]
4	Juan A. Botía Blaya (Juan A. Botía)	[32]
5	Antonio Bucchiarone	[5] [12] [14] [16] [19] [27] [35] [37]
6	Mauro Caporuscio	[4] [6] [9] [10]
7	Alfredo Capozucca	[15] [17] [33]
8	Antonio Cicchetti	[38]
9	Daniela Colangelo	[18]
10	Daniele Compare	[3] [18]
11	Vittorio Cortellessa	[7]
12	Isabelle M. Demeure	[32]
13	Hoa Dung Ha Duong	[22] [25]
14	Fabrizio Facchini	[12]
15	Paolo Gianrossi	[32]
16	Nicolas Guelfi	[15] [17] [23] [24] [26] [33]
17	Paola Inverardi	[1] [2] [3] [4] [6] [7] [8] [10] [11] [13] [18] [20] [34] [40]
18	Pedro García López	[32]
19	Ivano Malavolta	[31] [39]
20	Fabio Mancinelli	[2] [7]
21	Antinisca Di Marco	[7]
22	Christian Melchiorre	[22] [25]
23	Eike Michael Meyer	[22] [25] [32]
24	Henry Muccini	[1] [2] [5] [8] [9] [11] [12] [16] [19] [21] [23] [24] [26] [30] [31] [34] [35] [38] [39]
25	Juan Antonio Martínez Navarro	[32]
26	Ignacio Nieto	[22] [25]
27	Ezio Di Nisio	[9]
28	Gerard París	[22]
29	Doron Peled	[29]
30	Alfonso Pierantonio	[10] [36] [38]
31	P. Pierini	[5]
32	Andrea Polini	[14] [27]
33	Alexander Romanovsky (Alexander B. Romanovsky)	[17] [21] [23] [24] [26] [33]
34	Olga Runge	[37]
35	Davide Di Ruscio	[10] [35] [36]
36	Alessandra Sebastiani	[3]
37	Paola Spoletini	[29]
38	Frédérique Tastet-Cherel	[22] [25] [32]
39	Massimo Tivoli	[14] [27] [40]
40	Charlie Vattani	[37]
41	Stefano Zacchiroli	[36]
42	Avelino Francisco Zorzo (Avelino F. Zorzo)	[17] [33]

Colors in the list of coauthors