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
Collaborated with:
H.Hermanns M.Bozga A.David K.G.Larsen A.Legay J.Tretmans
Talks about:
quantit (2) model (2) techniqu (1) toolset (1) environ (1) analysi (1) system (1) modest (1) integr (1) verif (1)

Person: Arnd Hartmanns

DBLP DBLP: Hartmanns:Arnd

Contributed to:

TACAS 20142014
DATE 20122012

Wrote 2 papers:

TACAS-2014-HartmannsH #ide #modelling #tool support #verification
The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification (AH, HH), pp. 593–598.
DATE-2012-BozgaDHHLLT #analysis #embedded #modelling #state of the art #tool support
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems (MB, AD, AH, HH, KGL, AL, JT), pp. 370–375.
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.