Paola Spoletini - Google Scholar Citations

Cited by

	All	Since 2015
Citations	1649	795
h-index	21	15
i10-index	37	22

180

135

200520062007200820092010201120122013201420152016201720182019202011 8 35 105 76 93 112 129 108 148 129 134 158 171 148 53

Co-authors

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
Alessio FerrariResearch Scientist, ISTI CNRVerified email at isti.cnr.it
Domenico BianculliAssociate Professor/Chief Scientist 2, University of Luxembourg, LuxembourgVerified email at uni.lu
Stefania GnesiISTI-CNR, ItalyVerified email at isti.cnr.it
Claudio MenghiUniversity of Luxembourg, Interdisciplinary Centre for Security, Reliability and TrustVerified email at uni.lu
Alessandro CampiPolitecnico di MilanoVerified email at elet.polimi.it
Pierluigi San PietroPolitecnico di MilanoVerified email at polimi.it
Matteo Pradellaassociate professor, Politecnico di MilanoVerified email at polimi.it
Professor Didar ZowghiProfessor of Software Engineering, Deputy Dean, Graduate Research School,University of TechnologyVerified email at uts.edu.au
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
Beatrice DonatiUniversita degli Studi di FirenzeVerified email at unifi.it
Muneera BanoDeakin UniversityVerified email at deakin.edu.au
Marco Domenico SantambrogioAssistant professor, Politecnico di MilanoVerified email at polimi.it
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerified email at cs.biu.ac.il
Dr. Amir Molzam ShariflooThe Ruhr Institute for Software Technology, University of Duisburg-Essen, GermanyVerified email at paluno.uni-due.de
Patrizio PelliccioneAssociate Professor, Chalmers | University of Gothenburg and University of L'AquilaVerified email at chalmers.se

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	258	2010
Validation of web service compositions L Baresi, D Bianculli, C Ghezzi, S Guinea, P Spoletini IET software 1 (6), 219-232, 2007	114	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	93	2013
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface D Ünay, Z Çataltepe, S Aksoy Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2010	81	2010
On the use of Alloy to analyze graph transformation systems L Baresi, P Spoletini International Conference on Graph Transformation, 306-320, 2006	79	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	66	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, 2009	60	2009
Wiley encyclopedia of computer science and engineering BW Wah John Wiley,, 2009	59	2009
A model checking approach to verify BPEL4WS workflows D Bianculli, C Ghezzi, P Spoletini IEEE International Conference on Service-Oriented Computing and Applications …, 2007	52	2007
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	49	2008
Ambiguity and tacit knowledge in requirements elicitation interviews A Ferrari, P Spoletini, S Gnesi Requirements Engineering 21 (3), 333-355, 2016	47	2016
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	39	2007
Model checking D Peled, P Pelliccione, P Spoletini Wiley encyclopedia of computer science and engineering, 1904-1920, 2007	38	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	36	2007
Towards automated verification of layered graph transformation specifications V Rafe, AT Rahmani, L Baresi, P Spoletini IET software 3 (4), 276-291, 2009	30	2009
Modeling and analyzing context-aware composition of services E Colombo, J Mylopoulos, P Spoletini International Conference on Service-Oriented Computing, 198-213, 2005	29	2005
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
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	26	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	25	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	24	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

Upload PDF

Follow this author

Cited by

Co-authors