• Sign in
  • Sign up
conf.researchr.org / Mieke Massink
  • ETAPS 2019 profile
  • FSEN 2025 profile
  • ICSE 2020 profile
  • ICSE 2021 profile
  • ICSE 2022 profile
  • ICSE 2023 profile
Mieke Massink

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
xSun 18 May 09:07
using conf.researchr.org (v1.69.0)
Support page
Sign Up