Mieke Massink
Orcid: 0000-0001-5089-002X
According to our database1,
Mieke Massink
authored at least 128 papers
between 1992 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2021).
Sci. Comput. Program., 2023
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023
Proceedings of the Formal Methods - 25th International Symposium, 2023
2022
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
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
A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - - Invited Contribution.
Proceedings of the Model Checking Software - 27th International Symposium, 2021
Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021
Proceedings of the Formal Methods for Industrial Critical Systems, 2021
Proceedings of the From Data to Models and Back, 2021
2020
Int. J. Softw. Tools Technol. Transf., 2020
Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations.
CoRR, 2020
CoRR, 2020
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
ERCIM News, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
2018
Int. J. Softw. Tools Technol. Transf., 2018
SIGMETRICS Perform. Evaluation Rev., 2018
Perform. Evaluation, 2018
Log. Methods Comput. Sci., 2018
VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version).
CoRR, 2018
2017
Proceedings of the Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, 2017
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
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
Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Proceedings of the Coordination Models and Languages, 2016
2015
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
Log. Methods Comput. Sci., 2015
Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015
Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015
Proceedings of the Software Engineering and Formal Methods, 2015
Proceedings of the Software Engineering and Formal Methods, 2015
Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015
Proceedings of the Runtime Verification - 6th International Conference, 2015
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015
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
2014
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
Proceedings of the Proceedings 7th Interaction and Concurrency Experience, 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
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
Perform. Evaluation, 2013
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013
2012
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
Proceedings of the Coordination Models and Languages - 14th International Conference, 2012
Proceedings of the Swarm Intelligence - 8th International Conference, 2012
2011
Proceedings of the Fundamental Approaches to Software Engineering, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
2010
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010
Proceedings of the 3rd International Workshop on Logics, Agents, and Mobility, 2010
2009
Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling, 2009
Proceedings of the Human-Computer Interaction, 2009
Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009
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
Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009
2008
ERCIM News, 2008
Proceedings of the Fifth Workshop on Structural Operational Semantics, 2008
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008
Proceedings of the Engineering Interactive Systems, 2008
2007
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007
2006
Proceedings of the Interactive Systems. Design, 2006
2005
Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005
Proceedings of the Interactive Systems, 2005
2004
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004
Proceedings of the 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 2004
Proceedings of the Global Computing, IST/FET International Workshop, 2004
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004
Proceedings of the Cooperative Systems Design, 2004
2003
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003
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
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002
Proceedings of the International Symposium on Software Testing and Analysis, 2002
2001
Formal Methods Syst. Des., 2001
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001
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
Proceedings of the Interactive Systems: Design, 2001
2000
Proceedings of the Formal Methods Elsewhere, 2000
Proceedings of the Formal Methods Elsewhere, 2000
Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000
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
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
Proceedings of the Design, 1999
1998
Formal Aspects Comput., 1998
Formal Aspects Comput., 1998
Proceedings of the Design, 1998
1997
Proceedings of the Design, 1997
1992
Responsible Scientists - A Social-Constructivist Approach.
Proceedings of the Education and Society, 1992