Ahmad Salim Al-Sibahi

14 papers A* 3B 3C 2Journal 4Unranked 2
YearRankTypeTitle / Venue / Authors
2022 A* conf
Ancestral protein sequence reconstruction using a tree-structured Ornstein-Uhlenbeck variational autoencoder.
ICLR
Lys Sanz Moreta, Ola Rønning, Ahmad Salim Al-Sibahi, Jotun Hein, Douglas L. Theobald, Thomas Hamelryck
2021 A* conf
Efficient Generative Modelling of Protein Structure Fragments using a Deep Markov Model.
ICML
Christian B. Thygesen, Christian Skjødt Steenmans, Ahmad Salim Al-Sibahi, Lys Sanz Moreta, Anders Bundgård Sørensen, Thomas Hamelryck
2021 J jnl
Verification of Program Transformations with Inductive Refinement Types.
ACM Trans. Softw. Eng. Methodol.
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski
2020 C conf
Bayesian protein superposition using Hamiltonian Monte Carlo.
BIBE
Lys Sanz Moreta, Ahmad Salim Al-Sibahi, Thomas Hamelryck
2020 — conf
Galois Connections for Recursive Types.
From Lambda Calculus to Cybersecurity Through Program Analysis
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Rasmus Ejlers Møgelberg, Andrzej Wasowski
2019 C conf
A Probabilistic Programming Approach to Protein Structure Superposition.
CIBCB
Lys Sanz Moreta, Ahmad Salim Al-Sibahi, Douglas L. Theobald, William Bullock, Basile Nicolas Rommes, Andreas Manoukian, Thomas Hamelryck
2018 J jnl
Verification of High-Level Transformations with Inductive Refinement Types.
CoRR
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski
2018 B conf
Verification of high-level transformations with inductive refinement types.
GPCE
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski
2017 J jnl
Efficient family-based model checking via variability abstractions.
Int. J. Softw. Tools Technol. Transf.
Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski
2017 J jnl
The Core Semantics of Rascal.
CoRR
Ahmad Salim Al-Sibahi
2016 B conf
Symbolic execution of high-level transformations.
SLE
Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Andrzej Wasowski
2015 A* conf
Experiences from Designing and Validating a Software Modernization Transformation (E).
ASE
Alexandru F. Iosif-Lazar, Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Juha Erik Savolainen, Krzysztof Sierszecki, Andrzej Wasowski
2015 — conf
Family-Based Model Checking Without a Family-Based Model Checker.
SPIN
Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski
2015 B conf
Family-based model checking using off-the-shelf model checkers: extended abstract.
SPLC
Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski