Aleksandar Dimovski

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On calculating assertion probabilities for program families	2024-03-27	Paper
Quantitative program sketching using lifted static analysis	2024-01-23	Paper
Variability abstraction and refinement for game-based lifted model checking of full CTL Fundamental Approaches to Software Engineering	2023-11-24	Paper
Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting Fundamental Approaches to Software Engineering	2022-10-13	Paper
scientific article; zbMATH DE number 7445154 (Why is no real title available?)	2021-12-14	Paper
scientific article; zbMATH DE number 7445154 (Why is no real title available?) (available as arXiv preprint)	2021-12-14	Paper
A decision tree lifted domain for analyzing program families with numerical features (available as arXiv preprint)	2021-08-04	Paper
Slot games for detecting timing leaks of programs	2021-06-09	Paper
Slot games for detecting timing leaks of programs (available as arXiv preprint)	2021-06-09	Paper
scientific article; zbMATH DE number 7340142 (Why is no real title available?)	2021-04-27	Paper
scientific article; zbMATH DE number 7340142 (Why is no real title available?) (available as arXiv preprint)	2021-04-27	Paper
Generalized abstraction-refinement for game-based CTL lifted model checking Theoretical Computer Science	2020-08-25	Paper
From transition systems to variability models and from lifted model checking back to \textsf{UPPAAL} Lecture Notes in Computer Science	2020-02-24	Paper
Variability-specific abstraction refinement for family-based model checking Fundamental Approaches to Software Engineering	2020-02-13	Paper
Finding suitable variability abstractions for family-based analysis	2020-01-03	Paper
Abstract family-based model checking using modal featured transition systems: preservation of \(\mathrm{CTL}^{\star}\) (available as arXiv preprint)	2019-09-16	Paper
Finding suitable variability abstractions for lifted analysis Formal Aspects of Computing	2019-05-10	Paper
Verifying annotated program families using symbolic game semantics Theoretical Computer Science	2017-11-16	Paper
Program verification using symbolic game semantics Theoretical Computer Science	2014-12-02	Paper
Software model checking based on game semantics and CSP	2013-09-26	Paper
Static Analysis Lecture Notes in Computer Science	2006-10-31	Paper

Research outcomes over time

This page was built for person: Aleksandar Dimovski