Ahmad Salim Al-Sibahi

According to our database, Ahmad Salim Al-Sibahi authored at least 13 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Ancestral protein sequence reconstruction using a tree-structured Ornstein-Uhlenbeck variational autoencoder.

Lys Sanz Moreta, Ola Rønning, Ahmad Salim Al-Sibahi, Jotun Hein, Douglas L. Theobald, Thomas Hamelryck

Proceedings of the Tenth International Conference on Learning Representations, 2022

2021

Verification of Program Transformations with Inductive Refinement Types.

Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski

ACM Trans. Softw. Eng. Methodol., 2021

Efficient Generative Modelling of Protein Structure Fragments using a Deep Markov Model.

Christian B. Thygesen, Christian Skjødt Steenmans, Ahmad Salim Al-Sibahi, Lys Sanz Moreta, Anders Bundgård Sørensen, Thomas Hamelryck

Proceedings of the 38th International Conference on Machine Learning, 2021

2020

Galois Connections for Recursive Types.

Ahmad Salim Al-Sibahi, Thomas P. Jensen, Rasmus Ejlers Møgelberg, Andrzej Wasowski

Proceedings of the From Lambda Calculus to Cybersecurity Through Program Analysis, 2020

Bayesian protein superposition using Hamiltonian Monte Carlo.

Lys Sanz Moreta, Ahmad Salim Al-Sibahi, Thomas Hamelryck

Proceedings of the 20th IEEE International Conference on Bioinformatics and Bioengineering, 2020

2019

A Probabilistic Programming Approach to Protein Structure Superposition.

Lys Sanz Moreta, Ahmad Salim Al-Sibahi, Douglas L. Theobald, William Bullock, Basile Nicolas Rommes, Andreas Manoukian, Thomas Hamelryck

Proceedings of the IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, 2019

2018

Verification of high-level transformations with inductive refinement types.

Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski

Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018

2017

Efficient family-based model checking via variability abstractions.

Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski

Int. J. Softw. Tools Technol. Transf., 2017

The Core Semantics of Rascal.

Ahmad Salim Al-Sibahi

CoRR, 2017

2016

Symbolic execution of high-level transformations.

Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Andrzej Wasowski

Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016

2015

Family-based model checking using off-the-shelf model checkers: extended abstract.

Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski

Proceedings of the 19th International Conference on Software Product Line, 2015

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

Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Experiences from Designing and Validating a Software Modernization Transformation (E).

Alexandru F. Iosif-Lazar, Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Juha Erik Savolainen, Krzysztof Sierszecki, Andrzej Wasowski

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015