Ahmad Salim Al-Sibahi
Title
Cited by
Cited by
Year
Family-based model checking without a family-based model checker
AS Dimovski, AS Al-Sibahi, C Brabrand, A Wąsowski
International SPIN Workshop on Model Checking of Software, 282-299, 2015
352015
Efficient family-based model checking via variability abstractions
AS Dimovski, AS Al-Sibahi, C Brabrand, A Wąsowski
International Journal on Software Tools for Technology Transfer, 1-19, 2016
262016
Experiences from designing and validating a software modernization transformation (E)
AF Iosif-Lazar, AS Al-Sibahi, AS Dimovski, JE Savolainen, K Sierszecki, ...
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
182015
Symbolic Execution of High-Level Transformations
AS Al-Sibahi, A Dimovski, A Wasowski
142016
On the computational expressiveness of model transformation languages
AS Al-Sibahi
IT University of Copenhagen, 2015
92015
Verification of high-level transformations with inductive refinement types
AS Al-Sibahi, TP Jensen, AS Dimovski, A Wąsowski
ACM SIGPLAN Notices 53 (9), 147-160, 2018
32018
The Practical Guide to Levitation
AS Al-Sibahi, P Sestoft, DR Christiansen
IT University of Copenhagen, 2014
32014
Family-based model checking using off-the-shelf model checkers
AS Dimovski, AS Al-Sibahi, C Brabrand, A Wąsowski
Proceedings of the 19th International Conference on Software Product Line …, 2015
22015
Verification of program transformations with inductive refinement types
AS Al-Sibahi, TP Jensen, AS Dimovski, A Wąsowski
ACM Transactions on Software Engineering and Methodology (TOSEM) 30 (1), 1-33, 2021
12021
Galois Connections for Recursive Types
AS Al-Sibahi, T Jensen, RE Møgelberg, A Wąsowski
From Lambda Calculus to Cybersecurity Through Program Analysis, 105-131, 2020
12020
A probabilistic programming approach to protein structure superposition
LS Moreta, AS Al-Sibahi, D Theobald, W Bullock, BN Rommes, ...
2019 IEEE Conference on Computational Intelligence in Bioinformatics and …, 2019
12019
Symextron: Symbolic execution of high-level transformations
AS Al-Sibahi, AS Dimovski, A Wa̜sowski
IT University of Copenhagen, 2016
12016
Efficient Generative Modelling of Protein Structure Fragments using a Deep Markov Model
CB Thygesen, AS Al-Sibahi, LS Moreta, CS Steenmans, AB Sørensen, ...
bioRxiv, 2021
2021
Bayesian protein superposition using Hamiltonian Monte Carlo
LS Moreta, AS Al-Sibahi, T Hamelryck
2020 IEEE 20th International Conference on Bioinformatics and Bioengineering …, 2020
2020
Einstein VI: General and Integrated Stein Variational Inference in NumPyro
AS Al-Sibahi, O Rønning, C Ley, TW Hamelryck
2020
A Probabilistic Programming Approach to Protein Structure Superposition
AS Al-Sibahi, D Theobald, W Bullock, BN Rommes, A Manoukian, ...
2019
Foundational Analysis Techniques for High-Level Transformation Programs
AS Al-Sibahi
IT University of Copenhagen, Pervasive Interaction Technology Lab, 2018
2018
The Core Semantics of Rascal.
AS Al-Sibahi
arXiv preprint arXiv:1703.02312, 2017
2017
SymexTRON: Symbolic Execution of High-Level Transformation Languages
AS Al-Sibahi, A Dimovski, A Wasowski
2016
Scrapping Your Dependently-Typed Boilerplate is Hard
AS Al-Sibahi
The system can't perform the operation now. Try again later.
Articles 1–20