| Fuzzy goals for requirements-driven adaptation L Baresi, L Pasquale, P Spoletini 2010 18th IEEE international requirements engineering conference, 125-134, 2010 | 365 | 2010 |
| Ambiguity and tacit knowledge in requirements elicitation interviews A Ferrari, P Spoletini, S Gnesi Requirements Engineering 21 (3), 333-355, 2016 | 155 | 2016 |
| 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 | 134 | 2013 |
| Validation of web service compositions L Baresi, D Bianculli, C Ghezzi, S Guinea, P Spoletini IET software 1 (6), 219-232, 2007 | 126 | 2007 |
| On the use of Alloy to analyze graph transformation systems L Baresi, P Spoletini International Conference on Graph Transformation, 306-320, 2006 | 95 | 2006 |
| Teaching requirements elicitation interviews: an empirical study of learning from mistakes M Bano, D Zowghi, A Ferrari, P Spoletini, B Donati Requirements Engineering 24 (3), 259-289, 2019 | 90 | 2019 |
| 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 | 77 | 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 (3), 285-305, 2009 | 65 | 2009 |
| Model checking D Peled Software and Systems Safety, 260-281, 2011 | 61 | 2011 |
| 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 | 59 | 2008 |
| 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 | 57 | 2018 |
| A model checking approach to verify BPEL4WS workflows D Bianculli, C Ghezzi, P Spoletini IEEE International Conference on Service-Oriented Computing and Applications …, 2007 | 56 | 2007 |
| Formal analysis of publish-subscribe systems by probabilistic timed automata F He, L Baresi, C Ghezzi, P Spoletini International Conference on Formal Techniques for Networked and Distributed …, 2007 | 52 | 2007 |
| Fuzzy time in linear temporal logic A Frigeri, L Pasquale, P Spoletini ACM Transactions on Computational Logic (TOCL) 15 (4), 1-22, 2014 | 49 | 2014 |
| 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 |
| SaPeer and ReverseSaPeer: teaching requirements elicitation interviews with role-playing and role reversal A Ferrari, P Spoletini, M Bano, D Zowghi Requirements Engineering 25 (4), 417-438, 2020 | 43 | 2020 |
| Ambiguity in requirements engineering: Towards a unifying framework V Gervasi, A Ferrari, D Zowghi, P Spoletini From Software Engineering to Formal Methods and Tools, and Back: Essays …, 2019 | 43 | 2019 |
| 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 | 41 | 2018 |
| 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 | 39 | 2015 |
Alessio FerrariLecturer, UCD; Senior Research Scientist, ISTI CNRVerified email at isti.cnr.it
