Mieke Massink

Orcid: 0000-0001-5089-002X

According to our database1, Mieke Massink authored at least 128 papers between 1992 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2021).
Sci. Comput. Program., 2023

On Bisimilarity for Quasi-discrete Closure Spaces.
CoRR, 2023

On Bisimilarity for Polyhedral Models and SLCS.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

Minimisation of Spatial Models Using Branching Bisimilarity.
Proceedings of the Formal Methods - 25th International Symposium, 2023

2022
Geometric Model Checking of Continuous Space.
Log. Methods Comput. Sci., 2022

On Binding in the Spatial Logics for Closure Spaces.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Towards a GUI for Declarative Medical Image Analysis: Cognitive and Memory Load Issues.
Proceedings of the HCI International 2022 Posters, 2022

Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces.
Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2019).
Sci. Comput. Program., 2021

On Bisimilarities for Closure Spaces - Preliminary Version.
CoRR, 2021

A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - - Invited Contribution.
Proceedings of the Model Checking Software - 27th International Symposium, 2021

Querying Medical Imaging Datasets Using Spatial Logics (Position Paper).
Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021

Feasibility of Spatial Model Checking for Nevus Segmentation.
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

Spatial Model Checking for Smart Stations - Research Challenges.
Proceedings of the Formal Methods for Industrial Critical Systems, 2021

Towards Model Checking Video Streams Using VoxLogicA on GPUs.
Proceedings of the From Data to Models and Back, 2021

2020
Spatial logics and model checking for medical imaging.
Int. J. Softw. Tools Technol. Transf., 2020

Using Spatial Logic and Model Checking for Nevus Segmentation.
CoRR, 2020

Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations.
CoRR, 2020

Refined Mean Field Analysis of the Gossip Shuffle Protocol - extended version -.
CoRR, 2020

Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited.
Proceedings of the Coordination Models and Languages, 2020

2019
Preface to the special issue on Coordination Models and Languages (Coordination 2017).
Sci. Comput. Program., 2019

VoxLogicA: a Spatial-Logic Based Tool for Declarative Image Analysis.
ERCIM News, 2019

VoxLogicA: A Spatial Model Checker for Declarative Image Analysis.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Embedding RCC8D in the Collective Spatial Logic CSLCS.
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

Innovating Medical Image Analysis via Spatial Logics.
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018
Spatio-temporal model checking of vehicular movement in public transport systems.
Int. J. Softw. Tools Technol. Transf., 2018

A Refined Mean Field Approximation for Synchronous Population Processes.
SIGMETRICS Perform. Evaluation Rev., 2018

A refined mean field approximation of synchronous discrete-time population models.
Perform. Evaluation, 2018

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL.
Log. Methods Comput. Sci., 2018

Spatial Logics and Model Checking for Medical Imaging (Extended Version).
CoRR, 2018

VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version).
CoRR, 2018

2017
Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination.
Proceedings of the Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, 2017

FlyFast: A Mean Field Model Checker.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation.
Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016
Model Checking Spatial Logics for Closure Spaces.
Log. Methods Comput. Sci., 2016

From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging.
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, 2016

Spatial Logic and Spatial Model Checking for Closure Spaces.
Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016

A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination.
Proceedings of the Coordination Models and Languages, 2016

2015
The SCEL Language: Design, Implementation, Verification.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination.
Sci. Comput. Program., 2015

Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically.
Log. Methods Comput. Sci., 2015

A Definition Scheme for Quantitative Bisimulation.
Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015

CARMA: Collective Adaptive Resource-sharing Markovian Agents.
Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015

An Experimental Spatio-Temporal Model Checker.
Proceedings of the Software Engineering and Formal Methods, 2015

Towards Automatic Decision Support for Bike-Sharing System Design.
Proceedings of the Software Engineering and Formal Methods, 2015

Exploring Spatio-temporal Properties of Bike-Sharing Systems.
Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties.
Proceedings of the Runtime Verification - 6th International Conference, 2015

Model-Based Assessment of Aspects of User-satisfaction in Bicycle Sharing Systems.
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

On-the-fly Fluid Model Checking via Discrete Time Population Models.
Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems.
Proceedings of the Coordination Models and Languages, 2015

On StocS: A Stochastic Extension of SCEL.
Proceedings of the Software, 2015

2014
Quantitative Aspects of Programming Languages and Systems (2011-12).
Theor. Comput. Sci., 2014

A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities.
ERCIM News, 2014

Stochastically timed predicate-based communication primitives for autonomic computing.
Proceedings of the Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2014

On-the-fly Probabilistic Model Checking.
Proceedings of the Proceedings 7th Interaction and Concurrency Experience, 2014

Specifying and Verifying Properties of Space - Extended Version.
CoRR, 2014

Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data.
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014

Specifying and Verifying Properties of Space.
Proceedings of the Theoretical Computer Science, 2014

2013
On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics.
Swarm Intell., 2013

Continuous approximation of collective system behaviour: A tutorial.
Perform. Evaluation, 2013

A uniform definition of stochastic process calculi.
ACM Comput. Surv., 2013

On-the-fly Fast Mean-Field Model-Checking: Extended Version.
CoRR, 2013

On-the-fly Fast Mean-Field Model-Checking.
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

Stochastic Process Algebra and Stability Analysis of Collective Systems.
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

2012
Scalable context-dependent analysis of emergency egress models.
Formal Aspects Comput., 2012

Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages
Proceedings of the Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, 2012

Fluid Analysis of Foraging Ants.
Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

Analysing Robot Swarm Decision-Making with Bio-PEPA.
Proceedings of the Swarm Intelligence - 8th International Conference, 2012

2011
Modelling Non-linear Crowd Dynamics in Bio-PEPA.
Proceedings of the Fundamental Approaches to Software Engineering, 2011

SoSL: A Service-Oriented Stochastic Logic.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010
A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis.
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Scalable analysis of collective behaviour in smart service systems.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Reconciling Population and Agent Models for Crowd Dynamics.
Proceedings of the 3rd International Workshop on Logics, Agents, and Mobility, 2010

2009
Preface.
Int. J. Softw. Tools Technol. Transf., 2009

Assisting the design of a groupware system.
J. Log. Algebraic Methods Program., 2009

Modelling Interactive Experience, Function and Performance in Ubiquitous Systems.
Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling, 2009

Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach.
Proceedings of the Human-Computer Interaction, 2009

Rate-Based Transition Systems for Stochastic Process Calculi.
Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009

On a Uniform Framework for the Definition of Stochastic Process Languages.
Proceedings of the Formal Methods for Industrial Critical Systems, 2009

A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems.
Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009

Engineering crowd interaction within smart environments.
Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009

2008
Assisting the Design of an Industrial Groupware System by Model Checking.
ERCIM News, 2008

MarCaSPiS: a Markovian Extension of a Calculus for Services.
Proceedings of the Fifth Workshop on Structural Operational Semantics, 2008

Combining Timed Coordination Primitives and Probabilistic Tuple Spaces.
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

A Fluid Flow Approach to Usability Analysis of Multi-user Systems.
Proceedings of the Engineering Interactive Systems, 2008

2007
Model checking mobile stochastic logic.
Theor. Comput. Sci., 2007

Basic Observables for Probabilistic May Testing.
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

2006
On testing UML statecharts.
J. Log. Algebraic Methods Program., 2006

Analysis of Pointing Tasks on a White Board.
Proceedings of the Interactive Systems. Design, 2006

2005
Towards a Logic for Performance and Mobility.
Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005

Formal modeling and quantitative analysis of KLAIM-based mobile systems.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

A case study on the automated verification of groupware protocols.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005


Towards Model Checking Stochastic Aspects of the thinkteam User Interface.
Proceedings of the Interactive Systems, 2005

2004
Model Checking Publish/Subscribe Notification for thinkteam<sup>®</sup>.
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

Formal Test-Case Generation for UML Statecharts.
Proceedings of the 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 2004

Mobile UML Statecharts with Localities.
Proceedings of the Global Computing, IST/FET International Workshop, 2004

Model Checking Dependability Attributes of Wireless Group Communication.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

Model Checking Groupware Protocols.
Proceedings of the Cooperative Systems Design, 2004

2003
On Mobility Extensions of UML Statecharts. A Pragmatic Approach.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

2002
A reference framework for continuous interaction.
Univers. Access Inf. Soc., 2002

Continuous interaction in future computing systems.
Univers. Access Inf. Soc., 2002

Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking.
J. Log. Algebraic Methods Program., 2002


On testing and conformance relations for UML statechart diagrams behaviours.
Proceedings of the International Symposium on Software Testing and Analysis, 2002

2001
Using Hybrid Automata to Support Human Factors Analysis in a Critical System.
Formal Methods Syst. Des., 2001

First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Modelling Free Flight with Collision Avoidance.
Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 2001

Continuous interaction with computers: issues and requirements.
Proceedings of the Universal Access In HCI: Towards an Information Society for All, 2001

A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification.
Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

Reasoning about Interactive Systems with Stochastic Models.
Proceedings of the Interactive Systems: Design, 2001

2000
Formal Verification in the Design of Gestural Interaction.
Proceedings of the Formal Methods Elsewhere, 2000

Towards Integrated Cognitive and Interface Analysis.
Proceedings of the Formal Methods Elsewhere, 2000

Haptic Cues for Image Disambiguation.
Comput. Graph. Forum, 2000

A stochastic extension of a behavioural subset of UML statechart diagrams.
Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

Continuity in human computer interaction.
Proceedings of the CHI '00 Extended Abstracts on Human Factors in Computing Systems, 2000

1999
Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker.
Formal Aspects Comput., 1999

The Hybrid World of Virtual Environments.
Comput. Graph. Forum, 1999

Model Checking UML Statechart Diagrams Using JACK.
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

Towards a Formal Operational Semantics of UML Statechart Diagrams.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

Towards Hybrid Interface Specifications for Virtual Environments.
Proceedings of the Design, 1999

1998
Modelling and Verification of PREMO Synchronisable Objects.
Formal Aspects Comput., 1998

Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal.
Formal Aspects Comput., 1998

Specification and Verification of Media Constraints using UPAAL.
Proceedings of the Design, 1998

1997
Investigating the behaviour of PREMO synchronizable objects.
Proceedings of the Design, 1997

1992
Responsible Scientists - A Social-Constructivist Approach.
Proceedings of the Education and Society, 1992


  Loading...