Clafer tools for product line engineering. - Michal Antkiewicz; Kacper Bak; Alexandr Murashkin; Rafael Olaechea; Jia Hui (Jimmy) Liang; Krzysztof Czarnecki 001 (SPLC Workshops, 2013)

Visualization and exploration of optimal variants in product line engineering. - Alexandr Murashkin; Michal Antkiewicz; Derek Rayside; Krzysztof Czarnecki 001 (SPLC, 2013)

Synthesis and Exploration of Multi-level, Multi-perspective Architectures of Automotive Embedded Systems (SoSYM Abstract). - Jordan A. Ross; Alexandr Murashkin; Jia Hui Liang; Michal Antkiewicz; Krzysztof Czarnecki 001 (MoDELS, 2017)

Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems. - Jordan A. Ross; Alexandr Murashkin; Jia Hui Liang; Michal Antkiewicz; Krzysztof Czarnecki 001 (Softw. Syst. Model., 2019)

Constant-Time Updates Using Token Mechanics. - Sebastian Banescu; Martin Derka; Jan Gorzny; Sung-Shine Lee; Alex Murashkin (Blockchain, 2020)

SoK: Not Quite Water Under the Bridge: Review of Cross-Chain Bridge Hacks. - Sung-Shine Lee; Alexandr Murashkin; Martin Derka; Jan Gorzny (ICBC, 2023)

Blue-Green Deployments for Smart Contracts. - Jan Gorzny; Valerian Callens; Alexandr Murashkin (ICBC, 2025)

SoK: A Review of Cross-Chain Bridge Hacks in 2023. - Nikita Belenkov; Valerian Callens; Alexandr Murashkin; Kacper Bak; Martin Derka; Jan Gorzny; Sung-Shine Lee (CoRR, 2025)