Medicine-by-wire: Practical considerations on formal techniques for dependable medical systems

Novel Organ Perfusion and Preservation Strategies in Transplantation – where are we going in the UK?

(2020) Stephen O’Neill et al.   TRANSPLANTATION

Formal techniques in the safety analysis of software components of a new dialysis machine

(2019) Michael D. Harrison et al.   SCIENCE OF COMPUTER PROGRAMMING

A Scalable Optoelectronic Neural Probe Architecture With Self-Diagnostic Capability

(2018) Hubin Zhao et al.   IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS

Integrating formal methods into medical software development: The ASM approach

(2018) Paolo Arcaini et al.   SCIENCE OF COMPUTER PROGRAMMING

Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset

(2018) Thai Son Hoang et al.   SCIENCE OF COMPUTER PROGRAMMING

Implantable optoelectronic probes forin vivooptogenetics

(2017) Ege Iseri et al.   Journal of Neural Engineering

Haemodialysing babies weighing

(2014) Malcolm G. Coulthard et al.   PEDIATRIC NEPHROLOGY

From channelrhodopsins to optogenetics

(2013) Peter Hegemann et al.   EMBO Molecular Medicine

Experiences with incorporating formal techniques into industrial practice

(2013) Ammar Osaiweran et al.   EMPIRICAL SOFTWARE ENGINEERING

Analysing interactive devices based on information resource constraints

(2013) José Creissac Campos et al.   INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES

The $17.1 Billion Problem: The Annual Cost Of Measurable Medical Errors

(2011) Jill Van Den Bos et al.   HEALTH AFFAIRS

seL4

(2010) Gerwin Klein et al.   COMMUNICATIONS OF THE ACM

Formal methods

(2009) Jim Woodcock et al.   ACM COMPUTING SURVEYS