INVERARDI, PAOLA
INVERARDI, PAOLA
Dipartimento di Ingegneria e scienze dell informazione e matematica
3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 8-12 September 1997, Lake Como, Italy
1997-01-01 Inverardi, Paola; Antonia, Bertolino; Muccini, Henry; Andrea, Rosetti
A Framework for Analyzing and Testing the Performance of Software Services
2008-01-01 Bertolino, A; DE ANGELIS, G; DI MARCO, Antinisca; Inverardi, Paola; Sabetta, A; Tivoli, Massimo
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 the Integration of Functional and Non-functional Analysis of Software Architectures
2005-01-01 Cortellessa, Vittorio; DI MARCO, Antinisca; Inverardi, Paola; Mancinelli, F.; Pelliccione, Patrizio
A Stability-Aware Approach to Continuous Self-adaptation of Data-Intensive Systems
2013-01-01 Marco, Mori; Anthony, Cleve; Inverardi, Paola
Achieving functional and non functional interoperability through synthesized connectors
2017-01-01 Nostro, Nicola; Spalazzese, Romina; Di Giandomenico, Felicita; Inverardi, Paola
Ad-Opera: Music-inspired Self-adaptive Systems
2010-01-01 Inverardi, Paola; Pelliccione, Patrizio; Michelangelo, Lupone; Alessio, Gabriele
Adaptation for situational-Aware cyber-physical systems driven by energy consumption and human safety
2017-01-01 Abusair, Mai; Sharaf, Mohammad; Muccini, Henry; Inverardi, Paola
Adding sorts to TRSs: a result on modularity of termination
1999-01-01 Inverardi, Paola; Nesi, Monica
An Experience in Architectural Extensions: Active Objects in J2EE
2002-01-01 Inverardi, Paola; F., Mancinelli; Muccini, Henry; Pelliccione, Patrizio
Application-Layer Connector Synthesis
2011-01-01 Inverardi, Paola; Spalazzese, Romina; Tivoli, Massimo
An Approach to Integration Testing Based on Architectural Descriptions
1997-01-01 A, Bertolino; Inverardi, Paola; Muccini, Henry; A, Rosetti
An approach to performance evaluation of software architectures
1998-01-01 Inverardi, Paola; Simonetta, Balsamo; Calogero, Mangano
Assessing Dependability for Mobile and Ubiquitous Systems: Is There a Role for Software Architectures?
2012-01-01 Autili, M; Inverardi, P; Tivoli, M
Automated Check of Architectural Models Consistency using Spin
2001-01-01 Inverardi, Paola; Muccini, Henry; Pelliccione, Patrizio
Automated integration of service-oriented software systems
2015-01-01 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
Automated Performance Validation of Software Design: An Industrial Experience
2004-01-01 Daniele, Compare; Antonio, D'Onofrio; DI MARCO, Antinisca; Inverardi, Paola
Automated Synthesis of Application-layer Connectors from Automata-based Specifications
2019-01-01 Autili, Marco; Inverardi, Paola; Spalazzese, Romina; Tivoli, Massimo; Mignosi, Filippo
Automated Synthesis of Application-layer Connectors from Automata-based Specifications
2015-01-01 Autili, Marco; Inverardi, Paola; Mignosi, Filippo; Spalazzese, R; Tivoli, Massimo
Automated Synthesis of Service Choreographies
2015-01-01 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 8-12 September 1997, Lake Como, Italy | 1-gen-1997 | Inverardi, Paola; Antonia, Bertolino; Muccini, Henry; Andrea, Rosetti | |
| A Framework for Analyzing and Testing the Performance of Software Services | 1-gen-2008 | Bertolino, A; DE ANGELIS, G; DI MARCO, Antinisca; Inverardi, Paola; Sabetta, A; Tivoli, Massimo | |
| 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 the Integration of Functional and Non-functional Analysis of Software Architectures | 1-gen-2005 | Cortellessa, Vittorio; DI MARCO, Antinisca; Inverardi, Paola; Mancinelli, F.; Pelliccione, Patrizio | |
| A Stability-Aware Approach to Continuous Self-adaptation of Data-Intensive Systems | 1-gen-2013 | Marco, Mori; Anthony, Cleve; Inverardi, Paola | |
| Achieving functional and non functional interoperability through synthesized connectors | 1-gen-2017 | Nostro, Nicola; Spalazzese, Romina; Di Giandomenico, Felicita; Inverardi, Paola | |
| Ad-Opera: Music-inspired Self-adaptive Systems | 1-gen-2010 | Inverardi, Paola; Pelliccione, Patrizio; Michelangelo, Lupone; Alessio, Gabriele | |
| Adaptation for situational-Aware cyber-physical systems driven by energy consumption and human safety | 1-gen-2017 | Abusair, Mai; Sharaf, Mohammad; Muccini, Henry; Inverardi, Paola | |
| Adding sorts to TRSs: a result on modularity of termination | 1-gen-1999 | Inverardi, Paola; Nesi, Monica | |
| An Experience in Architectural Extensions: Active Objects in J2EE | 1-gen-2002 | Inverardi, Paola; F., Mancinelli; Muccini, Henry; Pelliccione, Patrizio | |
| Application-Layer Connector Synthesis | 1-gen-2011 | Inverardi, Paola; Spalazzese, Romina; Tivoli, Massimo | |
| An Approach to Integration Testing Based on Architectural Descriptions | 1-gen-1997 | A, Bertolino; Inverardi, Paola; Muccini, Henry; A, Rosetti | |
| An approach to performance evaluation of software architectures | 1-gen-1998 | Inverardi, Paola; Simonetta, Balsamo; Calogero, Mangano | |
| Assessing Dependability for Mobile and Ubiquitous Systems: Is There a Role for Software Architectures? | 1-gen-2012 | Autili, M; Inverardi, P; Tivoli, M | |
| Automated Check of Architectural Models Consistency using Spin | 1-gen-2001 | Inverardi, Paola; Muccini, Henry; Pelliccione, Patrizio | |
| Automated integration of service-oriented software systems | 1-gen-2015 | Autili, Marco; Inverardi, Paola; Tivoli, Massimo | |
| Automated Performance Validation of Software Design: An Industrial Experience | 1-gen-2004 | Daniele, Compare; Antonio, D'Onofrio; DI MARCO, Antinisca; Inverardi, Paola | |
| Automated Synthesis of Application-layer Connectors from Automata-based Specifications | 1-gen-2019 | Autili, Marco; Inverardi, Paola; Spalazzese, Romina; Tivoli, Massimo; Mignosi, Filippo | |
| Automated Synthesis of Application-layer Connectors from Automata-based Specifications | 1-gen-2015 | Autili, Marco; Inverardi, Paola; Mignosi, Filippo; Spalazzese, R; Tivoli, Massimo | |
| Automated Synthesis of Service Choreographies | 1-gen-2015 | Autili, Marco; Inverardi, Paola; Tivoli, Massimo |