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

Mieke Massink (Selection)

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMieke Massink, Manuele Brambilla, Diego Latella, Marco Dorigo, Mauro Birattari: Analysing Robot Swarm Decision-Making with Bio-PEPA. ANTS 2012: 25-36
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMieke Massink, Diego Latella: Fluid Analysis of Foraging Ants. COORDINATION 2012: 152-165
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMieke 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)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston: Modelling Non-linear Crowd Dynamics in Bio-PEPA. FASE 2011: 96-110
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink: SoSL: A Service-Oriented Stochastic Logic. Results of the SENSORIA Project 2011: 447-466
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMieke Massink, Michael D. Harrison, Diego Latella: Scalable analysis of collective behaviour in smart service systems. SAC 2010: 1173-1180
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison: A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. SEFM 2010: 169-180
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael D. Harrison, Mieke Massink, Diego Latella: Engineering crowd interaction within smart environments. EICS 2009: 117-122
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink: On a Uniform Framework for the Definition of Stochastic Process Languages. FMICS 2009: 9-25
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink: Rate-Based Transition Systems for Stochastic Process Calculi. ICALP (2) 2009: 435-446
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRocco 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)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice 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)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMieke 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
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro: Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC 2008: 52-68
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice 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)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink: Model checking mobile stochastic logic. Theor. Comput. Sci. 382(1): 42-70 (2007)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRocco 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)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMieke Massink, Diego Latella, Stefania Gnesi: On testing UML statecharts. J. Log. Algebr. Program. 69(1-2): 1-74 (2006)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice H. ter Beek, Mieke Massink, Diego Latella: Towards Model Checking Stochastic Aspects of the thinkteam User Interface. DSV-IS 2005: 39-50
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice 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
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRocco De Nicola, Diego Latella, Mieke Massink: Formal modeling and quantitative analysis of KLAIM-based mobile systems. SAC 2005: 428-435
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice 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)
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi: Model Checking Groupware Protocols. COOP 2004: 179-194
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMieke Massink, Joost-Pieter Katoen, Diego Latella: Model Checking Dependability Attributes of Wireless Group Communication. DSN 2004: 711-720
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing: Mobile UML Statecharts with Localities. Global Computing 2004: 34-58
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Gnesi, Diego Latella, Mieke Massink: Formal Test-Case Generation for UML Statecharts. ICECCS 2004: 75-84
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Latella, Mieke Massink: On Mobility Extensions of UML Statecharts. A Pragmatic Approach. FMOODS 2003: 199-213
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Latella, Mieke Massink: On testing and conformance relations for UML statechart diagrams behaviours. ISSTA 2002: 144-153
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis 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
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania 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)
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Latella, Mieke Massink: A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification. HASE 2001: 11-22
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheo 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
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Latella, István Majzik, Mieke Massink: Towards a Formal Operational Semantics of UML Statechart Diagrams. FMOODS 1999
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Gnesi, Diego Latella, Mieke Massink: Model Checking UML Statechart Diagrams Using JACK. HASE 1999: 46-55
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego 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)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoward 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)

Selection of 36 from 62 records - Mieke Massink has 66 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page