Brian R. Larson

According to our database, Brian R. Larson authored at least 13 papers between 2012 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling.

Hariharan Thiagarajan, Brian R. Larson, John Hatcliff, Yi Zhang

Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020

2019

The open PCA pump project: an exemplar open source medical device as a community resource.

John Hatcliff, Brian R. Larson, Todd Carpenter, Paul L. Jones, Yi Zhang, Joseph Jorgens

SIGBED Rev., 2019

2018

Assurance Case Considerations for Interoperable Medical Systems.

Yi Zhang, Brian R. Larson, John Hatcliff

Proceedings of the Computer Safety, Reliability, and Security, 2018

A Unified Approach for Modeling, Developing, and Assuring Critical Systems.

John Hatcliff, Brian R. Larson, Jason Belt, Robby, Yi Zhang

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

2016

Formal semantics of behavior specifications in the architecture analysis and design language standard.

Loïc Besnard, Thierry Gautier, Clément Guy, Paul Le Guernic, Jean-Pierre Talpin, Brian R. Larson, Etienne Borde

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

2015

Enabling Safe Interoperation by Medical Device Virtual Integration.

Brian R. Larson, Yi Zhang, Stephen C. Barrett, John Hatcliff, Paul L. Jones

IEEE Des. Test, 2015

Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL.

Ehsan Ahmad, Yunwei Dong, Brian R. Larson, Jidong Lü, Tao Tang, Naijun Zhan

Sci. China Inf. Sci., 2015

2014

Formal semantics for the PACEMAKER system specification.

Brian R. Larson

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling.

Ehsan Ahmad, Brian R. Larson, Stephen C. Barrett, Naijun Zhan, Yunwei Dong

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

2013

Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device.

Brian R. Larson, John Hatcliff, Kim R. Fowler, Julien Delange

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software.

Brian R. Larson, Patrice Chalin, John Hatcliff

Proceedings of the NASA Formal Methods, 2013

Open source patient-controlled analgesic pump requirements documentation.

Brian R. Larson, John Hatcliff, Patrice Chalin

Proceedings of the 5th International Workshop on Software Engineering in Health Care, 2013

2012

Requirements specification for apps in medical application platforms.

Brian R. Larson, John Hatcliff, Sam Procter, Patrice Chalin

Proceedings of the 4th International Workshop on Software Engineering in Health Care, 2012