Mark Lawford
Cited by
Cited by
Making the case for electrified transportation
B Bilgin, P Magne, P Malysz, Y Yang, V Pantelic, M Preindl, A Korobkine, ...
IEEE Transactions on Transportation electrification 1 (1), 4-17, 2015
The role of inspection in software quality assurance
DL Parnas, M Lawford
IEEE Transactions on Software engineering 29 (8), 674-676, 2003
Hierarchical interface-based supervisory control-part II: parallel case
RJ Leduc, M Lawford, WM Wonham
IEEE Transactions on Automatic Control 50 (9), 1336-1348, 2005
Hierarchical interface-based supervisory control-part I: serial case
RJ Leduc, BA Brandin, M Lawford, WM Wonham
Automatic Control, IEEE Transactions on 50 (9), 1322-1335, 2005
Making the case for centralized automotive E/E architectures
V Bandur, G Selim, V Pantelic, M Lawford
IEEE Transactions on Vehicular Technology 70 (2), 1230-1245, 2021
Supervisory control of probabilistic discrete event systems
M Lawford, WM Wonham
Proceedings of 36th Midwest Symposium on Circuits and Systems, 327-331, 1993
Lessons learned from a successful implementation of formal methods in an industrial project
A Wassyng, M Lawford
FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003
Robust nonblocking supervisory control of discrete-event systems
SE Bourdon, M Lawford, WM Wonham
IEEE Transactions on Automatic Control 50 (12), 2015-2021, 2005
Software certification: Is there a case against safety cases?
A Wassyng, T Maibaum, M Lawford, H Bherer
Foundations of Computer Software. Modeling, Development, and Verification of …, 2011
Hierarchical interface-based supervisory control of a flexible manufacturing system
RJ Leduc, M Lawford, P Dai
IEEE Transactions on Control Systems Technology 14 (4), 654-668, 2006
Probabilistic supervisory control of probabilistic discrete event systems
V Pantelic, SM Postma, M Lawford
IEEE Transactions on Automatic Control 54 (8), 2013-2018, 2009
Open source software development: future or fad?
S Rusovan, M Lawford, DL Parnas
Perspectives on free and open source software, 107-122, 2005
Hierarchical interface-based supervisory control: Serial case
RJ Leduc, BA Brandin, WM Wonham, M Lawford
Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No …, 2001
Equivalence preserving transformations for timed transition models
M Lawford, WM Wonham
IEEE Transactions on Automatic Control 40 (7), 1167-1179, 1995
Insulin pump software certification
Y Chen, M Lawford, H Wang, A Wassyng
Foundations of Health Information Engineering and Systems: Third …, 2014
Safe and secure automotive over-the-air updates
T Chowdhury, E Lesiuta, K Rikley, CW Lin, E Kang, BG Kim, S Shiraishi, ...
International Conference on Computer Safety, Reliability, and Security …, 2018
Can product-specific assurance case templates be used as medical device standards?
A Wassyng, NK Singh, M Geven, N Proscia, H Wang, M Lawford, ...
IEEE Design & Test 32 (5), 45-55, 2015
Software tools for safety-critical software development
A Wassyng, M Lawford
International Journal on Software Tools for Technology Transfer 8, 337-354, 2006
Practical application of functional and relational methods for the specification and verification of safety critical software
M Lawford, J McDougall, P Froebel, G Moum
International Conference on Algebraic Methodology and Software Technology, 73-88, 2000
Multiple model synchronization with multiary delta lenses
Z Diskin, H König, M Lawford
International Conference on Fundamental Approaches to Software Engineering …, 2018
The system can't perform the operation now. Try again later.
Articles 1–20