| 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 |
| 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 |
| 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 |
| Optimal supervisory control of probabilistic discrete event systems V Pantelic, M Lawford IEEE Transactions on Automatic Control 57 (5), 1110-1124, 2011 | 24 | 2011 |
| Signature required: Making Simulink data flow and interfaces explicit M Bender, K Laurin, M Lawford, V Pantelic, A Korobkine, J Ong, ... Science of Computer Programming 113, 29-50, 2015 | 22 | 2015 |
| Software engineering practices and Simulink: bridging the gap V Pantelic, S Postma, M Lawford, M Jaskolka, B Mackenzie, A Korobkine, ... International Journal on Software Tools for Technology Transfer 20, 95-117, 2018 | 20 | 2018 |
| Software engineering for model-based development by domain experts M Bialy, V Pantelic, J Jaskolka, A Schaap, L Patcas, M Lawford, ... Handbook of System Safety and Security, 39-64, 2017 | 17 | 2017 |
| Using STPA in an ISO 26262 compliant process A Mallya, V Pantelic, M Adedjouma, M Lawford, A Wassyng Computer Safety, Reliability, and Security: 35th International Conference …, 2016 | 17 | 2016 |
| A toolset for Simulink: improving software engineering practices in development with Simulink V Pantelic, S Postma, M Lawford, A Korobkine, B Mackenzie, J Ong, ... 2015 3rd International Conference on Model-Driven Engineering and Software …, 2015 | 16 | 2015 |
| Inspection of concurrent systems: Combining tables, theorem proving and model checking V Pantelic | 11 | 2005 |
| A pseudometric in supervisory control of probabilistic discrete event systems V Pantelic, M Lawford Discrete Event Dynamic Systems 22, 479-510, 2012 | 9 | 2012 |
| A domain-centralized automotive powertrain e/e architecture V Bandur, V Pantelic, M Dawson, A Schaap, B Wasacz, M Lawford SAE Technical Paper, 2021 | 8 | 2021 |
| A methodology for the simplification of tabular designs in model-based development M Bialy, M Lawford, V Pantelic, A Wassyng 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering, 47-53, 2015 | 8 | 2015 |
| A framework for supervisory control of probabilistic discrete event systems V Pantelic, M Lawford, S Postma IFAC Proceedings Volumes 47 (2), 477-484, 2014 | 8 | 2014 |
| Towards optimal supervisory control of probabilistic discrete event systems V Pantelic, M Lawford IFAC Proceedings Volumes 42 (5), 75-80, 2009 | 8 | 2009 |
| Applying modular decomposition in Simulink M Jaskolka, S Scott, V Pantelic, A Wassyng, M Lawford 2020 IEEE International Symposium on Software Reliability Engineering …, 2020 | 6 | 2020 |
| Supporting modularity in Simulink models M Jaskolka, V Pantelic, A Wassyng, M Lawford arXiv preprint arXiv:2007.10120, 2020 | 6 | 2020 |
| Documenting Simulink designs of embedded systems A Schaap, G Marks, V Pantelic, M Lawford, G Selim, A Wassyng, L Patcas Proceedings of the 21st ACM/IEEE International Conference on Model Driven …, 2018 | 6 | 2018 |
| Use of a metric in supervisory control of probabilistic discrete event systems V Pantelic, M Lawford IFAC Proceedings Volumes 43 (12), 217-222, 2010 | 5 | 2010 |
| Towards integrated verification of timed transition models M Lawford, V Pantelic, H Zhang Fundamenta Informaticae 70 (1-2), 75-110, 2006 | 5 | 2006 |
Mark LawfordMcMaster UniversityVerified email at mcmaster.ca
