Brian R. Larson

15 papers Journal 5Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
Formalization of the AADL Run-Time Services with Time.
CoRR
Brian R. Larson, Ehsan Ahmad
2024 J jnl
Trusted Composition of Internet of Medical Things over Imperfect Networks.
Future Internet
Ehsan Ahmad, Brian R. Larson, Abdulbasid Banga
2020 — conf
Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling.
IMBSA
Hariharan Thiagarajan, Brian R. Larson, John Hatcliff, Yi Zhang
2019 J jnl
The open PCA pump project: an exemplar open source medical device as a community resource.
SIGBED Rev.
John Hatcliff, Brian R. Larson, Todd Carpenter, Paul L. Jones, Yi Zhang, Joseph Jorgens
2018 — conf
A Unified Approach for Modeling, Developing, and Assuring Critical Systems.
ISoLA (1)
John Hatcliff, Brian R. Larson, Jason Belt, Robby, Yi Zhang
2018 — conf
Assurance Case Considerations for Interoperable Medical Systems.
SAFECOMP Workshops
Yi Zhang, Brian R. Larson, John Hatcliff
2016 — conf
Formal semantics of behavior specifications in the architecture analysis and design language standard.
HLDVT
Loïc Besnard, Thierry Gautier, Clément Guy, Paul Le Guernic, Jean-Pierre Talpin, Brian R. Larson, Etienne Borde
2015 J jnl
Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL.
Sci. China Inf. Sci.
Ehsan Ahmad, Yunwei Dong, Brian R. Larson, Jidong Lü, Tao Tang, Naijun Zhan
2015 J jnl
Enabling Safe Interoperation by Medical Device Virtual Integration.
IEEE Des. Test
Brian R. Larson, Yi Zhang, Stephen C. Barrett, John Hatcliff, Paul L. Jones
2014 — conf
Formal semantics for the PACEMAKER system specification.
HILT
Brian R. Larson
2014 — conf
Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling.
HILT
Ehsan Ahmad, Brian R. Larson, Stephen C. Barrett, Naijun Zhan, Yunwei Dong
2013 — conf
BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software.
NASA Formal Methods
Brian R. Larson, Patrice Chalin, John Hatcliff
2013 — conf
Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device.
HILT
Brian R. Larson, John Hatcliff, Kim R. Fowler, Julien Delange
2013 — conf
Open source patient-controlled analgesic pump requirements documentation.
SEHC@ICSE
Brian R. Larson, John Hatcliff, Patrice Chalin
2012 — conf
Requirements specification for apps in medical application platforms.
SEHC@ICSE
Brian R. Larson, John Hatcliff, Sam Procter, Patrice Chalin