Aleksandar Dimovski

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6124290	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	2023-11-24	Paper
Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting	2022-10-13	Paper
https://portal.mardi4nfdi.de/entity/Q3384159	2021-12-14	Paper
A decision tree lifted domain for analyzing program families with numerical features	2021-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4992514	2021-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4986508	2021-04-27	Paper
Generalized abstraction-refinement for game-based CTL lifted model checking	2020-08-25	Paper
From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL	2020-02-24	Paper
Variability-Specific Abstraction Refinement for Family-Based Model Checking	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}\)	2019-09-16	Paper
Finding suitable variability abstractions for lifted analysis	2019-05-10	Paper
Verifying annotated program families using symbolic game semantics	2017-11-16	Paper
Program verification using symbolic game semantics	2014-12-02	Paper
Software model checking based on game semantics and CSP	2013-09-26	Paper
Static Analysis	2006-10-31	Paper

This page was built for person: Aleksandar Dimovski