Concepedia
Statistics
Publications
28
Citations
1.4K
H-Index
17
Active since
1995
Affiliations
McMaster University(Current)
University of Toronto
University of Limerick
Memorial University of Newfoundland
Mark Lawford is an author at McMaster University specializing in engineering, systems engineering, and formal methods.
Top concepts
EngineeringSystems EngineeringFormal MethodsSoftware DesignComputer ScienceSoftware EngineeringSoftware TestingComputer EngineeringSoftware AnalysisFormal Verification
Publications per year
1995–2022
Making the Case for Electrified Transportation
Berker Bilgin, Pierre Magne, Pawel Malysz et al. · IEEE Transactions on Transportation Electrification · 2015 · 433 citations
Engineering, Energy Efficiency, Including Vehicle-to-grid +23
Making the Case for Centralized Automotive E/E Architectures
Victor Bandur, Gehan Selim, Vera Pantelic et al. · IEEE Transactions on Vehicular Technology · 2021 · 159 citations
Automotive Engineering, Automotive Industry, Engineering +17
Hierarchical interface-based supervisory control-part II: parallel case
Ryan J. Leduc, Mark Lawford, W.M. Wonham · IEEE Transactions on Automatic Control · 2005 · 111 citations
Event-driven Architecture, Engineering, Hardware Verification Language +19
Hierarchical interface-based supervisory Control-part I: serial case
Ryan J. Leduc, B.A. Brandin, Mark Lawford et al. · IEEE Transactions on Automatic Control · 2005 · 109 citations
Event-driven Architecture, Engineering, Verification +18
The role of inspection in software quality assurance
David Lorge Parnas, Mark Lawford · IEEE Transactions on Software Engineering · 2003 · 97 citations
Software Maintenance, Engineering, Inspection +20
1–5 of 28