Brian R. Larson

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 6

Top Topics

Formal Semantics

Top Venues

Sci. China Inf. Sci.

SAFECOMP Workshops

Publications

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