Muhammad Osama

15 papers B 2C 1Journal 4Unranked 8
YearRankTypeTitle / Venue / Authors
2025 — conf
Parallel Equivalence Checking of Stabilizer Quantum Circuits on GPUs.
TACAS (3)
Muhammad Osama, Dimitrios Thanos, Alfons Laarman
2024 J jnl
Certified SAT solving with GPU accelerated inprocessing.
Formal Methods Syst. Des.
Muhammad Osama, Anton Wijs, Armin Biere
2024 — conf
Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking.
TACAS (2)
Muhammad Osama, Anton Wijs
2024 — conf
Towards End-to-End GPU Acceleration of PCTL Model Checking.
Principles of Verification (2)
Jan Heemstra, Muhammad Osama, Anton Wijs
2023 — conf
A GPU Tree Database for Many-Core Explicit State Space Exploration.
TACAS (1)
Anton Wijs, Muhammad Osama
2023 — conf
GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data.
SPIN
Anton Wijs, Muhammad Osama
2023 J jnl
Innermost many-sorted term rewriting on GPUs.
Sci. Comput. Program.
Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Muhammad Osama, Anton Wijs
2021 — conf
GPU Acceleration of Bounded Model Checking with ParaFROST.
CAV (2)
Muhammad Osama, Anton Wijs
2021 — conf
SAT Solving with GPU Accelerated Inprocessing.
TACAS (1)
Muhammad Osama, Anton Wijs, Armin Biere
2020 J jnl
An Effective SAT Solver Utilizing ACO Based on Heterogenous Systems.
IEEE Access
Hassan A. Youness, Muhammad Osama, Aziza I. Hussein, Mohammed Moness, Ammar Mostafa Hassan
2020 B conf
Multiple Decision Making in Conflict-Driven Clause Learning.
ICTAI
Muhammad Osama, Anton Wijs
2019 — conf
Parallel SAT Simplification on GPU Architectures.
TACAS (1)
Muhammad Osama, Anton Wijs
2019 B conf
SIGmA: GPU Accelerated Simplification of SAT Formulas.
IFM
Muhammad Osama, Anton Wijs
2018 J jnl
An Efficient SAT-Based Test Generation Algorithm with GPU Accelerator.
J. Electron. Test.
Muhammad Osama, Lamya Gaber, Aziza I. Hussein, Hanafy Mahmoud
2015 C conf
An Efficient Implementation of Ant Colony Optimization on GPU for the Satisfiability Problem.
PDP
Hassan A. Youness, Aziza Ibraheim, Mohammed Moness, Muhammad Osama