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
2562015
Probabilistic supervisory control of probabilistic discrete event systems
V Pantelic, SM Postma, M Lawford
IEEE Transactions on Automatic Control 54 (8), 2013-2018, 2009
472009
Optimal supervisory control of probabilistic discrete event systems
V Pantelic, M Lawford
IEEE Transactions on Automatic Control 57 (5), 1110-1124, 2011
202011
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
162015
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
152015
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 (1), 95-117, 2018
132018
Using STPA in an ISO 26262 compliant process
A Mallya, V Pantelic, M Adedjouma, M Lawford, A Wassyng
International Conference on Computer Safety, Reliability, and Security, 117-129, 2016
132016
Inspection of concurrent systems: Combining tables, theorem proving and model checking
V Pantelic
112005
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
102017
A framework for supervisory control of probabilistic discrete event systems
V Pantelic, M Lawford, S Postma
IFAC Proceedings Volumes 47 (2), 477-484, 2014
92014
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
72015
Towards optimal supervisory control of probabilistic discrete event systems
V Pantelic, M Lawford
IFAC Proceedings Volumes 42 (5), 75-80, 2009
72009
A pseudometric in supervisory control of probabilistic discrete event systems
V Pantelic, M Lawford
Discrete Event Dynamic Systems 22 (4), 479-510, 2012
62012
Use of a metric in supervisory control of probabilistic discrete event systems
V Pantelic, M Lawford
IFAC Proceedings Volumes 43 (12), 217-222, 2010
52010
Towards integrated verification of timed transition models
M Lawford, V Pantelic, H Zhang
Fundamenta Informaticae 70 (1, 2), 75-110, 2006
52006
A Comparison of Componentization Constructs for Supporting Modularity in Simulink
M Jaskolka, V Pantelic, A Wassyng, M Lawford
SAE Technical Paper, 2020
32020
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
32018
Automatic Calibrations Generation for Powertrain Controllers Using MapleSim
A Korobkine, R Boimer, V Pantelic, SA Shah, M Lawford, C Castillo, ...
SAE Technical Paper, 2018
22018
Applying Modular Decomposition in Simulink
M Jaskolka, S Scott, V Pantelic, A Wassyng, M Lawford
2020 IEEE International Symposium on Software Reliability Engineering …, 2020
12020
Supporting modularity in Simulink models
M Jaskolka, V Pantelic, A Wassyng, M Lawford
arXiv preprint arXiv:2007.10120, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–20