GPU Acceleration of Bounded Model Checking with ParaFROST

von Osama, Muhammad
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)

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

von Wijs, Anton
Veröffentlicht in SPIN (29. : 2023 : Paris) Model checking software (2023)

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

von Wijs, Anton
Veröffentlicht in TACAS (29. : 2023 : Paris) Tools and algorithms for the construction and analysis of systems ; Part 1 (2023)

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

von Osama, Muhammad
Veröffentlicht in International Conference on Tools and Algorithms for the Construction and Analysis of Systems (30. : 2024 : Luxemburg) Tools and algorithms for the construction and analysis of systems ; Part 2 (2024)

SAT Solving with GPU Accelerated Inprocessing

von Osama, Muhammad
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2021)

LEARNING ROBUST DECISION POLICIES FROM OBSERVATIONAL DATA

von Osama, Muhammad
Veröffentlicht in NeurIPS (34. : 2020 : Online) 34th Conference on Neural Information Processing Systems (NeurIPS 2020) ; Volume 22 of 27 (2021)

PREDICTION OF SPATIAL POINT PROCESSES: REGULARIZED METHOD WITH OUT-OF-SAMPLE GUARANTEES

von Osama, Muhammad
Veröffentlicht in NeurIPS (33. : 2019 : Vancouver, British Columbia) 32nd Conference on Neural Information Processing Systems (NeurIPS 2019) ; Volume 15 of 20 (2020)

Design and Development of Novel Multipoint Epicyclic Superfinishing Tool

von Osama, Muhammad
Veröffentlicht in CIMS (2020 : Jullundur) Proceedings of the International Conference on Industrial and Manufacturing Systems (CIMS-2020) (2022)