Muhammad Osama

According to our database, Muhammad Osama authored at least 14 papers between 2015 and 2024.

Collaborative distances:

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

2024

Certified SAT solving with GPU accelerated inprocessing.

Muhammad Osama, Anton Wijs, Armin Biere

Formal Methods Syst. Des., June, 2024

Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking.

Muhammad Osama, Anton Wijs

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Innermost many-sorted term rewriting on GPUs.

Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Muhammad Osama, Anton Wijs

Sci. Comput. Program., 2023

A GPU Tree Database for Many-Core Explicit State Space Exploration.

Anton Wijs, Muhammad Osama

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data.

Anton Wijs, Muhammad Osama

Proceedings of the Model Checking Software - 29th International Symposium, 2023

2021

SAT Solving with GPU Accelerated Inprocessing.

Muhammad Osama, Anton Wijs, Armin Biere

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

GPU Acceleration of Bounded Model Checking with ParaFROST.

Muhammad Osama, Anton Wijs

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

An Effective SAT Solver Utilizing ACO Based on Heterogenous Systems.

Hassan A. Youness, Muhammad Osama, Aziza I. Hussein, Mohammed Moness, Ammar Mostafa Hassan

IEEE Access, 2020

Multiple Decision Making in Conflict-Driven Clause Learning.

Muhammad Osama, Anton Wijs

Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

2019

Parallel SAT Simplification on GPU Architectures.

Muhammad Osama, Anton Wijs

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

SIGmA: GPU Accelerated Simplification of SAT Formulas.

Muhammad Osama, Anton Wijs

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2018

A Real-Time Heterogeneous Emulator of a High-Fidelity Utility-Scale Variable-Speed Variable-Pitch Wind Turbine.

Mohammed Moness, Muhammad Osama Mahmoud, Ahmed Mahmoud Moustafa

IEEE Trans. Ind. Informatics, 2018

An Efficient SAT-Based Test Generation Algorithm with GPU Accelerator.

Muhammad Osama, Lamya Gaber, Aziza I. Hussein, Hanafy Mahmoud

J. Electron. Test., 2018

2015

An Efficient Implementation of Ant Colony Optimization on GPU for the Satisfiability Problem.

Hassan A. Youness, Aziza Ibraheim, Mohammed Moness, Muhammad Osama

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015