INVERARDI, PAOLA

INVERARDI, PAOLA  

Dipartimento di Ingegneria e scienze dell informazione e matematica  

Mostra records
Risultati 1 - 20 di 208 (tempo di esecuzione: 0.032 secondi).
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