Paola Spoletini

Cited by

	All	Since 2019
Citations	2376	941
h-index	27	16
i10-index	53	32

200

100

150

2005200620072008200920102011201220132014201520162017201820192020202120222023202412 12 34 91 79 96 104 108 116 145 133 131 145 163 139 167 189 169 195 82

Public access

View all

22 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Alessio FerrariResearch Scientist, ISTI CNRVerified email at isti.cnr.it
Carlo GhezziEmeritus Professor, Politecnico di MilanoVerified email at polimi.it
Luciano BaresiDEIB - Politecnico di MilanoVerified email at polimi.it
Sam GuineaPolitecnico di MilanoVerified email at elet.polimi.it
Liliana PasqualeUniversity College DublinVerified email at ucd.ie
Stefania GnesiISTI-CNR, ItalyVerified email at isti.cnr.it
Professor Didar ZowghiCSIRO's Data61: Diversity and Inclusion in AI; Emeritus Professor of Softaware Engineering at UTSVerified email at csiro.au
Domenico BianculliAssociate Professor/Chief Scientist 2, University of Luxembourg, LuxembourgVerified email at uni.lu
Muneera BanoCSIRO's Data61Verified email at data61.csiro.au
Claudio MenghiUniversity of Bergamo and McMaster UniversityVerified email at unibg.it
Alessandro CampiPolitecnico di MilanoVerified email at elet.polimi.it
Pierluigi San PietroPolitecnico di MilanoVerified email at polimi.it
Beatrice DonatiUniversita degli Studi di FirenzeVerified email at unifi.it
Carlo A. FuriaSoftware Institute - USI Università della Svizzera italianaVerified email at usi.ch
Matteo Pradellaassociate professor, Politecnico di MilanoVerified email at polimi.it
Vahid RafeCity, University of LondonVerified email at city.ac.uk
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerified email at cs.biu.ac.il
Bashar NuseibehThe Open University (UK) & Lero (Ireland)Verified email at open.ac.uk
Marco Domenico SantambrogioAssociate professor, Politecnico di MilanoVerified email at polimi.it
Achille FrigeriVerified email at polimi.it

Paola Spoletini

Kennesaw State University

Verified email at kennesaw.edu - Homepage

Formal methods Software engineering Requirements Engineering


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
:: ECI Course-July 2013 P Spoletini
A comprehensive approach to support the analyst before, during, and after requirements elicitation interviews P Spoletini
A control-theoretical methodology for the scheduling problem CA Furia, A Leva, M Maggio, P Spoletini arXiv preprint arXiv:1009.3455, 2010		2010
A formal approach supporting the specification and verification of business conversation requirements. A Cherubini, E Colombo, C Francalanci, P Spoletini IADIS AC, 467-478, 2005	2	2005
A framework for XML data streams history checking and monitoring A Campi, P Spoletini Proceedings of the 15th international conference on World Wide Web, 983-984, 2006	1	2006
A fuzzy extension for the XPath query language A Campi, S Guinea, P Spoletini Flexible Query Answering Systems: 7th International Conference, FQAS 2006 …, 2006	16	2006
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
A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures M Giorgetta, M Santambrogio, D Sciuto, P Spoletini 2006 IFIP International Conference on Very Large Scale Integration, 24-29, 2006	7	2006
A guided tour through SAVVY-WS: a methodology for specifying and validating web service compositions D Bianculli, C Ghezzi, P Spoletini, L Baresi, S Guinea Advances in Software Engineering: Lipari Summer School 2007, Lipari Island …, 2008	15	2008
A guided tour through SAVVY-WS: a methodology for specifying and validating web services compositions L Baresi, D Bianculli, P Spoletini, C Ghezzi, S Guinea LECTURE NOTES IN COMPUTER SCIENCE 5316, 131-160, 2008		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	55	2007
A Temporal Semantics for Fuzzy Linear Temporal Logic L Baresi, L Pasquale, P Spoletini
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
A verification-driven framework for iterative design of controllers C Menghi, P Spoletini, M Chechik, C Ghezzi Formal Aspects of Computing 31 (5), 459-502, 2019	11	2019
ACHILLE FRIGERI, Politecnico di Milano LILIANA PASQUALE, Lero-The Irish Software Engineering Research Centre P SPOLETINI
AIRE’17 Organization F Dalpiaz, H Femmer, A Vogelsang, FB Aydemir, N Bencomo, J Bhatia, ...
Ambiguity and tacit knowledge in requirements elicitation interviews A Ferrari, P Spoletini, S Gnesi Requirements Engineering 21 (3), 333-355, 2016	128	2016
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
Ambiguity cues in requirements elicitation interviews A Ferrari, P Spoletini, S Gnesi 2016 IEEE 24th International Requirements Engineering Conference (RE), 56-65, 2016	24	2016
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	22	2019

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors