On tabular expressions. - Ryszard Janicki; Alan Wassyng (CASCON, 2003)

Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project. - Alan Wassyng; Mark Lawford (FME, 2003)

Timing Tolerances in Safety-Critical Software. - Alan Wassyng; Mark Lawford; Xiayong Hu (FM, 2005)

To do or not to do: If the requirements engineering payoff is so good, why aren't more companies doing it? - Daniel M. Berry; Daniela E. Damian; Anthony Finkelstein; Donald C. Gause; Robert Hall; Alan Wassyng (RE, 2005)

Tabular Expressions and Their Relational Semantics. - Ryszard Janicki; Alan Wassyng (Fundam. Informaticae, 2005)

Software tools for safety-critical software development. - Alan Wassyng; Mark Lawford (Int. J. Softw. Tools Technol. Transf., 2006)

Formal Verification of the Implementability of Timing Requirements. - Xiayong Hu; Mark Lawford; Alan Wassyng (FMICS, 2008)

On Software Certification: We Need Product-Focused Approaches. - Alan Wassyng; T. S. E. Maibaum; Mark Lawford (Monterey Workshop, 2008)

A Product-Focused Approach to Software Certification. - T. S. E. Maibaum; Alan Wassyng (Computer, 2008)

A Software Certification Consortium and its Top 9 Hurdles. - John Hatcliff; Mats Per Erik Heimdahl; Mark Lawford; T. S. E. Maibaum; Alan Wassyng; Fred L. Wurden (SafeCert@ETAPS, 2008)

Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. - Nazareno Aguirre; Marcelo F. Frias; Mariano M. Moscato; T. S. E. Maibaum; Alan Wassyng (FASE, 2009)

Software certification consortium: certification methods for safety-critical software. - Alan Wassyng; Mark Lawford; T. S. E. Maibaum; Jens H. Weber; John Hatcliff (CASCON, 2010)

Selecting the best strategy in a software certification process. - Waldemar W. Koczkodaj; Vova Babiy; Agnieszka D. Bogobowicz; Ryszard Janicki; Alan Wassyng (IMCSIT, 2010)

Certification of Software-Driven Medical Devices. - Mark Lawford; T. S. E. Maibaum; Alan Wassyng (ISoLA (2), 2010)

Software Certification: Is There a Case against Safety Cases? - Alan Wassyng; T. S. E. Maibaum; Mark Lawford; Hans Bherer (Monterey Workshop, 2010)

Software certification experience in the canadian nuclear industry: lessons for the future. - Alan Wassyng; Mark Lawford; T. S. E. Maibaum (EMSOFT, 2011)

Separating Safety and Control Systems to Reduce Complexity. - Alan Wassyng; Mark Lawford; Tom Maibaum (Conquering Complexity, 2012)

Who Are We, and What Are We Doing Here? - Alan Wassyng (FM, 2012)

Microcontroller Assembly Synthesis from Timed Automaton Task Specifications. - Victor Bandur; Wolfram Kahl; Alan Wassyng (FMICS, 2012)

Change Impact Analysis for Large-scale Enterprise Systems. - Wen Chen; Asif Iqbal 006; Akbar Abdrakhmanov; Jay Parlar; Chris George; Mark Lawford; T. S. E. Maibaum; Alan Wassyng (ICEIS (2), 2012)

Large-Scale Enterprise Systems: Changes and Impacts. - Wen Chen; Asif Iqbal 006; Akbar Abdrakhmanov; Jay Parlar; Chris George; Mark Lawford; Tom Maibaum; Alan Wassyng (ICEIS, 2012)

Insulin Pump Software Certification. - Yihai Chen; Mark Lawford; Hao Wang 003; Alan Wassyng (FHIES, 2013)

Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS. - Linna Pang; Chen-Wei Wang; Mark Lawford; Alan Wassyng (FTSCS, 2013)

Though this be madness, yet there is method in it? (Keynote). - Alan Wassyng (FormaliSE@ICSE, 2013)

A Call Graph Mining and Matching Based Defect Localization Technique. - Anis Yousefi; Alan Wassyng (ICST Workshops, 2013)

Formalizing the Glucose Homeostasis Mechanism. - Neeraj Kumar Singh 001; Hao Wang 003; Mark Lawford; T. S. E. Maibaum; Alan Wassyng (HCI (20), 2014)

Certifiably safe software-dependent systems: challenges and directions. - John Hatcliff; Alan Wassyng; Tim Kelly; Cyrille Comar; Paul L. Jones (FOSE, 2014)

Impact Analysis via Reachability and Alias Analysis. - Wen Chen; Alan Wassyng; Tom Maibaum (PoEM, 2014)

Combining Static and Dynamic Impact Analysis for Large-Scale Enterprise Systems. - Wen Chen; Alan Wassyng; Tom Maibaum (PROFES, 2014)

Envisioning a Requirements Specification Template for Medical Device Software. - Hao Wang 003; Yihai Chen; Ridha Khédri; Alan Wassyng (PROFES, 2014)

Understanding Integrity Level Concepts. - Paul Joannou; Alan Wassyng (Computer, 2014)

The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062). - Dominique Méry; Bernhard Schätz; Alan Wassyng (Dagstuhl Reports, 2014)

Formalizing the Cardiac Pacemaker Resynchronization Therapy. - Neeraj Kumar Singh 001; Mark Lawford; T. S. E. Maibaum; Alan Wassyng (HCI (17), 2015)

Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements. - Neeraj Kumar Singh 001; Hao Wang 003; Mark Lawford; Thomas Stephen Edward Maibaum; Alan Wassyng (HCI (17), 2015)

A Methodology for the Simplification of Tabular Designs in Model-Based Development. - Monika Bialy; Mark Lawford; Vera Pantelic; Alan Wassyng (FormaliSE@ICSE, 2015)

Is Current Incremental Safety Assurance Sound? - Valentin Cassano; Silviya Grigorova; Neeraj Kumar Singh 001; Morayo Adedjouma; Mark Lawford; T. S. E. Maibaum; Alan Wassyng (SAFECOMP Workshops, 2015)

Stateflow to Tabular Expressions. - Neeraj Kumar Singh 001; Mark Lawford; Thomas Stephen Edward Maibaum; Alan Wassyng (SoICT, 2015)

Formal Verification of Real-Time Function Blocks Using PVS. - Linna Pang; Chen-Wei Wang; Mark Lawford; Alan Wassyng; Josh Newell; Vera Chow; David Tremaine (ESSS, 2015)

Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards? - Alan Wassyng; Neeraj Kumar Singh 001; Mischa Geven; Nicholas Proscia; Hao Wang 003; Mark Lawford; Tom Maibaum (IEEE Des. Test, 2015)

Formal verification of function blocks applied to IEC 61131-3. - Linna Pang; Chen-Wei Wang; Mark Lawford; Alan Wassyng (Sci. Comput. Program., 2015)

Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application. - Josh Newell; Linna Pang; David Tremaine; Alan Wassyng; Mark Lawford (NFM, 2016)

Using STPA in an ISO 26262 Compliant Process. - Archana Mallya; Vera Pantelic; Morayo Adedjouma; Mark Lawford; Alan Wassyng (SAFECOMP, 2016)

Secure and trusted white-box verification. - Yixian Cai; George Karakostas; Alan Wassyng (CoRR, 2016)

Principles for Systematic Development of an Assurance Case Template from ISO 26262. - Thomas Chowdhury; Chung-Wei Lin; BaekGyu Kim; Mark Lawford; Shinichi Shiraishi; Alan Wassyng (ISSRE Workshops, 2017)

Use of Tabular Expressions for Refinement Automation. - Neeraj Kumar Singh 001; Mark Lawford; T. S. E. Maibaum; Alan Wassyng (MEDI, 2017)

Assurance cases for scientific computing software. - Spencer Smith 001; Mojdeh Sayari Nejad; Alan Wassyng (ICSE (Companion Volume), 2018)

Assurance via model transformations and their hierarchical refinement. - Zinovy Diskin; Tom Maibaum; Alan Wassyng; Stephen Wynn-Williams; Mark Lawford (MoDELS, 2018)

Documenting Simulink designs of embedded systems. - Alexander Schaap; Gordon Marks; Vera Pantelic; Mark Lawford; Gehan M. K. Selim; Alan Wassyng; Lucian M. Patcas (MoDELS (Companion), 2018)

Safe and Secure Automotive Over-the-Air Updates. - Thomas Chowdhury; Eric Lesiuta; Kerianne Rikley; Chung-Wei Lin; Eunsuk Kang; BaekGyu Kim; Shinichi Shiraishi; Mark Lawford; Alan Wassyng (SAFECOMP, 2018)

Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application. - Josh Newell; Linna Pang; David Tremaine; Alan Wassyng; Mark Lawford (J. Autom. Reason., 2018)

Software engineering practices and Simulink: bridging the gap. - Vera Pantelic; Steven M. Postma; Mark Lawford; Monika Jaskolka; Bennett Mackenzie; Alexandre Korobkine; Marc Bender; Jeff Ong; Gordon Marks; Alan Wassyng (Int. J. Softw. Tools Technol. Transf., 2018)

Criteria to Systematically Evaluate (Safety) Assurance Cases. - Thomas Chowdhury; Alan Wassyng; Richard F. Paige; Mark Lawford (ISSRE, 2019)

Something is Rotten in the State of Documenting Simulink Models. - Vera Pantelic; Alexander Schaap; Alan Wassyng; Victor Bandur; Mark Lawford (MODELSWARD, 2019)

Assurance via workflow+ modelling and conformance. - Zinovy Diskin; Nicholas Annable; Alan Wassyng; Mark Lawford (CoRR, 2019)

Building Confidence in Scientific Computing Software Via Assurance Cases. - Spencer Smith 001; Mojdeh Sayari Nejad; Alan Wassyng (CoRR, 2019)

Secure and trusted partial grey-box verification. - Yixian Cai; George Karakostas; Alan Wassyng (Int. J. Inf. Sec., 2019)

Applying Modular Decomposition in Simulink. - Monika Jaskolka; Stephen Scott; Vera Pantelic; Alan Wassyng; Mark Lawford (ISSRE Workshops, 2020)

Systematic Evaluation of (Safety) Assurance Cases. - Thomas Chowdhury; Alan Wassyng; Richard F. Paige; Mark Lawford (SAFECOMP, 2020)

Change impact analysis in Simulink designs of embedded systems. - Bennett Mackenzie; Vera Pantelic; Gordon Marks; Stephen Wynn-Williams; Gehan M. K. Selim; Mark Lawford; Alan Wassyng; Moustapha Diab; Feisel Weslati (ESEC/SIGSOFT FSE, 2020)

Supporting Modularity in Simulink Models. - Monika Jaskolka; Vera Pantelic; Alan Wassyng; Mark Lawford (CoRR, 2020)

Literature Review of Computer Tools for the Visually Impaired: a focus on Search Engines. - Guy Meyer; Alan Wassyng; Mark Lawford; Kourosh Sabri; Shahram Shirani (CoRR, 2020)

Repository Mining for Changes in Simulink Models. - Monika Jaskolka; Vera Pantelic; Alan Wassyng; Mark Lawford; Richard F. Paige (MoDELS, 2021)

Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey. - Mehrnoosh Askarpour; Alan Wassyng; Mark Lawford; Richard F. Paige; Zinovy Diskin (CoRR, 2021)

Raising the Bar: Assurance Cases for Scientific Software. - Spencer Smith 001; Mojdeh Sayari Nejad; Alan Wassyng; Jeffrey C. Carver; Karla Morris (Comput. Sci. Eng., 2021)

A formal approach to rigorous development of critical systems. - Neeraj Kumar Singh 001; Mark Lawford; Thomas Stephen Edward Maibaum; Alan Wassyng (J. Softw. Evol. Process., 2021)

Generating Assurance Cases Using Workflow+ Models. - Nicholas Annable; Thomas Chiang; Mark Lawford; Richard F. Paige; Alan Wassyng (SAFECOMP, 2022)

System Failure Detection Using Deep Learning Models Integrating Timestamps With Nonuniform Intervals. - Yixin Huangfu; Saeid R. Habibi; Alan Wassyng (IEEE Access, 2022)

Lessons Learned Building a Tool for Workflow+. - Nicholas Annable; Thomas Chiang; Mark Lawford; Richard F. Paige; Alan Wassyng (MODELS, 2023)

Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities. - Victor Bandur; Mark Lawford; Sébastien Mosser 001; Richard F. Paige; Vera Pantelic; Alan Wassyng (SAFECOMP Workshops, 2023)

Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases. - Spencer Deevy; Tiago de Moraes Machado; Amen Modhafar; Wesley O'Beirne; Richard F. Paige; Alan Wassyng (SAFECOMP, 2023)

Assurance Cases for Timing Properties of Automotive TSN Networks. - Ryan Kapinski; Vera Pantelic; Victor Bandur; Alan Wassyng; Mark Lawford (SAFECOMP Workshops, 2023)

Novel Fundus Image Preprocessing for Retcam Images to Improve Deep Learning Classification of Retinopathy of Prematurity. - Sajid Rahim; Kourosh Sabri; Anna Ells; Alan Wassyng; Mark Lawford; Linyang Chu; Wenbo He (CoRR, 2023)

Separating Technological and Clinical Safety Assurance for Medical Devices. - Spencer Deevy; Tiago de Moraes Machado; Amen Modhafar; Wesley O'Beirne; Richard F. Paige; Alan Wassyng (CoRR, 2023)

Repository mining for changes in Simulink and Stateflow models. - Monika Jaskolka; Vera Pantelic; Alan Wassyng; Richard F. Paige; Mark Lawford (Softw. Syst. Model., 2023)

Generating Understandable and Reusable Safety Assurance Cases using Workflow+. - Nicholas Annable; Mark Lawford; Richard F. Paige; Alan Wassyng (ISSRE (Workshops), 2024)

Using Boundary Objects for Continuous Compliance in Automotive Development. - Anthony Shenouda; Tiziano Santilli; Faezeh Siavashi; Thomas Chiang; Nicholas Annable; Horacio Hoyos Rodriguez; Richard F. Paige; Patrizio Pelliccione; Mark Lawford; Alan Wassyng; Vera Pantelic (ISSRE (Workshops), 2024)

Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles. - Stefan Ramdhan; Winnie Trandinh; Sathurshan Arulmohan; Xiayong Hu; Spencer Deevy; Victor Bandur; Vera Pantelic; Mark Lawford; Alan Wassyng (IV, 2024)

A Tool For Feature-Requirement Traceability Using Requirement Canvas and Encapsulation. - Thomas Chiang; Richard F. Paige; Alan Wassyng; Sébastien Mosser 001 (MoDELS (Companion), 2024)

Mapping Requirements to Features to Create Traceability in Product Line Models. - Thomas Chiang; Richard F. Paige; Alan Wassyng; Sébastien Mosser 001 (MoDELS (Companion), 2024)

Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems. - Nicholas Annable; Mehrnoosh Askarpour; Thomas Chiang; Sahar Kokaly; Mark Lawford; Richard F. Paige; S. Ramesh 002; Alan Wassyng (SAFECOMP, 2024)

Principled Safety Assurance Arguments. - Nicholas Annable; Mark Lawford; Richard F. Paige; Alan Wassyng (SAFECOMP, 2025)