
Ahmad Salim Al-Sibahi
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
Information Desk: 72185000
- 2020
- 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 chapter › Book chapter › Research › peer-review
- 2018
- 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. thesis › Ph.D. thesis › Research
- 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 chapter › Article in proceedings › Research › peer-review
- 2016
- 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. thesis › Report › Research
- 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 Journal › Journal article › Research › peer-review
- 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 MachineryResearch output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- 2015
- 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 - 607Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- 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 chapter › Article in proceedings › Research › peer-review
- 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 Journal › Journal article › Research
- 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 journal › Conference abstract for conference › Research
ID: 78471534