Chao Wang

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
LinSyn: synthesizing tight linear bounds for arbitrary neural network activation functions	2024-01-23	Paper
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: runtime enforcement for reactive systems	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
A satisfiability-based approach to abstraction refinement in model checking	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

Research outcomes over time

This page was built for person: Chao Wang