Mieke Massink

	2009
45		Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink: On a Uniform Framework for the Definition of Stochastic Process Languages. FMICS 2009: 9-25
44		Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink: Rate-Based Transition Systems for Stochastic Process Calculi. ICALP (2) 2009: 435-446
43		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
42		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
41		Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro: Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC 2008: 52-68
	2007
40		Maria Carla Palmeri, Rocco De Nicola, Mieke Massink: Basic Observables for Probabilistic May Testing. QEST 2007: 189-200
39		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)
	2006
38		Giorgio P. Faconti, Mieke Massink: Analysis of Pointing Tasks on a White Board. DSV-IS 2006: 185-198
37		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)
36		Mieke Massink, Diego Latella, Stefania Gnesi: On testing UML statecharts. J. Log. Algebr. Program. 69(1-2): 1-74 (2006)
	2005
35		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
34		Maurice H. ter Beek, Mieke Massink, Diego Latella: Towards Model Checking Stochastic Aspects of the thinkteam User Interface. DSV-IS 2005: 39-50
33		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
32		Rocco De Nicola, Diego Latella, Mieke Massink: Formal modeling and quantitative analysis of KLAIM-based mobile systems. SAC 2005: 428-435
31		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)
	2004
30		Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi: Model Checking Groupware Protocols. COOP 2004: 179-194
29		Mieke Massink, Joost-Pieter Katoen, Diego Latella: Model Checking Dependability Attributes of Wireless Group Communication. DSN 2004: 711-720
28		Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing: Mobile UML Statecharts with Localities. Global Computing 2004: 34-58
27		Stefania Gnesi, Diego Latella, Mieke Massink: Formal Test-Case Generation for UML Statecharts. ICECCS 2004: 75-84
	2003
26		Diego Latella, Mieke Massink: On Mobility Extensions of UML Statecharts. A Pragmatic Approach. FMOODS 2003: 199-213
	2002
25		Diego Latella, Mieke Massink: On testing and conformance relations for UML statechart diagrams behaviours. ISSTA 2002: 144-153
24		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
23		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)
22		Gavin 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)
21		Mieke Massink, Giorgio P. Faconti: A reference framework for continuous interaction. Universal Access in the Information Society 1(4): 237-251 (2002)
	2001
20		Gavin 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
17		Mieke Massink, Nicoletta De Francesco: Modelling Free Flight with Collision Avoidance. ICECCS 2001: 270-280
16		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
15		Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink: Formal Verification in the Design of Gestural Interaction. Electr. Notes Theor. Comput. Sci. 43: (2001)
14		Howard 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
8		Stefania 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)
6		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)
	1998
5		Howard Bowman, Giorgio P. Faconti, Mieke Massink: Specification and Verification of Media Constraints using UPAAL. DSV-IS 1998: 261-277
4		Giorgio P. Faconti, Mieke Massink: Modelling and Verification of PREMO Synchronisable Objects. Formal Asp. Comput. 10(4): 405-434 (1998)
3		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)
	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

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

Colors in the list of coauthors