Muhammad Osama Mahmoud

View Scopus Profile

Muhammad Osama Mahmoud, PhD

dr.ir.

 https://orcid.org/0000-0002-5023-5348
  • 31
    Citations - based on content available in repository [source: Scopus]
20172023

Content available in repository

If you made any changes in Pure these will be visible here soon.
  • 7 Conference contribution
  • 2 Report
  • 2 Article
  • 1 Phd Thesis 1 (Research TU/e / Graduation TU/e)
Filter
Conference contribution

Search results

  • 2023

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

    Wijs, A. & Osama, M., 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). p. 684-703 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13993 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access

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

    Wijs, A. & Osama, M., 2023, Model Checking Software - 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (eds.). p. 188-197 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13872 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • 2021

    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 Access
    4 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
    5 Citations (Scopus)
  • 2020

    Multiple Decision Making in Conflict-Driven Clause Learning

    Osama, M. & Wijs, A. J., Nov 2020, Proceedings - IEEE 32nd International Conference on Tools with Artificial Intelligence, ICTAI 2020. Alamaniotis, M. & Pan, S. (eds.). p. 161-169 9 p. 9288221

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    5 Citations (Scopus)
  • 2019

    Parallel SAT simplification on GPU architectures

    Osama, M. & Wijs, A., 1 Jan 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Zhang, L. & Vojnar, T. (eds.). Cham: Springer, p. 21-40 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11427 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    11 Citations (Scopus)
    71 Downloads (Pure)

  • SIGmA: GPU accelerated simplification of SAT formulas

    Osama, M. & Wijs, A., 1 Jan 2019, Integrated Formal Methods - 15th International Conference, IFM 2019, Proceedings. Ahrendt, W. & Tapia Tarifa, S. L. (eds.). Cham: Springer, p. 514-522 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11918 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    4 Citations (Scopus)