Følg
Ahmad Salim Al-Sibahi
Ahmad Salim Al-Sibahi
Assistant Professor, University of Copenhagen
Verificeret mail på di.ku.dk - Startside
Titel
Citeret af
Citeret af
År
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
402015
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
332016
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
242015
Symbolic Execution of High-Level Transformations
AS Al-Sibahi, A Dimovski, A Wasowski
202016
On the computational expressiveness of model transformation languages
AS Al-Sibahi
ITU Technical Report Series, 2015
92015
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
72019
Efficient generative modelling of protein structure fragments using a deep markov model
CB Thygesen, CS Steenmans, AS Al-Sibahi, LS Moreta, AB Sørensen, ...
International Conference on Machine Learning, 10258-10267, 2021
32021
Galois connections for recursive types
AS Al-Sibahi, T Jensen, RE Møgelberg, A Wąsowski
From Lambda Calculus to Cybersecurity Through Program Analysis: Essays …, 2020
32020
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
ELBO-ing Stein Mixtures
O Rønning, C Ley, AS Al-Sibahi, T Hamelryck
12023
Ancestral protein sequence reconstruction using a tree-structured Ornstein-Uhlenbeck variational autoencoder
LS Moreta, O Rønning, AS Al-Sibahi, J Hein, D Theobald, T Hamelryck
International Conference on Learning Representations, 2021
12021
EinSteinVI: General and Integrated Stein Variational Inference
O Rønning, AS Al-Sibahi, C Ley, T Hamelryck
12021
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
Bayesian protein superposition using Hamiltonian Monte Carlo
LS Moreta, AS Al-Sibahi, T Hamelryck
2020 IEEE 20th International Conference on Bioinformatics and Bioengineering …, 2020
12020
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-Universitetet i København, 2018
2018
The Core Semantics of Rascal.
AS Al-Sibahi
arXiv preprint arXiv:1703.02312, 2017
2017
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–20