Mieke Massink

151 papers A* 1A 3B 8C 12Misc 5Journal 53Unranked 62
YearRankTypeTitle / Venue / Authors
2026 B conf
Model Checking in Space with Applications to Medical Image Analysis - Invited Abstract.
FASE
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
2026 J jnl
Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking.
Log. Methods Comput. Sci.
Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
2025 J jnl
A Multi-Resolution Benchmark Framework for Spatial Reasoning Assessment in Neural Networks.
CoRR
Manuela Imbriani, Gina Belmonte, Mieke Massink, Alessandro Tofani, Vincenzo Ciancia
2025 J jnl
On Bisimilarity for Quasi-discrete Closure Spaces.
Log. Methods Comput. Sci.
Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
2025 J jnl
Practical Exploration of Polyhedral Model Checking.
CoRR
Yuri Andriaccio, Vincenzo Ciancia, Diego Latella, Mieke Massink
2025 J jnl
Symbolic and hybrid AI for brain tissue segmentation using spatial model checking.
Artif. Intell. Medicine
Gina Belmonte, Vincenzo Ciancia, Mieke Massink
2025 — conf
Ten Years of Spatial Model Checking.
Rebeca for Actor Analysis in Action
Vincenzo Ciancia, Diego Latella, Mieke Massink
2024 — conf
Measured Causes: Adding Time and Probability to True Concurrency - Ten Papers with Pisa and Twente.
Principles of Verification (3)
Ed Brinksma, Rom Langerak, Diego Latella, Mieke Massink
2024 — conf
Towards Hybrid-AI in Imaging Using VoxLogicA.
ISoLA (4)
Gina Belmonte, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink
2024 J jnl
Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking.
CoRR
Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
2024 C conf
Weak Simplicial Bisimilarity for Polyhedral Models and SLCS
FORTE
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
2024 J jnl
Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta - Extended Version.
CoRR
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
2023 J jnl
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2021).
Sci. Comput. Program.
Hossein Hojjat, Mieke Massink
2023 B conf
Minimisation of Spatial Models Using Branching Bisimilarity.
FM
Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink, Erik P. de Vink
2023 C conf
On Bisimilarity for Polyhedral Models and SLCS.
FORTE
Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik P. de Vink
2023 J jnl
On Bisimilarity for Quasi-discrete Closure Spaces.
CoRR
Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
2022 — conf
Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces.
A Journey from Process Algebra via Timed Automata to Model Learning
Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
2022 J jnl
Geometric Model Checking of Continuous Space.
Log. Methods Comput. Sci.
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink
2022 — conf
On Binding in the Spatial Logics for Closure Spaces.
ISoLA (1)
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink
2022 — conf
Towards a GUI for Declarative Medical Image Analysis: Cognitive and Memory Load Issues.
HCI (38)
Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink
2021 — conf
A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - - Invited Contribution.
SPIN
Vincenzo Ciancia, Gina Belmonte, Diego Latella, Mieke Massink
2021 — conf
Feasibility of Spatial Model Checking for Nevus Segmentation.
FormaliSE@ICSE
Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink
2021 J jnl
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2019).
Sci. Comput. Program.
Hossein Hojjat, Mieke Massink
2021 — ed.
Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers
FSEN
Hossein Hojjat, Mieke Massink
2021 J jnl
Geometric Model Checking of Continuous Space.
CoRR
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink
2021 J jnl
On Bisimilarities for Closure Spaces - Preliminary Version.
CoRR
Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
2021 — conf
Querying Medical Imaging Datasets Using Spatial Logics (Position Paper).
MEDI Workshops
Gina Belmonte, Giovanna Broccia, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink
2021 B ed.
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers
SEFM
Loek Cleophas, Mieke Massink
2021 C conf
Spatial Model Checking for Smart Stations - Research Challenges.
FMICS
Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink, Giorgio Oronzo Spagnolo
2021 — conf
Towards Model Checking Video Streams Using VoxLogicA on GPUs.
DataMod
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink
2020 J jnl
Refined Mean Field Analysis of the Gossip Shuffle Protocol - extended version -.
CoRR
Nicolas Gast, Diego Latella, Mieke Massink
2020 C conf
Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited.
COORDINATION
Nicolas Gast, Diego Latella, Mieke Massink
2020 J jnl
Spatial logics and model checking for medical imaging.
Int. J. Softw. Tools Technol. Transf.
Fabrizio Banci Buonamici, Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
2020 J jnl
Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations.
CoRR
Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
2020 J jnl
Using Spatial Logic and Model Checking for Nevus Segmentation.
CoRR
Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink
2019 — conf
Embedding RCC8D in the Collective Spatial Logic CSLCS.
Models, Languages, and Tools for Concurrent and Distributed Programming
Vincenzo Ciancia, Diego Latella, Mieke Massink
2019 — ed.
Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
FSEN
Hossein Hojjat, Mieke Massink
2019 — conf
Innovating Medical Image Analysis via Spatial Logics.
From Software Engineering to Formal Methods and Tools, and Back
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
2019 J jnl
Preface to the special issue on Coordination Models and Languages (Coordination 2017).
Sci. Comput. Program.
Jean-Marie Jacquet, Mieke Massink
2019 — conf
VoxLogicA: A Spatial Model Checker for Declarative Image Analysis.
TACAS (1)
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
2019 J jnl
VoxLogicA: a Spatial-Logic Based Tool for Declarative Image Analysis.
ERCIM News
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
2018 J jnl
A Refined Mean Field Approximation for Synchronous Population Processes.
SIGMETRICS Perform. Evaluation Rev.
Nicolas Gast, Diego Latella, Mieke Massink
2018 J jnl
A refined mean field approximation of synchronous discrete-time population models.
CoRR
Nicolas Gast, Diego Latella, Mieke Massink
2018 J jnl
A refined mean field approximation of synchronous discrete-time population models.
Perform. Evaluation
Nicolas Gast, Diego Latella, Mieke Massink
2018 J jnl
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL.
Log. Methods Comput. Sci.
Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink
2018 J jnl
Spatial Logics and Model Checking for Medical Imaging (Extended Version).
CoRR
Fabrizio Banci Buonamici, Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
2018 J jnl
Spatio-temporal model checking of vehicular movement in public transport systems.
Int. J. Softw. Tools Technol. Transf.
Vincenzo Ciancia, Stephen Gilmore, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink
2018 J jnl
VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version).
CoRR
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
2017 C ed.
Coordination Models and Languages - 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
COORDINATION
Jean-Marie Jacquet, Mieke Massink
2017 — conf
Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination.
QAPL
Diego Latella, Mieke Massink
2017 — conf
FlyFast: A Mean Field Model Checker.
TACAS (2)
Diego Latella, Michele Loreti, Mieke Massink
2017 — conf
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation.
ModelEd, TestEd, TrustEd
Diego Latella, Michele Loreti, Mieke Massink
2017 J jnl
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL.
CoRR
Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink
2016 — conf
A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems.
ISoLA (1)
Vincenzo Ciancia, Diego Latella, Mieke Massink, Rytis Paskauskas, Andrea Vandin
2016 — conf
From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging.
FORECAST@STAF
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
2016 J jnl
Model Checking Spatial Logics for Closure Spaces.
Log. Methods Comput. Sci.
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
2016 C conf
On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination.
COORDINATION
Vincenzo Ciancia, Diego Latella, Mieke Massink
2016 — conf
Spatial Logic and Spatial Model Checking for Closure Spaces.
SFM
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
2015 — conf
A Definition Scheme for Quantitative Bisimulation.
QAPL
Diego Latella, Mieke Massink, Erik P. de Vink
2015 — conf
An Experimental Spatio-Temporal Model Checker.
SEFM Workshops
Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink
2015 J jnl
Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically.
Log. Methods Comput. Sci.
Diego Latella, Mieke Massink, Erik P. de Vink
2015 — conf
CARMA: Collective Adaptive Resource-sharing Markovian Agents.
QAPL
Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink
2015 — conf
Exploring Spatio-temporal Properties of Bike-Sharing Systems.
SASO Workshops
Vincenzo Ciancia, Diego Latella, Mieke Massink, Rytis Paskauskas
2015 C conf
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems.
COORDINATION
Diego Latella, Michele Loreti, Mieke Massink
2015 — conf
Model-Based Assessment of Aspects of User-satisfaction in Bicycle Sharing Systems.
ITSC
Mieke Massink, Rytis Paskauskas
2015 — conf
On StocS: A Stochastic Extension of SCEL.
Software, Services, and Systems
Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni
2015 — conf
On-the-fly Fluid Model Checking via Discrete Time Population Models.
EPEW
Diego Latella, Michele Loreti, Mieke Massink
2015 J jnl
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination.
Sci. Comput. Program.
Diego Latella, Michele Loreti, Mieke Massink
2015 B conf
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties.
RV
Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink
2015 — ch.
The SCEL Language: Design, Implementation, Verification.
The ASCENS Approach
Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin
2015 — conf
Towards Automatic Decision Support for Bike-Sharing System Design.
SEFM Workshops
Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink
2014 J jnl
A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities.
ERCIM News
Maurice H. ter Beek, Luca Bortolussi, Vincenzo Ciancia, Stefania Gnesi, Jane Hillston, Diego Latella, Mieke Massink
2014 — conf
Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data.
SASO Workshops
Vincenzo Ciancia, Stephen Gilmore, Diego Latella, Michele Loreti, Mieke Massink
2014 — conf
On-the-fly Probabilistic Model Checking.
ICE
Diego Latella, Michele Loreti, Mieke Massink
2014 J jnl
Quantitative Aspects of Programming Languages and Systems (2011-12).
Theor. Comput. Sci.
Mieke Massink, Gethin Norman, Herbert Wiklicky
2014 J jnl
Specifying and Verifying Properties of Space - Extended Version.
CoRR
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
2014 — conf
Specifying and Verifying Properties of Space.
IFIP TCS
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
2014 — conf
Stochastically timed predicate-based communication primitives for autonomic computing.
QAPL
Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni
2013 J jnl
A uniform definition of stochastic process calculi.
ACM Comput. Surv.
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
2013 J jnl
Continuous approximation of collective system behaviour: A tutorial.
Perform. Evaluation
Luca Bortolussi, Jane Hillston, Diego Latella, Mieke Massink
2013 J jnl
On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics.
Swarm Intell.
Mieke Massink, Manuele Brambilla, Diego Latella, Marco Dorigo, Mauro Birattari
2013 — conf
On-the-fly Fast Mean-Field Model-Checking.
TGC
Diego Latella, Michele Loreti, Mieke Massink
2013 J jnl
On-the-fly Fast Mean-Field Model-Checking: Extended Version.
CoRR
Diego Latella, Michele Loreti, Mieke Massink
2013 C conf
Stochastic Process Algebra and Stability Analysis of Collective Systems.
COORDINATION
Luca Bortolussi, Diego Latella, Mieke Massink
2012 — conf
Analysing Robot Swarm Decision-Making with Bio-PEPA.
ANTS
Mieke Massink, Manuele Brambilla, Diego Latella, Marco Dorigo, Mauro Birattari
2012 — conf
Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages
ACCAT
Diego Latella, Mieke Massink, Erik P. de Vink
2012 C conf
Fluid Analysis of Foraging Ants.
COORDINATION
Mieke Massink, Diego Latella
2012 — ed.
Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2012, Tallinn, Estonia, 31 March and 1 April 2012.
QAPL
Herbert Wiklicky, Mieke Massink
2012 J jnl
Scalable context-dependent analysis of emergency egress models.
Formal Aspects Comput.
Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison, Jane Hillston
2011 B conf
Modelling Non-linear Crowd Dynamics in Bio-PEPA.
FASE
Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston
2011 — ed.
Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011.
QAPL
Mieke Massink, Gethin Norman
2011 — ch.
SoSL: A Service-Oriented Stochastic Logic.
Results of the SENSORIA Project
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
2010 B conf
A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis.
SEFM
Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison
2010 — conf
Reconciling Population and Agent Models for Crowd Dynamics.
LAM@LICS
Andrea Bracciali, Jane Hillston, Diego Latella, Mieke Massink
2010 Misc conf
Scalable analysis of collective behaviour in smart service systems.
SAC
Mieke Massink, Michael D. Harrison, Diego Latella
2009 Misc conf
A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems.
EICS
Philippe A. Palanque, Marco Winckler, Jean-François Ladry, Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink
2009 J jnl
Assisting the design of a groupware system.
J. Log. Algebraic Methods Program.
Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni
2009 Misc conf
Engineering crowd interaction within smart environments.
EICS
Michael D. Harrison, Mieke Massink, Diego Latella
2009 — conf
Modelling Interactive Experience, Function and Performance in Ubiquitous Systems.
PASM@MASCOTS
Michael D. Harrison, Mieke Massink
2009 C conf
On a Uniform Framework for the Definition of Stochastic Process Languages.
FMICS
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
2009 J jnl
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Michael D. Harrison, Mieke Massink
2009 J jnl
Preface.
Int. J. Softw. Tools Technol. Transf.
Tiziana Margaria, Mieke Massink
2009 — conf
Rate-Based Transition Systems for Stochastic Process Calculi.
ICALP (2)
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
2009 — conf
Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach.
INTERACT (1)
Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink, Philippe A. Palanque, Marco Winckler
2008 — conf
A Fluid Flow Approach to Usability Analysis of Multi-user Systems.
TAMODIA/HCSE
Mieke Massink, Diego Latella, Maurice H. ter Beek, Michael D. Harrison, Michele Loreti
2008 J jnl
Assisting the Design of an Industrial Groupware System by Model Checking.
ERCIM News
Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni
2008 — conf
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces.
TGC
Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
2008 — conf
MarCaSPiS: a Markovian Extension of a Calculus for Services.
SOS@ICALP
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
2007 — conf
Basic Observables for Probabilistic May Testing.
QEST
Maria Carla Palmeri, Rocco De Nicola, Mieke Massink
2007 J jnl
Model checking mobile stochastic logic.
Theor. Comput. Sci.
Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink
2006 — conf
Analysis of Pointing Tasks on a White Board.
DSV-IS
Giorgio P. Faconti, Mieke Massink
2006 J jnl
On testing UML statecharts.
J. Log. Algebraic Methods Program.
Mieke Massink, Diego Latella, Stefania Gnesi
2005 A* conf
A case study on the automated verification of groupware protocols.
ICSE
Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis
2005 — conf
Ambience and Mobility.
DSV-IS
Gavin J. Doherty, Lydie du Bousquet, José Creissac Campos, El Mustapha El Atifi, Gilles Falquet, Mieke Massink, Carmen Santoro
2005 Misc conf
Formal modeling and quantitative analysis of KLAIM-based mobile systems.
SAC
Rocco De Nicola, Diego Latella, Mieke Massink
2005 C ed.
Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005
FMICS
Tiziana Margaria, Mieke Massink
2005 — conf
Towards Model Checking Stochastic Aspects of the thinkteam User Interface.
DSV-IS
Maurice H. ter Beek, Mieke Massink, Diego Latella
2005 — conf
Towards a Logic for Performance and Mobility.
QAPL
Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink
2004 B conf
Formal Test-Case Generation for UML Statecharts.
ICECCS
Stefania Gnesi, Diego Latella, Mieke Massink
2004 — conf
Mobile UML Statecharts with Localities.
Global Computing
Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing
2004 A conf
Model Checking Dependability Attributes of Wireless Group Communication.
DSN
Mieke Massink, Joost-Pieter Katoen, Diego Latella
2004 — conf
Model Checking Groupware Protocols.
COOP
Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi
2004 C conf
Model Checking Publish/Subscribe Notification for thinkteam
FMICS
Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis
2003 — conf
On Mobility Extensions of UML Statecharts. A Pragmatic Approach.
FMOODS
Diego Latella, Mieke Massink
2002 J jnl
A reference framework for continuous interaction.
Univers. Access Inf. Soc.
Mieke Massink, Giorgio P. Faconti
2002 — conf
AGILE: Software Architecture for Mobility.
WADT
Luís Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki
2002 J jnl
Continuous interaction in future computing systems.
Univers. Access Inf. Soc.
Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink, Michael D. Wilson
2002 J jnl
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking.
J. Log. Algebraic Methods Program.
Stefania Gnesi, Diego Latella, Mieke Massink
2002 A conf
On testing and conformance relations for UML statechart diagrams behaviours.
ISSTA
Diego Latella, Mieke Massink
2001 — conf
A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification.
HASE
Diego Latella, Mieke Massink
2001 Misc conf
Continuous interaction with computers: issues and requirements.
HCI
Giorgio P. Faconti, Mieke Massink
2001 A conf
First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders.
TACAS
Theo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, Mieke Massink
2001 B conf
Modelling Free Flight with Collision Avoidance.
ICECCS
Mieke Massink, Nicoletta De Francesco
2001 — conf
Reasoning about Interactive Systems with Stochastic Models.
DSV-IS
Gavin J. Doherty, Mieke Massink, Giorgio P. Faconti
2001 J jnl
Using Hybrid Automata to Support Human Factors Analysis in a Critical System.
Formal Methods Syst. Des.
Gavin J. Doherty, Mieke Massink, Giorgio P. Faconti
2000 — conf
A stochastic extension of a behavioural subset of UML statechart diagrams.
HASE
Stefania Gnesi, Diego Latella, Mieke Massink
2000 — conf
Continuity in human computer interaction.
CHI Extended Abstracts
Giorgio P. Faconti, Mieke Massink
2000 — conf
Formal Verification in the Design of Gestural Interaction.
FM-Everywhere@FORTE/PSTV
Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink
2000 J jnl
Haptic Cues for Image Disambiguation.
Comput. Graph. Forum
Giorgio P. Faconti, Mieke Massink, Monica Bordegoni, Franco De Angelis, S. Booth
2000 — conf
Towards Integrated Cognitive and Interface Analysis.
FM-Everywhere@FORTE/PSTV
Howard Bowman, Giorgio P. Faconti, Mieke Massink
1999 J jnl
Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker.
Formal Aspects Comput.
Diego Latella, István Majzik, Mieke Massink
1999 — conf
Model Checking UML Statechart Diagrams Using JACK.
HASE
Stefania Gnesi, Diego Latella, Mieke Massink
1999 J jnl
The Hybrid World of Virtual Environments.
Comput. Graph. Forum
Shamus P. Smith, David J. Duke, Mieke Massink
1999 — ed.
Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings
SPIN
Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink
1999 — conf
Towards Hybrid Interface Specifications for Virtual Environments.
DSV-IS
Mieke Massink, David J. Duke, Shamus P. Smith
1999 — conf
Towards a Formal Operational Semantics of UML Statechart Diagrams.
FMOODS
Diego Latella, István Majzik, Mieke Massink
1998 J jnl
Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal.
Formal Aspects Comput.
Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink
1998 J jnl
Modelling and Verification of PREMO Synchronisable Objects.
Formal Aspects Comput.
Giorgio P. Faconti, Mieke Massink
1998 — conf
Specification and Verification of Media Constraints using UPAAL.
DSV-IS
Howard Bowman, Giorgio P. Faconti, Mieke Massink
1997 — conf
Investigating the behaviour of PREMO synchronizable objects.
DSV-IS
Giorgio P. Faconti, Mieke Massink
1992 — conf
Responsible Scientists - A Social-Constructivist Approach.
IFIP Congress (2)
Marc van Lieshout, Mieke Massink