User:PatrizioPelliccione

From WICSA Conference Wiki

Patrizio Pelliccione is a senior researcher of the Faculty of Sciences, Technologies and Communications of the University of Luxembourg, Software Engineering Competence Center (SE2C). He is CORRECT Group Coordinator (CORRECT_Web_Page) and he is an external collaborator of the University of L’Aquila (SEA_Group). CORRECT (rigorous stepwise development of Complex Fault Tolerant DistRibuted Systems: from ARchitEctural DesCription to Java ImplemenTation) is a three year (2004-2006) project entirely funded by Luxembourg Ministry of Higher Education and Research (ref. n°. MEN/IST/04/04). Patrizio’s research interests are in formal methods, model checking, architectural analysis, architectural models consistency, automatic verification and analysis of component-based systems, software architectures, compositional reasoning techniques for component verification, abstractions for software architecture, assume-guarantee paradigm, and Fault Tolerance. He worked in collaboration with several companies as for example Siemens CNX, Marconi, Terma.