Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mieke Massink
conf.researchr.org general profile
ETAPS 2019 profile
FSEN 2025 profile
ICSE 2020 profile
ICSE 2021 profile
ICSE 2022 profile
ICSE 2023 profile
Registered user since Mon 19 Nov 2018
Name:
Mieke Massink
Affiliation:
CNR-ISTI Pisa, Italy
Contributions
2025
FSEN
Committee Member in Program Committee
Author of Ten Years of Spatial Model Checking within the Marjan Festschrift-track
Committee Member in Steering Committee
Session Chair of Conference session 4 (part of Research Papers)
2023
FormaliSE
Committee Member in Program Committee within the FormaliSE 2023-track
2022
FormaliSE
Committee Member in Program Committee within the FormaliSE 2022-track
Session Chair of Session 1 (part of FormaliSE 2022)
2021
FormaliSE
Committee Member in Programme Committee within the FormaliSE 2021-track
Author of Feasibility of Spatial Model Checking for Nevus Segmentation within the FormaliSE 2021-track
2020
FormaliSE
PC Member in Program Committee within the FormaliSE 2020-track
2019
QAPL
Steering Committee Member in Steering Committee within the QAPL-track
Author of Recent Applications and Quantitative Aspects of Spatial Model Checking within the QAPL-track
TACAS
Author of VoxLogicA: a Spatial Model Checker for Declarative Image Analysis within the TACAS 2019-track
Share
x
Thu 1 May 13:49
