( en | de | ru )

 

Disambiguation of "Dimovski, Aleksandar S."

Author of the publication

copydeleteadd this publication to your clipboard
Software Model Checking Based on Game Semantics and CSP.

, and . AVoCS, volume 128 of Electronic Notes in Theoretical Computer Science, page 105-125. Elsevier, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Aleksandar Dimovski

Aleksandar Radoni

Einfluss des humanen Herpesvirus-6 auf die Expression Apoptose- und Zellzyklus-relevanter Gene. HU Berlin, (2009)

Aleksandar Vidic

Aleksandar Aleksov

Aleksandar Tuci

 

Other publications of authors with the same name

$CTL^$ family-based model checking using variability abstractions and modal transition systems.. Int. J. Softw. Tools Technol. Transf., 22 (1): 35-55 (2020)Family-based model checking using off-the-shelf model checkers: extended abstract., , , and . SPLC, page 397. ACM, (2015)Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* (Extended Version).. CoRR, (2018)Verification of Program Transformations with Inductive Refinement Types., , , and . ACM Trans. Softw. Eng. Methodol., 30 (1): 5:1-5:33 (2021)Systematic derivation of correct variability-aware program analyses., , , and . Sci. Comput. Program., (2015)On Verifying Temporal Properties of Configurable Software., and . MECO, page 1-5. IEEE, (2023)Program Sketching Using Lifted Analysis for Numerical Program Families., , and . NFM, volume 12673 of Lecture Notes in Computer Science, page 95-112. Springer, (2021)Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL\(^\).. FASE, volume 10802 of Lecture Notes in Computer Science, page 301-318. Springer, (2018)Symbolic execution of high-level transformations., , and . SLE, page 207-220. ACM, (2016)Prediction of Horizontal Data Partitioning Through Query Execution Cost Estimation., , , , , and . CoRR, (2019)