Travelled to:1 × Czech Republic
1 × The Netherlands
1 × USA
Collaborated with:A.Wasowski A.S.Al-Sibahi ∅ C.Brabrand A.Legay T.P.Jensen A.F.Iosif-Lazar J.E.Savolainen K.Sierszecki
Talks about:abstract (6) model (5) base (5) famili (4) check (4) transform (3) variabl (3) refin (3) use (3) level (2)
Person: Aleksandar S. Dimovski
DBLP: Dimovski:Aleksandar_S=
Contributed to:
2015
2015
2015
2016
20182019
201720182019Wrote 9 papers:
- ECOOP-2015-DimovskiBW #abstraction #analysis #precise #variability
- Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (ASD, CB, AW), pp. 247–270.
- SPLC-2015-DimovskiABW #model checking #off the shelf #using
- Family-based model checking using off-the-shelf model checkers: extended abstract (ASD, ASAS, CB, AW), p. 397.
- ASE-2015-Iosif-LazarADSS #case study #design #experience #legacy #validation
- Experiences from Designing and Validating a Software Modernization Transformation (E) (AFIL, ASAS, ASD, JES, KS, AW), pp. 597–607.
- SLE-2016-Al-SibahiDW #execution #symbolic computation
- Symbolic execution of high-level transformations (ASAS, ASD, AW), pp. 207–220.
- GPCE-2018-Al-SibahiJDW #induction #refinement #verification
- Verification of high-level transformations with inductive refinement types (ASAS, TPJ, ASD, AW), pp. 147–160.
- GPCE-2019-Dimovski #abstract domain #diagrams #static analysis #using
- Lifted static analysis using a binary decision diagram abstract domain (ASD), pp. 102–114.
- FASE-2017-DimovskiW #abstraction #model checking #refinement #variability
- Variability-Specific Abstraction Refinement for Family-Based Model Checking (ASD, AW), pp. 406–423.
- FASE-2018-Dimovski #model checking #using
- Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL* (ASD), pp. 301–318.
- FASE-2019-DimovskiLW #abstraction #game studies #model checking #refinement #variability
- Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL (ASD, AL, AW), pp. 192–209.