Projects per year
Personal profile
Education/Academic qualification
Computer systems, architectures, networks, Master, An Efficient Exploration Algorithm for Digital VLSI Systems and Its Implementation on CPU-GPU Heterogeneous Systems, Minia University
2013 → 2015
Award Date: 15 Dec 2015
Computer systems, architectures, networks, Bachelor, Parallel Programming, Minia University
2006 → 2011
Award Date: 1 Jul 2011
Fingerprint
Dive into the research topics where Muhammad Osama Mahmoud is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 1 Finished
Research output
-
GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data.
Wijs, A. & Osama, M., 2023, SPIN. p. 188-197 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
-
Innermost many-sorted term rewriting on GPUs
van Eerd, J., Groote, J. F., Hijma, P., Martens, J., Osama, M. & Wijs, A., Jan 2023, In: Science of Computer Programming. 225, 19 p., 102910.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile8 Downloads (Pure) -
GPU Enabled Automated Reasoning
Mahmoud, M. O., 10 Mar 2022, Eindhoven: Eindhoven University of Technology. 175 p.Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)
Open AccessFile369 Downloads (Pure) -
GPU Acceleration of Bounded Model Checking with ParaFROST
Osama, M. & Wijs, A., 2021, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. Silva, A. & Leino, K. R. (eds.). Springer, p. 447-460 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12760 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access3 Citations (Scopus) -
SAT Solving with GPU Accelerated Inprocessing
Osama, M., Wijs, A. J. & Biere, A., 2021, Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. Groote, J. F. & Larsen, K. G. (eds.). Springer, p. 133-151 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12651 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
Datasets
-
Large SAT Benchmark Suite for Certified SAT Solving with GPU Accelerated Inprocessing
Mahmoud, M. O. (Creator), Zenodo, 26 Jul 2021
Dataset
-
Experiments of Multiple Decision Making in CDCL SAT Solvers
Mahmoud, M. O. (Creator) & Wijs, A. J. (Creator), Zenodo, 23 Jun 2021
Dataset
-
ParaFROST Proofs for Certified SAT Solving with GPU Accelerated Inprocessing
Mahmoud, M. O. (Creator), Zenodo, 26 Jul 2021
Dataset