Search results for "Patrizio Pelliccione"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Romina Eramo, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio	A model-driven approach to automate the propagation of changes among Architecture Description Languages.	Software and System Modeling	2012	DBLP DOI BibTeX RDF
1	Marco Autili, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli	Developing highly complex distributed systems: a software engineering perspective.	J. Internet Services and Applications	2012	DBLP DOI BibTeX RDF
1	Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione	Guaranteeing Correct Evolution of Software Product Lines.	ERCIM News	2012	DBLP BibTeX RDF
1	Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio	Managing the Evolution of FOSS Systems.	ERCIM News	2012	DBLP BibTeX RDF
1	Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio	Model-Driven Techniques to Enhance Architectural Languages Interoperability.	FASE	2012	DBLP DOI BibTeX RDF
1	Roberto Di Cosmo, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli	Supporting software evolution in component-based FOSS systems.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
1	Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione	Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem.	SERENE	2011	DBLP DOI BibTeX RDF
1	Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli	EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty.	SIGSOFT FSE	2011	DBLP DOI BibTeX RDF
1	Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Damien A. Tamburri	Providing Architectural Languages and Tools Interoperability through Model Transformation Technologies.	IEEE Trans. Software Eng.	2010	DBLP DOI BibTeX RDF
1	Patrizio Pelliccione, Henry Muccini, Nicolas Guelfi, Alexander Romanovsky	An Introduction to Software Engineering and Fault Tolerance	CoRR	2010	DBLP BibTeX RDF
1	Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio	ByADL: An MDE Framework for Building Extensible Architecture Description Languages.	ECSA	2010	DBLP DOI BibTeX RDF
1	Rich Hilliard, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione	Realizing architecture frameworks through megamodelling techniques.	ASE	2010	DBLP DOI BibTeX RDF
1	Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione	Formal Analysis and Verification of Self-Healing Systems.	FASE	2010	DBLP DOI BibTeX RDF
1	Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio	Developing next generation ADLs through MDE techniques.	ICSE	2010	DBLP DOI BibTeX RDF	modeling, software architecture, metamodeling, ADL, model driven
1	Alessio Gabriele, Michelangelo Lupone, Paola Inverardi, Patrizio Pelliccione	Ad-opera: music-inspired self-adaptive systems.	FoSER	2010	DBLP DOI BibTeX RDF
1	Patrizio Pelliccione, Paola Inverardi, Henry Muccini	CHARMY: A Framework for Designing and Verifying Architectural Specifications.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
1	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	2009	DBLP DOI BibTeX RDF
1	Antonio Bucchiarone, Davide Di Ruscio, Henry Muccini, Patrizio Pelliccione	From Requirements to code: an Architecture-centric Approach for producing Quality Systems	CoRR	2009	DBLP BibTeX RDF
1	Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli	Towards maintainer script modernization in FOSS distributions	CoRR	2009	DBLP BibTeX RDF
1	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	2009	DBLP DOI BibTeX RDF	Spontaneous communities, Ad hoc networks, Collaborative working environments
1	Antonio Bucchiarone, Patrizio Pelliccione, Charlie Vattani, Olga Runge	Self-Repairing systems modeling and verification using AGG.	WICSA/ECSA	2009	DBLP DOI BibTeX RDF
1	Antonio Cicchetti, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli	Towards a Model Driven Approach to Upgrade Complex Software Systems.	ENASE	2009	DBLP BibTeX RDF
1	Antonio Cicchetti, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio	Towards a Framework for Distributed and Collaborative Modeling.	WETICE	2009	DBLP DOI BibTeX RDF
1	Ivano Malavolta, Henry Muccini, Patrizio Pelliccione	Integrating AADL within a Multi-domain Modeling Framework.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli	Towards an assume-guarantee theory for adaptable systems.	SEAMS	2009	DBLP DOI BibTeX RDF
1	Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli	Automatic synthesis of behavior protocols for composable web-services.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	web-services, testing, automatic synthesis, behavior protocols
1	Marco Autili, Patrizio Pelliccione	Towards a Graphical Tool for Refining User to System Requirements.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	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	2008	DBLP DOI BibTeX RDF
1	Doron Peled, Patrizio Pelliccione, Paola Spoletini	Model Checking.	Wiley Encyclopedia of Computer Science and Engineering	2008	DBLP DOI BibTeX RDF
1	Henry Muccini, Patrizio Pelliccione	Simulating Software Architectures for Functional Analysis.	WICSA	2008	DBLP DOI BibTeX RDF	Simulation, Model Checking, Software Architectures
1	Ivano Malavolta, Henry Muccini, Patrizio Pelliccione	DUALLY: A framework for Architectural Languages and Tools Interoperability.	ASE	2008	DBLP DOI BibTeX RDF
1	Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky (eds.)	SERENE 2008, RISE/EFTS Joint International Workshop on Software Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November 17-19, 2008	SERENE	2008	DBLP BibTeX RDF
1	Marco Autili, Paola Inverardi, Patrizio Pelliccione	Graphical scenarios for specifying temporal properties: an automated approach.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Scenario based notation, System requirements specification, Temporal properties specification
1	Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione	Architecting Fault-tolerant Component-based Systems: from requirements to testing.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky	Architecting Fault Tolerant Systems.	WICSA	2007	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky	EFTS 2007: the 2nd international workshop on engineering fault tolerant systems.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF	fault-tolerance, modelling, software architecture, frameworks, design patterns, reconfiguration, component-based development, verification and validation, atomic actions, software life-cycle, adaptive approaches, run-time management
1	Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky (eds.)	Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007	EFTS	2007	DBLP BibTeX RDF
1	Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky	EFTS 2007: the 2nd international workshop on engineering fault tolerant systems.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	fault-tolerance, modelling, software architecture, frameworks, design patterns, reconfiguration, component-based development, verification and validation, atomic actions, software life-cycle, adaptive approaches, run-time management
1	Daniela Colangelo, Daniele Compare, Paola Inverardi, Patrizio Pelliccione	Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach.	FORTE	2006	DBLP DOI BibTeX RDF
1	Antonio Bucchiarone, Andrea Polini, Patrizio Pelliccione, Massimo Tivoli	Towards an architectural approach for the dynamic and automatic composition of software components.	ROSATEA	2006	DBLP DOI BibTeX RDF
1	Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione	The Fault-Tolerant Insulin Pump Therapy.	RODIN Book	2006	DBLP DOI BibTeX RDF
1	Marco Autili, Paola Inverardi, Patrizio Pelliccione	A scenario based notation for specifying temporal properties.	SCESM	2006	DBLP DOI BibTeX RDF	scenario based notation, system requirements specification, temporal properties specification
1	Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione	A Practical Architecture-Centric Analysis Process.	QoSA	2006	DBLP DOI BibTeX RDF
1	Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander Romanovsky, Avelino F. Zorzo	CAA-DRIP: a framework for implementing Coordinated Atomic Actions.	ISSRE	2006	DBLP DOI BibTeX RDF
1	Davide Di Ruscio, Henry Muccini, Alfonso Pierantonio, Patrizio Pelliccione	TowardsWeaving Software Architecture Models.	MDB/MOMPES	2006	DBLP DOI BibTeX RDF
1	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.	2005	DBLP DOI BibTeX RDF
1	Paola Inverardi, Henry Muccini, Patrizio Pelliccione	DUALLY: Putting in Synergy UML 2.0 and ADLs.	WICSA	2005	DBLP DOI BibTeX RDF
1	Mauro Caporuscio, Henry Muccini, Patrizio Pelliccione, Ezio Di Nisio	Rapid System Development Via Product Line Architecture Implementation.	RISE	2005	DBLP DOI BibTeX RDF
1	Mauro Caporuscio, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Alfonso Pierantonio	Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications.	EWSA	2005	DBLP DOI BibTeX RDF
1	Patrizio Pelliccione, Henry Muccini, Antonio Bucchiarone, Fabrizio Facchini	TeStor: Deriving Test Sequences from Model-Based Specifications.	CBSE	2005	DBLP DOI BibTeX RDF
1	Paola Inverardi, Henry Muccini, Patrizio Pelliccione	CHARMY: an extensible tool for architectural analysis.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	model checking, software architectures
1	Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione, P. Pierini	Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing.	FORTE Workshops	2004	DBLP DOI BibTeX RDF
1	Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione	Formal Analysis of Architectural Patterns.	EWSA	2004	DBLP DOI BibTeX RDF
1	Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione	Compositional Verification of Middleware-Based Software Architecture Descriptions.	ICSE	2004	DBLP DOI BibTeX RDF
1	Daniele Compare, Paola Inverardi, Patrizio Pelliccione, Alessandra Sebastiani	Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle.	FME	2003	DBLP DOI BibTeX RDF	model checking, software development process, Architectural analysis, models consistency
1	Paola Inverardi, Fabio Mancinelli, Henry Muccini, Patrizio Pelliccione	An Experience in Architectural Extensions: Active Objects in J2EE.	FIDJI	2002	DBLP DOI BibTeX RDF
1	Paola Inverardi, Henry Muccini, Patrizio Pelliccione	Automated Check of Architectural Models Consistency Using SPIN.	ASE	2001	DBLP DOI BibTeX RDF

Publications of "Patrizio Pelliccione" ( http://dblp.L3S.de/Authors/Patrizio_Pelliccione )