Paola Spoletini

Cited by

	All	Since 2016
Citations	2031	962
h-index	21	15
i10-index	46	30

200

100

150

2004200520062007200820092010201120122013201420152016201720182019202020215 12 12 39 107 83 98 116 127 120 155 136 141 165 175 159 195 118

Public access

View all

13 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
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
Alessandro CampiPolitecnico di MilanoVerified email at elet.polimi.it
Professor Didar ZowghiProf of Software Engineering, Deputy Dean, Graduate Research School,University of Technology SydneyVerified email at uts.edu.au
Muneera BanoDeakin UniversityVerified email at deakin.edu.au
Pierluigi San PietroPolitecnico di MilanoVerified email at polimi.it
Carlo A. FuriaUSI Università della Svizzera ItalianaVerified email at usi.ch
Matteo Pradellaassociate professor, Politecnico di MilanoVerified email at polimi.it
Beatrice DonatiUniversita degli Studi di FirenzeVerified email at unifi.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	295	2010
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	156*	2010
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	116	2013
Wiley encyclopedia of computer science and engineering BW Wah Wiley-interscience, 2007	88	2007
On the use of Alloy to analyze graph transformation systems L Baresi, P Spoletini International Conference on Graph Transformation, 306-320, 2006	88	2006
Ambiguity and tacit knowledge in requirements elicitation interviews A Ferrari, P Spoletini, S Gnesi Requirements Engineering 21 (3), 333-355, 2016	69	2016
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	68	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
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	58	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	56	2007
Model Checking. DA Peled, P Pelliccione, P Spoletini Wiley encyclopedia of computer science and engineering, 2008	43	2008
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	40	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	33	2018
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	29	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
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

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 this author

Cited by

Co-authors