Follow
Alex Murashkin
Alex Murashkin
Quantstamp, University of Waterloo
Verified email at quantstamp.com
Title
Cited by
Cited by
Year
Clafer tools for product line engineering
M Antkiewicz, K Bąk, A Murashkin, R Olaechea, JH Liang, K Czarnecki
Proceedings of the 17th international software product line conference co …, 2013
922013
Visualization and exploration of optimal variants in product line engineering
A Murashkin, M Antkiewicz, D Rayside, K Czarnecki
Proceedings of the 17th International Software Product Line Conference, 111-115, 2013
802013
Sok: Not quite water under the bridge: Review of cross-chain bridge hacks
SS Lee, A Murashkin, M Derka, J Gorzny
2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 1-14, 2023
362023
Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems
JA Ross, A Murashkin, JH Liang, M Antkiewicz, K Czarnecki
Software & Systems Modeling 18, 739-767, 2019
252019
Automated decomposition and allocation of automotive safety integrity levels using exact solvers
A Murashkin, LS Azevedo, J Guo, E Zulkoski, JH Liang, K Czarnecki, ...
SAE International Journal of Passenger Cars-Electronic and Electrical …, 2015
182015
Automotive electronic/electric architecture modeling, design exploration and optimization using Clafer
A Murashkin
University of Waterloo, 2014
92014
Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems (SoSYM abstract)
JA Ross, A Murashkin, JH Liang, M Antkiewicz, K Czarnecki
2017 ACM/IEEE 20th International Conference on Model Driven Engineering …, 2017
32017
How to Hack a Bridge in 2022, 2023
M Derka, A Murashkin, K Bak, SSE Lee
12023
Constant-Time Updates Using Token Mechanics
S Banescu, M Derka, J Gorzny, SS Lee, A Murashkin
2020 IEEE International Conference on Blockchain (Blockchain), 300-304, 2020
2020
Web-Based GUI for Pareto Front Visualization and Analysis
A Murashkin
The system can't perform the operation now. Try again later.
Articles 1–10