Bow-Yaw Wang

From MaRDI portal
Person:832259

Available identifiers

zbMath Open wang.bow-yawMaRDI QIDQ832259

List of research outcomes





PublicationDate of PublicationType
Certified verification for algebraic abstraction2024-02-01Paper
\textsc{CoqCryptoLine}: a verified model checker with certified results2024-01-12Paper
Model checking differentially private properties2023-08-02Paper
Model checking differentially private properties2023-01-05Paper
Verifying Pufferfish privacy in hidden Markov models2022-07-08Paper
CoqQFBV: a scalable certified SMT quantifier-free bit-vector solver2022-03-25Paper
https://portal.mardi4nfdi.de/entity/Q50094162021-08-04Paper
https://portal.mardi4nfdi.de/entity/Q49947102021-06-21Paper
Counterexample-guided polynomial loop invariant generation by Lagrange interpolation2018-03-01Paper
Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems2016-09-29Paper
Automatically inferring loop invariants via algorithmic learning2016-07-27Paper
Array theory of bounded elements and its applications2015-06-23Paper
VCS: A Verifier for Component-Based Systems2014-07-08Paper
\(\mu\)-calculus model checking in Maude2013-09-20Paper
A unified framework for DPLL(T) + certificates2013-06-14Paper
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference2012-10-22Paper
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference2011-05-19Paper
COMPLETE SAT-BASED MODEL CHECKING FOR CONTEXT-FREE PROCESSES2010-04-22Paper
Deriving invariants by algorithmic learning, decision procedures, and predicate abstraction2010-01-14Paper
AUTOMATED COMPOSITIONAL REASONING OF INTUITIONISTICALLY CLOSED REGULAR PROPERTIES2009-08-21Paper
Learning Minimal Separating DFA’s for Compositional Verification2009-03-31Paper
Automated Compositional Reasoning of Intuitionistically Closed Regular Properties2009-02-12Paper
Automatic Derivation of Compositional Rules in Automated Compositional Reasoning2008-09-18Paper
On the Satisfiability of Modular Arithmetic Formulae2008-09-04Paper
Complete SAT-Based Model Checking for Context-Free Processes2008-07-03Paper
Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages2008-04-11Paper
Automated Technology for Verification and Analysis2006-10-25Paper
SAT-BASED MODEL CHECKING FOR REGION AUTOMATA2006-08-21Paper
Formal Techniques for Networked and Distributed Systems - FORTE 20052006-07-07Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems2005-08-19Paper
https://portal.mardi4nfdi.de/entity/Q45511482002-09-04Paper
Deciding a class of path formulas for conflict-free Petri nets1997-08-24Paper
SOME COMPLEXITY RESULTS FOR RINGS OF PETRI NETS1995-10-29Paper

Research outcomes over time

This page was built for person: Bow-Yaw Wang