dblp.uni-trier.dewww.uni-trier.de

Mieke Massink Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
44EERocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink: Rate-Based Transition Systems for Stochastic Process Calculi. ICALP (2) 2009: 435-446
43EEMaurice 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
42EEMieke 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
41EEMario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro: Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC 2008: 52-68
2007
40EEMaria Carla Palmeri, Rocco De Nicola, Mieke Massink: Basic Observables for Probabilistic May Testing. QEST 2007: 189-200
39EERocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink: Model checking mobile stochastic logic. Theor. Comput. Sci. 382(1): 42-70 (2007)
2006
38EEGiorgio P. Faconti, Mieke Massink: Analysis of Pointing Tasks on a White Board. DSV-IS 2006: 185-198
37EERocco 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)
36EEMieke Massink, Diego Latella, Stefania Gnesi: On testing UML statecharts. J. Log. Algebr. Program. 69(1-2): 1-74 (2006)
2005
35EEGavin 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
34EEMaurice H. ter Beek, Mieke Massink, Diego Latella: Towards Model Checking Stochastic Aspects of the thinkteam User Interface. DSV-IS 2005: 39-50
33EEMaurice 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
32EERocco De Nicola, Diego Latella, Mieke Massink: Formal modeling and quantitative analysis of KLAIM-based mobile systems. SAC 2005: 428-435
31EEMaurice 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)
2004
30 Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi: Model Checking Groupware Protocols. COOP 2004: 179-194
29EEMieke Massink, Joost-Pieter Katoen, Diego Latella: Model Checking Dependability Attributes of Wireless Group Communication. DSN 2004: 711-720
28EEDiego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing: Mobile UML Statecharts with Localities. Global Computing 2004: 34-58
27EEStefania Gnesi, Diego Latella, Mieke Massink: Formal Test-Case Generation for UML Statecharts. ICECCS 2004: 75-84
2003
26EEDiego Latella, Mieke Massink: On Mobility Extensions of UML Statecharts. A Pragmatic Approach. FMOODS 2003: 199-213
2002
25EEDiego Latella, Mieke Massink: On testing and conformance relations for UML statechart diagrams behaviours. ISSTA 2002: 144-153
24EELuis 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
23EEStefania 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)
22EEGavin J. Doherty, Giorgio P. Faconti, Mieke Massink, Michael Wilson: Continuous interaction in future computing systems. Universal Access in the Information Society 1(4): 235-236 (2002)
21EEMieke Massink, Giorgio P. Faconti: A reference framework for continuous interaction. Universal Access in the Information Society 1(4): 237-251 (2002)
2001
20EEGavin J. Doherty, Mieke Massink, Giorgio P. Faconti: Reasoning about Interactive Systems with Stochastic Models. DSV-IS 2001: 144-163
19 Diego Latella, Mieke Massink: A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification. HASE 2001: 11-22
18 Giorgio P. Faconti, Mieke Massink: Continuous interaction with computers: issues and requirements. HCI 2001: 301-305
17EEMieke Massink, Nicoletta De Francesco: Modelling Free Flight with Collision Avoidance. ICECCS 2001: 270-280
16EETheo 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
15EEGavin J. Doherty, Giorgio P. Faconti, Mieke Massink: Formal Verification in the Design of Gestural Interaction. Electr. Notes Theor. Comput. Sci. 43: (2001)
14EEHoward Bowman, Giorgio P. Faconti, Mieke Massink: Towards Integrated Cognitive and Interface Analysis. Electr. Notes Theor. Comput. Sci. 43: (2001)
13 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)
2000
12 Giorgio P. Faconti, Mieke Massink, Monica Bordegoni, Franco De Angelis, S. Booth: Haptic Cues for Image Disambiguation. Comput. Graph. Forum 19(3): (2000)
1999
11 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 Springer 1999
10 Mieke Massink, David J. Duke, Shamus P. Smith: Towards Hybrid Interface Specifications for Virtual Environments. DSV-IS 1999: 30-51
9 Diego Latella, István Majzik, Mieke Massink: Towards a Formal Operational Semantics of UML Statechart Diagrams. FMOODS 1999
8EEStefania Gnesi, Diego Latella, Mieke Massink: Model Checking UML Statechart Diagrams Using JACK. HASE 1999: 46-55
7 Shamus P. Smith, David J. Duke, Mieke Massink: The Hybrid World of Virtual Environments. Comput. Graph. Forum 18(3): 297-308 (1999)
6EEDiego 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)
1998
5 Howard Bowman, Giorgio P. Faconti, Mieke Massink: Specification and Verification of Media Constraints using UPAAL. DSV-IS 1998: 261-277
4EEGiorgio P. Faconti, Mieke Massink: Modelling and Verification of PREMO Synchronisable Objects. Formal Asp. Comput. 10(4): 405-434 (1998)
3EEHoward 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)
1997
2 Giorgio P. Faconti, Mieke Massink: Investigating the behaviour of PREMO synchronizable objects. DSV-IS 1997: 125-141
1992
1 Marc van Lieshout, Mieke Massink: Responsible Scientists - A Social-Constructivist Approach. IFIP Congress (2) 1992: 336-343

Coauthor Index

1Luis Filipe Andrade [24]
2Franco De Angelis [12]
3El Mustapha El Atifi [35]
4Paolo Baldan [24]
5Hubert Baumeister [24] [28]
6Maurice H. ter Beek [30] [31] [33] [34] [42] [43]
7S. Booth [12]
8Monica Bordegoni [12]
9Lydie du Bousquet [35]
10Howard Bowman [3] [5] [14]
11Mario Bravetti [41]
12Roberto Bruni [24]
13José Creissac Campos [35]
14Andrea Corradini [24]
15Dennis Dams [11]
16Gavin J. Doherty [13] [15] [20] [22] [35]
17David J. Duke [7] [10]
18Giorgio P. Faconti (Giorgio Faconti) [2] [3] [4] [5] [12] [13] [14] [15] [18] [20] [21] [22] [38] [43]
19Gilles Falquet [35]
20José Luiz Fiadeiro [24]
21Alessandro Forghieri [31] [33]
22Nicoletta De Francesco [17]
23Fabio Gadducci [24]
24Rob Gerth [11]
25Stefania Gnesi [8] [23] [24] [27] [30] [31] [33] [36]
26Michael D. Harrison [42]
27Piotr Hoffman [24]
28Joost-Pieter Katoen [3] [16] [29] [37] [39]
29Nora Koch [24]
30Piotr Kosiuczenko [24]
31Rom Langerak [16]
32Alessandro Lapadula [24]
33Diego Latella [3] [6] [8] [9] [16] [19] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [36] [37] [39] [41] [42] [44]
34Stefan Leue [11]
35Marc van Lieshout [1]
36Antónia Lopes [24]
37Michele Loreti [24] [39] [41] [42] [44]
38István Majzik [6] [9]
39Franco Mazzanti [24]
40Ugo Montanari [24]
41Rocco De Nicola [24] [32] [37] [39] [40] [44]
42Cristóvão Oliveira [24]
43Philippe A. Palanque [43]
44Maria Carla Palmeri [40]
45Rosario Pugliese [24]
46Theo C. Ruys [16]
47Carmen Santoro [35]
48Maurizio Sebastianis [31] [33]
49Shamus P. Smith [7] [10]
50Andrzej Tarlecki [24]
51Michel Wermelinger [24]
52Michael Wilson [22]
53Marco Winckler [43]
54Martin Wirsing [24] [28]
55Gianluigi Zavattaro [41]
56Artur Zawlocki [24]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)