Mieke Massink

Cited by

	All	Since 2016
Citations	3186	970
h-index	28	18
i10-index	76	27

260

130

195

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202115 29 39 89 82 105 120 129 170 106 141 142 125 133 132 158 185 255 249 178 157 172 207 4

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
Gavin DohertyTrinity College DublinVerified email at tcd.ie
Andrea BraccialiSICSA Lecturer, Stirling UniversityVerified email at cs.stir.ac.uk
Howard BowmanSchool of Computing, University of Kent and School of Psychology, University of BirminghamVerified email at kent.ac.uk
Rosario PuglieseProfessor of Computer Science, University of FlorenceVerified email at unifi.it
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl
Martin WirsingProfessor of Computer Science, LMU MunichVerified email at lmu.de
Hubert BaumeisterTechnical University of DenmarkVerified email at dtu.dk
Shamus P. SmithUniversity of Newcastle (Australia)Verified email at newcastle.edu.au
Marco WincklerFull Professor, Université Nice Sophia Antipolis (Polytech)Verified email at unice.fr
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
Manuele BrambillaProphesee, IRIDIA-ULBVerified email at iridia.ulb.ac.be
Philippe PalanqueProfessor in Computer Science, ICS-IRIT, Université Paul Sabatier - Toulouse IIIVerified email at irit.fr
Fabio GadducciProfessore di scienze informatiche, Università di PisaVerified email at unipi.it
José Luiz FiadeiroDean of Science and Engineering, University of DundeeVerified email at dundee.ac.uk

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 (6), 637-664, 1999	421	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	298	1999
Continuous approximation of collective system behaviour: A tutorial L Bortolussi, J Hillston, D Latella, M Massink Performance Evaluation 70 (5), 317-349, 2013	161	2013
Formal test-case generation for UML statecharts S Gnesi, D Latella, M Massink Proceedings. Ninth IEEE International Conference on Engineering of Complex …, 2004	118	2004
Model checking UML statechart diagrams using JACK S Gnesi, D Latella, M Massink Proceedings 4th IEEE International Symposium on High-Assurance Systems …, 1999	105	1999
Model checking mobile stochastic logic R De Nicola, JP Katoen, D Latella, M Loreti, M Massink Theoretical Computer Science 382 (1), 42-70, 2007	74	2007
Qualitative and quantitative monitoring of spatio-temporal properties L Nenzi, L Bortolussi, V Ciancia, M Loreti, M Massink Runtime Verification, 21-37, 2015	62	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	56	2005
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	56	2002
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, 3-71, 2015	55	2015
Specifying and verifying properties of space V Ciancia, D Latella, M Loreti, M Massink IFIP International Conference on Theoretical Computer Science, 222-235, 2014	53	2014
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	52	2013
A uniform definition of stochastic process calculi R Nicola, D Latella, M Loreti, M Massink ACM Computing Surveys (CSUR) 46 (1), 1-35, 2013	52	2013
The hybrid world of virtual environments S Smith, D Duke, M Massink Computer Graphics Forum 18 (3), 297-308, 1999	52	1999
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	52*
Specification and verification of media constraints using UPPAAL H Bowman, GP Faconti, M Massink Design, Specification and Verification of Interactive Systems’ 98, 261-277, 1998	47	1998
Modelling free flight with collision avoidance M Massink, N De Francesco Proceedings Seventh IEEE International Conference on Engineering of Complex …, 2001	45	2001
Rate-based transition systems for stochastic process calculi R De Nicola, D Latella, M Loreti, M Massink International Colloquium on Automata, Languages, and Programming, 435-446, 2009	44	2009
Automatic verification of a lip-synchronisation protocol using uppaal H Bowman, G Faconti, JP Katoen, D Latella, M Massink Formal Aspects of Computing 10 (5-6), 550-575, 1998	44	1998
On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics M Massink, M Brambilla, D Latella, M Dorigo, M Birattari Swarm Intelligence 7 (2-3), 201-228, 2013	42	2013

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