Aleksandar Dimovski, PhD in Computer Science
(Former)
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
Information Desk: 72185000
- Published
Effective Analysis of C Programs by Rewriting Variability
Iosif-Lazar, A. F., Melo, J., Dimovski, A., Brabrand, C. & Wasowski, A., 27 Jan 2017, In: The Art, Science, and Engineering of Programming. 1, 1, p. 1-25 25 p., 1.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Published
Efficient family-based model checking via variability abstractions
Dimovski, A., Al-Sibahi, A. S., Brabrand, C. & Wasowski, A., 26 May 2016, In: International Journal on Software Tools for Technology Transfer. 19, 5, p. 585–603 19 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Published
Ensuring Secure Non-interference of Programs by Game Semantics
Dimovski, A., 15 Sep 2014. 16 p.Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research › peer-review
- Published
Experiences from Designing and Validating a Software Modernization Transformation
Iosif-Lazăr, A. F., Al-Sibahi, A. S., Dimovski, A., Savolainen, J. E., Sierszecki, K. & Wasowski, A., Nov 2015, Proceedings of the 30th ACM/IEEE international conference on Automated software engineering. IEEE, p. 597 - 607Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Family-Based Model Checking using Off-the-Shelf Model Checkers
Dimovski, A., Al-Sibahi, A. S., Brabrand, C. & Wasowski, A., 2015.Research output: Contribution to conference - NOT published in proceeding or journal › Conference abstract for conference › Research
- Published
Family-Based Model Checking Without a Family-Based Model Checker
Dimovski, A., Al-Sibahi, A. S., Brabrand, C. & Wasowski, A., 14 Aug 2015, Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings. Fischer, B. & Geldenhuys, J. (eds.). Springer VS, Vol. 9232. p. 282-299 18 p. (Lecture Notes in Computer Science).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Finding Suitable Variability Abstractions for Family-Based Analysis
Dimovski, A., Brabrand, C. & Wasowski, A., 8 Nov 2016, FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Fitzgerald, J. S., Heitmeyer, C. L., Gnesi, S. & Philippou, A. (eds.). Limassol, Cyprus, November 9-11, 2016: Springer, p. 217-234 17 p. (Lecture Notes in Computer Science, Vol. 9995).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL
Dimovski, A. & Wasowski, A., 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer, p. 249-268 (Lecture Notes in Computer Science, Vol. 10460).Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review
- Published
Program verification using symbolic game semantics
Dimovski, A., 16 Jan 2014, In: Theoretical Computer Science. 560, 3, p. 364 379 p., 560.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Published
Symbolic Execution of High-Level Transformations
Al-Sibahi, A. S., Dimovski, A. & Wasowski, A., 2016, Proceedings of the 9th ACM SIGPLAN International Conference on Software Language Engineering. Association for Computing MachineryResearch output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
ID: 49508672