BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
J.Hatcliff K.Fowler J.Delange E.Ahmad S.C.Barrett N.Zhan Y.Dong
Talks about:
model (2) annex (2) aadl (2) interact (1) behavior (1) pacemak (1) illustr (1) continu (1) system (1) specif (1)

Person: Brian R. Larson

DBLP DBLP: Larson:Brian_R=

Contributed to:

HILT 20142014
HILT 20132013

Wrote 3 papers:

HILT-2014-AhmadLBZD #behaviour #cyber-physical #hybrid #interactive #modelling
Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling (EA, BRL, SCB, NZ, YD), pp. 29–38.
HILT-2014-Larson #semantics #specification
Formal semantics for the PACEMAKER system specification (BRL), pp. 47–60.
HILT-2013-LarsonHFD #fault #modelling #safety #using
Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device (BRL, JH, KF, JD), pp. 65–84.

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.