Paola Spoletini

Cited by

	All	Since 2017
Citations	1984	881
h-index	22	16
i10-index	47	30

180

135

20042005200620072008200920102011201220132014201520162017201820192020202120225 12 12 33 92 80 93 99 111 111 144 126 125 151 159 140 156 169 100

Public access

View all

18 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
Liliana PasqualeUniversity College DublinVerified email at ucd.ie
Sam GuineaPolitecnico di MilanoVerified email at elet.polimi.it
Stefania GnesiISTI-CNR, ItalyVerified email at isti.cnr.it
Claudio MenghiMcMaster UniversityVerified email at mcmaster.ca
Domenico BianculliAssociate Professor/Chief Scientist 2, University of Luxembourg, LuxembourgVerified email at uni.lu
Muneera Bano, PhDPrincipal Research Scientist, CSIRO's Data61Verified email at data61.csiro.au
Professor Didar ZowghiCSIRO's Data61, Professor of Software EngineeringVerified email at csiro.au
Alessandro CampiPolitecnico di MilanoVerified email at elet.polimi.it
Beatrice DonatiUniversita degli Studi di FirenzeVerified email at unifi.it
Pierluigi San PietroPolitecnico di MilanoVerified email at polimi.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 RafeAssociate Professor, Department of Computer Engineering, Arak UniversityVerified email at araku.ac.ir
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerified email at cs.biu.ac.il
Marco Domenico SantambrogioAssociate professor, Politecnico di MilanoVerified email at polimi.it
Bashar NuseibehThe Open University (UK) & Lero (Ireland)Verified email at open.ac.uk
Dr. Amir Molzam ShariflooVerified email at paluno.uni-due.de

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
Fuzzy goals for requirements-driven adaptation L Baresi, L Pasquale, P Spoletini 2010 18th IEEE international requirements engineering conference, 125-134, 2010	316	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	123	2013
Validation of web service compositions L Baresi, D Bianculli, C Ghezzi, S Guinea, P Spoletini IET software 1 (6), 219-232, 2007	121	2007
Ambiguity and tacit knowledge in requirements elicitation interviews A Ferrari, P Spoletini, S Gnesi Requirements Engineering 21 (3), 333-355, 2016	96	2016
On the use of Alloy to analyze graph transformation systems L Baresi, P Spoletini International Conference on Graph Transformation, 306-320, 2006	89	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	70	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
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
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
Model Checking. DA Peled, P Pelliccione, P Spoletini Wiley encyclopedia of computer science and engineering, 2008	48	2008
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	46	2007
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	38	2018
Modeling and analyzing context-aware composition of services E Colombo, J Mylopoulos, P Spoletini International Conference on Service-Oriented Computing, 198-213, 2005	33	2005
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
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	30	2015
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	30	2003
Model-checking TRIO specifications in SPIN A Morzenti, M Pradella, P San Pietro, P Spoletini International Symposium of Formal Methods Europe, 542-561, 2003	28	2003
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	27	2018

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