


Остановите войну!
for scientists:
Mieke Massink
Person information

Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [c72]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 - 2021
- [j35]Hossein Hojjat, Mieke Massink:
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2019). Sci. Comput. Program. 206: 102626 (2021) - [c71]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 - [c70]Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink:
Feasibility of Spatial Model Checking for Nevus Segmentation. FormaliSE@ICSE 2021: 1-12 - [c69]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 - [c68]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
- [j34]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) - [c67]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
- [j33]Jean-Marie Jacquet, Mieke Massink:
Preface to the special issue on Coordination Models and Languages (Coordination 2017). Sci. Comput. Program. 180: 16-17 (2019) - [c66]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 - [c65]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 - [c64]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
- [j32]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) - [j31]Nicolas Gast, Diego Latella
, Mieke Massink
:
A refined mean field approximation of synchronous discrete-time population models. Perform. Evaluation 126: 1-21 (2018) - [j30]Nicolas Gast, Diego Latella, Mieke Massink:
A Refined Mean Field Approximation for Synchronous Population Processes. SIGMETRICS Perform. Evaluation Rev. 46(2): 30-32 (2018) - [j29]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
- [c63]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 - [c62]Diego Latella, Michele Loreti
, Mieke Massink:
FlyFast: A Mean Field Model Checker. TACAS (2) 2017: 303-309 - [c61]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
- [j28]Vincenzo Ciancia, Diego Latella, Michele Loreti
, Mieke Massink
:
Model Checking Spatial Logics for Closure Spaces. Log. Methods Comput. Sci. 12(4) (2016) - [c60]Vincenzo Ciancia
, Diego Latella, Mieke Massink
:
On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination. COORDINATION 2016: 67-83 - [c59]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 - [c58]Vincenzo Ciancia
, Diego Latella, Michele Loreti
, Mieke Massink:
Spatial Logic and Spatial Model Checking for Closure Spaces. SFM 2016: 156-201 - [c57]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
- [j27]Diego Latella, Mieke Massink
, Erik P. de Vink:
Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically. Log. Methods Comput. Sci. 11(4) (2015) - [j26]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) - [c56]Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni
:
On StocS: A Stochastic Extension of SCEL. Software, Services, and Systems 2015: 619-640 - [c55]Diego Latella, Michele Loreti
, Mieke Massink
:
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems. COORDINATION 2015: 19-34 - [c54]Diego Latella, Michele Loreti
, Mieke Massink
:
On-the-fly Fluid Model Checking via Discrete Time Population Models. EPEW 2015: 193-207 - [c53]Mieke Massink
, Rytis Paskauskas:
Model-Based Assessment of Aspects of User-satisfaction in Bicycle Sharing Systems. ITSC 2015: 1363-1370 - [c52]Laura Nenzi
, Luca Bortolussi
, Vincenzo Ciancia
, Michele Loreti
, Mieke Massink
:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. RV 2015: 21-37 - [c51]Vincenzo Ciancia
, Diego Latella, Mieke Massink
, Rytis Paskauskas:
Exploring Spatio-temporal Properties of Bike-Sharing Systems. SASO Workshops 2015: 74-79 - [c50]Maurice H. ter Beek
, Stefania Gnesi, Diego Latella, Mieke Massink
:
Towards Automatic Decision Support for Bike-Sharing System Design. SEFM Workshops 2015: 266-280 - [c49]Vincenzo Ciancia
, Gianluca Grilletti
, Diego Latella, Michele Loreti
, Mieke Massink
:
An Experimental Spatio-Temporal Model Checker. SEFM Workshops 2015: 297-311 - [c48]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 - [c47]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
- [j25]Mieke Massink, Gethin Norman
, Herbert Wiklicky:
Quantitative Aspects of Programming Languages and Systems (2011-12). Theor. Comput. Sci. 538: 1 (2014) - [c46]Vincenzo Ciancia
, Diego Latella, Michele Loreti
, Mieke Massink
:
Specifying and Verifying Properties of Space. IFIP TCS 2014: 222-235 - [c45]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 - [c44]Diego Latella, Michele Loreti
, Mieke Massink
, Valerio Senni
:
Stochastically timed predicate-based communication primitives for autonomic computing. QAPL 2014: 1-16 - [c43]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
- [j24]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) - [j23]Luca Bortolussi
, Jane Hillston, Diego Latella, Mieke Massink
:
Continuous approximation of collective system behaviour: A tutorial. Perform. Evaluation 70(5): 317-349 (2013) - [j22]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) - [c42]Luca Bortolussi
, Diego Latella, Mieke Massink
:
Stochastic Process Algebra and Stability Analysis of Collective Systems. COORDINATION 2013: 1-15 - [c41]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
- [j21]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) - [c40]Mieke Massink
, Manuele Brambilla, Diego Latella, Marco Dorigo
, Mauro Birattari
:
Analysing Robot Swarm Decision-Making with Bio-PEPA. ANTS 2012: 25-36 - [c39]Mieke Massink
, Diego Latella:
Fluid Analysis of Foraging Ants. COORDINATION 2012: 152-165 - [c38]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
- [c37]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
- [j20]Michael D. Harrison
, Mieke Massink
:
Modelling Interactive Experience, Function and Performance in Ubiquitous Systems. Electron. Notes Theor. Comput. Sci. 261: 23-42 (2010) - [c36]Andrea Bracciali, Jane Hillston, Diego Latella, Mieke Massink:
Reconciling Population and Agent Models for Crowd Dynamics. LAM@LICS 2010: 3-18 - [c35]Mieke Massink
, Michael D. Harrison
, Diego Latella:
Scalable analysis of collective behaviour in smart service systems. SAC 2010: 1173-1180 - [c34]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
- [j19]Michael D. Harrison, Mieke Massink:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 22 (2009) - [j18]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): 11-26 (2009) - [j17]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) - [j16]Tiziana Margaria
, Mieke Massink:
Preface. Int. J. Softw. Tools Technol. Transf. 11(5): 355-357 (2009) - [c33]Michael D. Harrison
, Mieke Massink
, Diego Latella:
Engineering crowd interaction within smart environments. EICS 2009: 117-122 - [c32]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 - [c31]Rocco De Nicola
, Diego Latella, Michele Loreti
, Mieke Massink
:
On a Uniform Framework for the Definition of Stochastic Process Languages. FMICS 2009: 9-25 - [c30]Rocco De Nicola
, Diego Latella, Michele Loreti
, Mieke Massink
:
Rate-Based Transition Systems for Stochastic Process Calculi. ICALP (2) 2009: 435-446 - [c29]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 - 2008
- [c28]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 - [c27]Mario Bravetti, Diego Latella, Michele Loreti
, Mieke Massink
, Gianluigi Zavattaro:
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC 2008: 52-68 - [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
- [j15]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) - [c26]Maria Carla Palmeri, Rocco De Nicola, Mieke Massink
:
Basic Observables for Probabilistic May Testing. QEST 2007: 189-200 - 2006
- [j14]Rocco De Nicola
, Joost-Pieter Katoen
, Diego Latella, Mieke Massink
:
Towards a Logic for Performance and Mobility. Electron. Notes Theor. Comput. Sci. 153(2): 161-175 (2006) - [j13]Mieke Massink
, Diego Latella, Stefania Gnesi
:
On testing UML statecharts. J. Log. Algebraic Methods Program. 69(1-2): 1-74 (2006) - [c25]Giorgio P. Faconti, Mieke Massink:
Analysis of Pointing Tasks on a White Board. DSV-IS 2006: 185-198 - 2005
- [j12]Maurice H. ter Beek
, Mieke Massink
, Diego Latella, Stefania Gnesi
, Alessandro Forghieri, Maurizio Sebastianis:
Model Checking Publish/Subscribe Notification for thinkteam®. Electron. Notes Theor. Comput. Sci. 133: 275-294 (2005) - [c24]Maurice H. ter Beek, Mieke Massink
, Diego Latella:
Towards Model Checking Stochastic Aspects of the thinkteam User Interface. DSV-IS 2005: 39-50 - [c23]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 - [c22]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 - [c21]Rocco De Nicola
, Diego Latella, Mieke Massink
:
Formal modeling and quantitative analysis of KLAIM-based mobile systems. SAC 2005: 428-435 - [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
- [c20]Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi:
Model Checking Groupware Protocols. COOP 2004: 179-194 - [c19]Mieke Massink
, Joost-Pieter Katoen, Diego Latella:
Model Checking Dependability Attributes of Wireless Group Communication. DSN 2004: 711-720 - [c18]Diego Latella, Mieke Massink
, Hubert Baumeister, Martin Wirsing:
Mobile UML Statecharts with Localities. Global Computing 2004: 34-58 - [c17]Stefania Gnesi, Diego Latella, Mieke Massink
:
Formal Test-Case Generation for UML Statecharts. ICECCS 2004: 75-84 - 2003
- [c16]Diego Latella, Mieke Massink:
On Mobility Extensions of UML Statecharts. A Pragmatic Approach. FMOODS 2003: 199-213 - 2002
- [j11]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) - [j10]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) - [j9]Mieke Massink
, Giorgio P. Faconti:
A reference framework for continuous interaction. Univers. Access Inf. Soc. 1(4): 237-251 (2002) - [c15]Diego Latella, Mieke Massink:
On testing and conformance relations for UML statechart diagrams behaviours. ISSTA 2002: 144-153 - [c14]Luis Filipe 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
- [j8]Gavin J. Doherty
, Giorgio P. Faconti, Mieke Massink
:
Formal Verification in the Design of Gestural Interaction. Electron. Notes Theor. Comput. Sci. 43: 75-96 (2001) - [j7]Howard Bowman, Giorgio P. Faconti, Mieke Massink
:
Towards Integrated Cognitive and Interface Analysis. Electron. Notes Theor. Comput. Sci. 43: 97-112 (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) - [c13]Gavin J. Doherty
, Mieke Massink
, Giorgio P. Faconti:
Reasoning about Interactive Systems with Stochastic Models. DSV-IS 2001: 144-163 - [c12]Diego Latella, Mieke Massink
:
A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification. HASE 2001: 11-22 - [c11]Giorgio P. Faconti, Mieke Massink:
Continuous interaction with computers: issues and requirements. HCI 2001: 301-305 - [c10]Mieke Massink, Nicoletta De Francesco:
Modelling Free Flight with Collision Avoidance. ICECCS 2001: 270-280 - [c9]