Dimovski, Aleksandar S.; Apel, Sven; Legay, Axel A decision tree lifted domain for analyzing program families with numerical features. (English) Zbl 1467.68036 Guerra, Esther (ed.) et al., Fundamental approaches to software engineering. 24th international conference, FASE 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12649, 67-86 (2021). MSC: 68N30 PDFBibTeX XMLCite \textit{A. S. Dimovski} et al., Lect. Notes Comput. Sci. 12649, 67--86 (2021; Zbl 1467.68036) Full Text: DOI arXiv
Dimovski, Aleksandar S.; Legay, Axel Computing program reliability using forward-backward precondition analysis and model counting. (English) Zbl 1507.68084 Wehrheim, Heike (ed.) et al., Fundamental approaches to software engineering. 23rd international conference, FASE 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12076, 182-202 (2020). MSC: 68N30 PDFBibTeX XMLCite \textit{A. S. Dimovski} and \textit{A. Legay}, Lect. Notes Comput. Sci. 12076, 182--202 (2020; Zbl 1507.68084) Full Text: DOI
Dimovski, Aleksandar S.; Brabrand, Claus; Wąsowski, Andrzej Finding suitable variability abstractions for lifted analysis. (English) Zbl 1425.68067 Formal Asp. Comput. 31, No. 2, 231-259 (2019). MSC: 68N30 PDFBibTeX XMLCite \textit{A. S. Dimovski} et al., Formal Asp. Comput. 31, No. 2, 231--259 (2019; Zbl 1425.68067) Full Text: DOI
Dimovski, Aleksandar S. Verifying annotated program families using symbolic game semantics. (English) Zbl 1380.68121 Theor. Comput. Sci. 706, 35-53 (2018). MSC: 68N30 68Q45 68Q55 68Q60 PDFBibTeX XMLCite \textit{A. S. Dimovski}, Theor. Comput. Sci. 706, 35--53 (2018; Zbl 1380.68121) Full Text: DOI