Muhammad Osama

Orcid: 0000-0002-5023-5348

Affiliations:
  • Eindhoven University of Technology, Netherlands
  • Minia University, Computers and Systems Engineering Department, Egypt (2016-2023)


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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Certified SAT solving with GPU accelerated inprocessing.
Formal Methods Syst. Des., June, 2024

Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023
Innermost many-sorted term rewriting on GPUs.
Sci. Comput. Program., 2023

A GPU Tree Database for Many-Core Explicit State Space Exploration.
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.
Proceedings of the Model Checking Software - 29th International Symposium, 2023

2021
SAT Solving with GPU Accelerated Inprocessing.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

GPU Acceleration of Bounded Model Checking with ParaFROST.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020
An Effective SAT Solver Utilizing ACO Based on Heterogenous Systems.
IEEE Access, 2020

Multiple Decision Making in Conflict-Driven Clause Learning.
Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

2019
Parallel SAT Simplification on GPU Architectures.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

SIGmA: GPU Accelerated Simplification of SAT Formulas.
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.
IEEE Trans. Ind. Informatics, 2018

An Efficient SAT-Based Test Generation Algorithm with GPU Accelerator.
J. Electron. Test., 2018

2015
An Efficient Implementation of Ant Colony Optimization on GPU for the Satisfiability Problem.
Proceedings of the 23rd Euromicro International Conference on Parallel, 2015


  Loading...