Bow-Yaw Wang

Available identifiers

zbMath Open wang.bow-yawMaRDI QIDQ832259

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2849862	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Bow-Yaw Wang