Mark Lawford
Title
Cited by
Cited by
Year
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
2202015
The role of inspection in software quality assurance
DL Parnas, M Lawford
IEEE Transactions on Software engineering 29 (8), 674-676, 2003
141*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
1182005
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
782005
Lessons learned from a successful implementation of formal methods in an industrial project
A Wassyng, M Lawford
International Symposium of Formal Methods Europe, 133-153, 2003
722003
Supervisory control of probabilistic discrete event systems
M Lawford, WM Wonham
Proceedings of 36th Midwest Symposium on Circuits and Systems, 327-331, 1993
721993
Robust nonblocking supervisory control of discrete-event systems
SE Bourdon, M Lawford, WM Wonham
IEEE Transactions on Automatic Control 50 (12), 2015-2021, 2005
632005
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
592006
Software certification: Is there a case against safety cases?
A Wassyng, T Maibaum, M Lawford, H Bherer
Monterey Workshop, 206-227, 2010
512010
Open source software development: future or fad?
S Rusovan, M Lawford, DL Parnas
Perspectives on free and open source software, 107-121, 2005
482005
Probabilistic supervisory control of probabilistic discrete event systems
V Pantelic, SM Postma, M Lawford
IEEE Transactions on Automatic Control 54 (8), 2013-2018, 2009
422009
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
422001
Equivalence preserving transformations for timed transition models
M Lawford, WM Wonham
IEEE Transactions on Automatic Control 40 (7), 1167-1179, 1995
391995
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
362000
Insulin pump software certification
Y Chen, M Lawford, H Wang, A Wassyng
International Symposium on Foundations of Health Informatics Engineering and …, 2013
292013
Software tools for safety-critical software development
A Wassyng, M Lawford
International Journal on Software Tools for Technology Transfer 8 (4-5), 337-354, 2006
292006
Application of tabular methods to the specification and verification of a nuclear reactor shutdown system
M Lawford, P Froebel, G Moum
Formal Methods in System Design 1, 9, 2004
262004
Hierarchical interface-based supervisory control: AIP example
RJ Leduc, M Lawford, WM Wonham
PROCEEDINGS OF THE ANNUAL ALLERTON CONFERENCE ON COMMUNICATION CONTROL AND …, 2001
262001
State-event observers for labeled transition systems
M Lawford, WM Wonham, JS Ostroff
Proceedings of 1994 33rd IEEE Conference on Decision and Control 4, 3642-3648, 1994
261994
A software certification consortium and its top 9 hurdles
J Hatcliff, M Heimdahl, M Lawford, T Maibaum, A Wassyng, F Wurden
Electronic Notes in Theoretical Computer Science 238 (4), 11-17, 2009
232009
The system can't perform the operation now. Try again later.
Articles 1–20