| 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: International Seminar …, 2013 | 2240 | 2013 |
| Model-based performance prediction in software development: A survey S Balsamo, A Di Marco, P Inverardi, M Simeoni IEEE Transactions on Software Engineering 30 (5), 295-310, 2004 | 1063 | 2004 |
| 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 | 405 | 1995 |
| Model-based software performance analysis V Cortellessa, A Di Marco, P Inverardi Springer, 2011 | 195 | 2011 |
| 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 | 193 | 2003 |
| Automatic synthesis of behavior protocols for composable web-services A Bertolino, P Inverardi, P Pelliccione, M Tivoli Proceedings of the 7th joint meeting of the European software engineering …, 2009 | 180 | 2009 |
| Using software architecture for code testing H Muccini, P Inverardi, A Bertolino IEEE Transactions on Software Engineering 30 (3), 160-171, 2004 | 166 | 2004 |
| Software engineering for self-adaptive systems: Research challenges in the provision of assurances R De Lemos, D Garlan, C Ghezzi, H Giese, J Andersson, M Litoiu, ... Software Engineering for Self-Adaptive Systems III. Assurances …, 2017 | 131 | 2017 |
| Graphical scenarios for specifying temporal properties: an automated approach M Autili, P Inverardi, P Pelliccione Automated Software Engineering 14, 293-340, 2007 | 130 | 2007 |
| 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 | 118 | 2000 |
| The notion of self-aware computing S Kounev, P Lewis, KL Bellman, N Bencomo, J Camara, A Diaconescu, ... Self-Aware Computing Systems, 3-16, 2017 | 115 | 2017 |
| Perpetual assurances for self-adaptive systems D Weyns, N Bencomo, R Calinescu, J Camara, C Ghezzi, V Grassi, ... Software Engineering for Self-Adaptive Systems III. Assurances …, 2017 | 112 | 2017 |
| Deriving test plans from architectural descriptions A Bertolino, F Corradini, P Inverardi, H Muccini Proceedings of the 22nd international conference on Software engineering …, 2000 | 110 | 2000 |
| Uncovering architectural mismatch in component behavior D Compare, P Inverardi, AL Wolf Science of Computer Programming 33 (2), 101-131, 1999 | 106 | 1999 |
| Software engineering processes for self-adaptive systems J Andersson, L Baresi, N Bencomo, R De Lemos, A Gorla, P Inverardi, ... Software Engineering for Self-Adaptive Systems II: International Seminar …, 2013 | 94 | 2013 |
| Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525 BHC Cheng, R de Lemos, H Giese, P Inverardi, J Magee Springer, Heidelberg, 2009 | 91 | 2009 |
| Graph grammars and constraint solving for software architecture styles D Hirsch, P Inverardi, U Montanari Proceedings of the third international workshop on Software architecture, 69-72, 1998 | 91 | 1998 |
| 08031--Software engineering for self-adaptive systems: A research road map BHC Cheng, H Giese, P Inverardi, J Magee, R de Lemos, J Andersson, ... Dagstuhl Seminar Proceedings, 2008 | 89 | 2008 |
| 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 | 86 | 2008 |
| SYNTHESIS: a tool for automatically assembling correct and distributed component-based systems M Autili, P Inverardi, A Navarra, M Tivoli 29th International Conference on Software Engineering (ICSE'07), 784-787, 2007 | 85 | 2007 |
Massimo TivoliFull Professor, Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica (DISIM)Verified email at univaq.it
