Bow-Yaw Wang - RankMe

93 papers A* 14A 7B 13C 7Misc 2Journal 29Unranked 21

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A New Trick for Polynomial Multiplication A verified CRT polymul utilizing a monomial factor. IACR Trans. Cryptogr. Hardw. Embed. Syst. Chun-Ming Chiu, Bo-Yin Yang, Bow-Yaw Wang
2025	J	`jnl`	Algebraic Linear Analysis for Number Theoretic Transform in Lattice-Based Cryptography. IACR Trans. Cryptogr. Hardw. Embed. Syst. Chun-Ming Chiu, Jiaxiang Liu, Ming-Hsien Tsai, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang
2025	A*	`conf`	Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs. CCS José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Lionel Blatter, Gustavo Xavier Delerue Marinho Alves, João Diogo Duarte, Benjamin Grégoire, Tiago Oliveira, Miguel Quaresma, Pierre-Yves Strub, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
2025	J	`jnl`	Parameterized Hardware Verification Through A Term-level Generalized Symbolic Trajectory Evaluation And Its Linkage With Concrete Hardware Verification At Netlist Level. Formal Aspects Comput. Yongjian Li, Zhenghai Cai, Bow-Yaw Wang, Yongxin Zhao
2025	J	`jnl`	Quantitative Auditing of AI Fairness with Differentially Private Synthetic Data. CoRR Chih-Cheng Rex Yuan, Bow-Yaw Wang
2025	J	`jnl`	SAT-Solving the Poset Cover Problem. CoRR Chih-Cheng Rex Yuan, Bow-Yaw Wang
2024	—	`conf`	Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking. ESORICS (4) Li-Chang Lai, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
2024	J	`jnl`	Ensuring Fairness with Transparent Auditing of Quantitative Bias in AI Systems. CoRR Chih-Cheng Rex Yuan, Bow-Yaw Wang
2024	C	`conf`	Formal Analysis of FreeRTOS Scheduler on ARM Cortex-M4 Cores. ICFEM Chen-Kai Lin, Bow-Yaw Wang
2023	J	`jnl`	Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking. IACR Cryptol. ePrint Arch. Li-Chang Lai, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
2023	—	`conf`	Certified Verification for Algebraic Abstraction. CAV (3) Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang
2023	—	`conf`	CoqCryptoLine: A Verified Model Checker with Certified Results. CAV (2) Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang
2023	J	`jnl`	Model checking differentially private properties. Theor. Comput. Sci. Depeng Liu, Bow-Yaw Wang, Chen Fu, Lijun Zhang
2023	—	`conf`	llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs. ESEC/SIGSOFT FSE Ruiling Chen, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
2022	J	`jnl`	Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE. IACR Cryptol. ePrint Arch. Ming-Hsien Tsai, Yu-Fu Fu, Xiaomu Shi, Jiaxiang Liu, Bow-Yaw Wang, Bo-Yin Yang
2022	J	`jnl`	Defensive Design of Saturating Counters Based on Differential Privacy. CoRR Depeng Liu, Lutan Zhao, Pengfei Yang, Bow-Yaw Wang, Rui Hou, Lijun Zhang, Naijun Zhan
2022	J	`jnl`	Formal Analysis of FreeRTOS Scheduler on ARM Cortex-M4 Cores. CoRR Chen-Kai Lin, Bow-Yaw Wang
2022	J	`jnl`	Verified NTT Multiplications for NISTPQC KEM Lattice Finalists: Kyber, SABER, and NTRU. IACR Trans. Cryptogr. Hardw. Embed. Syst. Vincent Hwang, Jiaxiang Liu, Gregor Seiler, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
2022	B	`conf`	Verifying Pufferfish Privacy in Hidden Markov Models. VMCAI Depeng Liu, Bow-Yaw Wang, Lijun Zhang
2021	—	`conf`	CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver. CAV (2) Xiaomu Shi, Yu-Fu Fu, Jiaxiang Liu, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
2020	J	`jnl`	Incremental predicate analysis for regression verification. Proc. ACM Program. Lang. Qianshan Yu, Fei He, Bow-Yaw Wang
2020	—	`conf`	Interval counterexamples for loop invariant learning. ESEC/SIGSOFT FSE Rongchen Xu, Fei He, Bow-Yaw Wang
2020	J	`jnl`	Verifying Pufferfish Privacy in Hidden Markov Models. CoRR Depeng Liu, Bow-Yaw Wang, Lijun Zhang
2019	C	`conf`	Parameterized Hardware Verification Through a Term-Level Generalized Symbolic Trajectory Evaluation. ICFEM Yongjian Li, Bow-Yaw Wang
2019	A*	`conf`	Signed Cryptographic Program Verification with Typed CryptoLine. CCS Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
2019	—	`conf`	Synthesize Models for Quantitative Analysis Using Automata Learning. NETYS Yu-Fang Chen, Hsiao-chen Chung, Wen-Chi Hung, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
2019	A*	`conf`	Verifying Arithmetic in Cryptographic C Programs. ASE Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
2018	J	`jnl`	A Spin-based model checking for the simple concurrent program on a preemptive RTOS. CoRR Chen-Kai Lin, Ching-Chun Huang, Bow-Yaw Wang
2018	B	`conf`	Model Checking Differentially Private Properties. APLAS Depeng Liu, Bow-Yaw Wang, Lijun Zhang
2018	B	`conf`	Verifying Arithmetic Assembly Programs in Cryptographic Primitives (Invited Talk). CONCUR Andy Polyakov, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
2017	—	`conf`	An Executable Sequential Specification for Spark Aggregation. NETYS Yu-Fang Chen, Chih-Duo Hong, Ondrej Lengál, Shin-Cheng Mu, Nishant Sinha, Bow-Yaw Wang
2017	J	`jnl`	An Executable Sequential Specification for Spark Aggregation. CoRR Yu-Fang Chen, Chih-Duo Hong, Ondrej Lengál, Shin-Cheng Mu, Nishant Sinha, Bow-Yaw Wang
2017	A*	`conf`	Certified Verification of Algebraic Properties on Low-Level Mathematical Constructs in Cryptographic Programs. CCS Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
2017	—	`conf`	PSpec: a formal specification language for fine-grained control on distributed data analytics. ICSE (Companion Volume) Chen Luo, Fei He, Dong Yan, Dan Zhang, Xin Zhou, Bow-Yaw Wang
2017	C	`conf`	Releasing VDM proof obligations with SMT solvers. MEMOCODE Hsin-hung Lin, Bow-Yaw Wang
2016	J	`jnl`	Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes. ACM Trans. Softw. Eng. Methodol. Fei He, Xiaowei Gao, Miaofei Wang, Bow-Yaw Wang, Lijun Zhang
2016	—	`conf`	Learning-Based Assume-Guarantee Regression Verification. CAV (1) Fei He, Shu Mao, Bow-Yaw Wang
2016	A	`conf`	Optimal sanitization synthesis for web application vulnerability repair. ISSTA Fang Yu, Ching-Yuan Shueh, Chun-Han Lin, Yu-Fang Chen, Bow-Yaw Wang, Tevfik Bultan
2016	A*	`conf`	PAC learning-based verification and model synthesis. ICSE Yu-Fang Chen, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
2015	J	`jnl`	Automatically inferring loop invariants via algorithmic learning. Math. Struct. Comput. Sci. Yungbum Jung, Soonho Kong, Cristina David, Bow-Yaw Wang, Kwangkeun Yi
2015	A	`conf`	CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution). TACAS Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
2015	A	`conf`	Commutativity of Reducers. TACAS Yu-Fang Chen, Chih-Duo Hong, Nishant Sinha, Bow-Yaw Wang
2015	—	`conf`	Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation. CAV (1) Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang
2015	J	`jnl`	Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation. CoRR Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang
2015	A*	`conf`	Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems. POPL Fei He, Xiaowei Gao, Bow-Yaw Wang, Lijun Zhang
2015	J	`jnl`	PAC Learning-Based Verification and Model Synthesis. CoRR Yu-Fang Chen, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
2014	J	`jnl`	Array Theory of Bounded Elements and its Applications. J. Autom. Reason. Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun
2014	—	`conf`	Learning Summaries of Recursive Functions. APSEC (1) Yu-Fang Chen, Bow-Yaw Wang, Kai-Chun Yang
2014	A*	`conf`	Symbolic assume-guarantee reasoning through BDD learning. ICSE Fei He, Bow-Yaw Wang, Liangze Yin, Lei Zhu
2014	A*	`conf`	Verifying Curve25519 Software. CCS Yu-Fang Chen, Chang-Hong Hsu, Hsin-hung Lin, Peter Schwabe, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang, Shang-Yi Yang
2014	B	`conf`	Verifying Recursive Programs Using Intraprocedural Analyzers. SAS Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
2013	—	`conf`	A Finite Exact Representation of Register Automata Configurations. INFINITY Yu-Fang Chen, Bow-Yaw Wang, Di-De Yen
2013	J	`jnl`	A Unified Framework for DPLL(T) + Certificates. J. Appl. Math. Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun
2013	A	`conf`	BULL: A Library for Learning Algorithms of Boolean Functions. TACAS Yu-Fang Chen, Bow-Yaw Wang
2013	B	`conf`	VCS: A Verifier for Component-Based Systems. ATVA Fei He, Liangze Yin, Bow-Yaw Wang, Lianyi Zhang, Guanyu Mu, Wenrui Meng
2012	A*	`conf`	Learning Boolean Functions Incrementally. CAV Yu-Fang Chen, Bow-Yaw Wang
2012	J	`jnl`	Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference Log. Methods Comput. Sci. Wonchan Lee, Yungbum Jung, Bow-Yaw Wang, Kwangkeun Yi
2012	A*	`conf`	Termination Analysis with Algorithmic Learning. CAV Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi
2012	—	`conf`	Thread-Modular Model Checking with Iterative Refinement. NASA Formal Methods Wenrui Meng, Fei He, Bow-Yaw Wang, Qiang Liu
2011	A	`conf`	Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference. TACAS Yungbum Jung, Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi
2010	Misc	`ed.`	4th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, 25-27 August 2010 TASE Jing Liu, Doron A. Peled, Bow-Yaw Wang, Farn Wang
2010	A*	`conf`	Automated Assume-Guarantee Reasoning through Implicit Learning. CAV Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang
2010	B	`conf`	Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates. APLAS Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw Wang, Kwangkeun Yi
2010	—	`conf`	Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning. ISoLA (1) Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Fei He, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang, Lei Zhu
2010	J	`jnl`	Complete SAT-Based Model Checking for Context-Free Processes. Int. J. Found. Comput. Sci. Geng-Dian Huang, Bow-Yaw Wang
2010	B	`conf`	Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction. VMCAI Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi
2010	A*	`conf`	On Array Theory of Bounded Elements. CAV Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu
2009	J	`jnl`	Automated Compositional Reasoning of Intuitionistically Closed Regular Properties. Int. J. Found. Comput. Sci. Yih-Kuen Tsay, Bow-Yaw Wang
2009	A	`conf`	Learning Minimal Separating DFA's for Compositional Verification. TACAS Yu-Fang Chen, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang
2008	C	`conf`	Automated Compositional Reasoning of Intuitionistically Closed Regular Properties. CIAA Yih-Kuen Tsay, Bow-Yaw Wang
2008	A	`conf`	Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages. TACAS Azadeh Farzan, Yu-Fang Chen, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang
2007	B	`conf`	Automatic Derivation of Compositional Rules in Automated Compositional Reasoning. CONCUR Bow-Yaw Wang
2007	B	`conf`	Complete SAT-Based Model Checking for Context-Free Processes. ATVA Geng-Dian Huang, Bow-Yaw Wang
2006	C	`conf`	Automatic Verification of a Model Checker by Reflection. PADL Bow-Yaw Wang
2006	—	`conf`	Formalization of CTL* in Calculus of Inductive Constructions. ASIAN Ming-Hsien Tsai, Bow-Yaw Wang
2006	Misc	`conf`	Modeling and analyzing applications with domain-specific languages by reflective rewriting: a case study. SAC Bow-Yaw Wang
2006	—	`conf`	Modular Formalization of Reactive Modules in COQ. ASIAN Ming-Hsien Tsai, Bow-Yaw Wang
2006	B	`conf`	On the Satisfiability of Modular Arithmetic Formulae. ATVA Bow-Yaw Wang
2006	J	`jnl`	Sat-based Model Checking for Region Automata. Int. J. Found. Comput. Sci. Fang Yu, Bow-Yaw Wang
2005	C	`conf`	Proving forall-µ-Calculus Properties with SAT-Based Model Checking. FORTE Bow-Yaw Wang
2005	C	`conf`	Specification of an Infinite-State Local Model Checker in Rewriting Logic. SEKE Bow-Yaw Wang
2004	J	`jnl`	BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction. IEEE Trans. Software Eng. Farn Wang, Karsten Schmidt, Fang Yu, Geng-Dian Huang, Bow-Yaw Wang
2004	—	`conf`	Bounded Model Checking for Region Automata. FORMATS/FTRTFT Fang Yu, Bow-Yaw Wang, Yao-Wen Huang
2004	B	`conf`	Toward Unbounded Model Checking for Region Automata. ATVA Fang Yu, Bow-Yaw Wang
2004	—	`conf`	mu-Calculus Model Checking in Maude. WRLA Bow-Yaw Wang
2001	A*	`conf`	JMOCHA: A Model Checking Tool that Exploits Design Structure. ICSE Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang
2001	A*	`conf`	Verifying Network Protocol Implementations by Symbolic Refinement Checking. CAV Rajeev Alur, Bow-Yaw Wang
2000	B	`conf`	Automated Refinement Checking for Asynchronous Processes. FMCAD Rajeev Alur, Radu Grosu, Bow-Yaw Wang
2000	—	`conf`	Specification and Formal Analysis of a PLAN Algorithm in Maude. ICDCS Workshop on Distributed System Validation and Verification Bow-Yaw Wang, José Meseguer, Carl A. Gunter
1999	B	`conf`	"Next" Heuristic for On-the-Fly Model Checking. CONCUR Rajeev Alur, Bow-Yaw Wang
1997	J	`jnl`	Deciding a Class of Path Formulas for Conflict-Free Petri Nets. Theory Comput. Syst. Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang
1994	J	`jnl`	Some Complexity Results for Rings of Petri Nets. Int. J. Found. Comput. Sci. Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang
1993	—	`conf`	A Unified Approach for Reasoning about Conflict-Free Petri Nets. Application and Theory of Petri Nets Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang