Ahmad Salim Al-Sibahi

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Aleksandar S. Dimovski

> Home > Persons > Ahmad Salim Al-Sibahi

Publications

2021
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/Al-SibahiJDW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/Al-SibahiJDW21
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski:
Verification of Program Transformations with Inductive Refinement Types. ACM Trans. Softw. Eng. Methodol. 30(1): 5:1-5:33 (2021)
2018
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/gpce/Al-SibahiJDW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/Al-SibahiJDW18
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski:
Verification of high-level transformations with inductive refinement types. GPCE 2018: 147-160
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1809-06336
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-06336
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski:
Verification of High-Level Transformations with Inductive Refinement Types. CoRR abs/1809.06336 (2018)
2017
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/DimovskiABW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/DimovskiABW17
Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski:
Efficient family-based model checking via variability abstractions. Int. J. Softw. Tools Technol. Transf. 19(5): 585-603 (2017)
2016
[c4]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/sle/Al-SibahiDW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sle/Al-SibahiDW16
Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Andrzej Wasowski:
Symbolic execution of high-level transformations. SLE 2016: 207-220
2015
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/Iosif-LazarADSS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/Iosif-LazarADSS15
Alexandru F. Iosif-Lazar, Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Juha Erik Savolainen, Krzysztof Sierszecki, Andrzej Wasowski:
Experiences from Designing and Validating a Software Modernization Transformation (E). ASE 2015: 597-607
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/DimovskiABW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/DimovskiABW15
Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski:
Family-Based Model Checking Without a Family-Based Model Checker. SPIN 2015: 282-299
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/DimovskiABW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/DimovskiABW15
Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski:
Family-based model checking using off-the-shelf model checkers: extended abstract. SPLC 2015: 397

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.