Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Mieke Massink
2010 – today
- 2013
[j24]Luca Bortolussi, Jane Hillston, Diego Latella, Mieke Massink: Continuous approximation of collective system behaviour: A tutorial. Perform. Eval. 70(5): 317-349 (2013)- [j23]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 Intelligence 7(2-3): 201-228 (2013)
- [c39]Luca Bortolussi, Diego Latella, Mieke Massink: Stochastic Process Algebra and Stability Analysis of Collective Systems. COORDINATION 2013: 1-15
- 2012
- [j22]Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison, Jane Hillston: Scalable context-dependent analysis of emergency egress models. Formal Asp. Comput. 24(2): 267-302 (2012)
- [c38]Mieke Massink, Manuele Brambilla, Diego Latella, Marco Dorigo, Mauro Birattari: Analysing Robot Swarm Decision-Making with Bio-PEPA. ANTS 2012: 25-36
- [c37]
- [c36]Diego Latella, Mieke Massink, Erik P. de Vink: Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages. ACCAT 2012: 23-43
- [e3]Herbert Wiklicky, Mieke Massink (Eds.): Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems. EPTCS 85, 2012
- 2011
- [c35]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
- [e2]Mieke Massink, Gethin Norman (Eds.): Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages. EPTCS 57, 2011
- 2010
- [j21]Michael D. Harrison, Mieke Massink: Modelling Interactive Experience, Function and Performance in Ubiquitous Systems. Electr. Notes Theor. Comput. Sci. 261: 23-42 (2010)
- [c34]Mieke Massink, Michael D. Harrison, Diego Latella: Scalable analysis of collective behaviour in smart service systems. SAC 2010: 1173-1180
- [c33]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
- [j20]
- [j19]Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink: MarCaSPiS: a Markovian Extension of a Calculus for Services. Electr. Notes Theor. Comput. Sci. 229(4): 11-26 (2009)
- [j18]Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni: Assisting the design of a groupware system. J. Log. Algebr. Program. 78(4): 191-232 (2009)
- [j17]
- [c32]Michael D. Harrison, Mieke Massink, Diego Latella: Engineering crowd interaction within smart environments. EICS 2009: 117-122
- [c31]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
- [c30]Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink: On a Uniform Framework for the Definition of Stochastic Process Languages. FMICS 2009: 9-25
- [c29]Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink: Rate-Based Transition Systems for Stochastic Process Calculi. ICALP (2) 2009: 435-446
- [c28]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
- [j16]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)
- [c27]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
- [c26]Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro: Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC 2008: 52-68
- 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)
- [c25]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. Electr. Notes Theor. Comput. Sci. 153(2): 161-175 (2006)
- [j13]Mieke Massink, Diego Latella, Stefania Gnesi: On testing UML statecharts. J. Log. Algebr. Program. 69(1-2): 1-74 (2006)
- [c24]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®. Electr. Notes Theor. Comput. Sci. 133: 275-294 (2005)
- [c23]Maurice H. ter Beek, Mieke Massink, Diego Latella: Towards Model Checking Stochastic Aspects of the thinkteam User Interface. DSV-IS 2005: 39-50
- [c22]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
- [c21]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
- [c20]Rocco De Nicola, Diego Latella, Mieke Massink: Formal modeling and quantitative analysis of KLAIM-based mobile systems. SAC 2005: 428-435
- 2004
- [c19]Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi: Model Checking Groupware Protocols. COOP 2004: 179-194
- [c18]Mieke Massink, Joost-Pieter Katoen, Diego Latella: Model Checking Dependability Attributes of Wireless Group Communication. DSN 2004: 711-720
- [c17]Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing: Mobile UML Statecharts with Localities. Global Computing 2004: 34-58
- [c16]Stefania Gnesi, Diego Latella, Mieke Massink: Formal Test-Case Generation for UML Statecharts. ICECCS 2004: 75-84
- 2003
- [c15]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. Algebr. Program. 51(1): 43-75 (2002)
- [j10]Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink, Michael D. Wilson: Continuous interaction in future computing systems. Universal Access in the Information Society 1(4): 235-236 (2002)
- [j9]Mieke Massink, Giorgio P. Faconti: A reference framework for continuous interaction. Universal Access in the Information Society 1(4): 237-251 (2002)
- [c14]Diego Latella, Mieke Massink: On testing and conformance relations for UML statechart diagrams behaviours. ISSTA 2002: 144-153
- [c13]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. Electr. Notes Theor. Comput. Sci. 43: 75-96 (2001)
- [j7]Howard Bowman, Giorgio P. Faconti, Mieke Massink: Towards Integrated Cognitive and Interface Analysis. Electr. 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 in System Design 19(2): 143-164 (2001)
- [c12]Gavin J. Doherty, Mieke Massink, Giorgio P. Faconti: Reasoning about Interactive Systems with Stochastic Models. DSV-IS 2001: 144-163
- [c11]Diego Latella, Mieke Massink: A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification. HASE 2001: 11-22
- [c10]Giorgio P. Faconti, Mieke Massink: Continuous interaction with computers: issues and requirements. HCI 2001: 301-305
- [c9]Mieke Massink, Nicoletta De Francesco: Modelling Free Flight with Collision Avoidance. ICECCS 2001: 270-280
- [c8]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)
- [c7]Stefania Gnesi, Diego Latella, Mieke Massink: A stochastic extension of a behavioural subset of UML statechart diagrams. HASE 2000: 55-64
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 Asp. 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 (Eds.): 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
- 1998
- [j2]Giorgio P. Faconti, Mieke Massink: Modelling and Verification of PREMO Synchronisable Objects. Formal Asp. 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 Asp. 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:13 CEST by the dblp team