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

Show all

2021

Singh, Neeraj Kumar; Lawford, Mark; Maibaum, Tom; Wassyng, Alan

A formal approach to rigorous development of critical systems Journal Article

In: Journal of Software: Evolution and Process, 2021.

Abstract | Links | BibTeX | Tags: certification, code generation, formal methods, proof‐based development, refinement, simulation, tabular expression, verification and validation

2017

Mohammad Gholizadeh, Hamid

A Query Structured Model Transformation Approach PhD Thesis

McMaster University, 2017.

Abstract | Links | BibTeX | Tags: Diagrammatic Queries, formal methods, Model Synchronization Taxonomy, model transformation

2015

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

Formalizing the Cardiac Pacemaker Resynchronization Therapy Proceedings Article

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 Proceedings Article

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

Gruner, Stefan; Kumar, Apurva; Maibaum, Tom

Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge Proceedings Article

In: International Workshop on Formal Techniques for Safety-Critical Systems, pp. 87–102, Springer 2015.

BibTeX | Tags: body of knowledge, formal concept analysis, formal methods, railway domain, semantic lattices, settled knowledge

2007

Leduc, Ryan J; Dai, Pengcheng; Song, Raoguang

SQRL Report No. 46 “Synthesis Method for Hierarchical Interface-Based Supervisory Control.” Technical Report

2007.

Abstract | Links | BibTeX | Tags: automata, discrete-event systems, formal methods, hierarchical systems, interfaces, supervisory control, synthesis

2003

He, Yu-Tong

SQRL Report No. 10 “Verification of the WAP Transaction Layer Using the Model Checker SPIN” Technical Report

2003.

Abstract | Links | BibTeX | Tags: formal methods, transaction layer protocol

1997

Bicarregui, JC; Lano, KC; Maibaum, TSE

Towards a Compositional Interpretation of Object Diagrams Journal Article

In: Algorithimic Languages and Calculi, pp. 187, 1997.

BibTeX | Tags: action logic, encapsulation, formal methods, object calculus, temporal logic