CfPBoK
by
Vadim Zaytsev
Aleksandar S. Dimovski
SLE 2016
⭐
SLE 2025
⭐
Summary
2
papers in
2
bundles
Top 3 popular topics:
T5D: Formal Methods
(
2
times)
T3B: Transformation Languages
(
1
times)
T4C: Vertical Transformation
(
1
times)
Top 3 coauthors:
Ahmad Salim Al-Sibahi
(
1
times)
Andrzej Wąsowski
(
1
times)
∅
(
1
times)
Made
2
contributions (see below)
List of contributions
(
SLE 2016
)
Coauthored
Symbolic Execution of High-Level Transformations
(
Ahmad Salim Al-Sibahi
,
Aleksandar S. Dimovski
,
Andrzej Wąsowski
)
(
SLE 2025
)
Authored
Variability Fault Localization by Abstract Interpretation and its Application to SPL Repair
(
Aleksandar S. Dimovski
)
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.