Mark Lawford

According to our database, Mark Lawford authored at least 97 papers between 1995 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., February, 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

CoRR, 2024

2023

Repository mining for changes in Simulink and Stateflow models.

Monika Jaskolka, Vera Pantelic, Alan Wassyng, Richard F. Paige, Mark Lawford

Softw. Syst. Model., October, 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

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

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Assurance Cases for Timing Properties of Automotive TSN Networks.

Ryan Kapinski, Vera Pantelic, Victor Bandur, Alan Wassyng, Mark Lawford

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities.

Victor Bandur, Mark Lawford, Sébastien Mosser, Richard F. Paige, Vera Pantelic, Alan Wassyng

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 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

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Lessons Learned Building a Tool for Workflow⁺.

Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng

Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

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

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

2022

A Case Study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent Verification.

Nicholas Moore, Mark Lawford

Proceedings of the Theoretical Aspects of Software Engineering, 2022

Generating Assurance Cases Using Workflow⁺ Models.

Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng

Proceedings of the Computer Safety, Reliability, and Security, 2022

SLIME: State Learning in the Middle of Everything for Tool-Assisted Vulnerability Detection.

Eric Lesiuta, Victor Bandur, Mark Lawford

Proceedings of the Computer Security. ESORICS 2022 International Workshops, 2022

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

A formal approach to rigorous development of critical systems.

Neeraj Kumar Singh, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng

J. Softw. Evol. Process., 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

Repository Mining for Changes in Simulink Models.

Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford, Richard F. Paige

Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

A Safety Architecture for Centralized E/E Architectures.

Victor Bandur, Vera Pantelic, Timofey Tomashevskiy, Mark Lawford

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2021

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

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

Supporting Modularity in Simulink Models.

Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford

CoRR, 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

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Systematic Evaluation of (Safety) Assurance Cases.

Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford

Proceedings of the Computer Safety, Reliability, and Security, 2020

Applying Modular Decomposition in Simulink.

Monika Jaskolka, Stephen Scott, Vera Pantelic, Alan Wassyng, Mark Lawford

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

2019

Multiple model synchronization with multiary delta lenses with amendment and K-Putput.

Zinovy Diskin, Harald König, Mark Lawford

Formal Aspects Comput., 2019

Assurance via workflow+ modelling and conformance.

Zinovy Diskin, Nicholas Annable, Alan Wassyng, Mark Lawford

CoRR, 2019

Something is Rotten in the State of Documenting Simulink Models.

Vera Pantelic, Alexander Schaap, Alan Wassyng, Victor Bandur, Mark Lawford

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

Criteria to Systematically Evaluate (Safety) Assurance Cases.

Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

SL2SF: Refactoring Simulink to Stateflow.

Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Curtis Milo, Moustapha Diab, Feisel Weslati

Proceedings of the Fundamental Approaches to Software Engineering, 2019

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

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

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

Proceedings of the Computer Safety, Reliability, and Security, 2018

Documenting Simulink designs of embedded systems.

Alexander Schaap, Gordon Marks, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Alan Wassyng, Lucian M. Patcas

Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

Assurance via model transformations and their hierarchical refinement.

Zinovy Diskin, Tom Maibaum, Alan Wassyng, Stephen Wynn-Williams, Mark Lawford

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Multiple Model Synchronization with Multiary Delta Lenses.

Zinovy Diskin, Harald König, Mark Lawford

Proceedings of the Fundamental Approaches to Software Engineering, 2018

2017

Toward Product Lines of Mathematical Models for Software Model Management.

Zinovy Diskin, Harald König, Mark Lawford, Tom Maibaum

Proceedings of the Software Technologies: Applications and Foundations, 2017

Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach.

Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum

Proceedings of the Computer Safety, Reliability, and Security, 2017

Use of Tabular Expressions for Refinement Automation.

Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng

Proceedings of the Model and Data Engineering - 7th International Conference, 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

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Correct Safety Critical Hardware Descriptions via Static Analysis and Theorem Proving.

Nicholas Moore, Mark Lawford

Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

2016

Stupid Tool Tricks for Smart Model Based Design.

Mark Lawford

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

Using STPA in an ISO 26262 Compliant Process.

Archana Mallya, Vera Pantelic, Morayo Adedjouma, Mark Lawford, Alan Wassyng

Proceedings of the Computer Safety, Reliability, and Security, 2016

Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application.

Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

2015

Implementability of requirements in the four-variable model.

Lucian M. Patcas, Mark Lawford, Tom Maibaum

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

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

Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards?

Alan Wassyng, Neeraj Kumar Singh, Mischa Geven, Nicholas Proscia, Hao Wang, Mark Lawford, Tom Maibaum

IEEE Des. Test, 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

Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015

Stateflow to Tabular Expressions.

Neeraj Kumar Singh, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng

Proceedings of the Sixth International Symposium on Information and Communication Technology, 2015

Is Current Incremental Safety Assurance Sound?

Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng

Proceedings of the Computer Safety, Reliability, and Security, 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

Proceedings of the MODELSWARD 2015, 2015

A Methodology for the Simplification of Tabular Designs in Model-Based Development.

Monika Bialy, Mark Lawford, Vera Pantelic, Alan Wassyng

Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements.

Neeraj Kumar Singh, Hao Wang, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng

Proceedings of the Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health, 2015

Formalizing the Cardiac Pacemaker Resynchronization Therapy.

Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng

Proceedings of the Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health, 2015

2014

A Framework for Supervisory Control of Probabilistic Discrete Event Systems.

Vera Pantelic, Mark Lawford, Steven M. Postma

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Signature Required - Making Simulink Data Flow and Interfaces Explicit.

Marc Bender, Karen Laurin, Mark Lawford, Jeff Ong, Steven M. Postma, Vera Pantelic

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

A Separation Principle for Embedded System Interfacing.

Lucian M. Patcas, Mark Lawford, Tom Maibaum

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Formalizing the Glucose Homeostasis Mechanism.

Neeraj Kumar Singh, Hao Wang, Mark Lawford, T. S. E. Maibaum, Alan Wassyng

Proceedings of the Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management, 2014

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

Software Certification: Methods and Tools (Dagstuhl Seminar 13051).

Darren D. Cofer, John Hatcliff, Michaela Huhn, Mark Lawford

Dagstuhl Reports, 2013

Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS.

Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Insulin Pump Software Certification.

Yihai Chen, Mark Lawford, Hao Wang, Alan Wassyng

Proceedings of the Foundations of Health Information Engineering and Systems, 2013

2012

Optimal Supervisory Control of Probabilistic Discrete Event Systems.

Vera Pantelic, Mark Lawford

IEEE Trans. Autom. Control., 2012

A pseudometric in supervisory control of probabilistic discrete event systems.

Vera Pantelic, Mark Lawford

Discret. Event Dyn. Syst., 2012

Large-Scale Enterprise Systems: Changes and Impacts.

Wen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, Tom Maibaum, Alan Wassyng

Proceedings of the Enterprise Information Systems - 14th International Conference, 2012

Change Impact Analysis for Large-scale Enterprise Systems.

Wen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, T. S. E. Maibaum, Alan Wassyng

Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012

Separating Safety and Control Systems to Reduce Complexity.

Alan Wassyng, Mark Lawford, Tom Maibaum

Proceedings of the Conquering Complexity, 2012

2011

A Tabular Expression Toolbox for Matlab/Simulink.

Colin Eles, Mark Lawford

Proceedings of the NASA Formal Methods, 2011

Software certification experience in the canadian nuclear industry: lessons for the future.

Alan Wassyng, Mark Lawford, T. S. E. Maibaum

Proceedings of the 11th International Conference on Embedded Software, 2011

A low-power, low-cost automotive touchscreen with real controls.

Marc Bender, Mark Lawford

Proceedings of the 24th Canadian Conference on Electrical and Computer Engineering, 2011

2010

Use of a metric in supervisory control of probabilistic discrete event systems.

Vera Pantelic, Mark Lawford

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Software Certification: Is There a Case against Safety Cases?

Alan Wassyng, T. S. E. Maibaum, Mark Lawford, Hans Bherer

Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010

Certification of Software-Driven Medical Devices.

Mark Lawford, T. S. E. Maibaum, Alan Wassyng

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Software certification consortium: certification methods for safety-critical software.

Alan Wassyng, Mark Lawford, T. S. E. Maibaum, Jens H. Weber, John Hatcliff

Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010

2009

Probabilistic Supervisory Control of Probabilistic Discrete Event Systems.

Vera Pantelic, Steven M. Postma, Mark Lawford

IEEE Trans. Autom. Control., 2009

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

Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008

On Software Certification: We Need Product-Focused Approaches.

Alan Wassyng, T. S. E. Maibaum, Mark Lawford

Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

Formal Verification of the Implementability of Timing Requirements.

Xiayong Hu, Mark Lawford, Alan Wassyng

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

2007

Software Documents: Comparison and Measurement.

Tom Arbuckle, Adam Balaban, Dennis K. Peters, Mark Lawford

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

An IDE for software development using tabular expressions.

Dennis K. Peters, Mark Lawford, Baltasar Trancón y Widemann

Proceedings of the 2007 conference of the Centre for Advanced Studies on Collaborative Research, 2007

2006

Hierarchical interface-based supervisory control of a flexible manufacturing system.

Ryan J. Leduc, Mark Lawford, Pengcheng Dai

IEEE Trans. Control. Syst. Technol., 2006

Software tools for safety-critical software development.

Alan Wassyng, Mark Lawford

Int. J. Softw. Tools Technol. Transf., 2006

Towards Integrated Verification of Timed Transition Models.

Mark Lawford, Vera Pantelic, Hong Zhang

Fundam. Informaticae, 2006

Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking.

Vera Pantelic, Xiao-Hui Jin, Mark Lawford, David Lorge Parnas

Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006

2005

Hierarchical interface-based supervisory control-part II: parallel case.

Ryan J. Leduc, 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 I: serial case.

Ryan J. Leduc, Bertil A. Brandin, Mark Lawford, Walter Murray Wonham

IEEE Trans. Autom. Control., 2005

Robust nonblocking supervisory control of discrete-event systems.

Sean E. Bourdon, Mark Lawford, Walter Murray Wonham

IEEE Trans. Autom. Control., 2005

Timing Tolerances in Safety-Critical Software.

Alan Wassyng, Mark Lawford, Xiayong Hu

Proceedings of the FM 2005: Formal Methods, 2005

2004

Equivalence Verification of Timed Transition Models.

Mark Lawford, Hong Zhang

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003

The Role of Inspection in Software Quality Assurance.

David Lorge Parnas, Mark Lawford

IEEE Trans. Software Eng., 2003

Guest Editors' Introduction: Inspection's Role in Software Quality Assurance.

David Lorge Parnas, Mark Lawford

IEEE Softw., 2003

Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project.

Alan Wassyng, Mark Lawford

Proceedings of the FME 2003: Formal Methods, 2003

2001

Hierarchical interface-based supervisory control: serial case.

Ryan J. Leduc, Bertil A. Brandin, Walter Murray Wonham, Mark Lawford

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000

Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software.

Mark Lawford, Jeff McDougall, Peter Froebel, Greg Moum

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1996

Model Reduction of Modules for State-Even Temporal Logics.

Mark Lawford, Jonathan S. Ostroff, Walter Murray Wonham

Proceedings of the Formal Description Techniques IX: Theory, 1996

1995

Equivalence preserving transformations for timed transition models.

Mark Lawford, Walter Murray Wonham

IEEE Trans. Autom. Control., 1995