Aleksandar S. Dimovski

Identifiers

• name variant Aleksandar S. Dimovski 0.60 · backfill

Papers (6)

1. Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version) cs.PL · 2019 · author #1
2. Verification of High-Level Transformations with Inductive Refinement Types cs.PL · 2018 · author #3
3. Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* (Extended Version) cs.LO · 2018 · author #1
4. Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version) cs.PL · 2015 · author #1
5. Slot Games for Detecting Timing Leaks of Programs cs.PL · 2013 · author #1
6. Symbolic Representation of Algorithmic Game Semantics cs.FL · 2012 · author #1

Mentions

• 1503.04608 #1 · backfill · confidence 0.70 Aleksandar S. Dimovski
• 1307.4475 #1 · backfill · confidence 0.70 Aleksandar S. Dimovski
• 1210.2454 #1 · backfill · confidence 0.70 Aleksandar S. Dimovski

Frequent Coauthors

• Andrzej Wasowski 2 shared papers
• Ahmad Salim Al-Sibahi 1 shared papers
• Andrzej W\k{a}sowski 1 shared papers
• Axel Legay 1 shared papers
• Claus Brabrand 1 shared papers
• Thomas P. Jensen 1 shared papers