Mieke Massink

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 56

Top Venues

CoRR

Sci. Comput. Program.

Log. Methods Comput. Sci.

QAPL

Publications

Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
. FORTE (2024)
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta - Extended Version. CoRR (2024)
Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik P. de Vink
On Bisimilarity for Polyhedral Models and SLCS. FORTE (2023)
Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink, Erik P. de Vink
Minimisation of Spatial Models Using Branching Bisimilarity. FM (2023)
Hossein Hojjat, Mieke Massink
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2021). Sci. Comput. Program. 225 (2023)
Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
On Bisimilarity for Quasi-discrete Closure Spaces. CoRR (2023)
Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink
Towards a GUI for Declarative Medical Image Analysis: Cognitive and Memory Load Issues. HCI (38) (2022)
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink
On Binding in the Spatial Logics for Closure Spaces. ISoLA (1) (2022)
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink
Geometric Model Checking of Continuous Space. Log. Methods Comput. Sci. 18 (4) (2022)
Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Hossein Hojjat, Mieke Massink
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2019). Sci. Comput. Program. 206 (2021)
Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
On Bisimilarities for Closure Spaces - Preliminary Version. CoRR (2021)
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink
Geometric Model Checking of Continuous Space. CoRR (2021)
Gina Belmonte, Giovanna Broccia, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink
Querying Medical Imaging Datasets Using Spatial Logics (Position Paper). MEDI Workshops (2021)
Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink, Giorgio Oronzo Spagnolo
Spatial Model Checking for Smart Stations - Research Challenges. FMICS (2021)
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink
Towards Model Checking Video Streams Using VoxLogicA on GPUs. DataMod (2021)
Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink
Feasibility of Spatial Model Checking for Nevus Segmentation. FormaliSE@ICSE (2021)
Vincenzo Ciancia, Gina Belmonte, Diego Latella, Mieke Massink
A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - - Invited Contribution. SPIN (2021)
Fabrizio Banci Buonamici, Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
Spatial logics and model checking for medical imaging. Int. J. Softw. Tools Technol. Transf. 22 (2) (2020)
Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink
Using Spatial Logic and Model Checking for Nevus Segmentation. CoRR (2020)
Nicolas Gast, Diego Latella, Mieke Massink
Refined Mean Field Analysis of the Gossip Shuffle Protocol - extended version -. CoRR (2020)
Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations. CoRR (2020)
Nicolas Gast, Diego Latella, Mieke Massink
Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited. COORDINATION (2020)
Jean-Marie Jacquet, Mieke Massink
Preface to the special issue on Coordination Models and Languages (Coordination 2017). Sci. Comput. Program. 180 (2019)
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
VoxLogicA: A Spatial Model Checker for Declarative Image Analysis. TACAS (1) (2019)
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
Innovating Medical Image Analysis via Spatial Logics. From Software Engineering to Formal Methods and Tools, and Back (2019)
Vincenzo Ciancia, Diego Latella, Mieke Massink
Embedding RCC8D in the Collective Spatial Logic CSLCS. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
VoxLogicA: a Spatial-Logic Based Tool for Declarative Image Analysis. ERCIM News 2019 (118) (2019)
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version). CoRR (2018)
Vincenzo Ciancia, Stephen Gilmore, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink
Spatio-temporal model checking of vehicular movement in public transport systems. Int. J. Softw. Tools Technol. Transf. 20 (3) (2018)
Fabrizio Banci Buonamici, Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
Spatial Logics and Model Checking for Medical Imaging (Extended Version). CoRR (2018)
Nicolas Gast, Diego Latella, Mieke Massink
A refined mean field approximation of synchronous discrete-time population models. CoRR (2018)
Nicolas Gast, Diego Latella, Mieke Massink
A Refined Mean Field Approximation for Synchronous Population Processes. SIGMETRICS Perform. Evaluation Rev. 46 (2) (2018)
Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. Log. Methods Comput. Sci. 14 (4) (2018)
Nicolas Gast, Diego Latella, Mieke Massink
A refined mean field approximation of synchronous discrete-time population models. Perform. Evaluation 126 (2018)
Diego Latella, Michele Loreti, Mieke Massink
FlyFast: A Mean Field Model Checker. TACAS (2) (2017)
Diego Latella, Mieke Massink
Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination. QAPL@ETAPS (2017)
Diego Latella, Michele Loreti, Mieke Massink
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation. ModelEd, TestEd, TrustEd (2017)
Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. CoRR (2017)
Vincenzo Ciancia, Diego Latella, Mieke Massink
On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination. COORDINATION (2016)
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
Spatial Logic and Spatial Model Checking for Closure Spaces. SFM (2016)
Vincenzo Ciancia, Diego Latella, Mieke Massink, Rytis Paskauskas, Andrea Vandin
A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems. ISoLA (1) (2016)
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging. FORECAST@STAF (2016)
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
Model Checking Spatial Logics for Closure Spaces. Log. Methods Comput. Sci. 12 (4) (2016)
Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink
CARMA: Collective Adaptive Resource-sharing Markovian Agents. QAPL (2015)
Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink
An Experimental Spatio-Temporal Model Checker. SEFM Workshops (2015)
Diego Latella, Mieke Massink, Erik P. de Vink
Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically. Log. Methods Comput. Sci. 11 (4) (2015)
Diego Latella, Mieke Massink, Erik P. de Vink
A Definition Scheme for Quantitative Bisimulation. QAPL (2015)
Vincenzo Ciancia, Diego Latella, Mieke Massink, Rytis Paskauskas
Exploring Spatio-temporal Properties of Bike-Sharing Systems. SASO Workshops (2015)
Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni
On StocS: A Stochastic Extension of SCEL. Software, Services, and Systems (2015)
Mieke Massink, Rytis Paskauskas
Model-Based Assessment of Aspects of User-satisfaction in Bicycle Sharing Systems. ITSC (2015)
Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. RV (2015)
Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink
Towards Automatic Decision Support for Bike-Sharing System Design. SEFM Workshops (2015)
Diego Latella, Michele Loreti, Mieke Massink
On-the-fly Fluid Model Checking via Discrete Time Population Models. EPEW (2015)
Diego Latella, Michele Loreti, Mieke Massink
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems. COORDINATION (2015)
Diego Latella, Michele Loreti, Mieke Massink
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination. Sci. Comput. Program. 110 (2015)
Mieke Massink, Gethin Norman, Herbert Wiklicky
Quantitative Aspects of Programming Languages and Systems (2011-12). Theor. Comput. Sci. 538 (2014)
Vincenzo Ciancia, Stephen Gilmore, Diego Latella, Michele Loreti, Mieke Massink
Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data. SASO Workshops (2014)
Diego Latella, Michele Loreti, Mieke Massink
On-the-fly Probabilistic Model Checking. ICE (2014)
Maurice H. ter Beek, Luca Bortolussi, Vincenzo Ciancia, Stefania Gnesi, Jane Hillston, Diego Latella, Mieke Massink
A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities. ERCIM News 2014 (98) (2014)
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
Specifying and Verifying Properties of Space - Extended Version. CoRR (2014)
Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni
Stochastically timed predicate-based communication primitives for autonomic computing. QAPL (2014)
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
Specifying and Verifying Properties of Space. IFIP TCS (2014)
Diego Latella, Michele Loreti, Mieke Massink
On-the-fly Fast Mean-Field Model-Checking. TGC (2013)
Luca Bortolussi, Diego Latella, Mieke Massink
Stochastic Process Algebra and Stability Analysis of Collective Systems. COORDINATION (2013)
Mieke Massink, Manuele Brambilla, Diego Latella, Marco Dorigo, Mauro Birattari
On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics. Swarm Intell. 7 (2-3) (2013)
Luca Bortolussi, Jane Hillston, Diego Latella, Mieke Massink
Continuous approximation of collective system behaviour: A tutorial. Perform. Evaluation 70 (5) (2013)
Diego Latella, Michele Loreti, Mieke Massink
On-the-fly Fast Mean-Field Model-Checking: Extended Version. CoRR (2013)
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
A uniform definition of stochastic process calculi. ACM Comput. Surv. 46 (1) (2013)
Mieke Massink, Manuele Brambilla, Diego Latella, Marco Dorigo, Mauro Birattari
Analysing Robot Swarm Decision-Making with Bio-PEPA. ANTS (2012)
Diego Latella, Mieke Massink, Erik P. de Vink
Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages ACCAT (2012)
Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison, Jane Hillston
Scalable context-dependent analysis of emergency egress models. Formal Aspects Comput. 24 (2) (2012)
Mieke Massink, Diego Latella
Fluid Analysis of Foraging Ants. COORDINATION (2012)
Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston
Modelling Non-linear Crowd Dynamics in Bio-PEPA. FASE (2011)
Andrea Bracciali, Jane Hillston, Diego Latella, Mieke Massink
Reconciling Population and Agent Models for Crowd Dynamics. LAM@LICS (2010)
Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison
A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. SEFM (2010)
Mieke Massink, Michael D. Harrison, Diego Latella
Scalable analysis of collective behaviour in smart service systems. SAC (2010)
Michael D. Harrison, Mieke Massink
Modelling Interactive Experience, Function and Performance in Ubiquitous Systems. Electron. Notes Theor. Comput. Sci. 261 (2010)
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
MarCaSPiS: a Markovian Extension of a Calculus for Services. Electron. Notes Theor. Comput. Sci. 229 (4) (2009)
Tiziana Margaria, Mieke Massink
Preface. Int. J. Softw. Tools Technol. Transf. 11 (5) (2009)
Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink, Philippe A. Palanque, Marco Winckler
Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach. INTERACT (1) (2009)
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
On a Uniform Framework for the Definition of Stochastic Process Languages. FMICS (2009)
Michael D. Harrison, Mieke Massink
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 22 (2009)
Michael D. Harrison, Mieke Massink, Diego Latella
Engineering crowd interaction within smart environments. EICS (2009)
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
Rate-Based Transition Systems for Stochastic Process Calculi. ICALP (2) (2009)
Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni
Assisting the design of a groupware system. J. Log. Algebraic Methods Program. 78 (4) (2009)
Philippe A. Palanque, Marco Winckler, Jean-François Ladry, Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink
A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems. EICS (2009)
Mieke Massink, Diego Latella, Maurice H. ter Beek, Michael D. Harrison, Michele Loreti
A Fluid Flow Approach to Usability Analysis of Multi-user Systems. TAMODIA/HCSE (2008)
Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni
Assisting the Design of an Industrial Groupware System by Model Checking. ERCIM News 2008 (73) (2008)
Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC (2008)
Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink
Model checking mobile stochastic logic. Theor. Comput. Sci. 382 (1) (2007)
Maria Carla Palmeri, Rocco De Nicola, Mieke Massink
Basic Observables for Probabilistic May Testing. QEST (2007)
Giorgio P. Faconti, Mieke Massink
Analysis of Pointing Tasks on a White Board. DSV-IS (2006)
Mieke Massink, Diego Latella, Stefania Gnesi
On testing UML statecharts. J. Log. Algebraic Methods Program. 69 (1-2) (2006)
Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink
Towards a Logic for Performance and Mobility. Electron. Notes Theor. Comput. Sci. 153 (2) (2006)
Maurice H. ter Beek, Mieke Massink, Diego Latella
Towards Model Checking Stochastic Aspects of the thinkteam User Interface. DSV-IS (2005)
Gavin J. Doherty, Lydie du Bousquet, José Creissac Campos, El Mustapha El Atifi, Gilles Falquet, Mieke Massink, Carmen Santoro
Ambience and Mobility. DSV-IS (2005)
Rocco De Nicola, Diego Latella, Mieke Massink
Formal modeling and quantitative analysis of KLAIM-based mobile systems. SAC (2005)
Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis
A case study on the automated verification of groupware protocols. ICSE (2005)
Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis
. Electron. Notes Theor. Comput. Sci. 133 (2005)

Mieke Massink.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mieke Massink