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 (ASE, 2015)

Family-Based Model Checking Without a Family-Based Model Checker. - Aleksandar S. Dimovski; Ahmad Salim Al-Sibahi; Claus Brabrand; Andrzej Wasowski (SPIN, 2015)

Family-based model checking using off-the-shelf model checkers: extended abstract. - Aleksandar S. Dimovski; Ahmad Salim Al-Sibahi; Claus Brabrand; Andrzej Wasowski (SPLC, 2015)

Symbolic execution of high-level transformations. - Ahmad Salim Al-Sibahi; Aleksandar S. Dimovski; Andrzej Wasowski (SLE, 2016)

The Core Semantics of Rascal. - Ahmad Salim Al-Sibahi (CoRR, 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)

Verification of high-level transformations with inductive refinement types. - Ahmad Salim Al-Sibahi; Thomas P. Jensen; Aleksandar S. Dimovski; Andrzej Wasowski (GPCE, 2018)

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 (CIBCB, 2019)

Bayesian protein superposition using Hamiltonian Monte Carlo. - Lys Sanz Moreta; Ahmad Salim Al-Sibahi; Thomas Hamelryck (BIBE, 2020)

Galois Connections for Recursive Types. - Ahmad Salim Al-Sibahi; Thomas P. Jensen; Rasmus Ejlers Møgelberg; Andrzej Wasowski (From Lambda Calculus to Cybersecurity Through Program Analysis, 2020)

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 (ICML, 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)

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 (ICLR, 2022)