Shaz Qadeer

From MaRDI portal
Person:557793

Available identifiers

zbMath Open qadeer.shazWikidataQ102249016 ScholiaQ102249016MaRDI QIDQ557793

List of research outcomes





PublicationDate of PublicationType
Reasoning about vectors: satisfiability modulo a theory of sequences2023-10-24Paper
Layered concurrent programs2023-05-26Paper
On the completeness of verifying message passing programs under bounded asynchrony2023-05-05Paper
Reasoning about vectors using an SMT theory of sequences2022-12-07Paper
Synchronizing the asynchronous2021-08-04Paper
Refinement for structured concurrent programs2021-02-04Paper
Model checking concurrent programs2018-07-20Paper
Verifying properties of well-founded linked lists2017-08-21Paper
Summarizing procedures in concurrent programs2015-11-11Paper
A calculus of atomic actions2015-07-03Paper
Unifying type checking and property checking for low-level code2015-07-03Paper
Predicate abstraction for software verification2015-03-17Paper
Back to the future, revisiting precise program verification using SMT solvers2014-09-12Paper
Reachability modulo theories2014-07-07Paper
Delay-bounded scheduling2014-04-10Paper
Transactions for software model checking2013-08-30Paper
Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels2013-08-05Paper
Context-bounded analysis for concurrent programs with dynamic creation of threads2012-04-02Paper
Simplifying linearizability proofs with reduction and abstraction2010-04-27Paper
Thread-modular abstraction refinement.2010-04-20Paper
Abstract threads2010-01-14Paper
Complexity and Algorithms for Monomial and Clausal Predicate Abstraction2009-07-28Paper
Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads2009-03-31Paper
Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures2007-11-29Paper
A Reachability Predicate for Analyzing Low-Level Software2007-09-03Paper
Tools and Algorithms for the Construction and Analysis of Systems2005-11-10Paper
Computer Aided Verification2005-08-25Paper
Computer Aided Verification2005-08-25Paper
CONCUR 2004 - Concurrency Theory2005-08-23Paper
Modular verification of multithreaded programs2005-06-30Paper
https://portal.mardi4nfdi.de/entity/Q48175452004-09-24Paper
https://portal.mardi4nfdi.de/entity/Q48187982004-09-24Paper
From pre-historic to post-modern symbolic model checking2004-09-09Paper
https://portal.mardi4nfdi.de/entity/Q47383612004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44263842003-09-16Paper
https://portal.mardi4nfdi.de/entity/Q48048952003-05-01Paper
https://portal.mardi4nfdi.de/entity/Q27540932001-12-17Paper
Partial-order reduction in symbolic state-space exploration2001-09-09Paper

Research outcomes over time

This page was built for person: Shaz Qadeer