Login / Signup
Muhammad Osama
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Deterministic Finite Automaton
Sat Solving
Gpu Accelerated
Linear Temporal Logic
Top Venues
Formal Methods Syst. Des.
TACAS (2)
</>
Publications
</>
Muhammad Osama
,
Anton Wijs
Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking.
TACAS (2)
(2024)
Muhammad Osama
,
Anton Wijs
,
Armin Biere
Certified SAT solving with GPU accelerated inprocessing.
Formal Methods Syst. Des.
62 (1) (2024)