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 engineering, computer science, and systems engineering.

ORCID

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsFormal VerificationVerificationAutomated ReasoningDesignData ScienceHuman-computer Interaction

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 · 289 citations

Continuous approximation of collective system behaviour: A tutorial

Luca Bortolussi, Jane Hillston, Diego Latella et al. · Performance Evaluation · 2013 · 165 citations · Full text

Continuous Approximation, Interacting Particle System, Collective Motion +2

Formal test-case generation for UML statecharts

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

Engineering, Formal Test-case Generation, Verification +20

Model checking UML Statechart diagrams using JACK

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

Engineering, Verification, Software Engineering +20

Model checking mobile stochastic logic

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

Engineering, Automated Reasoning, Probabilistic Verification +8

1–5 of 43