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 | 494 | 2015 |
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 | 144 | 2021 |
Probabilistic supervisory control of probabilistic discrete event systems V Pantelic, SM Postma, M Lawford IEEE Transactions on Automatic Control 54 (8), 2013-2018, 2009 | 55 | 2009 |
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 | 29 | 2018 |
Optimal supervisory control of probabilistic discrete event systems V Pantelic, M Lawford IEEE Transactions on Automatic Control 57 (5), 1110-1124, 2011 | 27 | 2011 |
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 | 25 | 2016 |
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 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 | 20 | 2017 |
A domain-centralized automotive powertrain E/E architecture V Bandur, V Pantelic, M Dawson, A Schaap, B Wasacz, M Lawford SAE Technical Paper, 2021 | 19 | 2021 |
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 | 18 | 2015 |
Inspection of concurrent systems: Combining tables, theorem proving and model checking V Pantelic, XH Jin, M Lawford, D Parnas McMaster University, 2005 | 12 | 2005 |
Aspects of migrating from decentralized to centralized E/E architectures V Bandur, R Kapinski, V Pantelic, M Lawford, B Wasacz SAE Technical Paper, 2022 | 11 | 2022 |
A safety architecture for centralized E/E architectures V Bandur, V Pantelic, T Tomashevskiy, M Lawford 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems …, 2021 | 10 | 2021 |
Applying modular decomposition in Simulink M Jaskolka, S Scott, V Pantelic, A Wassyng, M Lawford 2020 IEEE International Symposium on Software Reliability Engineering …, 2020 | 10 | 2020 |
Supporting modularity in Simulink models M Jaskolka, V Pantelic, A Wassyng, M Lawford arXiv preprint arXiv:2007.10120, 2020 | 10 | 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 | 10 | 2018 |
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 |
A pseudometric in supervisory control of probabilistic discrete event systems V Pantelic, M Lawford Discrete Event Dynamic Systems 22, 479-510, 2012 | 8 | 2012 |
Towards optimal supervisory control of probabilistic discrete event systems V Pantelic, M Lawford IFAC Proceedings Volumes 42 (5), 75-80, 2009 | 7 | 2009 |