Variability abstractions for lifted analyses

Science of Computer Programming ◽

10.1016/j.scico.2017.12.012 ◽

2018 ◽

Vol 159 ◽

pp. 1-27 ◽

Author(s):

Aleksandar S. Dimovski ◽

Claus Brabrand ◽

Andrzej Wasowski

Keyword(s):

Variability Abstractions

Download Full-text

Finding suitable variability abstractions for lifted analysis

Formal Aspects of Computing ◽

10.1007/s00165-019-00479-y ◽

2019 ◽

Vol 31 (2) ◽

pp. 231-259 ◽

Author(s):

Aleksandar S. Dimovski ◽

Claus Brabrand ◽

Andrzej Wąsowski

Keyword(s):

Variability Abstractions

Download Full-text

Finding Suitable Variability Abstractions for Family-Based Analysis

FM 2016: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-48989-6_14 ◽

2016 ◽

pp. 217-234 ◽

Author(s):

Aleksandar S. Dimovski ◽

Claus Brabrand ◽

Andrzej Wąsowski

Keyword(s):

Family Based ◽

Variability Abstractions

Download Full-text

$$\hbox {CTL}^{\star }$$ family-based model checking using variability abstractions and modal transition systems

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-019-00528-0 ◽

2019 ◽

Vol 22 (1) ◽

pp. 35-55 ◽

Author(s):

Aleksandar S. Dimovski

Keyword(s):

Model Checking ◽

Transition Systems ◽

Modal Transition Systems ◽

Family Based ◽

Variability Abstractions

Download Full-text

Efficient family-based model checking via variability abstractions

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-016-0425-2 ◽

2016 ◽

Vol 19 (5) ◽

pp. 585-603 ◽

Author(s):

Aleksandar S. Dimovski ◽

Ahmad Salim Al-Sibahi ◽

Claus Brabrand ◽

Andrzej Wąsowski

Keyword(s):

Model Checking ◽

Family Based ◽

Variability Abstractions

Download Full-text