Our lab is not only about research: we do a lot of development using Java, Python, Javascript, Haskell and other languages in combination with advanced libraries and frameworks. This development experience was very helpful during my job interviews, and employers were impressed by the projects we develop here in the lab.
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.
