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: Larson:Brian_R=
Contributed to:
20142013Wrote 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.