×

zbMATH — the first resource for mathematics

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: 12 Publications since 2005

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 13 times in 8 Documents Cited by Year
Data-abstraction refinement: A game semantic approach. Zbl 1141.68366
Dimovski, Aleksandar; Ghica, Dan R.; Lazić, Ranko
6
2005
Program verification using symbolic game semantics. Zbl 1303.68083
Dimovski, Aleksandar S.
2
2014
Verifying annotated program families using symbolic game semantics. Zbl 1380.68121
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
Abstract family-based model checking using modal featured transition systems: preservation of \(\mathrm{CTL}^{\star}\). Zbl 1423.68277
Dimovski, Aleksandar S.
1
2018
Finding suitable variability abstractions for lifted analysis. Zbl 1425.68067
Dimovski, Aleksandar S.; Brabrand, Claus; Wąsowski, Andrzej
1
2019
Finding suitable variability abstractions for lifted analysis. Zbl 1425.68067
Dimovski, Aleksandar S.; Brabrand, Claus; Wąsowski, Andrzej
1
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
Program verification using symbolic game semantics. Zbl 1303.68083
Dimovski, Aleksandar S.
2
2014
Data-abstraction refinement: A game semantic approach. Zbl 1141.68366
Dimovski, Aleksandar; Ghica, Dan R.; Lazić, Ranko
6
2005

Citations by Year