Click on a search word OR use the drop-down choices to search for a paper.

Show all

2015

Singh, Neeraj Kumar; Lawford, Mark; Maibaum, Thomas SE; Wassyng, Alan

Formalizing the Cardiac Pacemaker Resynchronization Therapy Inproceedings

In: International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, pp. 374–386, Springer International Publishing 2015.

BibTeX | Tags: event-B, formal methods, pacemaker, pacemaker resynchronization therapy, refinement, validation, verification

Singh, Neeraj Kumar; Wang, Hao; Lawford, Mark; Maibaum, Thomas SE; Wassyng, Alan

Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements Inproceedings

In: International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, pp. 387–398, Springer International Publishing 2015.

BibTeX | Tags: event-B, formal methods, insulin infusion pump, refinement, validation, verification

2009

Carette, Jacques; Korobkine, Alexandre; Lawford, Mark

Automatic and Verifiable Synthesis of Implementations from Mathematical Models Journal Article

In: 2009.

BibTeX | Tags: code generation, computer algebra, model driven development, verification

2008

Hu, Xiayong; Lawford, Mark; Wassyng, Alan

SQRL Report No. 52 “Formal Verification of Implementability of Timing Requirements.” Technical Report

2008.

Abstract | Links | BibTeX | Tags: timing requirements, verification