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
Solving Quantified Boolean Formulas with Circuit Observability Don’t Cares	2007-09-04	Paper
On Solving the Partial MAX-SAT Problem	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

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: Sharad Malik