| M Out of N code checker circuit BR Larson US Patent 4,498,177, 1985 | 161 | 1985 |
| Automatic programming of rate-adaptive therapy via activity monitoring JE Stahmann, MA Querimit, DL Hopper, BR Larson, PF Emerson, ... US Patent 8,538,526, 2013 | 90 | 2013 |
| Dance/multitude concurrent computation BR Larson US Patent 5,867,649, 1999 | 87 | 1999 |
| BLESS: Formal specification and verification of behaviors for embedded systems with software BR Larson, P Chalin, J Hatcliff NASA Formal Methods Symposium, 276-290, 2013 | 64 | 2013 |
| Illustrating the AADL error modeling annex (v. 2) using a simple safety-critical medical device B Larson, J Hatcliff, K Fowler, J Delange ACM SIGAda Ada Letters 33 (3), 65-84, 2013 | 55 | 2013 |
| Three-dimensional interconnection geometries for multi-stage switching networks using flexible ribbon cable connection between multiple planes BR Larson, C Kryzak US Patent 6,504,841, 2003 | 50 | 2003 |
| Layered network BR Larson, DB Bennett, SA Murphy US Patent 4,833,468, 1989 | 49 | 1989 |
| Hybrid annex: An AADL extension for continuous behavior and cyber-physical interaction modeling E Ahmad, BR Larson, SC Barrett, N Zhan, Y Dong Proceedings of the 2014 ACM SIGAda annual conference on High integrity …, 2014 | 32 | 2014 |
| Implementation of multi-stage switching networks BR Larson, SA Murphy US Patent 6,215,786, 2001 | 31 | 2001 |
| Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL. E Ahmad, YW Dong, BR Larson, JD Lü, T Tang, NJ Zhan Sci. China Inf. Sci. 58 (11), 1-20, 2015 | 29 | 2015 |
| Requirements specification for apps in medical application platforms B Larson, J Hatcliff, S Procter, P Chalin 2012 4th International Workshop on Software Engineering in Health Care (SEHC …, 2012 | 26 | 2012 |
| Enabling safe interoperation by medical device virtual integration BR Larson, Y Zhang, SC Barrett, J Hatcliff, PL Jones IEEE Design & Test 32 (5), 74-88, 2015 | 25 | 2015 |
| Open source patient-controlled analgesic pump requirements documentation BR Larson, J Hatcliff, P Chalin 2013 5th International Workshop on Software Engineering in Health Care (SEHC …, 2013 | 24 | 2013 |
| The open PCA pump project: an exemplar open source medical device as a community resource J Hatcliff, B Larson, T Carpenter, P Jones, Y Zhang, J Jorgens ACM SIGBED Review 16 (2), 8-13, 2019 | 21 | 2019 |
| Pad and cable geometries for spring clip mounting and electrically connecting flat flexible multiconductor printed circuit cables to switching chips on spaced-parallel planar … BR Larson, C Kryzak US Patent 6,301,247, 2001 | 17 | 2001 |
| Formal semantics for the pacemaker system specification BR Larson ACM SIGAda Ada Letters 34 (3), 47-60, 2014 | 12 | 2014 |
| Formal semantics of behavior specifications in the architecture analysis and design language standard L Besnard, T Gautier, P Le Guernic, C Guy, JP Talpin, B Larson, E Borde Cyber-Physical System Design from an Architecture Analysis Viewpoint …, 2017 | 11 | 2017 |
| Model-based risk analysis for an open-source PCA pump using AADL error modeling H Thiagarajan, B Larson, J Hatcliff, Y Zhang International Symposium on Model-Based Safety and Assessment, 34-50, 2020 | 10 | 2020 |
| Principles and benefits of explicitly designed medical device safety architecture BR Larson, P Jones, Y Zhang, J Hatcliff Biomedical Instrumentation & Technology 51 (5), 380-389, 2017 | 10 | 2017 |
| Assurance case considerations for interoperable medical systems Y Zhang, B Larson, J Hatcliff Computer Safety, Reliability, and Security: SAFECOMP 2018 Workshops, ASSURE …, 2018 | 7 | 2018 |
