Ahmad Salim Al Sibahi

Ahmad Salim Al Sibahi

University of Copenhagen - Copenhagen / Denmark
Engineering & Technology / Computer Science
AD Scientific Index ID: 5059799
Københavns Universitet
person_outline Ahmad Salim Al Sibahi's MOST POPULAR ARTICLES
1-) Family-based model checking without a family-based model checker AS Dimovski, AS Al-Sibahi, C Brabrand, A Wąsowski International SPIN Workshop on Model Checking of Software, 282-299, 2015 392015
2-) Efficient family-based model checking via variability abstractions AS Dimovski, AS Al-Sibahi, C Brabrand, A Wąsowski International Journal on Software Tools for Technology Transfer, 1-19, 2016 322016
3-) Experiences from designing and validating a software modernization transformation (E) AF Iosif-Lazar, AS Al-Sibahi, AS Dimovski, JE Savolainen, K Sierszecki, ... 2015 30th IEEE/ACM International Conference on Automated Software …, 2015 232015
4-) Symbolic Execution of High-Level TransformationsAS Al-Sibahi, A Dimovski, A Wasowski232016
5-) On the computational expressiveness of model transformation languagesAS Al-SibahiITU Technical Report Series, 201592015