| Fuzzy goals for requirements-driven adaptation L Baresi, L Pasquale, P Spoletini 2010 18th IEEE international requirements engineering conference, 125-134, 2010 | 342 | 2010 |
| Managing non-functional uncertainty via model-driven adaptivity C Ghezzi, LS Pinto, P Spoletini, G Tamburrelli 2013 35th International Conference on Software Engineering (ICSE), 33-42, 2013 | 132 | 2013 |
| Validation of web service compositions L Baresi, D Bianculli, C Ghezzi, S Guinea, P Spoletini IET software 1 (6), 219-232, 2007 | 123 | 2007 |
| Ambiguity and tacit knowledge in requirements elicitation interviews A Ferrari, P Spoletini, S Gnesi Requirements Engineering 21 (3), 333-355, 2016 | 117 | 2016 |
| On the use of Alloy to analyze graph transformation systems L Baresi, P Spoletini Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio …, 2006 | 96 | 2006 |
| Internal and external bitstream relocation for partial dynamic reconfiguration S Corbetta, M Morandi, M Novati, MD Santambrogio, D Sciuto, P Spoletini IEEE Transactions on Very Large Scale Integration (VLSI) Systems 17 (11 …, 2009 | 71 | 2009 |
| A fuzzy extension of the XPath query language A Campi, E Damiani, S Guinea, S Marrara, G Pasi, P Spoletini Journal of Intelligent Information Systems 33, 285-305, 2009 | 66 | 2009 |
| An efficient solution for model checking graph transformation systems L Baresi, V Rafe, AT Rahmani, P Spoletini Electronic Notes in Theoretical Computer Science 213 (1), 3-21, 2008 | 61 | 2008 |
| A model checking approach to verify BPEL4WS workflows D Bianculli, C Ghezzi, P Spoletini IEEE International Conference on Service-Oriented Computing and Applications …, 2007 | 54 | 2007 |
| Formal analysis of publish-subscribe systems by probabilistic timed automata F He, L Baresi, C Ghezzi, P Spoletini Formal Techniques for Networked and Distributed Systems–FORTE 2007: 27th …, 2007 | 49 | 2007 |
| Teaching requirements elicitation interviews: an empirical study of learning from mistakes M Bano, D Zowghi, A Ferrari, P Spoletini, B Donati Requirements Engineering 24, 259-289, 2019 | 47 | 2019 |
| A timed extension of WSCoL L Baresi, D Bianculli, C Ghezzi, S Guinea, P Spoletini IEEE International Conference on Web Services (ICWS 2007), 663-670, 2007 | 43 | 2007 |
| BuildingRules: A Trigger-Action--Based System to Manage Complex Commercial Buildings AA Nacci, V Rana, B Balaji, P Spoletini, R Gupta, D Sciuto, Y Agarwal ACM Transactions on Cyber-Physical Systems 2 (2), 1-22, 2018 | 41 | 2018 |
| Measuring team members’ contributions in software engineering projects using git-driven technology RM Parizi, P Spoletini, A Singh 2018 IEEE Frontiers in Education Conference (FIE), 1-5, 2018 | 40 | 2018 |
| Modeling and analyzing context-aware composition of services E Colombo, J Mylopoulos, P Spoletini Service-Oriented Computing-ICSOC 2005: Third International Conference …, 2005 | 34 | 2005 |
| Practical model checking of LTL with past M Pradella, P San Pietro, P Spoletini, A Morzenti ATVA03: 1st Workshop on Automated Technology for Verification and Analysis, 2003 | 33 | 2003 |
| Ambiguity as a resource to disclose tacit knowledge A Ferrari, P Spoletini, S Gnesi 2015 IEEE 23rd International Requirements Engineering Conference (RE), 26-35, 2015 | 32 | 2015 |
| Towards automated verification of layered graph transformation specifications V Rafe, AT Rahmani, L Baresi, P Spoletini IET software 3 (4), 276-291, 2009 | 32 | 2009 |
| LOVER: Light-weight fOrmal Verification of adaptivE systems at Run time AM Sharifloo, P Spoletini International Workshop on Formal Aspects of Component Software, 170-187, 2012 | 31 | 2012 |
| Model-checking TRIO specifications in SPIN A Morzenti, M Pradella, P San Pietro, P Spoletini FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003 | 29 | 2003 |
Alessio FerrariResearch Scientist, ISTI CNRVerified email at isti.cnr.it
