In our lab, you are free to work on what you are interested in, and your colleagues will always be there when you need help or feedback.
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/
Email: amurashk@gsd.uwaterloo.ca
LinkedIn: http://www.linkedin.com/in/amurashkin
Projects and Resume: http://gsd.uwaterloo.ca/murashkin/
News
- ‹‹
- 3 of 3
Projects
Current Projects
Tools
Graduate Courses
CS 652: Real-Time ProgrammingCS 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
Analysis and Prediction of Application Categories on Online Application Stores,
, no. GSDLAB-TR 2014-05-22, Waterloo, University of Waterloo, 2013.
"Clafer Tools for Product Line Engineering",
Software Product Line Conference, Tokyo, Japan, 2013.
[pdf]
"Visualization and Exploration of Optimal Variants in Product Line Engineering",
Software Product Line Conference, Tokyo, Japan, 2013.
[pdf][pdf]
Web-based GUI for Pareto front visualization and analysis,
, no. GSDLAB-TR 2013-02-04, Waterloo, University of Waterloo, 2013.
"Automotive Electronic/Electric Architecture Modeling, Design Exploration and Optimization using Clafer",
School of Computer Science, vol. Master of Mathematics: University of Waterloo, 2014.
"Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers",
SAE 2015 World Congress & Exhibition, Detroit, Michigan, USA, SAE, 04/2015.
"Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems",
Software and Systems Modeling, 2017.
