Follow
Vera Pantelic
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
4592015
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
902021
Probabilistic supervisory control of probabilistic discrete event systems
V Pantelic, SM Postma, M Lawford
IEEE Transactions on Automatic Control 54 (8), 2013-2018, 2009
552009
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
272018
Optimal supervisory control of probabilistic discrete event systems
V Pantelic, M Lawford
IEEE Transactions on Automatic Control 57 (5), 1110-1124, 2011
262011
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
232016
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
222015
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
202017
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
172015
Inspection of concurrent systems: Combining tables, theorem proving and model checking
V Pantelic
132005
A domain-centralized automotive powertrain E/E architecture
V Bandur, V Pantelic, M Dawson, A Schaap, B Wasacz, M Lawford
SAE Technical Paper, 2021
112021
Applying modular decomposition in Simulink
M Jaskolka, S Scott, V Pantelic, A Wassyng, M Lawford
2020 IEEE International Symposium on Software Reliability Engineering …, 2020
92020
Supporting modularity in Simulink models
M Jaskolka, V Pantelic, A Wassyng, M Lawford
arXiv preprint arXiv:2007.10120, 2020
92020
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
92018
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
82015
A framework for supervisory control of probabilistic discrete event systems
V Pantelic, M Lawford, S Postma
IFAC Proceedings Volumes 47 (2), 477-484, 2014
82014
A pseudometric in supervisory control of probabilistic discrete event systems
V Pantelic, M Lawford
Discrete Event Dynamic Systems 22, 479-510, 2012
82012
Towards optimal supervisory control of probabilistic discrete event systems
V Pantelic, M Lawford
IFAC Proceedings Volumes 42 (5), 75-80, 2009
72009
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
62021
Aspects of migrating from decentralized to centralized E/E architectures
V Bandur, R Kapinski, V Pantelic, M Lawford, B Wasacz
SAE Technical Paper, 2022
52022
The system can't perform the operation now. Try again later.
Articles 1–20