Mieke Massink

Statistics

Publications

Citations

1.6K

H-Index

Active since

1998

Affiliations

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"(Current)

University of Florence

IMT School for Advanced Studies Lucca

University of Edinburgh

Newcastle University

Mieke Massink is an author at Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" specializing in computing, computer science, and model checking.

ORCID

Publications per year

1998–2022

Publications

Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker

Diego Latella, István Majzik, Mieke Massink · Formal Aspects of Computing · 1999 · 292 citations

Computing, Computer Science, Formal Methods +14

Continuous approximation of collective system behaviour: A tutorial

Luca Bortolussi, Jane Hillston, Diego Latella et al. · Performance Evaluation · 2013 · 170 citations

Engineering, Mathematics, Complex Systems +12

Formal test-case generation for UML statecharts

Stefania Gnesi, Diego Latella, Mieke Massink · 2004 · 69 citations

Computing, Computer Science, Systems Engineering +17

Model checking UML Statechart diagrams using JACK

Stefania Gnesi, Diego Latella, Mieke Massink · 2003 · 67 citations

Computing, Computer Science, Formal Methods +16

Model checking mobile stochastic logic

Rocco De Nicola, Joost-Pieter Katoen, Diego Latella et al. · Theoretical Computer Science · 2007 · 65 citations

Computing, Computer Science, Formal Methods +7

1–5 of 43