Concepedia

Ahmad Salim Al-Sibahi

AS

3

Publications

71

Citations

3

H-Index

2015

Active since

Affiliations

IT University of Copenhagen(Current)

Ahmad Salim Al-Sibahi is an author at IT University of Copenhagen specializing in computer science, formal methods, and software analysis.

ORCID

Top concepts

Publications per year

2015–2016

3

Publications

3

Efficient family-based model checking via variability abstractions

Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand et al. · International Journal on Software Tools for Technology Transfer · 2016 · 38 citations · Full text

, , +9

Experiences from Designing and Validating a Software Modernization Transformation (E)

Alexandru F. Iosif-Lazăr, Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski et al. · 2015 · 17 citations

, , +27

Symbolic execution of high-level transformations

Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Andrzej Wąsowski · 2016 · 16 citations · Full text

, , +18

Rows per page

1–3 of 3