Mark Lawford

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 58

Top Venues

Publications

Federico Formica, Tony Fan, Akshay Rajhans, Vera Pantelic, Mark Lawford, Claudio Menghi
Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment Blocks. IEEE Trans. Software Eng. 50 (2) (2024)
Stefan Ramdhan, Winnie Trandinh, Sathurshan Arulmohan, Xiayong Hu, Spencer Deevy, Victor Bandur, Vera Pantelic, Mark Lawford, Alan Wassyng
Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles. CoRR (2024)
Stefan Ramdhan, Winnie Trandinh, Sathurshan Arulmohan, Xiayong Hu, Spencer Deevy, Victor Bandur, Vera Pantelic, Mark Lawford, Alan Wassyng
Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles. IV (2024)
Horacio Hoyos Rodriguez, Naveen Ganesh Muralidharan, Faezeh Siavashi, Vera Pantelic, Victor Bandur, Mark Lawford, Richard F. Paige
An Automotive Architecture Product Line for E/E Powertrain Architectures. MoDELS (Companion) (2023)
Sajid Rahim, Kourosh Sabri, Anna Ells, Alan Wassyng, Mark Lawford, Linyang Chu, Wenbo He
Novel Fundus Image Preprocessing for Retcam Images to Improve Deep Learning Classification of Retinopathy of Prematurity. CoRR (2023)
Faezeh Siavashi, Horacio Hoyos Rodriguez, Vera Pantelic, Mark Lawford, Richard F. Paige, Monika Jaskolka, Guanrui Hou, Alessandro Verde
Bridging the Gap Between System Architecture and Software Design using Model Transformation. ISSREW (2023)
Federico Formica, Nicholas Petrunti, Lucas Bruck, Vera Pantelic, Mark Lawford, Claudio Menghi
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator. ESEC/SIGSOFT FSE (2023)
Federico Formica, Nicholas Petrunti, Lucas Bruck, Vera Pantelic, Mark Lawford, Claudio Menghi
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator. CoRR (2023)
Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng
. MODELS (2023)
Monika Jaskolka, Vera Pantelic, Alan Wassyng, Richard F. Paige, Mark Lawford
Repository mining for changes in Simulink and Stateflow models. Softw. Syst. Model. 22 (5) (2023)
Ryan Kapinski, Vera Pantelic, Victor Bandur, Alan Wassyng, Mark Lawford
Assurance Cases for Timing Properties of Automotive TSN Networks. SAFECOMP Workshops (2023)
Victor Bandur, Mark Lawford, Sébastien Mosser, Richard F. Paige, Vera Pantelic, Alan Wassyng
Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities. SAFECOMP Workshops (2023)
Eric Lesiuta, Victor Bandur, Mark Lawford
SLIME: State Learning in the Middle of Everything for Tool-Assisted Vulnerability Detection. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS (2022)
Federico Formica, Tony Fan, Akshay Rajhans, Vera Pantelic, Mark Lawford, Claudio Menghi
Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks. CoRR (2022)
Nicholas Moore, Mark Lawford
A Case Study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent Verification. TASE (2022)
Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng
Models. SAFECOMP (2022)
Neeraj Kumar Singh, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng
A formal approach to rigorous development of critical systems. J. Softw. Evol. Process. 33 (4) (2021)
Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford, Richard F. Paige
Repository Mining for Changes in Simulink Models. MoDELS (2021)
Victor Bandur, Vera Pantelic, Timofey Tomashevskiy, Mark Lawford
A Safety Architecture for Centralized E/E Architectures. DSN Workshops (2021)
Mehrnoosh Askarpour, Alan Wassyng, Mark Lawford, Richard F. Paige, Zinovy Diskin
Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey. CoRR (2021)
Victor Bandur, Gehan M. K. Selim, Vera Pantelic, Mark Lawford
Making the Case for Centralized Automotive E/E Architectures. IEEE Trans. Veh. Technol. 70 (2) (2021)
Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford
Supporting Modularity in Simulink Models. CoRR (2020)
Bennett Mackenzie, Vera Pantelic, Gordon Marks, Stephen Wynn-Williams, Gehan M. K. Selim, Mark Lawford, Alan Wassyng, Moustapha Diab, Feisel Weslati
Change impact analysis in Simulink designs of embedded systems. ESEC/SIGSOFT FSE (2020)
Monika Jaskolka, Stephen Scott, Vera Pantelic, Alan Wassyng, Mark Lawford
Applying Modular Decomposition in Simulink. ISSRE Workshops (2020)
Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford
Systematic Evaluation of (Safety) Assurance Cases. SAFECOMP (2020)
Zinovy Diskin, Harald König, Mark Lawford
Correction to: Multiple model synchronization with multiary delta lenses with amendment and K-Putput. Formal Aspects Comput. 32 (1) (2020)
Guy Meyer, Alan Wassyng, Mark Lawford, Kourosh Sabri, Shahram Shirani
Literature Review of Computer Tools for the Visually Impaired: a focus on Search Engines. CoRR (2020)
Zinovy Diskin, Harald König, Mark Lawford
Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput. CoRR (2019)
Zinovy Diskin, Nicholas Annable, Alan Wassyng, Mark Lawford
Assurance via workflow+ modelling and conformance. CoRR (2019)
Vera Pantelic, Alexander Schaap, Alan Wassyng, Victor Bandur, Mark Lawford
Something is Rotten in the State of Documenting Simulink Models. MODELSWARD (2019)
Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Curtis Milo, Moustapha Diab, Feisel Weslati
SL2SF: Refactoring Simulink to Stateflow. FASE (2019)
Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford
Criteria to Systematically Evaluate (Safety) Assurance Cases. ISSRE (2019)
Zinovy Diskin, Harald König, Mark Lawford
Multiple model synchronization with multiary delta lenses with amendment and K-Putput. Formal Aspects Comput. 31 (5) (2019)
Alexander Schaap, Gordon Marks, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Alan Wassyng, Lucian M. Patcas
Documenting Simulink designs of embedded systems. MoDELS (Companion) (2018)
Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford
Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application. J. Autom. Reason. 60 (1) (2018)
Zinovy Diskin, Tom Maibaum, Alan Wassyng, Stephen Wynn-Williams, Mark Lawford
Assurance via model transformations and their hierarchical refinement. MoDELS (2018)
Thomas Chowdhury, Eric Lesiuta, Kerianne Rikley, Chung-Wei Lin, Eunsuk Kang, BaekGyu Kim, Shinichi Shiraishi, Mark Lawford, Alan Wassyng
Safe and Secure Automotive Over-the-Air Updates. SAFECOMP (2018)
Zinovy Diskin, Harald König, Mark Lawford
Multiple Model Synchronization with Multiary Delta Lenses. FASE (2018)
Vera Pantelic, Steven M. Postma, Mark Lawford, Monika Jaskolka, Bennett Mackenzie, Alexandre Korobkine, Marc Bender, Jeff Ong, Gordon Marks, Alan Wassyng
Software engineering practices and Simulink: bridging the gap. Int. J. Softw. Tools Technol. Transf. 20 (1) (2018)
Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
Use of Tabular Expressions for Refinement Automation. MEDI (2017)
Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum
Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach. SAFECOMP (2017)
Zinovy Diskin, Harald König, Mark Lawford, Tom Maibaum
Toward Product Lines of Mathematical Models for Software Model Management. STAF Workshops (2017)
Thomas Chowdhury, Chung-Wei Lin, BaekGyu Kim, Mark Lawford, Shinichi Shiraishi, Alan Wassyng
Principles for Systematic Development of an Assurance Case Template from ISO 26262. ISSRE Workshops (2017)
Nicholas Moore, Mark Lawford
Correct Safety Critical Hardware Descriptions via Static Analysis and Theorem Proving. FormaliSE@ICSE (2017)
Mark Lawford
Stupid Tool Tricks for Smart Model Based Design. VSTTE (2016)
Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford
Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application. NFM (2016)
Archana Mallya, Vera Pantelic, Morayo Adedjouma, Mark Lawford, Alan Wassyng
Using STPA in an ISO 26262 Compliant Process. SAFECOMP (2016)
Monika Bialy, Mark Lawford, Vera Pantelic, Alan Wassyng
A Methodology for the Simplification of Tabular Designs in Model-Based Development. FormaliSE@ICSE (2015)
Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
Is Current Incremental Safety Assurance Sound? SAFECOMP Workshops (2015)
Vera Pantelic, Steven M. Postma, Mark Lawford, Alexandre Korobkine, Bennett Mackenzie, Jeff Ong, Marc Bender
A Toolset for Simulink - Improving Software Engineering Practices in Development with Simulink. MODELSWARD (2015)
Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng
Formal verification of function blocks applied to IEC 61131-3. Sci. Comput. Program. 113 (2015)
Neeraj Kumar Singh, Hao Wang, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng
Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements. HCI (17) (2015)
Neeraj Kumar Singh, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng
Stateflow to Tabular Expressions. SoICT (2015)
Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng, Josh Newell, Vera Chow, David Tremaine
Formal Verification of Real-Time Function Blocks Using PVS. ESSS (2015)
Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
Formalizing the Cardiac Pacemaker Resynchronization Therapy. HCI (17) (2015)
Marc Bender, Karen Laurin, Mark Lawford, Vera Pantelic, Alexandre Korobkine, Jeff Ong, Bennett Mackenzie, Monika Bialy, Steven M. Postma
Signature required: Making Simulink data flow and interfaces explicit. Sci. Comput. Program. 113 (2015)
Lucian M. Patcas, Mark Lawford, Tom Maibaum
Implementability of requirements in the four-variable model. Sci. Comput. Program. 111 (2015)
Alan Wassyng, Neeraj Kumar Singh, Mischa Geven, Nicholas Proscia, Hao Wang, Mark Lawford, Tom Maibaum
Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards? IEEE Des. Test 32 (5) (2015)
Vera Pantelic, Mark Lawford, Steven M. Postma
A Framework for Supervisory Control of Probabilistic Discrete Event Systems. WODES (2014)
Marc Bender, Karen Laurin, Mark Lawford, Jeff Ong, Steven M. Postma, Vera Pantelic
Signature Required - Making Simulink Data Flow and Interfaces Explicit. MODELSWARD (2014)
Neeraj Kumar Singh, Hao Wang, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
Formalizing the Glucose Homeostasis Mechanism. HCI (20) (2014)
Lucian M. Patcas, Mark Lawford, Tom Maibaum
A Separation Principle for Embedded System Interfacing. IFM (2014)
Darren D. Cofer, John Hatcliff, Michaela Huhn, Mark Lawford
Software Certification: Methods and Tools (Dagstuhl Seminar 13051). Dagstuhl Reports 3 (1) (2013)
Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng
Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS. FTSCS (2013)
Yihai Chen, Mark Lawford, Hao Wang, Alan Wassyng
Insulin Pump Software Certification. FHIES (2013)
Lucian M. Patcas, Mark Lawford, Tom Maibaum
From System Requirements to Software Requirements in the Four-Variable Model. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
Vera Pantelic, Mark Lawford
A pseudometric in supervisory control of probabilistic discrete event systems. Discret. Event Dyn. Syst. 22 (4) (2012)
Wen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, Tom Maibaum, Alan Wassyng
Large-Scale Enterprise Systems: Changes and Impacts. ICEIS (2012)
Vera Pantelic, Mark Lawford
Optimal Supervisory Control of Probabilistic Discrete Event Systems. IEEE Trans. Autom. Control. 57 (5) (2012)
Wen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
Change Impact Analysis for Large-scale Enterprise Systems. ICEIS (2) (2012)
Alan Wassyng, Mark Lawford, T. S. E. Maibaum
Software certification experience in the canadian nuclear industry: lessons for the future. EMSOFT (2011)
Colin Eles, Mark Lawford
A Tabular Expression Toolbox for Matlab/Simulink. NASA Formal Methods (2011)
Marc Bender, Mark Lawford
A low-power, low-cost automotive touchscreen with real controls. CCECE (2011)
Mark Lawford, T. S. E. Maibaum, Alan Wassyng
Certification of Software-Driven Medical Devices. ISoLA (2) (2010)
Alan Wassyng, T. S. E. Maibaum, Mark Lawford, Hans Bherer
Software Certification: Is There a Case against Safety Cases? Monterey Workshop (2010)
Vera Pantelic, Mark Lawford
Use of a metric in supervisory control of probabilistic discrete event systems. WODES (2010)
Alan Wassyng, Mark Lawford, T. S. E. Maibaum, Jens H. Weber, John Hatcliff
Software certification consortium: certification methods for safety-critical software. CASCON (2010)
Vera Pantelic, Steven M. Postma, Mark Lawford
Probabilistic Supervisory Control of Probabilistic Discrete Event Systems. IEEE Trans. Autom. Control. 54 (8) (2009)
John Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden
A Software Certification Consortium and its Top 9 Hurdles. Electron. Notes Theor. Comput. Sci. 238 (4) (2009)
Xiayong Hu, Mark Lawford, Alan Wassyng
Formal Verification of the Implementability of Timing Requirements. FMICS (2008)
Alan Wassyng, T. S. E. Maibaum, Mark Lawford
On Software Certification: We Need Product-Focused Approaches. Monterey Workshop (2008)
Tom Arbuckle, Adam Balaban, Dennis K. Peters, Mark Lawford
Software Documents: Comparison and Measurement. SEKE (2007)
Dennis K. Peters, Mark Lawford, Baltasar Trancón y Widemann
An IDE for software development using tabular expressions. CASCON (2007)
Vera Pantelic, Xiao-Hui Jin, Mark Lawford, David Lorge Parnas
Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking. Software Engineering Research and Practice (2006)
Mark Lawford, Vera Pantelic, Hong Zhang
Towards Integrated Verification of Timed Transition Models. Fundam. Informaticae 70 (1-2) (2006)
Ryan J. Leduc, Mark Lawford, Pengcheng Dai
Hierarchical interface-based supervisory control of a flexible manufacturing system. IEEE Trans. Control. Syst. Technol. 14 (4) (2006)
Alan Wassyng, Mark Lawford
Software tools for safety-critical software development. Int. J. Softw. Tools Technol. Transf. 8 (4-5) (2006)
Sean E. Bourdon, Mark Lawford, Walter Murray Wonham
Robust nonblocking supervisory control of discrete-event systems. IEEE Trans. Autom. Control. 50 (12) (2005)
Ryan J. Leduc, Mark Lawford, Walter Murray Wonham
Hierarchical interface-based supervisory control-part II: parallel case. IEEE Trans. Autom. Control. 50 (9) (2005)
Alan Wassyng, Mark Lawford, Xiayong Hu
Timing Tolerances in Safety-Critical Software. FM (2005)
Ryan J. Leduc, Bertil A. Brandin, Mark Lawford, Walter Murray Wonham
Hierarchical interface-based supervisory Control-part I: serial case. IEEE Trans. Autom. Control. 50 (9) (2005)
Ryan J. Leduc, Bertil A. Brandin, Mark Lawford, Walter Murray Wonham
Erratum to "Hierarchical Interface-Based Supervisory Control - Part I: Serial Case". IEEE Trans. Autom. Control. 50 (11) (2005)
Mark Lawford, Hong Zhang
Equivalence Verification of Timed Transition Models. ACSD (2004)
David Lorge Parnas, Mark Lawford
The Role of Inspection in Software Quality Assurance. IEEE Trans. Software Eng. 29 (8) (2003)
Alan Wassyng, Mark Lawford
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project. FME (2003)
David Lorge Parnas, Mark Lawford
Guest Editors' Introduction: Inspection's Role in Software Quality Assurance. IEEE Softw. 20 (4) (2003)
Sean E. Bourdon, Mark Lawford, W. M. Wonham
Robust nonblocking supervisory control of discrete-event systems. ACC (2002)
Ryan J. Leduc, Bertil A. Brandin, Walter Murray Wonham, Mark Lawford
Hierarchical interface-based supervisory control: serial case. CDC (2001)
Mark Lawford, Jeff McDougall, Peter Froebel, Greg Moum
Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software. AMAST (2000)
Mark Lawford, Jonathan S. Ostroff, Walter Murray Wonham
Model Reduction of Modules for State-Even Temporal Logics. FORTE (1996)

Mark Lawford.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mark Lawford