ITU
Ahmad Salim Al-Sibahi

Ahmad Salim Al-Sibahi

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Information Desk: 72185000

View graph of relations

  1. 2020
  2. Published

    Galois Connections for Recursive Types

    Al-Sibahi, A. S., Jensen, T. P., Møgelberg, R. E. & Wasowski, A., 2020, From Lambda Calculus to Cybersecurity Through Program Analysis. Springer, p. 105-131 (Lecture Notes in Computer Science, Vol. 12065).

    Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearchpeer-review

  3. 2018
  4. Published

    Foundational Analysis Techniques for High-Level Transformation Programs

    Al-Sibahi, A. S., 2018, IT-Universitetet i København. 316 p. (ITU-DS; No. 03).

    Research output: Book / Anthology / Report / Ph.D. thesisPh.D. thesisResearch

  5. Published

    Verification of high-level transformations with inductive refinement types

    Al-Sibahi, A. S., Jensen, T. P., Dimovski, A. & Wasowski, A., 2018, Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, {GPCE} 2018, Boston, MA, USA, November 5-6, 2018. Association for Computing Machinery, p. 147-160 14 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  6. 2016
  7. Published

    SymexTRON: Symbolic Execution of High-Level Transformation Languages: Symbolic Execution of High-Level Transformations

    Al-Sibahi, A. S., Dimovski, A. & Wasowski, A., Sep 2016, 24 p. (ITU Technical Report Series; No. TR-2016-196).

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  8. Published

    Efficient family-based model checking via variability abstractions

    Dimovski, A., Al-Sibahi, A. S., Brabrand, C. & Wasowski, A., 26 May 2016, In: International Journal on Software Tools for Technology Transfer. 19, 5, p. 585–603 19 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  9. Published

    Symbolic Execution of High-Level Transformations

    Al-Sibahi, A. S., Dimovski, A. & Wasowski, A., 2016, Proceedings of the 9th ACM SIGPLAN International Conference on Software Language Engineering. Association for Computing Machinery

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  10. 2015
  11. Published

    Experiences from Designing and Validating a Software Modernization Transformation

    Iosif-Lazăr, A. F., Al-Sibahi, A. S., Dimovski, A., Savolainen, J. E., Sierszecki, K. & Wasowski, A., Nov 2015, Proceedings of the 30th ACM/IEEE international conference on Automated software engineering. IEEE, p. 597 - 607

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  12. Published

    Family-Based Model Checking Without a Family-Based Model Checker

    Dimovski, A., Al-Sibahi, A. S., Brabrand, C. & Wasowski, A., 14 Aug 2015, Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings. Fischer, B. & Geldenhuys, J. (eds.). Springer VS, Vol. 9232. p. 282-299 18 p. (Lecture Notes in Computer Science).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  13. Published

    On the Computational Expressiveness of Model Transformation Languages

    Al-Sibahi, A. S., Jan 2015, In: ITU Technical Report Series. 18 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearch

  14. Published

    Family-Based Model Checking using Off-the-Shelf Model Checkers

    Dimovski, A., Al-Sibahi, A. S., Brabrand, C. & Wasowski, A., 2015.

    Research output: Contribution to conference - NOT published in proceeding or journalConference abstract for conferenceResearch

ID: 78471534