Name Card

Full name Familienname, Vorname
Malik, Sharad
 

Own Publications Eigene Publikationen

Results 1-5 of 5 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Vizel, Yakir ; Weissenbacher, Georg ; Malik, Sharad Boolean Satisfiability Solvers and Their Applications in Model CheckingArtikel Article2015
2Zhu, Charlie Shucheng ; Weissenbacher, Georg ; Malik, Sharad Silicon fault diagnosis using sequence interpolation with backbonesKonferenzbeitrag Inproceedings 2014
3Bloem Roderick - 2014 - Reduction of Resolution Refutations and Interpolants via...pdf.jpgBloem, Roderick ; Malik, Sharad ; Schlaipfer, Matthias ; Weissenbacher, GeorgReduction of Resolution Refutations and Interpolants via SubsumptionInproceedings Konferenzbeitrag 2014
4Schwartz-Narbonne, Daniel ; Weissenbacher, Georg ; Malik, Sharad Parallel Assertions for Architectures with Weak Memory ModelsKonferenzbeitrag Inproceedings 2012
5Charlie Shucheng, Zhu ; Weissenbacher, Georg ; Malik, Sharad Coverage-Based Trace Signal Selection for Fault Localisation in Post-silicon ValidationKonferenzbeitrag Inproceedings 2012