CfPBoK
by
Vadim Zaytsev
Andrzej Wąsowski
SLE 2010
⭐
SLE 2013
⭐
SLE 2016
⭐
🔍
SLE 2020
⭐
SLE 2023
📘
SLE 2024
🔍
Summary
4
papers in
4
bundles
Top 3 popular topics:
T1D: Composition
(
2
times)
T5D: Formal Methods
(
2
times)
T2C: Variability
(
1
times)
Top 3 coauthors:
Kacper Bąk
(
2
times)
Krzysztof Czarnecki
(
2
times)
Zinovy Diskin
(
1
times)
Made
7
contributions (see below)
List of contributions
(
SLE 2010
)
Coauthored
Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled
(
Kacper Bąk
,
Krzysztof Czarnecki
,
Andrzej Wąsowski
)
(
SLE 2013
)
Coauthored
Partial Instances via Subclassing
(
Kacper Bąk
,
Zinovy Diskin
,
Michał Antkiewicz
,
Krzysztof Czarnecki
,
Andrzej Wąsowski
)
(
SLE 2016
)
Coauthored
Symbolic Execution of High-Level Transformations
(
Ahmad Salim Al-Sibahi
,
Aleksandar S. Dimovski
,
Andrzej Wąsowski
)
(
SLE 2016
)
Served on
PC
(
SLE 2020
)
Coauthored
Behavior Trees in Action: A Study of Robotics Applications
(
Razan Ghzouli
,
Thorsten Berger
,
Einar Broch Johnsen
,
Swaib Dragule
,
Andrzej Wąsowski
)
(
SLE 2023
)
Wrote
Domain-Specific Languages: Effective Modeling, Automation, and Reuse
(
SLE 2024
)
Served on
PC
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.
