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 | 89 | 2013 |
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 | 81 | 2013 |
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 | 33 | 2023 |
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 | 26 | 2019 |
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 | 18 | 2015 |
Automotive electronic/electric architecture modeling, design exploration and optimization using Clafer A Murashkin University of Waterloo, 2014 | 9 | 2014 |
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 | 3 | 2017 |
How to Hack a Bridge in 2022, 2023 M Derka, A Murashkin, K Bak, SSE Lee | 1 | 2023 |
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 | | |