Ahmad Salim Al-Sibahi

According to our database1, Ahmad Salim Al-Sibahi authored at least 11 papers between 2015 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Verification of Program Transformations with Inductive Refinement Types.
ACM Trans. Softw. Eng. Methodol., 2021

2020
Galois Connections for Recursive Types.
Proceedings of the From Lambda Calculus to Cybersecurity Through Program Analysis, 2020

Bayesian protein superposition using Hamiltonian Monte Carlo.
Proceedings of the 20th IEEE International Conference on Bioinformatics and Bioengineering, 2020

2019
A Probabilistic Programming Approach to Protein Structure Superposition.
Proceedings of the IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, 2019

2018
Verification of high-level transformations with inductive refinement types.
Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018

2017
Efficient family-based model checking via variability abstractions.
Int. J. Softw. Tools Technol. Transf., 2017

The Core Semantics of Rascal.
CoRR, 2017

2016
Symbolic execution of high-level transformations.
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.
Proceedings of the 19th International Conference on Software Product Line, 2015

Family-Based Model Checking Without a Family-Based Model Checker.
Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Experiences from Designing and Validating a Software Modernization Transformation (E).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015


  Loading...