Alexandr Murashkin, B.Sc.

MMath Student
Email: amurashk@gsd.uwaterloo.ca
LinkedIn: http://www.linkedin.com/in/amurashkin
Projects and Resume: http://gsd.uwaterloo.ca/murashkin/

B.Sc., Faculty of Information Technologies, Kazakh-British Technical University

News

Projects

Current Projects

Tools

Web-Based Clafer Tools

Graduate Courses

CS 652: Real-Time Programming
CS 745: Computer-Aided Verification
CS 846: Advanced Topics in Software Engineering: Human Aspects of Software Engineering
CS 886: Advanced Topics in Artificial Intelligence: Applied Machine Learning

Publications

2017

Ross, J., A. Murashkin, J. Liang, M. Antkiewicz, and K. Czarnecki, "Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems", Software and Systems Modeling, 2017.

[bib]

2015

Murashkin, A., L S. Azevedo, J. Guo, E. Zulkoski, J. Liang, K. Czarnecki, and D. Parker, "Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers", SAE 2015 World Congress & Exhibition, Detroit, Michigan, USA, SAE, 04/2015.

[bib]

2014

Murashkin, A., "Automotive Electronic/Electric Architecture Modeling, Design Exploration and Optimization using Clafer", School of Computer Science, vol. Master of Mathematics: University of Waterloo, 2014.

[bib]

2013

Murashkin, A., Analysis and Prediction of Application Categories on Online Application Stores, , no. GSDLAB-TR 2014-05-22, Waterloo, University of Waterloo, 2013.