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: Al-Sibahi:Ahmad_Salim
Contributed to:
2015
2015
2016
2018Wrote 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.