| 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 | 405 | 2015 |
| The role of inspection in software quality assurance DL Parnas, M Lawford IEEE Transactions on Software engineering 29 (8), 674-676, 2003 | 167* | 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 | 125 | 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 | 91 | 2005 |
| Supervisory control of probabilistic discrete event systems M Lawford, WM Wonham Proceedings of 36th Midwest Symposium on Circuits and Systems, 327-331, 1993 | 80 | 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 | 77 | 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 | 68 | 2005 |
| 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 | 65 | 2006 |
| 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 | 61 | 2011 |
| Probabilistic supervisory control of probabilistic discrete event systems V Pantelic, SM Postma, M Lawford IEEE Transactions on Automatic Control 54 (8), 2013-2018, 2009 | 50 | 2009 |
| Open source software development: future or fad? S Rusovan, M Lawford, DL Parnas Perspectives on free and open source software, 107-122, 2005 | 50 | 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 | 44 | 2001 |
| Equivalence preserving transformations for timed transition models M Lawford, WM Wonham IEEE Transactions on Automatic Control 40 (7), 1167-1179, 1995 | 41 | 1995 |
| 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 | 38 | 2021 |
| Insulin pump software certification Y Chen, M Lawford, H Wang, A Wassyng Foundations of Health Information Engineering and Systems: Third …, 2014 | 36 | 2014 |
| Practical application of functional and relational methods for the specification and verification of safety critical software M Lawford, J McDougall, P Froebel, G Moum Algebraic Methodology and Software Technology: 8th International Conference …, 2000 | 36 | 2000 |
| Software tools for safety-critical software development A Wassyng, M Lawford International Journal on Software Tools for Technology Transfer 8, 337-354, 2006 | 35 | 2006 |
| 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 | 32 | 2015 |
| Multiple model synchronization with multiary delta lenses Z Diskin, H König, M Lawford Fundamental Approaches to Software Engineering: 21st International …, 2018 | 29 | 2018 |
| 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 | 28 | 2018 |
Alan WassyngMcMaster University, Dept Computing and Software, McMaster Centre for Software CertificationVerified email at McMaster.ca
