PhD Александар С. Димовски
no.: 03548

Semantics of programming languages, Verification and analysis of software systems, Synthesis of software systems, Formal methods

Work Experience: - Associate Professor, 20017 - present, University Mother Teresa - Skopje - Post-Doctoral Researcher, 2014 - 2017, IT University of Copenhagen, Denmark - Assistant Professor, 2007 - 2013, FON University - Skopje - Research Assistant, 2003 - 2007, University of Warwick, United Kingdom - Demonstrator, 2001 - 2003, Faculty of Natural Sciences and Mathematics, University Sts Cyril and Methodius - Skopje Education - PhD in Computer Science, 2003 - 2007, University of Warwick, United Kingdom - M.Sc in Informatics, Faculty of Natural Sciences and Mathematics, University Sts Cyril and Methodius - Skopje - B. Sc in Informatics, 1995 - 2000, Faculty of Natural Sciences and Mathematics, University Sts Cyril and Methodius - Skopje Publications: - Aleksandar S. Dimovski. Quantitative Program Sketching using Lifted Static Analysis. Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Proceedings. LNCS 13241, pp. 102--122, Springer. URL: https://doi.org/10.1007/978-3-030-99429-7\_6 - Aleksandar S. Dimovski. Model sketching by abstraction refinement for lifted model checking. SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022. Proceedings, pp. 1845--1848, ACM. URL: https://doi.org/10.1145/3477314.3507170 - Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski. Finding suitable variability abstractions for lifted analysis. Formal Asp. Comput. 31(2): 231-259 (2019). URL: https://doi.org/10.1007/s00165-019-00479-y - Aleksandar S. Dimovski, Axel Legay. Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting. Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Proceedings. LNCS 12076, pp. 182--202, Springer. URL: https://doi.org/10.1007/978-3-030-45234-6\_9 - Aleksandar S. Dimovski, Sven Apel and Axel Legay. A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features. Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Proceedings. LNCS 12649, pp. 67--86, Springer. URL: https://doi.org/10.1007/978-3-030-71500-7\_4 - Aleksandar S. Dimovski, Sven Apel and Axel Legay. Program Sketching Using Lifted Analysis for Numerical Program Families. NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings. LNCS 12673, pp. 95--112, Springer. URL: https://doi.org/10.1007/978-3-030-76384-8\_7 - Aleksandar S. Dimovski and Sven Apel. Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation. 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference). LIPIcs 194, pp. 14:1--14:28, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik. URL: https://doi.org/10.4230/LIPIcs.ECOOP.2021.14 - Aleksandar S. Dimovski. Lifted Termination Analysis by Abstract Interpretation and Its Applications. Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2019, Chicago, USA, October 17-19, 2021. pp. 102--114, ACM. - Aleksandar S. Dimovski, Sven Apel, Axel Legay: Several lifted abstract domains for static analysis of numerical program families. In Science of Computer Programming 213: 102725 (2022) - Aleksandar S. Dimovski, Bekim Fetaji: On Verifying Temporal Properties of Configurable Software. Proceedings of the 12th Mediterranean Conference on Embedded Computing, {MECO} 2023, Budva, Montenegro, June 6-10, 2023. pp. 1--5, IEEE. - Aleksandar S. Dimovski: On Verifying Temporal Properties of Configurable Software. Proceedings of Static Analysis - 30th International Symposium, {SAS} 2023, Cascais, Portugal, October 22-24, 2023. LNCS 14284, pp. 190--211, Springer.