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 | 44 | 2015 |
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 | 36 | 2016 |
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 | 26 | 2015 |
Symbolic Execution of High-Level Transformations AS Al-Sibahi, A Dimovski, A Wasowski | 23 | 2016 |
On the computational expressiveness of model transformation languages AS Al-Sibahi ITU Technical Report Series, 2015 | 9 | 2015 |
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 | 7 | 2019 |
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, 2022 | 4 | 2022 |
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 | 3 | 2021 |
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 | 3 | 2020 |
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 | 3 | 2018 |
The Practical Guide to Levitation AS Al-Sibahi, P Sestoft, DR Christiansen IT University of Copenhagen, 2014 | 3 | 2014 |
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 | 2 | 2015 |
ELBO-ing Stein Mixtures O Rønning, C Ley, AS Al-Sibahi, T Hamelryck | 1 | 2023 |
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 | 1 | 2021 |
EinSteinVI: General and Integrated Stein Variational Inference O Rønning, AS Al-Sibahi, C Ley, T Hamelryck | 1 | 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 | 1 | 2020 |
Ancestral protein sequence reconstruction using a tree-structured Ornstein-Uhlenbeck variational autoencoder D Theobald, LS Moreta, O Rønning, AS Al-Sibahi, J Hein, T Hamelryck ICLR 2022: The Tenth International Conference on Learning Representations, 0 | 1 | |
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 |