Our lab is a very exciting place to learn and work!
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
- 1 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
"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.