Mieke Massink

	2012
59		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)
	2011
58		Mieke Massink, Gethin Norman: Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages QAPL 2011
57		Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston: Modelling Non-linear Crowd Dynamics in Bio-PEPA. FASE 2011: 96-110
56		Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink: SoSL: A Service-Oriented Stochastic Logic. Results of the SENSORIA Project 2011: 447-466
	2010
55		Mieke Massink, Michael D. Harrison, Diego Latella: Scalable analysis of collective behaviour in smart service systems. SAC 2010: 1173-1180
54		Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison: A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. SEFM 2010: 169-180
53		Michael D. Harrison, Mieke Massink: Modelling Interactive Experience, Function and Performance in Ubiquitous Systems. Electr. Notes Theor. Comput. Sci. 261: 23-42 (2010)
	2009
52		Michael D. Harrison, Mieke Massink, Diego Latella: Engineering crowd interaction within smart environments. EICS 2009: 117-122
51		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
50		Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink: On a Uniform Framework for the Definition of Stochastic Process Languages. FMICS 2009: 9-25
49		Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink: Rate-Based Transition Systems for Stochastic Process Calculi. ICALP (2) 2009: 435-446
48		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
47		Michael D. Harrison, Mieke Massink: Preface. ECEASST 22: (2009)
46		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)
45		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)
44		Tiziana Margaria, Mieke Massink: Preface. STTT 11(5): 355-357 (2009)
	2008
43		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
42		Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro: Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC 2008: 52-68
41		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
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 D. 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: 75-96 (2001)
14		Howard Bowman, Giorgio P. Faconti, Mieke Massink: Towards Integrated Cognitive and Interface Analysis. Electr. Notes Theor. Comput. Sci. 43: 97-112 (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): 169-178 (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] [41] [43] [45] [48] [51]
7	S. Booth	[12]
8	Monica Bordegoni	[12]
9	Lydie du Bousquet	[35]
10	Howard Bowman	[3] [5] [14]
11	Andrea Bracciali	[54] [57] [59]
12	Mario Bravetti	[42]
13	Roberto Bruni	[24]
14	José Creissac Campos	[35]
15	Andrea Corradini	[24]
16	Dennis Dams	[11]
17	Gavin J. Doherty	[13] [15] [20] [22] [35]
18	David J. Duke	[7] [10]
19	Giorgio P. Faconti (Giorgio Faconti)	[2] [3] [4] [5] [12] [13] [14] [15] [18] [20] [21] [22] [38] [48] [51]
20	Gilles Falquet	[35]
21	José Luiz Fiadeiro	[24]
22	Alessandro Forghieri	[31] [33]
23	Nicoletta De Francesco	[17]
24	Fabio Gadducci	[24]
25	Rob Gerth	[11]
26	Stefania Gnesi	[8] [23] [24] [27] [30] [31] [33] [36] [41] [45]
27	Michael D. Harrison	[43] [47] [52] [53] [54] [55] [59]
28	Jane Hillston	[57] [59]
29	Piotr Hoffman	[24]
30	Joost-Pieter Katoen	[3] [16] [29] [37] [39]
31	Nora Koch	[24]
32	Piotr Kosiuczenko	[24]
33	Jean-François Ladry	[51]
34	Rom Langerak	[16]
35	Alessandro Lapadula	[24]
36	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] [43] [45] [46] [49] [50] [52] [54] [55] [56] [57] [59]
37	Stefan Leue	[11]
38	Marc van Lieshout	[1]
39	Antónia Lopes	[24]
40	Michele Loreti	[24] [39] [42] [43] [46] [49] [50] [56]
41	István Majzik	[6] [9]
42	Tiziana Margaria (Tiziana Margaria-Steffen)	[44]
43	Franco Mazzanti	[24]
44	Ugo Montanari	[24]
45	Rocco De Nicola	[24] [32] [37] [39] [40] [46] [49] [50] [56]
46	Gethin Norman	[58]
47	Cristóvão Oliveira	[24]
48	Philippe A. Palanque	[48] [51]
49	Maria Carla Palmeri	[40]
50	Rosario Pugliese	[24]
51	Theo C. Ruys	[16]
52	Carmen Santoro	[35]
53	Maurizio Sebastianis	[31] [33] [41] [45]
54	Shamus P. Smith	[7] [10]
55	Andrzej Tarlecki	[24]
56	Gianluca Trentanni	[41] [45]
57	Michel Wermelinger	[24]
58	Michael D. Wilson	[22]
59	Marco Winckler	[48] [51]
60	Martin Wirsing	[24] [28]
61	Gianluigi Zavattaro	[42]
62	Artur Zawlocki	[24]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page