People in the lab are very enthusiastic about what they do. The environment is very stimulating and soon you realize that most of the limits are those in your head.
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
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
"Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems",
Software and Systems Modeling, 2017.
"Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers",
SAE 2015 World Congress & Exhibition, Detroit, Michigan, USA, SAE, 04/2015.
"Automotive Electronic/Electric Architecture Modeling, Design Exploration and Optimization using Clafer",
School of Computer Science, vol. Master of Mathematics: University of Waterloo, 2014.
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.
