Paola Spoletini

Cited by

	All	Since 2016
Citations	1945	875
h-index	21	14
i10-index	43	26

200

100

150

2004200520062007200820092010201120122013201420152016201720182019202020216 12 12 39 107 83 98 115 130 116 154 135 138 165 179 178 199 9

Co-authors

Carlo GhezziEmeritus Professor, Politecnico di MilanoVerified email at polimi.it
Alessio FerrariResearch Scientist, ISTI CNRVerified email at isti.cnr.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
Domenico BianculliAssociate Professor/Chief Scientist 2, University of Luxembourg, LuxembourgVerified email at uni.lu
Claudio MenghiUniversity of Luxembourg, Interdisciplinary Centre for Security, Reliability and TrustVerified email at uni.lu
Professor Didar ZowghiProf of Software Engineering, Deputy Dean, Graduate Research School,University of Technology SydneyVerified email at uts.edu.au
Alessandro CampiPolitecnico di MilanoVerified email at elet.polimi.it
Muneera BanoDeakin UniversityVerified email at deakin.edu.au
Pierluigi San PietroPolitecnico di MilanoVerified email at polimi.it
Beatrice DonatiUniversita degli Studi di FirenzeVerified email at unifi.it
Matteo Pradellaassociate professor, Politecnico di MilanoVerified email at polimi.it
Carlo A. FuriaUSI Università della Svizzera ItalianaVerified email at usi.ch
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 SantambrogioAssistant professor, Politecnico di MilanoVerified email at polimi.it
Dr. Amir Molzam ShariflooVerified email at paluno.uni-due.de
Bashar NuseibehThe Open University (UK) & Lero (Ireland)Verified email at open.ac.uk

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	281	2010
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface M Abe, K Aoki, G Ateniese, R Avanzi, Z Beerliová, O Billet, A Biryukov, ... Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2006	167*	2006
Validation of web service compositions L Baresi, D Bianculli, C Ghezzi, S Guinea, P Spoletini IET software 1 (6), 219-232, 2007	119	2007
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	111	2013
On the use of Alloy to analyze graph transformation systems L Baresi, P Spoletini International Conference on Graph Transformation, 306-320, 2006	85	2006
Wiley encyclopedia of computer science and engineering BW Wah Wiley-interscience, 2007	78	2007
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	67	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	61	2009
Ambiguity and tacit knowledge in requirements elicitation interviews A Ferrari, P Spoletini, S Gnesi Requirements Engineering 21 (3), 333-355, 2016	60	2016
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	57	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 D Peled, P Pelliccione, P Spoletini Wiley encyclopedia of computer science and engineering, 1904-1920, 2007	43	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	42	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	37	2007
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
Modeling and analyzing context-aware composition of services E Colombo, J Mylopoulos, P Spoletini International Conference on Service-Oriented Computing, 198-213, 2005	31	2005
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	28	2012
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	28	2003
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	27	2018
Model-checking TRIO specifications in SPIN A Morzenti, M Pradella, P San Pietro, P Spoletini International Symposium of Formal Methods Europe, 542-561, 2003	27	2003

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

Upload PDF

Follow this author

Cited by

Co-authors