Aleksandar S. Dimovski

Available identifiers

zbMath Open dimovski.aleksandar-sMaRDI QIDQ477212

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6124290	2024-03-27	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
https://portal.mardi4nfdi.de/entity/Q2848417	2013-09-26	Paper
Static Analysis	2006-10-31	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Aleksandar S. Dimovski