Bow-Yaw Wang

Available identifiers

zbMath Open wang.bow-yawMaRDI QIDQ832259

List of research outcomes

Publication	Date of Publication	Type
Certified verification for algebraic abstraction	2024-02-01	Paper
\textsc{CoqCryptoLine}: a verified model checker with certified results	2024-01-12	Paper
Model checking differentially private properties	2023-08-02	Paper
Model checking differentially private properties	2023-01-05	Paper
Verifying Pufferfish privacy in hidden Markov models	2022-07-08	Paper
CoqQFBV: a scalable certified SMT quantifier-free bit-vector solver	2022-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q5009416	2021-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4994710	2021-06-21	Paper
Counterexample-guided polynomial loop invariant generation by Lagrange interpolation	2018-03-01	Paper
Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems	2016-09-29	Paper
Automatically inferring loop invariants via algorithmic learning	2016-07-27	Paper
Array theory of bounded elements and its applications	2015-06-23	Paper
VCS: A Verifier for Component-Based Systems	2014-07-08	Paper
\(\mu\)-calculus model checking in Maude	2013-09-20	Paper
A unified framework for DPLL(T) + certificates	2013-06-14	Paper
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference	2012-10-22	Paper
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference	2011-05-19	Paper
COMPLETE SAT-BASED MODEL CHECKING FOR CONTEXT-FREE PROCESSES	2010-04-22	Paper
Deriving invariants by algorithmic learning, decision procedures, and predicate abstraction	2010-01-14	Paper
AUTOMATED COMPOSITIONAL REASONING OF INTUITIONISTICALLY CLOSED REGULAR PROPERTIES	2009-08-21	Paper
Learning Minimal Separating DFA’s for Compositional Verification	2009-03-31	Paper
Automated Compositional Reasoning of Intuitionistically Closed Regular Properties	2009-02-12	Paper
Automatic Derivation of Compositional Rules in Automated Compositional Reasoning	2008-09-18	Paper
On the Satisfiability of Modular Arithmetic Formulae	2008-09-04	Paper
Complete SAT-Based Model Checking for Context-Free Processes	2008-07-03	Paper
Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages	2008-04-11	Paper
Automated Technology for Verification and Analysis	2006-10-25	Paper
SAT-BASED MODEL CHECKING FOR REGION AUTOMATA	2006-08-21	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4551148	2002-09-04	Paper
Deciding a class of path formulas for conflict-free Petri nets	1997-08-24	Paper
SOME COMPLEXITY RESULTS FOR RINGS OF PETRI NETS	1995-10-29	Paper

Research outcomes over time

This page was built for person: Bow-Yaw Wang