Patrizio Pelliccione

2008
26	EE	Henry Muccini, Patrizio Pelliccione: Simulating Software Architectures for Functional Analysis. WICSA 2008: 289-292
25	EE	Marco Autili, Patrizio Pelliccione: Towards a Graphical Tool for Refining User to System Requirements. Electr. Notes Theor. Comput. Sci. 211: 147-157 (2008)
2007
24	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
23	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
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	[24]
2	Marco Autili	[13] [20] [25]
3	Antonio Bucchiarone	[5] [12] [14] [16] [19]
4	Mauro Caporuscio	[4] [6] [9] [10]
5	Alfredo Capozucca	[15] [17]
6	Daniela Colangelo	[18]
7	Daniele Compare	[3] [18]
8	Vittorio Cortellessa	[7]
9	Hoa Dung Ha Duong	[22] [24]
10	Fabrizio Facchini	[12]
11	Nicolas Guelfi	[15] [17] [23]
12	Paola Inverardi	[1] [2] [3] [4] [6] [7] [8] [10] [11] [13] [18] [20]
13	Fabio Mancinelli	[2] [7]
14	Antinisca Di Marco	[7]
15	Christian Melchiorre	[22] [24]
16	Eike Michael Meyer	[22] [24]
17	Henry Muccini	[1] [2] [5] [8] [9] [11] [12] [16] [19] [21] [23] [26]
18	Ignacio Nieto	[22] [24]
19	Ezio Di Nisio	[9]
20	Gerard París	[22]
21	Alfonso Pierantonio	[10]
22	P. Pierini	[5]
23	Andrea Polini	[14]
24	Alexander Romanovsky (Alexander B. Romanovsky)	[17] [21] [23]
25	Davide Di Ruscio	[10]
26	Alessandra Sebastiani	[3]
27	Frédérique Tastet-Cherel	[22] [24]
28	Massimo Tivoli	[14]
29	Avelino Francisco Zorzo (Avelino F. Zorzo)	[17]

Colors in the list of coauthors