×

Dimovski, Aleksandar S.

Compute Distance To:
Author ID: dimovski.aleksandar-s Recent zbMATH articles by "Dimovski, Aleksandar S."
Published as: Dimovski, Aleksandar S.; Dimovski, Aleksandar
Documents Indexed: 14 Publications since 2005
Co-Authors: 6 Co-Authors with 8 Joint Publications
199 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 18 times in 10 Documents Cited by Year
Data-abstraction refinement: A game semantic approach. Zbl 1141.68366
Dimovski, Aleksandar; Ghica, Dan R.; Lazić, Ranko
7
2005
Program verification using symbolic game semantics. Zbl 1303.68083
Dimovski, Aleksandar S.
3
2014
Finding suitable variability abstractions for lifted analysis. Zbl 1425.68067
Dimovski, Aleksandar S.; Brabrand, Claus; Wąsowski, Andrzej
2
2019
Variability-specific abstraction refinement for family-based model checking. Zbl 1430.68151
Dimovski, Aleksandar S.; Wąsowski, Andrzej
1
2017
From transition systems to variability models and from lifted model checking back to UPPAAL. Zbl 1431.68074
Dimovski, Aleksandar S.; Wąsowski, Andrzej
1
2017
Finding suitable variability abstractions for family-based analysis. Zbl 1427.68044
Dimovski, Aleksandar S.; Brabrand, Claus; Wąsowski, Andrzej
1
2016
A decision tree lifted domain for analyzing program families with numerical features. Zbl 1467.68036
Dimovski, Aleksandar S.; Apel, Sven; Legay, Axel
1
2021
Verifying annotated program families using symbolic game semantics. Zbl 1380.68121
Dimovski, Aleksandar S.
1
2018
Abstract family-based model checking using modal featured transition systems: preservation of \(\mathrm{CTL}^{\star}\). Zbl 1423.68277
Dimovski, Aleksandar S.
1
2018
A decision tree lifted domain for analyzing program families with numerical features. Zbl 1467.68036
Dimovski, Aleksandar S.; Apel, Sven; Legay, Axel
1
2021
Finding suitable variability abstractions for lifted analysis. Zbl 1425.68067
Dimovski, Aleksandar S.; Brabrand, Claus; Wąsowski, Andrzej
2
2019
Verifying annotated program families using symbolic game semantics. Zbl 1380.68121
Dimovski, Aleksandar S.
1
2018
Abstract family-based model checking using modal featured transition systems: preservation of \(\mathrm{CTL}^{\star}\). Zbl 1423.68277
Dimovski, Aleksandar S.
1
2018
Variability-specific abstraction refinement for family-based model checking. Zbl 1430.68151
Dimovski, Aleksandar S.; Wąsowski, Andrzej
1
2017
From transition systems to variability models and from lifted model checking back to UPPAAL. Zbl 1431.68074
Dimovski, Aleksandar S.; Wąsowski, Andrzej
1
2017
Finding suitable variability abstractions for family-based analysis. Zbl 1427.68044
Dimovski, Aleksandar S.; Brabrand, Claus; Wąsowski, Andrzej
1
2016
Program verification using symbolic game semantics. Zbl 1303.68083
Dimovski, Aleksandar S.
3
2014
Data-abstraction refinement: A game semantic approach. Zbl 1141.68366
Dimovski, Aleksandar; Ghica, Dan R.; Lazić, Ranko
7
2005

Citations by Year