|
Principal Research Engineer McMaster Center for Software Certification McMaster Institute for Automotive Research and Technology (MacAUTO) McMaster University McMaster Automotive Resource Centre (MARC) 200 Longwood Road South, Unit 230 Hamilton, Ontario, Canada L8P 0A6 Phone: +1-289-674-0250, x59095 Fax: +1-905-5240340 Email: pantelv at mcmaster dot ca |
|
|
V. Pantelic, S. Postma, M. Lawford, A. Korobkine, B. Mackenzie, M. Bialy, M. Bender, J. Ong, G. Marks, A. Wassyng, “Software Engineering Practices and Simulink: Bridging the Gap,” International Journal on Software Tools for Technology Transfer (STTT), Springer Berlin Heidelberg, 2017.
M. Bialy, V. Pantelic, J. Jaskolka, A. Schaap, L. Patcas, M. Lawford, A. Wassyng, "Software Engineering for Model Based Design by Domain Experts," In Edward Griffor (editor): Handbook of System Safety and Security: Cyber Risk and Risk Management, Cyber Security, Threat Analysis, Functional Safety, Software Systems, and Cyber Physical Systems, 1st Edition, Elsevier, October 2016, 39-64.
M. Bender, K. Laurin, M. Lawford, V. Pantelic, A. Korobkine, J. Ong, B. Mackenzie, M. Bialy, S. Postma, "Signature required: Making Simulink data flow and interfaces explicit," Science of Computer Programming, Vol. 113, Part 1, December 2015, 29-50.
B. Bilgin, P. Magne, P. Malysz, Yinye Yang, V. Pantelic, M. Preindl, A. Korobkine, Weisheng Jiang, M. Lawford, A. Emadi, "Making the Case for Electrified Transportation," in IEEE Transactions on Transportation Electrification, Vol.1, No.1, June 2015, 4-17.
V. Pantelic, and M. Lawford, "A pseudometric in supervisory control of probabilistic discrete event systems", Journal of Discrete Event Dynamic Systems, Vol. 22, No. 4, Springer Netherlands, May 2012, 479-510.
V. Pantelic, and M. Lawford, "Optimal supervisory control of probabilistic discrete event systems," IEEE Transactions on Automatic Control, Vol. 56, No. 5, May 2012, 1110-1124.
V. Pantelic, S. Postma, and M. Lawford, "Supervisory control of probabilistic discrete event systems," IEEE Transactions on Automatic Control, Vol. 54, No. 8 August, 2009, 2013-2018.
M. Lawford, V. Pantelic, and H. Zhang, "Towards Integrated Verification of Timed Transition Models," Fundamenta Informaticae, Vol. 70, No. 1-2, January 2006, 155-164.
A. Mallya, V. Pantelic, M. Adedjouma, M. Lawford, A. Wassyng, "Using STPA in an ISO 26262 Compliant Process," In: Skavhaug A., Guiochet J., Bitsch F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2016, Lecture Notes in Computer Science, vol 9922. Springer, Cham, 2016.
M. Bialy, M. Lawford, V. Pantelic, A. Wassyng, "A Methodology for the Simplification of Tabular Designs in Model-based Development," Proceedings of the Third FME Workshop on Formal Methods in Software Engineering (Formalise '15), Florence, Italy, IEEE Press, 2015, 47-53.
Vera Pantelic, Steven Postma, Mark Lawford, Alexandre Korobkine, Bennett MacKenzie, Jeff Ong, Marc Bender, "A Toolset for Simulink: Improving Software Engineering Practices in Development with Simulink," 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015), SCITEPRESS, 2015, 50-61. (Best Paper Award)
Vera Pantelic, Mark Lawford, Steven Postma, "A Framework for Supervisory Control of Probabilistic Discrete Event Systems", In Proceedings of 12th International Workshop on Discrete Event Systems (WODES 2014), École Normale Supérieure de Cachan, France, 2014, 477-484.
Marc Bender, Karen Laurin, Mark Lawford, Jeff Ong, Steven Postma, Vera Pantelic, "Signature Required - Making Simulink Dataflow and Interfaces Explicit," Proceedings of 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014), SCITEPRESS, 2014, 119-131.
V. Pantelic and M. Lawford, "Use of a metric in supervisory control of probabilistic discrete event systems," In Proceedings of 10th IFAC Workshop on Discrete Event Systems (WODES 2010), Berlin, Germany, August 30 - September 1, 2010, 227-232.
V. Pantelic and M. Lawford, "Towards optimal supervisory control of probabilistic discrete event systems," In Proceedings of 2nd IFAC Workshop on Dependable Control of Discrete Systems, Bari, Italy, June 10-12, 2009, 85-90.
V. Pantelic, X. Jin, M. Lawford, and D. Parnas: Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking , In Proceedings of the 2006 International Conference on Software Engineering Research and Practice (SERP'06), Las Vegas, June, 2006, 629-635.
V. Pantelic and M. Lawford, "Optimal supervisory control of probabilistic discrete event systems," Software Quality Research Lab, McMaster University, Hamilton, ON, Canada, Tech. Rep. 55, draft version
V. Pantelic and M. Lawford, "Supervisory control of probabilistic discrete event systems," Software Quality Research Lab, McMaster University, Hamilton, ON, Canada, Tech. Rep. 21, July 2008.