Person:557793

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
https://portal.mardi4nfdi.de/entity/Q5009435	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	2014-09-12	Paper
Reachability Modulo Theories	2014-07-07	Paper
Delay-bounded scheduling	2014-04-10	Paper
https://portal.mardi4nfdi.de/entity/Q2845505	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
Computer Aided Verification	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Shaz Qadeer