Shaz Qadeer

Available identifiers

zbMath Open qadeer.shazWikidataQ102249016 ScholiaQ102249016MaRDI QIDQ557793

List of research outcomes

Publication	Date of Publication	Type
Reasoning about vectors: satisfiability modulo a theory of sequences	2023-10-24	Paper
Layered concurrent programs	2023-05-26	Paper
On the completeness of verifying message passing programs under bounded asynchrony	2023-05-05	Paper
Reasoning about vectors using an SMT theory of sequences	2022-12-07	Paper
Synchronizing the asynchronous	2021-08-04	Paper
Refinement for structured concurrent programs	2021-02-04	Paper
Model checking concurrent programs	2018-07-20	Paper
Verifying properties of well-founded linked lists	2017-08-21	Paper
Summarizing procedures in concurrent programs	2015-11-11	Paper
A calculus of atomic actions	2015-07-03	Paper
Unifying type checking and property checking for low-level code	2015-07-03	Paper
Predicate abstraction for software verification	2015-03-17	Paper
Back to the future, revisiting precise program verification using SMT solvers	2014-09-12	Paper
Reachability modulo theories	2014-07-07	Paper
Delay-bounded scheduling	2014-04-10	Paper
Transactions for software model checking	2013-08-30	Paper
Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels	2013-08-05	Paper
Context-bounded analysis for concurrent programs with dynamic creation of threads	2012-04-02	Paper
Simplifying linearizability proofs with reduction and abstraction	2010-04-27	Paper
Thread-modular abstraction refinement.	2010-04-20	Paper
Abstract threads	2010-01-14	Paper
Complexity and Algorithms for Monomial and Clausal Predicate Abstraction	2009-07-28	Paper
Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads	2009-03-31	Paper
Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures	2007-11-29	Paper
A Reachability Predicate for Analyzing Low-Level Software	2007-09-03	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
Computer Aided Verification	2005-08-25	Paper
Computer Aided Verification	2005-08-25	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
Modular verification of multithreaded programs	2005-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4817545	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4818798	2004-09-24	Paper
From pre-historic to post-modern symbolic model checking	2004-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4738361	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4426384	2003-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4804895	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q2754093	2001-12-17	Paper
Partial-order reduction in symbolic state-space exploration	2001-09-09	Paper

Research outcomes over time

This page was built for person: Shaz Qadeer