Bow-Yaw Wang

发表

BULL: A Library for Learning Algorithms of Boolean Functions

Yu-Fang Chen, Bow-Yaw Wang, 2013, TACAS.

Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

Kwangkeun Yi, Bow-Yaw Wang, Yungbum Jung, 2011, TACAS.

Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

Kwangkeun Yi, Bow-Yaw Wang, Yungbum Jung, 2012, Log. Methods Comput. Sci..

Complete SAT-Based Model Checking for Context-Free Processes

Bow-Yaw Wang, Geng-Dian Huang, 2007, ATVA.

Synthesize Models for Quantitative Analysis Using Automata Learning

Farn Wang, Yu-Fang Chen, Bow-Yaw Wang, 2019, NETYS.

Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates

Soonho Kong, Kwangkeun Yi, Cristina David, 2010, APLAS.

Automatic Verification of a Model Checker by Reflection

Bow-Yaw Wang, Bow-Yaw Wang, 2006, PADL.

Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes

Lijun Zhang, Bow-Yaw Wang, Fei He, 2016, ACM Trans. Softw. Eng. Methodol..

Parameterized Hardware Verification Through a Term-Level Generalized Symbolic Trajectory Evaluation

Yongjian Li, Bow-Yaw Wang, 2019, ICFEM.

Optimal sanitization synthesis for web application vulnerability repair

Fang Yu, Tevfik Bultan, Yu-Fang Chen, 2016, ISSTA.

Hierarchical reduction and refinement checking for asynchronous processes

Bow-Yaw Wang, 2001 .

BDD-based safety-analysis of concurrent software with pointer data structures using graph automorphism symmetry reduction

Farn Wang, Fang Yu, Karsten Wolf, 2004, IEEE Transactions on Software Engineering.

jMocha: a model checking tool that exploits design structure

Thomas A. Henzinger, Rajeev Alur, Radu Grosu, 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

Array Theory of Bounded Elements and its Applications

Min Zhou, Ming Gu, Jia-Guang Sun, 2014, Journal of Automated Reasoning.

Automated Assume-Guarantee Reasoning through Implicit Learning

Yih-Kuen Tsay, Ming-Hsien Tsai, Edmund M. Clarke, 2010, CAV.

Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems

Lijun Zhang, Bow-Yaw Wang, Fei He, 2015, POPL.

Automatic Verification of a Model Checker in Rewriting Logic

Bow-Yaw Wang, 2005 .

Automated Compositional Reasoning of Intuitionistically Closed Regular Properties

Yih-Kuen Tsay, Bow-Yaw Wang, 2009, Int. J. Found. Comput. Sci..

Toward Unbounded Model Checking for Region Automata

Fang Yu, Bow-Yaw Wang, Fang Yu, 2004, ATVA.

VCS: A Verifier for Component-Based Systems

Bow-Yaw Wang, Fei He, Liangze Yin, 2013, ATVA.

Inferring quantified invariants via algorithmic learning, decision procedure, and predicate abstraction

Soonho Kong, Kwangkeun Yi, Cristina David, 2010 .

Releasing VDM proof obligations with SMT solvers

Hsin-Hung Lin, Bow-Yaw Wang, 2017, MEMOCODE.

PSpec: A Formal Specification Language for Fine-Grained Control on Distributed Data Analytics

Dong Yan, Chen Luo, Xin Zhou, 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C).

Verifying Arithmetic Assembly Programs in Cryptographic Primitives (Invited Talk)

Ming-Hsien Tsai, Bo-Yin Yang, Bow-Yaw Wang, 2018, CONCUR.

Verifying Curve25519 Software

Peter Schwabe, Ming-Hsien Tsai, Bo-Yin Yang, 2014, CCS.

Complete SAT-Based Model Checking for Context-Free Processes

Bow-Yaw Wang, Geng-Dian Huang, 2010, Int. J. Found. Comput. Sci..

Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning

Lei Zhu, Yih-Kuen Tsay, Ming-Hsien Tsai, 2010, ISoLA.

Some Complexity Results for Rings of Petri Nets

Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang, 1994, Int. J. Found. Comput. Sci..

A Unified Framework for DPLL(T) + Certificates

Min Zhou, Ming Gu, Jia-Guang Sun, 2013, J. Appl. Math..

Interval counterexamples for loop invariant learning

Fei He, Bow-Yaw Wang, Rongchen Xu, 2020, ESEC/SIGSOFT FSE.

MOCHA: Exploiting Modularity in Model Checking

Rajeev Alur, Radu Grosu, Bow-Yaw Wang, 2000, CAV 2000.

Termination Analysis with Algorithmic Learning

Kwangkeun Yi, Bow-Yaw Wang, Wonchan Lee, 2012, CAV.

An Executable Sequential Specification for Spark Aggregation pdf

Shin-Cheng Mu, Yu-Fang Chen, Bow-Yaw Wang, 2017, NETYS.

PAC Learning-Based Verification and Model Synthesis

Farn Wang, Ming-Hsien Tsai, Yu-Fang Chen, 2015, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).

Specification and Formal Analysis of a PLAN Algorithm in Maude

José Meseguer, Carl A. Gunter, Bow-Yaw Wang, 2000, ICDCS Workshop on Distributed System Validation and Verification.

Learning Boolean Functions Incrementally

Yu-Fang Chen, Bow-Yaw Wang, 2012, CAV.

Verifying Network Protocol Implementations by Symbolic Refinement Checking

Rajeev Alur, Bow-Yaw Wang, R. Alur, 2001, CAV.

Modular Formalization of Reactive Modules in COQ

Ming-Hsien Tsai, Bow-Yaw Wang, 2006, ASIAN.

Incremental predicate analysis for regression verification

Fei He, Bow-Yaw Wang, Qianshan Yu, 2020, Proc. ACM Program. Lang..

Signed Cryptographic Program Verification with Typed CryptoLine

Bo-Yin Yang, Bow-Yaw Wang, Ming-Hsien Tsai, 2019, CCS.

Learning Minimal Separating DFA's for Compositional Verification

Yih-Kuen Tsay, Edmund M. Clarke, Yu-Fang Chen, 2009, TACAS.

Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction

Soonho Kong, Kwangkeun Yi, Bow-Yaw Wang, 2010, VMCAI.

Thread-Modular Model Checking with Iterative Refinement

Qiang Liu, Bow-Yaw Wang, Fei He, 2012, NASA Formal Methods.

Automatic Derivation of Compositional Rules in Automated Compositional Reasoning

Bow-Yaw Wang, Bow-Yaw Wang, 2007, CONCUR.

Non-linear Interpolant Generation and Its Applications to Program Verification

Liyun Dai, Bican Xia, Naijun Zhan, 2013 .

"Next" Heuristic for On-the-Fly Model Checking

Rajeev Alur, Bow-Yaw Wang, R. Alur, 1999, CONCUR.

Sat-based Model Checking for Region Automata

Fang Yu, Bow-Yaw Wang, Fang Yu, 2006, Int. J. Found. Comput. Sci..

CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution)

Farn Wang, Ming-Hsien Tsai, Yu-Fang Chen, 2015, TACAS.

Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages

Yih-Kuen Tsay, Edmund M. Clarke, Yu-Fang Chen, 2008, TACAS.

Learning-Based Assume-Guarantee Regression Verification

Bow-Yaw Wang, Fei He, Shu Mao, 2016, CAV.

A Finite Exact Representation of Register Automata Configurations

Yu-Fang Chen, Bow-Yaw Wang, Di-De Yen, 2013, INFINITY.

Automated Compositional Reasoning of Intuitionistically Closed Regular Properties

Yih-Kuen Tsay, Bow-Yaw Wang, 2008, CIAA.

Formalization of CTL* in Calculus of Inductive Constructions

Ming-Hsien Tsai, Bow-Yaw Wang, 2006, ASIAN.

A Unified Approach for Reasoning about Conflict-Free Petri Nets

Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang, 1993, Application and Theory of Petri Nets.

Automatically inferring loop invariants via algorithmic learning

Soonho Kong, Kwangkeun Yi, Cristina David, 2015, Math. Struct. Comput. Sci..

Modeling and analyzing applications with domain-specific languages by reflective rewriting: a case study

Bow-Yaw Wang, Bow-Yaw Wang, 2006, SAC.

Automated Refinement Checking for Asynchronous Processes

Rajeev Alur, Radu Grosu, Bow-Yaw Wang, 2000, FMCAD.

Proving forall-µ-Calculus Properties with SAT-Based Model Checking

Bow-Yaw Wang, Bow-Yaw Wang, 2005, FORTE.

mu-Calculus Model Checking in Maude

Bow-Yaw Wang, Bow-Yaw Wang, 2004, WRLA.

Commutativity of Reducers

Yu-Fang Chen, Bow-Yaw Wang, Nishant Sinha, 2015, TACAS.

Model Checking Differentially Private Properties

Lijun Zhang, Bow-Yaw Wang, Depeng Liu, 2018, APLAS.

Verifying Arithmetic in Cryptographic C Programs

Bow-Yaw Wang, Jiaxiang Liu, Xiaomu Shi, 2019, 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE).

Verifying Recursive Programs Using Intraprocedural Analyzers

Farn Wang, Ming-Hsien Tsai, Yu-Fang Chen, 2014, SAS.

Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation

Lijun Zhang, Yu-Fang Chen, Bow-Yaw Wang, 2015, CAV.

A Spin-based model checking for the simple concurrent program on a preemptive RTOS pdf

Bow-Yaw Wang, Ching-Chun Huang, Chen-Kai Lin, 2018, ArXiv.

Bounded Model Checking for Region Automata

Fang Yu, Bow-Yaw Wang, Yao-Wen Huang, 2004, FORMATS/FTRTFT.

Specification of an Infinite-State Local Model Checker in Rewriting Logic

Bow-Yaw Wang, 2005, SEKE.

On Array Theory of Bounded Elements

Min Zhou, Ming Gu, Bow-Yaw Wang, 2010, CAV.

On the Satisfiability of Modular Arithmetic Formulae

Bow-Yaw Wang, 2006, ATVA.

Deciding a Class of Path Formulas for Conflict-Free Petri Nets

Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang, 1997, Theory Comput. Syst..

Symbolic assume-guarantee reasoning through BDD learning

Lei Zhu, Bow-Yaw Wang, Fei He, 2014, ICSE.

Learning Summaries of Recursive Functions

Yu-Fang Chen, Bow-Yaw Wang, Kai-Chun Yang, 2014, 2014 21st Asia-Pacific Software Engineering Conference.

Certified Verification of Algebraic Properties on Low-Level Mathematical Constructs in Cryptographic Programs

Ming-Hsien Tsai, Bo-Yin Yang, Bow-Yaw Wang, 2017, CCS.

Deciding a class of path formulas for conflict-free petri nets

Hsu-Chun Yen, Bow-Yaw Wang, H. Yen, 1997, Theory of Computing Systems.

\next" Heuristic for On-the--y Model Checking

Rajeev Alur, Bow-Yaw Wang, R. Alur, 1999 .

Proving ∀ μ-Calculus Properties with SAT-Based Model Checking

Bow-Yaw Wang, Bow-Yaw Wang, 2005 .