Mark Lawford
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
48
Venues
19
Active years
1996–2026
Best venue rank
A*
Where they publish
Papers
48 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAFECOMP | Chaining Unsafe Control Actions in STPA. | Nicholas Petrunti, Spencer Deevy, Vera Pantelic, Mark Lawford, Richard F. Paige, Alan Wassyng |
| 2025 | ISSRE | Linking Medical Device Assurance Cases. | Tiago de Moraes Machado, Mark Lawford, Richard F. Paige, Alan Wassyng |
| 2025 | MODELS | Engineering Automotive Digital Twins on Standardized Architectures: A Case Study. | Stefan Ramdhan, Winnie Trandinh, Istvan David, Vera Pantelic, Mark Lawford |
| 2025 | SAFECOMP | Principled Safety Assurance Arguments. | Nicholas Annable, Mark Lawford, Richard F. Paige, Alan Wassyng |
| 2024 | COMPSAC | SLIMECRAFT: State Learning for Client-Server Regression Analysis and Fault Testing. | Eric Lesiuta, Victor Bandur, Mark Lawford |
| 2024 | ISSRE | Generating Understandable and Reusable Safety Assurance Cases using Workflow | Nicholas Annable, Mark Lawford, Richard F. Paige, Alan Wassyng |
| 2024 | ISSRE | 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 |
| 2024 | MODELS | Towards Model Product Lines: Composition of EMF Models. | Horacio Hoyos Rodriguez, Victor Bandur, Vera Pantelic, Mark Lawford, Richard F. Paige |
| 2024 | SAFECOMP | Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems. | Nicholas Annable, Mehrnoosh Askarpour, Thomas Chiang, Sahar Kokaly, Mark Lawford, Richard F. Paige, S. Ramesh, Alan Wassyng |
| 2023 | ISSRE | 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 |
| 2023 | MODELS | Lessons Learned Building a Tool for Workflow | Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng |
| 2023 | MODELS | 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 |
| 2023 | SAFECOMP | Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities. | Victor Bandur, Mark Lawford, Sbastien Mosser, Richard F. Paige, Vera Pantelic, Alan Wassyng |
| 2023 | SAFECOMP | Assurance Cases for Timing Properties of Automotive TSN Networks. | Ryan Kapinski, Vera Pantelic, Victor Bandur, Alan Wassyng, Mark Lawford |
| 2022 | ESORICS | SLIME: State Learning in the Middle of Everything for Tool-Assisted Vulnerability Detection. | Eric Lesiuta, Victor Bandur, Mark Lawford |
| 2022 | SAFECOMP | Generating Assurance Cases Using Workflow | Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng |
| 2022 | TASE | A Case Study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent Verification. | Nicholas Moore, Mark Lawford |
| 2021 | DSN | A Safety Architecture for Centralized E/E Architectures. | Victor Bandur, Vera Pantelic, Timofey Tomashevskiy, Mark Lawford |
| 2021 | MODELS | Repository Mining for Changes in Simulink Models. | Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford, Richard F. Paige |
| 2020 | ISSRE | Applying Modular Decomposition in Simulink. | Monika Jaskolka, Stephen Scott, Vera Pantelic, Alan Wassyng, Mark Lawford |
| 2020 | SAFECOMP | Systematic Evaluation of (Safety) Assurance Cases. | Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford |
| 2019 | FASE | SL2SF: Refactoring Simulink to Stateflow. | Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Curtis Milo, Moustapha Diab, Feisel Weslati |
| 2019 | ISSRE | Criteria to Systematically Evaluate (Safety) Assurance Cases. | Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford |
| 2019 | MODELSWARD | Something is Rotten in the State of Documenting Simulink Models. | Vera Pantelic, Alexander Schaap, Alan Wassyng, Victor Bandur, Mark Lawford |
| 2018 | FASE | Multiple Model Synchronization with Multiary Delta Lenses. | Zinovy Diskin, Harald Knig, Mark Lawford |
| 2018 | MODELS | Assurance via model transformations and their hierarchical refinement. | Zinovy Diskin, Tom Maibaum, Alan Wassyng, Stephen Wynn-Williams, Mark Lawford |
| 2018 | MODELS | Documenting Simulink designs of embedded systems. | Alexander Schaap, Gordon Marks, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Alan Wassyng, Lucian M. Patcas |
| 2018 | SAFECOMP | 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 |
| 2017 | ICSE | Correct Safety Critical Hardware Descriptions via Static Analysis and Theorem Proving. | Nicholas Moore, Mark Lawford |
| 2017 | ISSRE | 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 |
| 2017 | MEDI | Use of Tabular Expressions for Refinement Automation. | Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng |
| 2017 | SAFECOMP | Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach. | Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum |
| 2016 | SAFECOMP | Using STPA in an ISO 26262 Compliant Process. | Archana Mallya, Vera Pantelic, Morayo Adedjouma, Mark Lawford, Alan Wassyng |
| 2015 | HCI | Formalizing the Cardiac Pacemaker Resynchronization Therapy. | Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng |
| 2015 | HCI | Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements. | Neeraj Kumar Singh, Hao Wang, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng |
| 2015 | ICSE | A Methodology for the Simplification of Tabular Designs in Model-Based Development. | Monika Bialy, Mark Lawford, Vera Pantelic, Alan Wassyng |
| 2015 | MODELSWARD | 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 |
| 2015 | SAFECOMP | Is Current Incremental Safety Assurance Sound? | Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng |
| 2014 | HCI | Formalizing the Glucose Homeostasis Mechanism. | Neeraj Kumar Singh, Hao Wang, Mark Lawford, T. S. E. Maibaum, Alan Wassyng |
| 2014 | IFM | A Separation Principle for Embedded System Interfacing. | Lucian M. Patcas, Mark Lawford, Tom Maibaum |
| 2014 | MODELSWARD | Signature Required - Making Simulink Data Flow and Interfaces Explicit. | Marc Bender, Karen Laurin, Mark Lawford, Jeff Ong, Steven M. Postma, Vera Pantelic |
| 2011 | EMSOFT | Software certification experience in the canadian nuclear industry: lessons for the future. | Alan Wassyng, Mark Lawford, T. S. E. Maibaum |
| 2010 | ISoLA | Certification of Software-Driven Medical Devices. | Mark Lawford, T. S. E. Maibaum, Alan Wassyng |
| 2008 | FMICS | Formal Verification of the Implementability of Timing Requirements. | Xiayong Hu, Mark Lawford, Alan Wassyng |
| 2007 | SEKE | Software Documents: Comparison and Measurement. | Tom Arbuckle, Adam Balaban, Dennis K. Peters, Mark Lawford |
| 2005 | FM | Timing Tolerances in Safety-Critical Software. | Alan Wassyng, Mark Lawford, Xiayong Hu |
| 2003 | FM | Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project. | Alan Wassyng, Mark Lawford |
| 1996 | FORTE | Model Reduction of Modules for State-Even Temporal Logics. | Mark Lawford, Jonathan S. Ostroff, Walter Murray Wonham |