Chao Wang

Available identifiers

Publication	Date of Publication	Type
Example Guided Synthesis of Linear Approximations for Neural Network Verification	2022-12-07	Paper
DiffRNN: differential verification of recurrent neural networks	2022-03-24	Paper
Shield Synthesis:	2019-09-17	Paper
Shield synthesis	2018-02-14	Paper
Abstraction and mining of traces to explain concurrency bugs	2018-02-12	Paper
Precisely Deciding Control State Reachability in Concurrent Traces with Limited Observability	2015-01-13	Paper
Synthesis of Masking Countermeasures against Side Channel Attacks	2014-09-29	Paper
https://portal.mardi4nfdi.de/entity/Q2845512	2013-08-30	Paper
Symbolic predictive analysis for concurrent programs	2012-07-03	Paper
Trace-Based Symbolic Analysis for Atomicity Violations	2010-04-27	Paper
Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique	2009-06-30	Paper
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions	2008-11-20	Paper
Whodunit? Causal Analysis for Counterexamples	2008-09-04	Paper
Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination	2008-05-27	Paper
Peephole Partial Order Reduction	2008-04-11	Paper
Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra	2007-11-29	Paper
Formal Methods for Hardware Verification	2007-05-02	Paper
Compositional SCC analysis for language emptiness	2006-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q4427898	2003-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4791850	2003-02-03	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Chao Wang