| Fuzzy goals for requirements-driven adaptation L Baresi, L Pasquale, P Spoletini 2010 18th IEEE international requirements engineering conference, 125-134, 2010 | 355 | 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 | 137 | 2013 |
| Ambiguity and tacit knowledge in requirements elicitation interviews A Ferrari, P Spoletini, S Gnesi Requirements Engineering 21 (3), 333-355, 2016 | 135 | 2016 |
| Validation of web service compositions L Baresi, D Bianculli, C Ghezzi, S Guinea, P Spoletini IET software 1 (6), 219-232, 2007 | 125 | 2007 |
| On the use of Alloy to analyze graph transformation systems L Baresi, P Spoletini Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio …, 2006 | 95 | 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 | 76 | 2009 |
| 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 | 65 | 2019 |
| 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 | 65 | 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 |
| Model checking D Peled Software and Systems Safety, 260-281, 2011 | 55 | 2011 |
| A model checking approach to verify BPEL4WS workflows D Bianculli, C Ghezzi, P Spoletini IEEE International Conference on Service-Oriented Computing and Applications …, 2007 | 55 | 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 | 53 | 2007 |
| 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 | 51 | 2018 |
| 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 | 45 | 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 | 44 | 2018 |
| Fuzzy time in linear temporal logic A Frigeri, L Pasquale, P Spoletini ACM Transactions on Computational Logic (TOCL) 15 (4), 1-22, 2014 | 39 | 2014 |
| SaPeer and ReverseSaPeer: teaching requirements elicitation interviews with role-playing and role reversal A Ferrari, P Spoletini, M Bano, D Zowghi Requirements Engineering 25, 417-438, 2020 | 35 | 2020 |
| Learning from mistakes: An empirical study of elicitation interviews performed by novices M Bano, D Zowghi, A Ferrari, P Spoletini, B Donati 2018 ieee 26th international requirements engineering conference (re), 182-193, 2018 | 34 | 2018 |
| Modeling and analyzing context-aware composition of services E Colombo, J Mylopoulos, P Spoletini Service-Oriented Computing-ICSOC 2005: Third International Conference …, 2005 | 33 | 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 |
Alessio FerrariResearch Scientist, ISTI CNREmail verificata su isti.cnr.it
