Sharad Malik

Available identifiers

zbMath Open malik.sharadMaRDI QIDQ265699

List of research outcomes

Publication	Date of Publication	Type
Lazy self-composition for security verification	2023-05-05	Paper
Syntax-guided synthesis for lemma generation in hardware model checking	2021-10-18	Paper
Synthesizing environment invariants for modular hardware verification	2020-08-05	Paper
Propositional SAT Solving	2018-07-20	Paper
Fast interpolating BMC	2018-03-01	Paper
IC3 - Flipping the E in ICE	2017-02-21	Paper
On computing minimal independent support and its applications to sampling and counting	2016-04-12	Paper
Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom	2015-12-17	Paper
SAT Based Verification of Network Data Planes	2014-07-08	Paper
Parallel Assertions for Architectures with Weak Memory Models	2012-11-21	Paper
Specification and encoding of transaction interaction properties	2012-09-27	Paper
Theory and Applications of Satisfiability Testing	2009-07-24	Paper
Analysis of cyclic combinational circuits	2008-12-21	Paper
On Solving the Partial MAX-SAT Problem	2007-09-04	Paper
Solving Quantified Boolean Formulas with Circuit Observability Don’t Cares	2007-09-04	Paper
Lemma Learning in SMT on Linear Constraints	2007-09-04	Paper
Computer Aided Verification	2006-01-10	Paper
Theory and Applications of Satisfiability Testing	2005-12-16	Paper
Theory and Applications of Satisfiability Testing	2005-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q4809068	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4473727	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4439597	2003-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4804883	2003-05-01	Paper
Limits of using signatures for permutation independent Boolean comparison	2002-09-18	Paper
Application of BDDs in Boolean matching techniques for formal logic combinational verification	2002-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4537144	2002-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q2764081	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q4230777	1999-02-09	Paper
Establishing latch correspondence for sequential circuits using distinguishing signatures	1999-01-12	Paper
Technology mapping for low power in logic synthesis	1997-02-27	Paper
Permutation and phase independent Boolean comparison	1995-02-19	Paper

Research outcomes over time

This page was built for person: Sharad Malik