Kacper Bak

According to our database, Kacper Bak authored at least 8 papers between 2010 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, January, 2025

2016

Clafer: unifying class and feature modeling.

Kacper Bak, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski

Softw. Syst. Model., 2016

2013

Modeling and Analysis of Software Product Line Variability in Clafer.

Kacper Bak

PhD thesis, 2013

Clafer tools for product line engineering.

Michal Antkiewicz, Kacper Bak, Alexandr Murashkin, Rafael Olaechea, Jia Hui (Jimmy) Liang, Krzysztof Czarnecki

Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013

Partial Instances via Subclassing.

Kacper Bak, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski

Proceedings of the Software Language Engineering - 6th International Conference, 2013

Example-Driven Modeling using Clafer.

Michal Antkiewicz, Kacper Bak, Krzysztof Czarnecki, Zinovy Diskin, Dina Zayan, Andrzej Wasowski

Proceedings of the First International Workshop on Model-driven Engineering By Example co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

Example-driven modeling: model = abstractions + examples.

Kacper Bak, Dina Zayan, Krzysztof Czarnecki, Michal Antkiewicz, Zinovy Diskin, Andrzej Wasowski, Derek Rayside

Proceedings of the 35th International Conference on Software Engineering, 2013

2010

Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled.

Kacper Bak, Krzysztof Czarnecki, Andrzej Wasowski

Proceedings of the Software Language Engineering - Third International Conference, 2010