default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMieke Massink
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c85]Nick Bezhanishvili
, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink:
Weak Simplicial Bisimilarity for Polyhedral Models and SLCSη. FORTE 2024: 20-38- [c84]Gina Belmonte, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink:
Towards Hybrid-AI in Imaging Using VoxLogicA. ISoLA (4) 2024: 205-221 - [i16]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 abs/2404.06131 (2024) - 2023
- [j31]Hossein Hojjat, Mieke Massink:
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2021). Sci. Comput. Program. 225: 102913 (2023) - [c83]Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink, Erik P. de Vink:
Minimisation of Spatial Models Using Branching Bisimilarity. FM 2023: 263-281 - [c82]Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik P. de Vink:
On Bisimilarity for Polyhedral Models and SLCS. FORTE 2023: 132-151 - [i15]Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink:
On Bisimilarity for Quasi-discrete Closure Spaces. CoRR abs/2301.11634 (2023) - 2022
- [j30]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) - [c81]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: 98-115 - [c80]Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink:
Towards a GUI for Declarative Medical Image Analysis: Cognitive and Memory Load Issues. HCI (38) 2022: 103-111 - [c79]Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink:
On Binding in the Spatial Logics for Closure Spaces. ISoLA (1) 2022: 479-497 - 2021
- [j29]Hossein Hojjat, Mieke Massink:
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2019). Sci. Comput. Program. 206: 102626 (2021) - [c78]Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink:
Towards Model Checking Video Streams Using VoxLogicA on GPUs. DataMod 2021: 78-90 - [c77]Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink, Giorgio Oronzo Spagnolo:
Spatial Model Checking for Smart Stations - Research Challenges. FMICS 2021: 39-47 - [c76]Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink:
Feasibility of Spatial Model Checking for Nevus Segmentation. FormaliSE@ICSE 2021: 1-12 - [c75]Gina Belmonte, Giovanna Broccia, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink:
Querying Medical Imaging Datasets Using Spatial Logics (Position Paper). MEDI Workshops 2021: 285-301 - [c74]Vincenzo Ciancia, Gina Belmonte, Diego Latella, Mieke Massink:
A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - - Invited Contribution. SPIN 2021: 22-41 - [e8]Hossein Hojjat, Mieke Massink:
Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers. Lecture Notes in Computer Science 12818, Springer 2021, ISBN 978-3-030-89246-3 [contents] - [e7]Loek Cleophas, Mieke Massink:
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12524, Springer 2021, ISBN 978-3-030-67219-5 [contents] - [i14]Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink:
Geometric Model Checking of Continuous Space. CoRR abs/2105.06194 (2021) - [i13]Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink:
On Bisimilarities for Closure Spaces - Preliminary Version. CoRR abs/2105.06690 (2021) - 2020
- [j28]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): 195-217 (2020) - [c73]Nicolas Gast, Diego Latella, Mieke Massink:
Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited. COORDINATION 2020: 230-239 - [i12]Nicolas Gast, Diego Latella, Mieke Massink:
Refined Mean Field Analysis of the Gossip Shuffle Protocol - extended version -. CoRR abs/2004.07519 (2020) - [i11]Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink:
Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations. CoRR abs/2005.05578 (2020) - [i10]Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink:
Using Spatial Logic and Model Checking for Nevus Segmentation. CoRR abs/2012.13289 (2020)
2010 – 2019
- 2019
- [j27]Jean-Marie Jacquet, Mieke Massink:
Preface to the special issue on Coordination Models and Languages (Coordination 2017). Sci. Comput. Program. 180: 16-17 (2019) - [c72]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: 85-109 - [c71]Vincenzo Ciancia, Diego Latella, Mieke Massink:
Embedding RCC8D in the Collective Spatial Logic CSLCS. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 260-277 - [c70]Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink:
VoxLogicA: A Spatial Model Checker for Declarative Image Analysis. TACAS (1) 2019: 281-298 - [e6]Hossein Hojjat, Mieke Massink:
Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers. Lecture Notes in Computer Science 11761, Springer 2019, ISBN 978-3-030-31516-0 [contents] - [i9]Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink:
VoxLogicA: a Spatial-Logic Based Tool for Declarative Image Analysis. ERCIM News 2019(118) (2019) - 2018
- [j26]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) - [j25]Nicolas Gast, Diego Latella, Mieke Massink:
A refined mean field approximation of synchronous discrete-time population models. Perform. Evaluation 126: 1-21 (2018) - [j24]Nicolas Gast, Diego Latella, Mieke Massink:
A Refined Mean Field Approximation for Synchronous Population Processes. SIGMETRICS Perform. Evaluation Rev. 46(2): 30-32 (2018) - [j23]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): 289-311 (2018) - [i8]Nicolas Gast, Diego Latella, Mieke Massink:
A refined mean field approximation of synchronous discrete-time population models. CoRR abs/1807.08585 (2018) - [i7]Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink:
VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version). CoRR abs/1811.05677 (2018) - [i6]Fabrizio Banci Buonamici, Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink:
Spatial Logics and Model Checking for Medical Imaging (Extended Version). CoRR abs/1811.06065 (2018) - 2017
- [c69]Diego Latella, Michele Loreti, Mieke Massink:
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation. ModelEd, TestEd, TrustEd 2017: 254-275 - [c68]Diego Latella, Michele Loreti, Mieke Massink:
FlyFast: A Mean Field Model Checker. TACAS (2) 2017: 303-309 - [c67]Diego Latella, Mieke Massink:
Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination. QAPL@ETAPS 2017: 92-110 - [e5]Jean-Marie Jacquet, Mieke Massink:
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. Lecture Notes in Computer Science 10319, Springer 2017, ISBN 978-3-319-59745-4 [contents] - [i5]Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. CoRR abs/1706.09334 (2017) - 2016
- [j22]Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink:
Model Checking Spatial Logics for Closure Spaces. Log. Methods Comput. Sci. 12(4) (2016) - [c66]Vincenzo Ciancia, Diego Latella, Mieke Massink:
On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination. COORDINATION 2016: 67-83 - [c65]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: 657-673 - [c64]Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink:
Spatial Logic and Spatial Model Checking for Closure Spaces. SFM 2016: 156-201 - [c63]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: 81-92 - 2015
- [j21]Diego Latella, Mieke Massink, Erik P. de Vink:
Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically. Log. Methods Comput. Sci. 11(4) (2015) - [j20]Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination. Sci. Comput. Program. 110: 23-50 (2015) - [c62]Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni:
On StocS: A Stochastic Extension of SCEL. Software, Services, and Systems 2015: 619-640 - [c61]Diego Latella, Michele Loreti, Mieke Massink:
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems. COORDINATION 2015: 19-34 - [c60]Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly Fluid Model Checking via Discrete Time Population Models. EPEW 2015: 193-207 - [c59]Mieke Massink, Rytis Paskauskas:
Model-Based Assessment of Aspects of User-satisfaction in Bicycle Sharing Systems. ITSC 2015: 1363-1370 - [c58]Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. RV 2015: 21-37 - [c57]Vincenzo Ciancia, Diego Latella, Mieke Massink, Rytis Paskauskas:
Exploring Spatio-temporal Properties of Bike-Sharing Systems. SASO Workshops 2015: 74-79 - [c56]Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink:
Towards Automatic Decision Support for Bike-Sharing System Design. SEFM Workshops 2015: 266-280 - [c55]Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink:
An Experimental Spatio-Temporal Model Checker. SEFM Workshops 2015: 297-311 - [c54]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: 16-31 - [c53]Diego Latella, Mieke Massink, Erik P. de Vink:
A Definition Scheme for Quantitative Bisimulation. QAPL 2015: 63-78 - [p2]Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin:
The SCEL Language: Design, Implementation, Verification. The ASCENS Approach 2015: 3-71 - 2014
- [j19]Mieke Massink, Gethin Norman, Herbert Wiklicky:
Quantitative Aspects of Programming Languages and Systems (2011-12). Theor. Comput. Sci. 538: 1 (2014) - [c52]Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink:
Specifying and Verifying Properties of Space. IFIP TCS 2014: 222-235 - [c51]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: 32-37 - [c50]Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni:
Stochastically timed predicate-based communication primitives for autonomic computing. QAPL 2014: 1-16 - [c49]Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly Probabilistic Model Checking. ICE 2014: 45-59 - [i4]Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink:
Specifying and Verifying Properties of Space - Extended Version. CoRR abs/1406.6393 (2014) - [i3]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) - 2013
- [j18]Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
A uniform definition of stochastic process calculi. ACM Comput. Surv. 46(1): 5:1-5:35 (2013) - [j17]Luca Bortolussi, Jane Hillston, Diego Latella, Mieke Massink:
Continuous approximation of collective system behaviour: A tutorial. Perform. Evaluation 70(5): 317-349 (2013) - [j16]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): 201-228 (2013) - [c48]Luca Bortolussi, Diego Latella, Mieke Massink:
Stochastic Process Algebra and Stability Analysis of Collective Systems. COORDINATION 2013: 1-15 - [c47]Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly Fast Mean-Field Model-Checking. TGC 2013: 297-314 - [i2]Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly Fast Mean-Field Model-Checking: Extended Version. CoRR abs/1312.3416 (2013) - 2012
- [j15]Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison, Jane Hillston:
Scalable context-dependent analysis of emergency egress models. Formal Aspects Comput. 24(2): 267-302 (2012) - [c46]Mieke Massink, Manuele Brambilla, Diego Latella, Marco Dorigo, Mauro Birattari:
Analysing Robot Swarm Decision-Making with Bio-PEPA. ANTS 2012: 25-36 - [c45]Mieke Massink, Diego Latella:
Fluid Analysis of Foraging Ants. COORDINATION 2012: 152-165 - [c44]Diego Latella, Mieke Massink, Erik P. de Vink:
Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages. ACCAT 2012: 23-43 - [e4]Herbert Wiklicky, Mieke Massink:
Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2012, Tallinn, Estonia, 31 March and 1 April 2012. EPTCS 85, 2012 [contents] - 2011
- [c43]Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston:
Modelling Non-linear Crowd Dynamics in Bio-PEPA. FASE 2011: 96-110 - [p1]Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
SoSL: A Service-Oriented Stochastic Logic. Results of the SENSORIA Project 2011: 447-466 - [e3]Mieke Massink, Gethin Norman:
Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011. EPTCS 57, 2011 [contents] - 2010
- [c42]Andrea Bracciali, Jane Hillston, Diego Latella, Mieke Massink:
Reconciling Population and Agent Models for Crowd Dynamics. LAM@LICS 2010: 3-18 - [c41]Mieke Massink, Michael D. Harrison, Diego Latella:
Scalable analysis of collective behaviour in smart service systems. SAC 2010: 1173-1180 - [c40]Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison:
A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. SEFM 2010: 169-180
2000 – 2009
- 2009
- [j14]Michael D. Harrison, Mieke Massink:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 22 (2009) - [j13]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): 191-232 (2009) - [j12]Tiziana Margaria, Mieke Massink:
Preface. Int. J. Softw. Tools Technol. Transf. 11(5): 355-357 (2009) - [c39]Michael D. Harrison, Mieke Massink, Diego Latella:
Engineering crowd interaction within smart environments. EICS 2009: 117-122 - [c38]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: 211-220 - [c37]Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
On a Uniform Framework for the Definition of Stochastic Process Languages. FMICS 2009: 9-25 - [c36]Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
Rate-Based Transition Systems for Stochastic Process Calculi. ICALP (2) 2009: 435-446 - [c35]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: 494-509 - [c34]Michael D. Harrison, Mieke Massink:
Modelling Interactive Experience, Function and Performance in Ubiquitous Systems. PASM@MASCOTS 2009: 23-42 - 2008
- [c33]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: 166-180 - [c32]Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro:
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC 2008: 52-68 - [c31]Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
MarCaSPiS: a Markovian Extension of a Calculus for Services. SOS@ICALP 2008: 11-26 - [i1]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) - 2007
- [j11]Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink:
Model checking mobile stochastic logic. Theor. Comput. Sci. 382(1): 42-70 (2007) - [c30]Maria Carla Palmeri, Rocco De Nicola, Mieke Massink:
Basic Observables for Probabilistic May Testing. QEST 2007: 189-200 - 2006
- [j10]Mieke Massink, Diego Latella, Stefania Gnesi:
On testing UML statecharts. J. Log. Algebraic Methods Program. 69(1-2): 1-74 (2006) - [c29]Giorgio P. Faconti, Mieke Massink:
Analysis of Pointing Tasks on a White Board. DSV-IS 2006: 185-198 - 2005
- [c28]Maurice H. ter Beek, Mieke Massink, Diego Latella:
Towards Model Checking Stochastic Aspects of the thinkteam User Interface. DSV-IS 2005: 39-50 - [c27]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: 264 - [c26]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: 596-603 - [c25]Rocco De Nicola, Diego Latella, Mieke Massink:
Formal modeling and quantitative analysis of KLAIM-based mobile systems. SAC 2005: 428-435 - [c24]Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink:
Towards a Logic for Performance and Mobility. QAPL 2005: 161-175 - [e2]Tiziana Margaria, Mieke Massink:
Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005. ACM 2005 [contents] - 2004
- [c23]Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi:
Model Checking Groupware Protocols. COOP 2004: 179-194 - [c22]Mieke Massink, Joost-Pieter Katoen, Diego Latella:
Model Checking Dependability Attributes of Wireless Group Communication. DSN 2004: 711-720 - [c21]Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing:
Mobile UML Statecharts with Localities. Global Computing 2004: 34-58 - [c20]Stefania Gnesi, Diego Latella, Mieke Massink:
Formal Test-Case Generation for UML Statecharts. ICECCS 2004: 75-84 - [c19]Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis:
Model Checking Publish/Subscribe Notification for thinkteam®. FMICS 2004: 275-294 - 2003
- [c18]Diego Latella, Mieke Massink:
On Mobility Extensions of UML Statecharts. A Pragmatic Approach. FMOODS 2003: 199-213 - 2002
- [j9]Stefania Gnesi, Diego Latella, Mieke Massink:
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking. J. Log. Algebraic Methods Program. 51(1): 43-75 (2002) - [j8]Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink, Michael D. Wilson:
Continuous interaction in future computing systems. Univers. Access Inf. Soc. 1(4): 235-236 (2002) - [j7]Mieke Massink, Giorgio P. Faconti:
A reference framework for continuous interaction. Univers. Access Inf. Soc. 1(4): 237-251 (2002) - [c17]Diego Latella, Mieke Massink:
On testing and conformance relations for UML statechart diagrams behaviours. ISSTA 2002: 144-153 - [c16]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:
AGILE: Software Architecture for Mobility. WADT 2002: 1-33 - 2001
- [j6]Gavin J. Doherty, Mieke Massink, Giorgio P. Faconti:
Using Hybrid Automata to Support Human Factors Analysis in a Critical System. Formal Methods Syst. Des. 19(2): 143-164 (2001) - [c15]Gavin J. Doherty, Mieke Massink, Giorgio P. Faconti:
Reasoning about Interactive Systems with Stochastic Models. DSV-IS 2001: 144-163 - [c14]Diego Latella, Mieke Massink:
A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification. HASE 2001: 11-22 - [c13]Giorgio P. Faconti, Mieke Massink:
Continuous interaction with computers: issues and requirements. HCI 2001: 301-305 - [c12]Mieke Massink, Nicoletta De Francesco:
Modelling Free Flight with Collision Avoidance. ICECCS 2001: 270-280 - [c11]Theo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, Mieke Massink:
First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders. TACAS 2001: 220-235 - 2000
- [j5]Giorgio P. Faconti, Mieke Massink, Monica Bordegoni, Franco De Angelis, S. Booth:
Haptic Cues for Image Disambiguation. Comput. Graph. Forum 19(3): 169-178 (2000) - [c10]Giorgio P. Faconti, Mieke Massink:
Continuity in human computer interaction. CHI Extended Abstracts 2000: 364 - [c9]Stefania Gnesi, Diego Latella, Mieke Massink:
A stochastic extension of a behavioural subset of UML statechart diagrams. HASE 2000: 55-64 - [c8]Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink:
Formal Verification in the Design of Gestural Interaction. FM-Everywhere@FORTE/PSTV 2000: 75-96 - [c7]Howard Bowman, Giorgio P. Faconti, Mieke Massink:
Towards Integrated Cognitive and Interface Analysis. FM-Everywhere@FORTE/PSTV 2000: 97-112
1990 – 1999
- 1999
- [j4]Shamus P. Smith, David J. Duke, Mieke Massink:
The Hybrid World of Virtual Environments. Comput. Graph. Forum 18(3): 297-308 (1999) - [j3]Diego Latella, István Majzik, Mieke Massink:
Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker. Formal Aspects Comput. 11(6): 637-664 (1999) - [c6]Mieke Massink, David J. Duke, Shamus P. Smith:
Towards Hybrid Interface Specifications for Virtual Environments. DSV-IS 1999: 30-51 - [c5]Diego Latella, István Majzik, Mieke Massink:
Towards a Formal Operational Semantics of UML Statechart Diagrams. FMOODS 1999 - [c4]Stefania Gnesi, Diego Latella, Mieke Massink:
Model Checking UML Statechart Diagrams Using JACK. HASE 1999: 46-55 - [e1]Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink:
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. Lecture Notes in Computer Science 1680, Springer 1999, ISBN 3-540-66499-8 [contents] - 1998
- [j2]Giorgio P. Faconti, Mieke Massink:
Modelling and Verification of PREMO Synchronisable Objects. Formal Aspects Comput. 10(4): 405-434 (1998) - [j1]Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink:
Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal. Formal Aspects Comput. 10(5-6): 550-575 (1998) - [c3]Howard Bowman, Giorgio P. Faconti, Mieke Massink:
Specification and Verification of Media Constraints using UPAAL. DSV-IS 1998: 261-277 - 1997
- [c2]Giorgio P. Faconti, Mieke Massink:
Investigating the behaviour of PREMO synchronizable objects. DSV-IS 1997: 125-141 - 1992
- [c1]Marc van Lieshout, Mieke Massink:
Responsible Scientists - A Social-Constructivist Approach. IFIP Congress (2) 1992: 336-343
Coauthor Index
[c85] [c84] [i16] [c83] [c82] [i15] [j30] [c81] [c80] [c79] [c78] [c77] [c76] [c75] [c74] [i14] [i13] [j28] [c73] [i12] [i11] [i10] [c72] [c71] [c70] [i9] [j25] [j24] [j23] [i8] [i7] [i6] [c69] [c68] [c67] [j22] [c66] [c65] [c64] [c63] [j21] [j20] [c62] [c61] [c60] [c57] [c56] [c55] [c54] [c53] [p2] [c52] [c51] [c50] [c49] [i4] [i3] [j18] [j17] [j16] [c48] [c47] [i2] [j15] [c46] [c45] [c44] [c43] [p1] [c42] [c41] [c40] [j13] [c39] [c37] [c36] [c33] [c32] [c31] [i1] [j11] [j10] [c28] [c26] [c25] [c24] [c23] [c22] [c21] [c20] [c19] [c18] [j9] [c17] [c16] [c14] [c11] [c9] [j3] [c5] [c4] [j1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 21:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
