INVERARDI, PAOLA
INVERARDI, PAOLA
A framework for integration of functional and non-functional analysis of software architectures
2005-01-01 Cortellessa, V.; DI MARCO, Antinisca; Inverardi, P.; Mancinelli, F.; Pelliccione, Patrizio
A framework for integration of functional and non-functional analysis of software architectures
2005-01-01 Cortellessa, V; DI MARCO, A.; Inverardi, P.; Mancinelli, F.; Pelliccione, P.
A Scenario Based Notation for Specifying Temporal Properties
2006-01-01 Autili, Marco; Inverardi, Paola; Pelliccione, Patrizio
A software exoskeleton to protect and support citizen's ethics and privacy in the digital world
2019-01-01 Autili, Marco; Di Ruscio, Davide; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo
Ad-Opera: Music-inspired Self-adaptive Systems
2010-01-01 Inverardi, Paola; Pelliccione, P; Michelangelo, Lupone; Alessio, Gabriele
An Experience in Architectural Extension: Active Object in J2EE
2002-01-01 Inverardi, P.; Mancinelli, F.; Muccini, H.; Pelliccione, P
An Experience in Architectural Extensions: Active Objects in J2EE
2002-01-01 Inverardi, P.; Mancinelli, F.; H, Muccini; Pelliccione, P.
Automated Check of Architectural Models Consistency using Spin
2001-01-01 Inverardi, P.; Muccini, H.; Pelliccione, P
Automatic synthesis of behavior protocols for composable web-services
2009-01-01 Bertolino, A; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo
Charmy: A Framework for Designing and Validating Architectural Specifications
2004-01-01 Mauro, Caporuscio; Inverardi, Paola; Henry, Muccini; Pelliccione, P
CHARMY: An Extensible Tool for Architectural Analysis
2005-01-01 Inverardi, Paola; H, Muccini; Pelliccione, Patrizio
Checking consistency between architectural models using SPIN
2001-01-01 Inverardi, P.; Muccini, Henry; Pelliccione, Patrizio
Compositional Verification of Middleware-Based Software Architecture descriptions
2004-01-01 Caporuscio, M.; Inverardi, P.; Pelliccione, P
DUALLY: Putting in Synergy UML 2.0 and ADLs
2005-01-01 Inverardi, P; Muccini, H; Pelliccione, P
Engineering MDA into Compositional Reasoning for Analyzing Middleware-based Applications
2005-01-01 Caporuscio, M; DI RUSCIO, D; Inverardi, P; Pelliccione, P; A, Pierantonio
Formal Analysis of Architectural Patterns
2004-01-01 Caporuscio, M.; Inverardi, P.; Pelliccione, Patrizio
Graphical Scenarios for Specifying Temporal Properties: an Automated Approach
2007-01-01 Autili, Marco; Inverardi, Paola; Pelliccione, Patrizio
Hey, my data are mine! Active data to empower the user
2020-01-01 Scoccia, GIAN LUCA; Autili, Marco; Pelliccione, Patrizio; Inverardi, Paola; Maria Fiore, Matteo; Russo, Alejandro
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle
2003-01-01 Compare, D.; Inverardi, P.; Pelliccione, P; Sebastiani, A.
ModelLAND: Where do models come from?
2014-01-01 Autili, Marco; DI RUSCIO, Davide; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A framework for integration of functional and non-functional analysis of software architectures | 1-gen-2005 | Cortellessa, V.; DI MARCO, Antinisca; Inverardi, P.; Mancinelli, F.; Pelliccione, Patrizio | |
A framework for integration of functional and non-functional analysis of software architectures | 1-gen-2005 | Cortellessa, V; DI MARCO, A.; Inverardi, P.; Mancinelli, F.; Pelliccione, P. | |
A Scenario Based Notation for Specifying Temporal Properties | 1-gen-2006 | Autili, Marco; Inverardi, Paola; Pelliccione, Patrizio | |
A software exoskeleton to protect and support citizen's ethics and privacy in the digital world | 1-gen-2019 | Autili, Marco; Di Ruscio, Davide; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo | |
Ad-Opera: Music-inspired Self-adaptive Systems | 1-gen-2010 | Inverardi, Paola; Pelliccione, P; Michelangelo, Lupone; Alessio, Gabriele | |
An Experience in Architectural Extension: Active Object in J2EE | 1-gen-2002 | Inverardi, P.; Mancinelli, F.; Muccini, H.; Pelliccione, P | |
An Experience in Architectural Extensions: Active Objects in J2EE | 1-gen-2002 | Inverardi, P.; Mancinelli, F.; H, Muccini; Pelliccione, P. | |
Automated Check of Architectural Models Consistency using Spin | 1-gen-2001 | Inverardi, P.; Muccini, H.; Pelliccione, P | |
Automatic synthesis of behavior protocols for composable web-services | 1-gen-2009 | Bertolino, A; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo | |
Charmy: A Framework for Designing and Validating Architectural Specifications | 1-gen-2004 | Mauro, Caporuscio; Inverardi, Paola; Henry, Muccini; Pelliccione, P | |
CHARMY: An Extensible Tool for Architectural Analysis | 1-gen-2005 | Inverardi, Paola; H, Muccini; Pelliccione, Patrizio | |
Checking consistency between architectural models using SPIN | 1-gen-2001 | Inverardi, P.; Muccini, Henry; Pelliccione, Patrizio | |
Compositional Verification of Middleware-Based Software Architecture descriptions | 1-gen-2004 | Caporuscio, M.; Inverardi, P.; Pelliccione, P | |
DUALLY: Putting in Synergy UML 2.0 and ADLs | 1-gen-2005 | Inverardi, P; Muccini, H; Pelliccione, P | |
Engineering MDA into Compositional Reasoning for Analyzing Middleware-based Applications | 1-gen-2005 | Caporuscio, M; DI RUSCIO, D; Inverardi, P; Pelliccione, P; A, Pierantonio | |
Formal Analysis of Architectural Patterns | 1-gen-2004 | Caporuscio, M.; Inverardi, P.; Pelliccione, Patrizio | |
Graphical Scenarios for Specifying Temporal Properties: an Automated Approach | 1-gen-2007 | Autili, Marco; Inverardi, Paola; Pelliccione, Patrizio | |
Hey, my data are mine! Active data to empower the user | 1-gen-2020 | Scoccia, GIAN LUCA; Autili, Marco; Pelliccione, Patrizio; Inverardi, Paola; Maria Fiore, Matteo; Russo, Alejandro | |
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle | 1-gen-2003 | Compare, D.; Inverardi, P.; Pelliccione, P; Sebastiani, A. | |
ModelLAND: Where do models come from? | 1-gen-2014 | Autili, Marco; DI RUSCIO, Davide; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo |