Paola Inverardi
Paola Inverardi
Professor of Computer Science
Verified email at univaq.it
TitleCited byYear
Software engineering for self-adaptive systems: A second research roadmap
R De Lemos, H Giese, HA Müller, M Shaw, J Andersson, M Litoiu, ...
Software Engineering for Self-Adaptive Systems II, 1-32, 2013
15292013
Model-based performance prediction in software development: A survey
S Balsamo, A Di Marco, P Inverardi, M Simeoni
IEEE Transactions on Software Engineering, 295-310, 2004
8692004
Formal specification and analysis of software architectures using the chemical abstract machine model
P Inverardi, AL Wolf
IEEE transactions on software engineering 21 (4), 373-386, 1995
3711995
A review on queueing network models with finite capacity queues for software architectures performance prediction
S Balsamo, VDN Personè, P Inverardi
Performance Evaluation 51 (2-4), 269-288, 2003
1512003
Automatic synthesis of behavior protocols for composable web-services
A Bertolino, P Inverardi, P Pelliccione, M Tivoli
Proceedings of the the 7th joint meeting of the European software …, 2009
1502009
Using software architecture for code testing
H Muccini, A Bertolino, P Inverardi
IEEE Transactions on Software Engineering, 160-171, 2004
1492004
Model-based software performance analysis
V Cortellessa, A Di Marco, P Inverardi
Springer Science & Business Media, 2011
1142011
Static checking of system behaviors using derived component assumptions
P Inverardi, AL Wolf, D Yankelevich
ACM Transactions on Software Engineering and Methodology (TOSEM) 9 (3), 239-272, 2000
1112000
Uncovering architectural mismatch in component behavior
D Compare, P Inverardi, AL Wolf
Science of Computer Programming 33 (2), 101-131, 1999
1051999
Deriving test plans from architectural descriptions
A Bertolino, F Corradini, P Inverardi, H Muccini
Proceedings of the 22nd international conference on Software engineering …, 2000
982000
Graphical scenarios for specifying temporal properties: an automated approach
M Autili, P Inverardi, P Pelliccione
Automated Software Engineering 14 (3), 293-340, 2007
952007
SYNTHESIS: a tool for automatically assembling correct and distributed component-based systems
M Autili, P Inverardi, A Navarra, M Tivoli
Proceedings of the 29th international conference on Software Engineering …, 2007
792007
Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525
BHC Cheng, R de Lemos, H Giese, P Inverardi, J Magee
Springer, Heidelberg, 2009
782009
Graph grammars and constraint solving for software architecture styles
D Hirsch, P Inverardi, U Montanari
Foundations of Software Engineering: Proceedings of the third international …, 1998
771998
Deadlock-free software architectures for com/dcom applications
P Inverardi, M Tivoli
Journal of Systems and Software 65 (3), 173-183, 2003
762003
Modeling software architectures and styles with graph grammars and constraint solving
D Hirsch, P Inverardi, U Montanari
Working Conference on Software Architecture, 127-143, 1999
741999
Charmy: A framework for designing and verifying architectural specifications
P Pelliccione, P Inverardi, H Muccini
IEEE Transactions on Software Engineering 35 (3), 325-346, 2009
722009
Deriving performance models of software architectures from message sequence charts
F Andolfi, F Aquilani, S Balsamo, P Inverardi
Workshop on Software and Performance: Proceedings of the 2 nd international …, 2000
712000
Performance analysis at the software architectural design level
F Aquilani, S Balsamo, P Inverardi
Performance Evaluation 45 (2-3), 147-178, 2001
702001
An approach to performance evaluation of software architectures
S Balsamo, P Inverardi, C Mangano
Proceedings of the 1st international workshop on Software and performance …, 1998
701998
The system can't perform the operation now. Try again later.
Articles 1–20