Bow-Yaw Wang

According to our database, Bow-Yaw Wang authored at least 76 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Model checking differentially private properties.

Depeng Liu, Bow-Yaw Wang, Chen Fu, Lijun Zhang

Theor. Comput. Sci., 2023

Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking.

Li-Chang Lai, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang

IACR Cryptol. ePrint Arch., 2023

llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs.

Ruiling Chen, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

CoqCryptoLine: A Verified Model Checker with Certified Results.

Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Certified Verification for Algebraic Abstraction.

Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Verified NTT Multiplications for NISTPQC KEM Lattice Finalists: Kyber, SABER, and NTRU.

Vincent Hwang, Jiaxiang Liu, Gregor Seiler, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2022

Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE.

Ming-Hsien Tsai, Yu-Fu Fu, Xiaomu Shi, Jiaxiang Liu, Bow-Yaw Wang, Bo-Yin Yang

IACR Cryptol. ePrint Arch., 2022

Defensive Design of Saturating Counters Based on Differential Privacy.

Depeng Liu, Lutan Zhao, Pengfei Yang, Bow-Yaw Wang, Rui Hou, Lijun Zhang, Naijun Zhan

CoRR, 2022

Formal Analysis of FreeRTOS Scheduler on ARM Cortex-M4 Cores.

Chen-Kai Lin, Bow-Yaw Wang

CoRR, 2022

Verifying Pufferfish Privacy in Hidden Markov Models.

Depeng Liu, Bow-Yaw Wang, Lijun Zhang

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

2021

CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver.

Xiaomu Shi, Yu-Fu Fu, Jiaxiang Liu, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Incremental predicate analysis for regression verification.

Qianshan Yu, Fei He, Bow-Yaw Wang

Proc. ACM Program. Lang., 2020

Interval counterexamples for loop invariant learning.

Rongchen Xu, Fei He, Bow-Yaw Wang

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

2019

Synthesize Models for Quantitative Analysis Using Automata Learning.

Yu-Fang Chen, Hsiao-chen Chung, Wen-Chi Hung, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang

Proceedings of the Networked Systems - 7th International Conference, 2019

Verifying Arithmetic in Cryptographic C Programs.

Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

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

Yongjian Li, Bow-Yaw Wang

Proceedings of the Formal Methods and Software Engineering, 2019

Signed Cryptographic Program Verification with Typed CryptoLine.

Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

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

Chen-Kai Lin, Ching-Chun Huang, Bow-Yaw Wang

CoRR, 2018

Verifying Arithmetic Assembly Programs in Cryptographic Primitives (Invited Talk).

Andy Polyakov, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang

Proceedings of the 29th International Conference on Concurrency Theory, 2018

Model Checking Differentially Private Properties.

Depeng Liu, Bow-Yaw Wang, Lijun Zhang

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017

An Executable Sequential Specification for Spark Aggregation.

Yu-Fang Chen, Chih-Duo Hong, Ondrej Lengál, Shin-Cheng Mu, Nishant Sinha, Bow-Yaw Wang

Proceedings of the Networked Systems - 5th International Conference, 2017

Releasing VDM proof obligations with SMT solvers.

Hsin-Hung Lin, Bow-Yaw Wang

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

PSpec: a formal specification language for fine-grained control on distributed data analytics.

Chen Luo, Fei He, Dong Yan, Dan Zhang, Xin Zhou, Bow-Yaw Wang

Proceedings of the 39th International Conference on Software Engineering, 2017

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

Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes.

Fei He, Xiaowei Gao, Miaofei Wang, Bow-Yaw Wang, Lijun Zhang

ACM Trans. Softw. Eng. Methodol., 2016

Optimal sanitization synthesis for web application vulnerability repair.

Fang Yu, Ching-Yuan Shueh, Chun-Han Lin, Yu-Fang Chen, Bow-Yaw Wang, Tevfik Bultan

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

PAC learning-based verification and model synthesis.

Yu-Fang Chen, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang

Proceedings of the 38th International Conference on Software Engineering, 2016

Learning-Based Assume-Guarantee Regression Verification.

Fei He, Shu Mao, Bow-Yaw Wang

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Automatically inferring loop invariants via algorithmic learning.

Yungbum Jung, Soonho Kong, Cristina David, Bow-Yaw Wang, Kwangkeun Yi

Math. Struct. Comput. Sci., 2015

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

Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Commutativity of Reducers.

Yu-Fang Chen, Chih-Duo Hong, Nishant Sinha, Bow-Yaw Wang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems.

Fei He, Xiaowei Gao, Bow-Yaw Wang, Lijun Zhang

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation.

Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Array Theory of Bounded Elements and its Applications.

Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun

J. Autom. Reason., 2014

Verifying Recursive Programs Using Intraprocedural Analyzers.

Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang

Proceedings of the Static Analysis - 21st International Symposium, 2014

Symbolic assume-guarantee reasoning through BDD learning.

Fei He, Bow-Yaw Wang, Liangze Yin, Lei Zhu

Proceedings of the 36th International Conference on Software Engineering, 2014

Verifying Curve25519 Software.

Yu-Fang Chen, Chang-Hong Hsu, Hsin-Hung Lin, Peter Schwabe, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang, Shang-Yi Yang

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

Learning Summaries of Recursive Functions.

Yu-Fang Chen, Bow-Yaw Wang, Kai-Chun Yang

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

A Unified Framework for DPLL(T) + Certificates.

Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun

J. Appl. Math., 2013

A Finite Exact Representation of Register Automata Configurations.

Yu-Fang Chen, Bow-Yaw Wang, Di-De Yen

Proceedings of the Proceedings 15th International Workshop on Verification of Infinite-State Systems, 2013

BULL: A Library for Learning Algorithms of Boolean Functions.

Yu-Fang Chen, Bow-Yaw Wang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

VCS: A Verifier for Component-Based Systems.

Fei He, Liangze Yin, Bow-Yaw Wang, Lianyi Zhang, Guanyu Mu, Wenrui Meng

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

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

Wonchan Lee, Yungbum Jung, Bow-Yaw Wang, Kwangkeun Yi

Log. Methods Comput. Sci., 2012

Thread-Modular Model Checking with Iterative Refinement.

Wenrui Meng, Fei He, Bow-Yaw Wang, Qiang Liu

Proceedings of the NASA Formal Methods, 2012

Termination Analysis with Algorithmic Learning.

Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Learning Boolean Functions Incrementally.

Yu-Fang Chen, Bow-Yaw Wang

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2010

Complete SAT-Based Model Checking for Context-Free Processes.

Geng-Dian Huang, Bow-Yaw Wang

Int. J. Found. Comput. Sci., 2010

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

Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi

Proceedings of the Verification, 2010

Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning.

Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Fei He, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang, Lei Zhu

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

On Array Theory of Bounded Elements.

Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Automated Assume-Guarantee Reasoning through Implicit Learning.

Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates.

Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw Wang, Kwangkeun Yi

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009

Automated Compositional Reasoning of Intuitionistically Closed Regular Properties.

Yih-Kuen Tsay, Bow-Yaw Wang

Int. J. Found. Comput. Sci., 2009

Learning Minimal Separating DFA's for Compositional Verification.

Yu-Fang Chen, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

2008

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

Azadeh Farzan, Yu-Fang Chen, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

2007

Automatic Derivation of Compositional Rules in Automated Compositional Reasoning.

Bow-Yaw Wang

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006

Sat-based Model Checking for Region Automata.

Fang Yu, Bow-Yaw Wang

Int. J. Found. Comput. Sci., 2006

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

Bow-Yaw Wang

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Automatic Verification of a Model Checker by Reflection.

Bow-Yaw Wang

Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

On the Satisfiability of Modular Arithmetic Formulae.

Bow-Yaw Wang

Proceedings of the Automated Technology for Verification and Analysis, 2006

Formalization of CTL* in Calculus of Inductive Constructions.

Ming-Hsien Tsai, Bow-Yaw Wang

Proceedings of the Advances in Computer Science, 2006

Modular Formalization of Reactive Modules in COQ.

Ming-Hsien Tsai, Bow-Yaw Wang

Proceedings of the Advances in Computer Science, 2006

2005

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

Bow-Yaw Wang

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

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

Bow-Yaw Wang

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004

BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction.

Farn Wang, Karsten Schmidt, Fang Yu, Geng-Dian Huang, Bow-Yaw Wang

IEEE Trans. Software Eng., 2004

mu-Calculus Model Checking in Maude.

Bow-Yaw Wang

Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

Bounded Model Checking for Region Automata.

Fang Yu, Bow-Yaw Wang, Yao-Wen Huang

Proceedings of the Formal Techniques, 2004

Toward Unbounded Model Checking for Region Automata.

Fang Yu, Bow-Yaw Wang

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2001

JMOCHA: A Model Checking Tool that Exploits Design Structure.

Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang

Proceedings of the 23rd International Conference on Software Engineering, 2001

Verifying Network Protocol Implementations by Symbolic Refinement Checking.

Rajeev Alur, Bow-Yaw Wang

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

Specification and Formal Analysis of a PLAN Algorithm in Maude.

Bow-Yaw Wang, José Meseguer, Carl A. Gunter

Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

Automated Refinement Checking for Asynchronous Processes.

Rajeev Alur, Radu Grosu, Bow-Yaw Wang

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

1999

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

Rajeev Alur, Bow-Yaw Wang

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1997

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

Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang

Theory Comput. Syst., 1997

1994

Some Complexity Results for Rings of Petri Nets.

Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang

Int. J. Found. Comput. Sci., 1994

1993

A Unified Approach for Reasoning about Conflict-Free Petri Nets.

Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang

Proceedings of the Application and Theory of Petri Nets 1993, 1993