Mieke Massink

Cited by

	All	Since 2019
Citations	4090	1184
h-index	32	21
i10-index	85	30

280

140

210

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202421 30 42 91 83 111 124 143 175 112 141 145 139 135 138 141 186 262 256 175 180 171 219 173 221 166 233

Public access

View all

31 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Prof. Michele LoretiSchool of Science and Technology, University of CamerinoVerified email at unicam.it
Rocco De NicolaProfessor of Computer Science, IMT LuccaVerified email at imtlucca.it
Jane HillstonProfessor of Quantitative Modelling, University of EdinburghVerified email at ed.ac.uk
Luca BortolussiUniversità di TriesteVerified email at units.it
Istvan MajzikAssociate Professor, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl
Gavin DohertyProfessor in Computer Science, Trinity College DublinVerified email at tcd.ie
Andrea BraccialiAssociate Professor, Computer Science, University of Turin, ITVerified email at unito.it
Howard BowmanSchool of Psychology, University of BirminghamVerified email at bham.ac.uk
Rosario PuglieseProfessor of Computer Science, University of FlorenceVerified email at unifi.it
Martin WirsingProfessor of Computer Science, LMU MunichVerified email at lmu.de
Fabio GadducciProfessore di Informatica, Università di PisaVerified email at unipi.it
Philippe PalanqueProfessor in Computer Science, ICS-IRIT, Université Paul Sabatier - Toulouse IIIVerified email at irit.fr
Hubert BaumeisterTechnical University of DenmarkVerified email at dtu.dk
Shamus P. SmithGriffith UniversityVerified email at griffith.edu.au
Mauro BirattariF.R.S.–FNRS Research Director, IRIDIA, Université libre de BruxellesVerified email at ulb.ac.be
Marco DorigoFNRS Research Director, IRIDIA, Université Libre de BruxellesVerified email at ulb.ac.be
Marco WincklerProfessor in Computer Sciences at Université Côte d'Azur, SPARKS/wimmics team I3S/INRIAVerified email at univ-cotedazur.fr
José Luiz FiadeiroDurham Johnston Comprehensive SchoolVerified email at durhamjohnston.org.uk
Andrzej TarleckiFaculty of Mathematics, Informatics and Mechanics, University of WarsawVerified email at mimuw.edu.pl

Mieke Massink

CNR-ISTI

Verified email at isti.cnr.it

Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker D Latella, I Majzik, M Massink Formal aspects of computing 11, 637-664, 1999	461	1999
Towards a formal operational semantics of UML statechart diagrams D Latella, I Majzik, M Massink International conference on formal methods for open object-based distributed …, 1999	331	1999
Continuous approximation of collective system behaviour: A tutorial L Bortolussi, J Hillston, D Latella, M Massink Performance Evaluation 70 (5), 317-349, 2013	206	2013
Formal test-case generation for UML statecharts S Gnesi, D Latella, M Massink Proceedings. Ninth IEEE International Conference on Engineering of Complex …, 2004	127	2004
Model checking UML statechart diagrams using JACK S Gnesi, D Latella, M Massink Proceedings 4th IEEE International Symposium on High-Assurance Systems …, 1999	122	1999
Specifying and verifying properties of space V Ciancia, D Latella, M Loreti, M Massink Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference …, 2014	97	2014
Model checking mobile stochastic logic R De Nicola, JP Katoen, D Latella, M Loreti, M Massink Theoretical Computer Science 382 (1), 42-70, 2007	86	2007
The SCEL language: design, implementation, verification R De Nicola, D Latella, AL Lafuente, M Loreti, A Margheri, M Massink, ... Software Engineering for Collective Autonomic Systems: The ASCENS Approach, 3-71, 2015	84	2015
Qualitative and quantitative monitoring of spatio-temporal properties L Nenzi, L Bortolussi, V Ciancia, M Loreti, M Massink Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015	82	2015
Spatio-temporal model checking of vehicular movement in public transport systems V Ciancia, S Gilmore, G Grilletti, D Latella, M Loreti, M Massink International Journal on Software Tools for Technology Transfer 20, 289-311, 2018	75	2018
Model checking spatial logics for closure spaces V Ciancia, D Latella, M Loreti, M Massink Logical Methods in Computer Science 12, 2017	69	2017
A uniform definition of stochastic process calculi R De Nicola, D Latella, M Loreti, M Massink ACM Computing Surveys (CSUR) 46 (1), 5:1-5:35, 2013	67	2013
A uniform definition of stochastic process calculi R De Nicola, D Latella, M Loreti, M Massink ACM Computing Surveys (CSUR) 46 (1), 5:1-5:35, 0	67*
Automatic verification of a lip-synchronisation protocol using uppaal H Bowman, G Faconti, JP Katoen, D Latella, M Massink Formal Aspects of Computing 10, 550-575, 1998	65	1998
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking S Gnesi, D Latella, M Massink The Journal of Logic and Algebraic Programming 51 (1), 43-75, 2002	64	2002
A tool-chain for statistical spatio-temporal model checking of bike sharing systems V Ciancia, D Latella, M Massink, R Paškauskas, A Vandin Leveraging Applications of Formal Methods, Verification and Validation …, 2016	63	2016
Spatial logics and model checking for medical imaging F Banci Buonamici, G Belmonte, V Ciancia, D Latella, M Massink International Journal on Software Tools for Technology Transfer 22 (2), 195-217, 2020	61	2020
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL L Nenzi, L Bortolussi, V Ciancia, M Loreti, M Massink Logical Methods in Computer Science 14 (Modal and temporal logics), 2018	61	2018
CARMA: collective adaptive resource-sharing Markovian agents L Bortolussi, R De Nicola, V Galpin, S Gilmore, J Hillston, D Latella, ... arXiv preprint arXiv:1509.08560, 2015	61	2015
Formal modeling and quantitative analysis of KLAIM-based mobile systems R De Nicola, D Latella, M Massink Proceedings of the 2005 ACM symposium on Applied computing, 428-435, 2005	60	2005

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