BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × The Netherlands
1 × USA
Collaborated with:
A.S.Dimovski A.Wasowski C.Brabrand T.P.Jensen A.F.Iosif-Lazar J.E.Savolainen K.Sierszecki
Talks about:
transform (3) model (2) level (2) high (2) abstract (1) softwar (1) checker (1) symbol (1) modern (1) induct (1)

Person: Ahmad Salim Al-Sibahi

DBLP DBLP: Al-Sibahi:Ahmad_Salim

Contributed to:

SPLC 20152015
ASE 20152015
SLE 20162016
GPCE 20182018

Wrote 4 papers:

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.