BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × United Kingdom
Collaborated with:
M.Leuschel T.S.Hoang
Talks about:
probabilist (1) constraint (1) deadlock (1) specif (1) qualit (1) model (1) level (1) event (1) check (1) high (1)

Person: Stefan Hallerstede

DBLP DBLP: Hallerstede:Stefan

Contributed to:

ICLP 20112011
IFM 20072007

Wrote 2 papers:

ICLP-J-2011-HallerstedeL #concurrent #constraints #specification
Constraint-based deadlock checking of high-level specifications (SH, ML), pp. 767–782.
IFM-2007-HallerstedeH #modelling #probability
Qualitative Probabilistic Modelling in Event-B (SH, TSH), pp. 293–312.

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.