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 × Estonia
1 × Korea
1 × Norway
1 × USA
2 × Germany
3 × Italy
Collaborated with:
L.Bortolussi V.Galpin S.Gilmore F.Ciocchetta ∅ D.Latella M.Massink T.Ma S.Anderson A.L.Opdahl R.Pooley A.Bracciali G.Yaikhom M.Cole A.Clark M.Tribastone Ludovica Luisa Vissat Glenn Marion M.J.Smith R.D.Nicola M.Loreti
Talks about:
model (6) process (3) algebra (3) stochast (2) individu (2) perform (2) system (2) markov (2) popul (2) check (2)

Person: Jane Hillston

DBLP DBLP: Hillston:Jane

Facilitated 1 volumes:

SFM 2007Ed

Contributed to:

QAPL 20152015
SFM 20132013
QAPL 20122012
FASE 20112011
QAPL 20112011
SFM 20082008
QAPL 20072007
SAC 20072007
SFM 20072007
LICS 20052005
CAiSE 19911991
QAPL 20162016

Wrote 13 papers:

QAPL-2015-BortolussiH #markov #modelling #performance
Efficient Checking of Individual Rewards Properties in Markov Population Models (LB, JH), pp. 32–47.
QAPL-2015-BortolussiNGGHL #adaptation #markov #named
CARMA: Collective Adaptive Resource-sharing Markovian Agents (LB, RDN, VG, SG, JH, DL, ML, MM), pp. 16–31.
SFM-2013-BortolussiH #approximate #behaviour #markov #modelling
Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation (LB, JH), pp. 113–149.
QAPL-2012-BortolussiGH #hybrid #modelling #network #performance
Hybrid performance modelling of opportunistic networks (LB, VG, JH), pp. 106–121.
FASE-2011-MassinkLBH #modelling
Modelling Non-linear Crowd Dynamics in Bio-PEPA (MM, DL, AB, JH), pp. 96–110.
QAPL-2011-BortolussiGH #probability
HYPE with stochastic events (LB, VG, JH), pp. 120–133.
SFM-2008-CiocchettaH #algebra #biology #process
Process Algebras in Systems Biology (FC, JH), pp. 265–312.
QAPL-2007-YaikhomCGH #approach #modelling #performance #using
A Structural Approach for Modelling Performance of Systems Using Skeletons (GY, MC, SG, JH), pp. 167–183.
SAC-2007-MaHA #detection #evaluation
Evaluation of the QoS of crash-recovery failure detection (TM, JH, SA), pp. 538–542.
SFM-2007-ClarkGHT #algebra #probability #process
Stochastic Process Algebras (AC, SG, JH, MT), pp. 132–179.
LICS-2005-Hillston #algebra #analysis #process
Process Algebras for Quantitative Analysis (JH), pp. 239–248.
CAiSE-1991-HillstonOP #case study #using
A Case Study Using the IMSE Experimentation Tool (JH, ALO, RP), pp. 284–306.
QAPL-2016-VissatHMS #modelling #named
MELA: Modelling in Ecology with Location Attributes (LLV, JH, GM, MJS), pp. 82–97.
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.