Patrizio Pelliccione

Senior Researcher

Blocco Zero, Room
patrizio.pelliccione@univaq.it

Verification

 Charmy is a practical framework to iteratively modelling and evaluating software architectures. Charmy makes use of model checkers while hiding any complexity to final users. 
 PSC (Property Sequence Chart) is a graphical language for describing temporal properties. This language is the result of an accurate analysis in the direction of finding the "right" balance between expressive power and simplicity of use.

Modeling

 What are the architectural description needs of practitioners? What features typically supported by existing architectural languages are useful (or not useful) for the software industry? Find an aswer here.
 ByADL (Build Your ADL) is a framework that exploits model-driven techniques for extending and customizing existing Architecture Description Languages (ADLs).

Interoperability

 The current practice of software architecture modeling and analysis would benefit of using different architectural languages, each specialized on a particular view and each enabling specific analysis. Duallyis a framework that supports the automatic propagation of changes among different notations and tools.
Other results on architectural languages interoperability might be found here and here.

Model elicitation

 The way in which software systems are produced is radically changing, by increasingly promoting the (re-)use of existent soft- ware artifacts. A flourishing of model-based engineering techniques has been defined for building, managing, verifying, validating and controlling software systems. Most approaches build on the assumption that suitable models of software artifacts exist. However, when moving from theory to practice, a question raises up: where do models come from? 
 StrawBerry is a method to automatically derive from the web-service signature an automaton modeling its behavior protocol. The method combines synthesis and testing techniques.

FOSS systems

 FOSS (Free and Open Source Software) systems present interesting challenges in system evolution. FOSS systems are among the largest software systems known and require sophisticated static and dynamic conditions to be verified, in order to successfully deploy upgrades on users’ machines. The slightest error in one of these conditions can turn a routine upgrade into a system administrator's nightmare. EVOSS is a model-based approach to support the upgrade of FOSS systems. The approach promotes the simulation of upgrades to predict failures before affecting the real system. The effectiveness of the approach has been validated on widely-used FOSS distributions.

Teaching web pages:
Office hours:
After the lectures or by appointment / Contact the teacher
Courses:

Books

 
2007 P PELLICCIONEH MUCCININ GUELFIAND A ROMANOVSKY            

Journal articles

 
2013  DOI Ivano MalavoltaPatricia LagoHenry MucciniPatrizio PelliccioneAntony Tang               
2012  DOI Romina EramoIvano MalavoltaHenry MucciniPatrizio PelliccioneAlfonso Pierantonio                  
   DOI Marco AutiliPaola InverardiPatrizio PelliccioneMassimo Tivoli                
2011  DOI Roberto Di CosmoDavide Di RuscioPatrizio PelliccioneAlfonso PierantonioStefano Zacchiroli             
2010  DOI Ivano MalavoltaHenry MucciniPatrizio PelliccioneDamien Andrew Tamburri               
2009  DOI Patrizio PelliccionePaola InverardiHenry Muccini                
   DOI JuanA Botia BlayaIsabelle DemeurePaolo GianrossiPedro Garcia LopezJuanAntonio Martinez NavarroEikeMichael MeyerPatrizio PelliccioneFrèdèrique Tastet-Cherel                
   DOI Alfredo CapozuccaNicolas GuelfiPatrizio PelliccioneAlexander RomanovskyAvelino F Zorzo                     
2008 NICOLAS GUELFIHENRY MUCCINIP PELLICCIONEALEXANDER ROMANOVSKY         
   DOI Patrizio PelliccioneMassimo TivoliAntonio BucchiaroneAndrea Polini                   
2007  DOI M AutiliP InverardiP Pelliccione                

Book chapters

 
2013 Betty H C ChengKerstin I EderMartin GogollaLars GrunskeMarin LitoiuHausi A MullerPatrizio PelliccioneAnna PeriniNauman A QureshiBernhard RumpeDaniel SchneiderFrank TrollmannNorha M Villegas            
  Marco AutiliDavide Di RuscioPaola InverardiPatrizio PelliccioneMassimo Tivoli          
2012  DOI Marco AutiliVittorio CortellessaDavide Di RuscioPaola InverardiPatrizio PelliccioneMassimo Tivoli              
  Paola InverardiPatrizio PelliccioneMichelangelo LuponeAlessio Gabriele        
2010 Antonio CicchettiDavide Di RuscioPatrizio PelliccioneAlfonso PierantonioStefano Zacchiroli           
2009  DOI DORON PELEDP PELLICCIONEAND PAOLA SPOLETINI       
2008 Antonio BucchiaroneDavide Di RuscioHenry MucciniPatrizio Pelliccione                
2007 Nicolas GuelfiPatrizio PelliccioneHenry MucciniAlexander Romanovsky            
2006 Alfredo CapozuccaNicolas GuelfiPatrizio Pelliccione          

Conference papers

 
2013 Davide Di RuscioPatrizio Pelliccione              
   DOI Paola InverardiMarco AutiliDavide Di RuscioPatrizio PelliccioneMassimo Tivoli              
  Davide Di RuscioIvano MalavoltaPatrizio Pelliccione              
2012 Rich HilliardIvano MalavoltaHenry MucciniPatrizio Pelliccione              
  H ter ter MauriceHenry MucciniPatrizio Pelliccione            
  Maik MertenFalk HowarBernhard SteffenPatrizio PelliccioneMassimo Tivoli                
  Davide Di RuscioPatrizio PelliccioneAlfonso Pierantonio                   
  Davide Di RuscioIvano MalavoltaHenry MucciniPatrizio PelliccioneAlfonso Pierantonio           
2011  DOI Marco AutiliVittorio CortellessaDavide Di RuscioPaola InverardiPatrizio PelliccioneMassimo Tivoli               
  Davide Di RuscioPatrizio Pelliccione               
  H ter ter MauriceHenry MucciniPatrizio Pelliccione                
2010  DOI Hartmut EhrigClaudia ErmelOlga RungeAntonio BucchiaronePatrizio Pelliccione            
  Davide Di RuscioIvano MalavoltaHenry MucciniPatrizio PelliccioneAlfonso Pierantonio               
  Patrizio PelliccioneMassimo TivoliLuca CavallaroElisabetta Di NittoMatteo Pradella             
   DOI Rich HilliardHenry MucciniIvano MalavoltaPatrizio Pelliccione          
  Davide Di RuscioIvano MalavoltaHenry MucciniPatrizio PelliccioneAlfonso Pierantonio            
  Alessio GabrieleMichelangelo LuponePaola InverardiPatrizio Pelliccione         
2009 Davide Di RuscioPatrizio PelliccioneAlfonso PierantonioStefano Zacchiroli           
  ANTONIO CICCHETTIDAVIDE DI RUSCIOP PELLICCIONEALFONSO PIERANTONIOSTEFANO ZACCHIROLI              
   DOI Antonio BucchiaronePatrizio PelliccioneCharlie VattaniOlga Runge           
   DOI Paola InverardiPatrizio PelliccioneMassimo Tivoli            
  Antonio CicchettiDavide Di RuscioPatrizio PelliccioneAlfonso PierantonioStefano Zacchiroli              
  ANTONIO CICCHETTIHENRY MUCCINIP PELLICCIONEAND ALFONSO PIERANTONIO            
  PAOLA INVERARDIP PELLICCIONEMASSIMO TIVOLI           
  ANTONIA BERTOLINOPAOLA INVERARDIP PELLICCIONEMASSIMO TIVOLI            
  IVANO MALAVOLTAHENRY MUCCINIP PELLICCIONE           
2008 PAOLO GIANROSSICHRISTIAN MELCHIORREP PELLICCIONE              
   DOI Marco AutiliPatrizio Pelliccione              
  IVANO MALAVOLTAHENRY MUCCINIP PELLICCIONE              
   DOI HENRY MUCCINIP PELLICCIONE           
2007 N GUELFIH MUCCINIP PELLICCIONEA ROMANOVSKY                  
   DOI Hoa Dung Ha DuongChristian MelchiorreEike Michael MeyerIgnacio NietoGerard ParisPatrizio PelliccioneFrederique Tastet-Cherel             
   DOI HOA DUNG HA DUONGCHRISTIAN MELCHIORREEIKE MICHAEL MEYERIGNACIO NIETOMARCEL ARRUFATP PELLICCIONEFREDERIQUE TASTET-CHEREL                 
   DOI Henry MucciniPatrizio PelliccioneAlexander Romanovsky        
2006  DOI Antonio BucchiaroneAndrea PoliniPatrizio PelliccioneMassimo Tivoli                 
  Daniela ColangeloDaniele ComparePaola InverardiPatrizio Pelliccione               
   DOI Davide Di RuscioHenry MucciniAlfonso PierantonioPatrizio Pelliccione          
   DOI Alfredo CapozuccaNicolas GuelfiPatrizio PelliccioneAlexander RomanovskyAvelino Zorzo             
  Antonio BucchiaroneHenry MucciniPatrizio Pelliccione         
  Marco AutiliPaola InverardiPatrizio Pelliccione            
2005 Mauro CaporuscioHenry MucciniPatrizio PelliccioneEzio Di Nisio            
  Alfredo CapozuccaNicolas GuelfiPatrizio Pelliccione         
  Alfredo CapozuccaBarbara GallinaNicolas GuelfiPatrizio Pelliccione               
  Patrizio PelliccioneHenry MucciniAntonio BucchiaroneFabrizio Facchini            
  Mauro CaporuscioPaola InverardiDavide Di RuscioPatrizio PelliccioneAlfonso Pierantonio             
   DOI V CortellessaA Di MarcoP InverardiF MancinelliP Pelliccione                  
  Paola InverardiHenry MucciniPatrizio Pelliccione            
  Paola InverardiHenry MucciniPatrizio Pelliccione             
2004 Vittorio CortellessaPaola InverardiAntinisca Di MarcoHenry MucciniPatrizio Pelliccione           
  Antonio BucchiaroneHenry MucciniPatrizio PelliccionePierluigi Pierini               
  Mauro CaporuscioPaola InverardiPatrizio Pelliccione         
   DOI Mauro CaporuscioPaola InverardiPatrizio Pelliccione            
2003 Daniele ComparePaola InverardiPatrizio PelliccioneAlessandra Sebastiani               
2002 Paola InverardiFabio MancinelliHenry MucciniPatrizio Pelliccione              
2001 Paola InverardiHenry MucciniPatrizio Pelliccione           
   DOI Paola InverardiHenry MucciniPatrizio Pelliccione             

Magazine

 
2012 H ter ter MauriceHenry MucciniPatrizio Pelliccione            
  Davide Di RuscioPatrizio PelliccioneAlfonso Pierantonio           
2009 Nicolas GuelfiHenry MucciniPatrizio PelliccioneAlexander Romanovsky     <