Software engineering for self-adaptive systems: A research roadmap BHC Cheng, RÚ de Lemos, H Giese, P Inverardi, J Magee, J Andersson, ... Software engineering for self-adaptive systems, 1-26, 2009 | 1311 | 2009 |
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 | 910 | 2004 |
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 | 672 | 2013 |
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 | 374 | 1995 |
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 | 158 | 2003 |
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 | 157 | 2009 |
Using software architecture for code testing H Muccini, P Inverardi, A Bertolino IEEE Transactions on Software Engineering 30 (3), 160-171, 2004 | 148 | 2004 |
Model-based software performance analysis V Cortellessa, A Di Marco, P Inverardi Springer Science & Business Media, 2011 | 133 | 2011 |
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 | 112 | 2000 |
Uncovering architectural mismatch in component behavior D Compare, P Inverardi, AL Wolf Science of Computer Programming 33 (2), 101-131, 1999 | 104 | 1999 |
Graphical scenarios for specifying temporal properties: an automated approach M Autili, P Inverardi, P Pelliccione Automated Software Engineering 14 (3), 293-340, 2007 | 101 | 2007 |
Deriving test plans from architectural descriptions A Bertolino, F Corradini, P Inverardi, H Muccini Proceedings of the 22nd international conference on Software engineering …, 2000 | 98 | 2000 |
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 | 82 | 2007 |
Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525 BHC Cheng, R de Lemos, H Giese, P Inverardi, J Magee Springer, Heidelberg, 2009 | 78 | 2009 |
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 | 78 | 1998 |
Deadlock-free software architectures for com/dcom applications P Inverardi, M Tivoli Journal of Systems and Software 65 (3), 173-183, 2003 | 77 | 2003 |
Charmy: A framework for designing and verifying architectural specifications P Pelliccione, P Inverardi, H Muccini IEEE Transactions on Software Engineering 35 (3), 325-346, 2008 | 76 | 2008 |
Performance analysis at the software architectural design level F Aquilani, S Balsamo, P Inverardi Performance Evaluation 45 (2-3), 147-178, 2001 | 73 | 2001 |
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 | 71 | 1999 |
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 | 70 | 2000 |