Author

Mark S. Lawford

Observed names: Dr. Mark Lawford, Lawford, Mark, Lawford, Mark Stephen, M. Lawford, Mark Lawford

Institutions: University of Bergamo, McMaster University Medical Centre, McMaster University

Observed institutions: University of Bergamo, Bell (Canada), University of Toronto, McMaster University Medical Centre, McMaster University

ORCID: 0000-0003-3161-2176

Observed ORCID: 0000-0003-3161-2176

OpenAlex ID: A5087660741

Making the Case for Electrified Transportation

2015 · Berker Bilgin, Pierre Magne, et al. · IEEE Transactions on Transportation Electrification · 454

Making the Case for Centralized Automotive E/E Architectures

2021 · Victor Bandur, Gehan Selim, et al. · IEEE Transactions on Vehicular Technology · 194

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

2005 · R.J. Leduc, M. Lawford, et al. · IEEE Transactions on Automatic Control · 111

Hierarchical interface-based supervisory Control-part I: serial case

2005 · R.J. Leduc, B.A. Brandin, et al. · IEEE Transactions on Automatic Control · 110

The role of inspection in software quality assurance

2003 · D.L. Parnas, M. Lawford · IEEE Transactions on Software Engineering · 96

Open Source Software Development: Future or Fad?

2005 · Srdjan Rusovan, Mark Lawford, et al. · The MIT Press eBooks · 85

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

2003 · Alan Wassyng, Mark Lawford · Lecture notes in computer science · 58

Supervisory control of probabilistic discrete event systems

2002 · M. Lawford, W.M. Wonham · Conference proceedings · 56

Hierarchical interface-based supervisory control of a flexible manufacturing system

2006 · R.J. Leduc, M. Lawford, et al. · IEEE Transactions on Control Systems Technology · 53

Software Certification: Is There a Case against Safety Cases?

2011 · Alan Wassyng, Tom Maibaum, et al. · Lecture notes in computer science · 47

Probabilistic Supervisory Control of Probabilistic Discrete Event Systems

2009 · V. Pantelic, S.M. Postma, et al. · IEEE Transactions on Automatic Control · 42

PDF

Safe and Secure Automotive Over-the-Air Updates

2018 · Thomas Chowdhury, Eric Lesiuta, et al. · Lecture notes in computer science · 41

Robust nonblocking supervisory control of discrete-event systems

2005 · S.E. Bourdon, M. Lawford, et al. · IEEE Transactions on Automatic Control · 39

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

2015 · Alan Wassyng, Neeraj Kumar Singh, et al. · IEEE Design and Test · 27

Multiple Model Synchronization with Multiary Delta Lenses

2018 · Zinovy Diskin, Harald König, et al. · Lecture notes in computer science · 26

PDF

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

2000 · Mark Lawford, Jeff McDougall, et al. · Lecture notes in computer science · 25

Optimal Supervisory Control of Probabilistic Discrete Event Systems

2011 · Vera Pantelic, Mark Lawford · IEEE Transactions on Automatic Control · 24

Software tools for safety-critical software development

2005 · Alan Wassyng, Mark Lawford · International Journal on Software Tools for Technology Transfer · 24

Insulin Pump Software Certification

2014 · Yihai Chen, Mark Lawford, et al. · Lecture notes in computer science · 23

Software engineering practices and Simulink: bridging the gap

2017 · Vera Pantelic, Steven Postma, et al. · International Journal on Software Tools for Technology Transfer · 22

Inspection's role in software quality assurance

2003 · D.L. Parnas, M. Lawford · IEEE Software · 22

Hierarchical interface-based supervisory control: serial case

2003 · R.J. Leduc, B.A. Brandin, et al. · Proceedings of the IEEE Conference on Decision & Control, including the Symposium on Adaptive Processes · 21

Equivalence preserving transformations for timed transition models

1995 · M. Lawford, W.M. Wonham · IEEE Transactions on Automatic Control · 21

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

2017 · Sahar Kokaly, Rick Salay, et al. · Lecture notes in computer science · 20

A Domain-Centralized Automotive Powertrain E/E Architecture

2021 · Victor Bandur, Vera Pantelic, et al. · SAE technical papers on CD-ROM/SAE technical paper series · 19

Works count: 174

Citation count: 2,226

H-index: 21

I10-index: 46