BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
1 × Greece
1 × Switzerland
2 × USA
3 × Italy
Collaborated with:
D.Latella R.D.Nicola M.Loreti M.D.Harrison A.Bracciali J.Katoen J.Hillston E.P.d.Vink V.Senni T.C.Ruys R.Langerak M.H.t.Beek S.Gnesi A.Forghieri M.Sebastianis L.Bortolussi V.Galpin S.Gilmore
Talks about:
analysi (4) base (4) stochast (3) process (3) system (3) behaviour (2) scalabl (2) quantit (2) collect (2) algebra (2)

Person: Mieke Massink

DBLP DBLP: Massink:Mieke

Facilitated 2 volumes:

QAPL 2012Ed
QAPL 2011Ed

Contributed to:

QAPL 20152015
QAPL 20142014
FASE 20112011
SAC 20102010
SEFM 20102010
ICALP (2) 20092009
ICSE 20052005
QAPL 20052006
SAC 20052005
ISSTA 20022002
TACAS 20012001
QAPL 20172017

Wrote 13 papers:

QAPL-2015-BortolussiNGGHL #adaptation #markov #named
CARMA: Collective Adaptive Resource-sharing Markovian Agents (LB, RDN, VG, SG, JH, DL, ML, MM), pp. 16–31.
QAPL-2015-LatellaMV #bisimulation
A Definition Scheme for Quantitative Bisimulation (DL, MM, EPdV), pp. 63–78.
QAPL-2014-LatellaLMS #communication
Stochastically timed predicate-based communication primitives for autonomic computing (DL, ML, MM, VS), pp. 1–16.
FASE-2011-MassinkLBH #modelling
Modelling Non-linear Crowd Dynamics in Bio-PEPA (MM, DL, AB, JH), pp. 96–110.
SAC-2010-MassinkHL #analysis #behaviour #scalability
Scalable analysis of collective behaviour in smart service systems (MM, MDH, DL), pp. 1173–1180.
SEFM-2010-MassinkLBH #algebra #analysis #approach #process #scalability
A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis (MM, DL, AB, MDH), pp. 169–180.
ICALP-v2-2009-NicolaLLM #calculus #probability #process
Rate-Based Transition Systems for Stochastic Process Calculi (RDN, DL, ML, MM), pp. 435–446.
ICSE-2005-BeekMLGFS #automation #case study #protocol #verification
A case study on the automated verification of groupware protocols (MHtB, MM, DL, SG, AF, MS), pp. 596–603.
QAPL-2005-NicolaKLM06 #logic #performance #towards
Towards a Logic for Performance and Mobility (RDN, JPK, DL, MM), pp. 161–175.
SAC-2005-NicolaLM #analysis #formal method #mobile #modelling
Formal modeling and quantitative analysis of KLAIM-based mobile systems (RDN, DL, MM), pp. 428–435.
ISSTA-2002-LatellaM #behaviour #consistency #diagrams #on the #statechart #testing #uml
On testing and conformance relations for UML statechart diagrams behaviours (DL, MM), pp. 144–153.
TACAS-2001-RuysLKLM #algebra #analysis #partial order #probability #process #using
First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders (TCR, RL, JPK, DL, MM), pp. 220–235.
QAPL-2017-LatellaM #coordination #design #optimisation
Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination (DL, MM), pp. 92–110.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.