Equivalence preserving transformations for timed transition models. - Mark Lawford; Walter Murray Wonham (IEEE Trans. Autom. Control., 1995)

Model Reduction of Modules for State-Even Temporal Logics. - Mark Lawford; Jonathan S. Ostroff; Walter Murray Wonham (FORTE, 1996)

Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software. - Mark Lawford; Jeff McDougall; Peter Froebel; Greg Moum (AMAST, 2000)

Hierarchical interface-based supervisory control: serial case. - Ryan J. Leduc; Bertil A. Brandin; Walter Murray Wonham; Mark Lawford (CDC, 2001)

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

Guest Editors' Introduction: Inspection's Role in Software Quality Assurance. - David Lorge Parnas; Mark Lawford (IEEE Softw., 2003)

The Role of Inspection in Software Quality Assurance. - David Lorge Parnas; Mark Lawford (IEEE Trans. Software Eng., 2003)

Equivalence Verification of Timed Transition Models. - Mark Lawford; Hong Zhang 016 (ACSD, 2004)

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

Robust nonblocking supervisory control of discrete-event systems. - Sean E. Bourdon; Mark Lawford; Walter Murray Wonham (IEEE Trans. Autom. Control., 2005)

Hierarchical interface-based supervisory Control-part I: serial case. - Ryan J. Leduc; Bertil A. Brandin; Mark Lawford; Walter Murray Wonham (IEEE Trans. Autom. Control., 2005)

Erratum to "Hierarchical Interface-Based Supervisory Control - Part I: Serial Case". - Ryan J. Leduc; Bertil A. Brandin; Mark Lawford; Walter Murray Wonham (IEEE Trans. Autom. Control., 2005)

Hierarchical interface-based supervisory control-part II: parallel case. - Ryan J. Leduc; Mark Lawford; Walter Murray Wonham (IEEE Trans. Autom. Control., 2005)

Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking. - Vera Pantelic; Xiao-Hui Jin; Mark Lawford; David Lorge Parnas (Software Engineering Research and Practice, 2006)

Towards Integrated Verification of Timed Transition Models. - Mark Lawford; Vera Pantelic; Hong Zhang 016 (Fundam. Informaticae, 2006)

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

Hierarchical interface-based supervisory control of a flexible manufacturing system. - Ryan J. Leduc; Mark Lawford; Pengcheng Dai (IEEE Trans. Control. Syst. Technol., 2006)

An IDE for software development using tabular expressions. - Dennis K. Peters; Mark Lawford; Baltasar Trancón y Widemann (CASCON, 2007)

Software Documents: Comparison and Measurement. - Tom Arbuckle; Adam Balaban; Dennis K. Peters; Mark Lawford (SEKE, 2007)

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 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)

Probabilistic Supervisory Control of Probabilistic Discrete Event Systems. - Vera Pantelic; Steven M. Postma; Mark Lawford (IEEE Trans. Autom. Control., 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)

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)

Use of a metric in supervisory control of probabilistic discrete event systems. - Vera Pantelic; Mark Lawford (WODES, 2010)

A low-power, low-cost automotive touchscreen with real controls. - Marc Bender; Mark Lawford (CCECE, 2011)

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

A Tabular Expression Toolbox for Matlab/Simulink. - Colin Eles; Mark Lawford (NASA Formal Methods, 2011)

Separating Safety and Control Systems to Reduce Complexity. - Alan Wassyng; Mark Lawford; Tom Maibaum (Conquering Complexity, 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)

A pseudometric in supervisory control of probabilistic discrete event systems. - Vera Pantelic; Mark Lawford (Discret. Event Dyn. Syst., 2012)

Optimal Supervisory Control of Probabilistic Discrete Event Systems. - Vera Pantelic; Mark Lawford (IEEE Trans. Autom. Control., 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)

Software Certification: Methods and Tools (Dagstuhl Seminar 13051). - Darren D. Cofer; John Hatcliff; Michaela Huhn; Mark Lawford (Dagstuhl Reports, 2013)

From System Requirements to Software Requirements in the Four-Variable Model. - Lucian M. Patcas; Mark Lawford; Tom Maibaum (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

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

A Separation Principle for Embedded System Interfacing. - Lucian M. Patcas; Mark Lawford; Tom Maibaum (IFM, 2014)

Signature Required - Making Simulink Data Flow and Interfaces Explicit. - Marc Bender; Karen Laurin; Mark Lawford; Jeff Ong; Steven M. Postma; Vera Pantelic (MODELSWARD, 2014)

A Framework for Supervisory Control of Probabilistic Discrete Event Systems. - Vera Pantelic; Mark Lawford; Steven M. Postma (WODES, 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)

A Toolset for Simulink - Improving Software Engineering Practices in Development with Simulink. - Vera Pantelic; Steven M. Postma; Mark Lawford; Alexandre Korobkine; Bennett Mackenzie; Jeff Ong; Marc Bender (MODELSWARD, 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)

Signature required: Making Simulink data flow and interfaces explicit. - Marc Bender; Karen Laurin; Mark Lawford; Vera Pantelic; Alexandre Korobkine; Jeff Ong; Bennett Mackenzie; Monika Bialy; Steven M. Postma (Sci. Comput. Program., 2015)

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

Implementability of requirements in the four-variable model. - Lucian M. Patcas; Mark Lawford; Tom Maibaum (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)

Stupid Tool Tricks for Smart Model Based Design. - Mark Lawford (VSTTE, 2016)

Correct Safety Critical Hardware Descriptions via Static Analysis and Theorem Proving. - Nicholas Moore; Mark Lawford (FormaliSE@ICSE, 2017)

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)

Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach. - Sahar Kokaly; Rick Salay; Marsha Chechik; Mark Lawford; Tom Maibaum (SAFECOMP, 2017)

Toward Product Lines of Mathematical Models for Software Model Management. - Zinovy Diskin; Harald König; Mark Lawford; Tom Maibaum (STAF Workshops, 2017)

Multiple Model Synchronization with Multiary Delta Lenses. - Zinovy Diskin; Harald König; Mark Lawford (FASE, 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)

SL2SF: Refactoring Simulink to Stateflow. - Stephen Wynn-Williams; Zinovy Diskin; Vera Pantelic; Mark Lawford; Gehan M. K. Selim; Curtis Milo; Moustapha Diab; Feisel Weslati (FASE, 2019)

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)

Multiple model synchronization with multiary delta lenses with amendment and K-Putput. - Zinovy Diskin; Harald König; Mark Lawford (Formal Aspects Comput., 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)

Correction to: Multiple model synchronization with multiary delta lenses with amendment and K-Putput. - Zinovy Diskin; Harald König; Mark Lawford (Formal Aspects Comput., 2020)

A Safety Architecture for Centralized E/E Architectures. - Victor Bandur; Vera Pantelic; Timofey Tomashevskiy; Mark Lawford (DSN Workshops, 2021)

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)

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)

Making the Case for Centralized Automotive E/E Architectures. - Victor Bandur; Gehan M. K. Selim; Vera Pantelic; Mark Lawford (IEEE Trans. Veh. Technol., 2021)

SLIME: State Learning in the Middle of Everything for Tool-Assisted Vulnerability Detection. - Eric Lesiuta; Victor Bandur; Mark Lawford (CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS, 2022)

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

A Case Study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent Verification. - Nicholas Moore; Mark Lawford (TASE, 2022)

Bridging the Gap Between System Architecture and Software Design using Model Transformation. - Faezeh Siavashi; Horacio Hoyos Rodriguez; Vera Pantelic; Mark Lawford; Richard F. Paige; Monika Jaskolka; Guanrui Hou; Alessandro Verde (ISSREW, 2023)

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

An Automotive Architecture Product Line for E/E Powertrain Architectures. - Horacio Hoyos Rodriguez; Naveen Ganesh Muralidharan; Faezeh Siavashi; Vera Pantelic; Victor Bandur; Mark Lawford; Richard F. Paige (MoDELS (Companion), 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)

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

Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator. - Federico Formica; Nicholas Petrunti; Lucas Bruck; Vera Pantelic; Mark Lawford; Claudio Menghi (ESEC/SIGSOFT FSE, 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)

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

SLIMECRAFT: State Learning for Client-Server Regression Analysis and Fault Testing. - Eric Lesiuta; Victor Bandur; Mark Lawford (COMPSAC, 2024)

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)

Towards Model Product Lines: Composition of EMF Models. - Horacio Hoyos Rodriguez; Victor Bandur; Vera Pantelic; Mark Lawford; Richard F. Paige (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)

Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment Blocks. - Federico Formica; Tony Fan; Akshay Rajhans; Vera Pantelic; Mark Lawford; Claudio Menghi (IEEE Trans. Software Eng., 2024)

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

Can Generative AI Produce Test Cases? An Experience from the Automotive Domain. - Stephen Wynn-Williams; Ryan Tyrrell; Vera Pantelic; Mark Lawford; Claudio Menghi; Phaneendra Nalla; Hassan Artail (SIGSOFT FSE Companion, 2025)

Search-based Testing of Simulink Models with Requirements Tables. - Federico Formica; Chris George; Shayda Rahmatyan; Vera Pantelic; Mark Lawford; Angelo Gargantini; Claudio Menghi (CoRR, 2025)