Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Bow-Yaw Wang
@article{DBLP:journals/tcs/LiuWFZ23, author = {Depeng Liu and Bow{-}Yaw Wang and Chen Fu and Lijun Zhang}, title = {Model checking differentially private properties}, journal = {Theor. Comput. Sci.}, volume = {943}, pages = {153--170}, year = {2023}, url = {https://doi.org/10.1016/j.tcs.2022.10.002}, doi = {10.1016/J.TCS.2022.10.002}, timestamp = {Sun, 15 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/LiuWFZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/TsaiFLSWY23a, author = {Ming{-}Hsien Tsai and Yu{-}Fu Fu and Jiaxiang Liu and Xiaomu Shi and Bow{-}Yaw Wang and Bo{-}Yin Yang}, editor = {Constantin Enea and Akash Lal}, title = {CoqCryptoLine: {A} Verified Model Checker with Certified Results}, booktitle = {Computer Aided Verification - 35th International Conference, {CAV} 2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {13965}, pages = {227--240}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-37703-7\_11}, doi = {10.1007/978-3-031-37703-7\_11}, timestamp = {Tue, 12 Sep 2023 07:57:21 +0200}, biburl = {https://dblp.org/rec/conf/cav/TsaiFLSWY23a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/TsaiFLSWY23, author = {Ming{-}Hsien Tsai and Yu{-}Fu Fu and Jiaxiang Liu and Xiaomu Shi and Bow{-}Yaw Wang and Bo{-}Yin Yang}, editor = {Constantin Enea and Akash Lal}, title = {Certified Verification for Algebraic Abstraction}, booktitle = {Computer Aided Verification - 35th International Conference, {CAV} 2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}}, series = {Lecture Notes in Computer Science}, volume = {13966}, pages = {329--349}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-37709-9\_16}, doi = {10.1007/978-3-031-37709-9\_16}, timestamp = {Tue, 12 Sep 2023 07:57:21 +0200}, biburl = {https://dblp.org/rec/conf/cav/TsaiFLSWY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/Chen0S0WY23, author = {Ruiling Chen and Jiaxiang Liu and Xiaomu Shi and Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Bo{-}Yin Yang}, editor = {Satish Chandra and Kelly Blincoe and Paolo Tonella}, title = {llvm2CryptoLine: Verifying Arithmetic in Cryptographic {C} Programs}, booktitle = {Proceedings of the 31st {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, {ESEC/FSE} 2023, San Francisco, CA, USA, December 3-9, 2023}, pages = {2167--2171}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3611643.3613096}, doi = {10.1145/3611643.3613096}, timestamp = {Mon, 04 Dec 2023 11:02:39 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/Chen0S0WY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/LaiLSTWY23, author = {Li{-}Chang Lai and Jiaxiang Liu and Xiaomu Shi and Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Bo{-}Yin Yang}, title = {Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {1861}, year = {2023}, url = {https://eprint.iacr.org/2023/1861}, timestamp = {Wed, 10 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iacr/LaiLSTWY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tches/HwangLSSTWY22, author = {Vincent Hwang and Jiaxiang Liu and Gregor Seiler and Xiaomu Shi and Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Bo{-}Yin Yang}, title = {Verified {NTT} Multiplications for {NISTPQC} {KEM} Lattice Finalists: Kyber, SABER, and {NTRU}}, journal = {{IACR} Trans. Cryptogr. Hardw. Embed. Syst.}, volume = {2022}, number = {4}, pages = {718--750}, year = {2022}, url = {https://doi.org/10.46586/tches.v2022.i4.718-750}, doi = {10.46586/TCHES.V2022.I4.718-750}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tches/HwangLSSTWY22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/LiuWZ22, author = {Depeng Liu and Bow{-}Yaw Wang and Lijun Zhang}, editor = {Bernd Finkbeiner and Thomas Wies}, title = {Verifying Pufferfish Privacy in Hidden Markov Models}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, {VMCAI} 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13182}, pages = {174--196}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-030-94583-1\_9}, doi = {10.1007/978-3-030-94583-1\_9}, timestamp = {Wed, 19 Jan 2022 09:36:10 +0100}, biburl = {https://dblp.org/rec/conf/vmcai/LiuWZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2205-07480, author = {Chen{-}Kai Lin and Bow{-}Yaw Wang}, title = {Formal Analysis of FreeRTOS Scheduler on {ARM} Cortex-M4 Cores}, journal = {CoRR}, volume = {abs/2205.07480}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.07480}, doi = {10.48550/ARXIV.2205.07480}, eprinttype = {arXiv}, eprint = {2205.07480}, timestamp = {Wed, 18 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-07480.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2206-00279, author = {Depeng Liu and Lutan Zhao and Pengfei Yang and Bow{-}Yaw Wang and Rui Hou and Lijun Zhang and Naijun Zhan}, title = {Defensive Design of Saturating Counters Based on Differential Privacy}, journal = {CoRR}, volume = {abs/2206.00279}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2206.00279}, doi = {10.48550/ARXIV.2206.00279}, eprinttype = {arXiv}, eprint = {2206.00279}, timestamp = {Fri, 12 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2206-00279.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/TsaiFS0WY22, author = {Ming{-}Hsien Tsai and Yu{-}Fu Fu and Xiaomu Shi and Jiaxiang Liu and Bow{-}Yaw Wang and Bo{-}Yin Yang}, title = {Automatic Certified Verification of Cryptographic Programs with {COQCRYPTOLINE}}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {1116}, year = {2022}, url = {https://eprint.iacr.org/2022/1116}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iacr/TsaiFS0WY22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/ShiFLTWY20, author = {Xiaomu Shi and Yu{-}Fu Fu and Jiaxiang Liu and Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Bo{-}Yin Yang}, editor = {Alexandra Silva and K. Rustan M. Leino}, title = {CoqQFBV: {A} Scalable Certified {SMT} Quantifier-Free Bit-Vector Solver}, booktitle = {Computer Aided Verification - 33rd International Conference, {CAV} 2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12760}, pages = {149--171}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-81688-9\_7}, doi = {10.1007/978-3-030-81688-9\_7}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/ShiFLTWY20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/Yu0W20, author = {Qianshan Yu and Fei He and Bow{-}Yaw Wang}, title = {Incremental predicate analysis for regression verification}, journal = {Proc. {ACM} Program. Lang.}, volume = {4}, number = {{OOPSLA}}, pages = {184:1--184:25}, year = {2020}, url = {https://doi.org/10.1145/3428252}, doi = {10.1145/3428252}, timestamp = {Sat, 08 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/Yu0W20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/Xu0W20, author = {Rongchen Xu and Fei He and Bow{-}Yaw Wang}, editor = {Prem Devanbu and Myra B. Cohen and Thomas Zimmermann}, title = {Interval counterexamples for loop invariant learning}, booktitle = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020}, pages = {111--122}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3368089.3409752}, doi = {10.1145/3368089.3409752}, timestamp = {Sat, 08 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/Xu0W20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2008-01704, author = {Depeng Liu and Bow{-}Yaw Wang and Lijun Zhang}, title = {Verifying Pufferfish Privacy in Hidden Markov Models}, journal = {CoRR}, volume = {abs/2008.01704}, year = {2020}, url = {https://arxiv.org/abs/2008.01704}, eprinttype = {arXiv}, eprint = {2008.01704}, timestamp = {Tue, 18 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2008-01704.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/FuLSTWY19, author = {Yu{-}Fu Fu and Jiaxiang Liu and Xiaomu Shi and Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Bo{-}Yin Yang}, editor = {Lorenzo Cavallaro and Johannes Kinder and XiaoFeng Wang and Jonathan Katz}, title = {Signed Cryptographic Program Verification with Typed CryptoLine}, booktitle = {Proceedings of the 2019 {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2019, London, UK, November 11-15, 2019}, pages = {1591--1606}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3319535.3354199}, doi = {10.1145/3319535.3354199}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccs/FuLSTWY19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/LiW19, author = {Yongjian Li and Bow{-}Yaw Wang}, editor = {Yamine A{\"{\i}}t Ameur and Shengchao Qin}, title = {Parameterized Hardware Verification Through a Term-Level Generalized Symbolic Trajectory Evaluation}, booktitle = {Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November 5-9, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11852}, pages = {403--419}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-32409-4\_25}, doi = {10.1007/978-3-030-32409-4\_25}, timestamp = {Mon, 28 Oct 2019 17:04:46 +0100}, biburl = {https://dblp.org/rec/conf/icfem/LiW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/LiuSTWY19, author = {Jiaxiang Liu and Xiaomu Shi and Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Bo{-}Yin Yang}, title = {Verifying Arithmetic in Cryptographic {C} Programs}, booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2019, San Diego, CA, USA, November 11-15, 2019}, pages = {552--564}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/ASE.2019.00058}, doi = {10.1109/ASE.2019.00058}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/LiuSTWY19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/netys/ChenCHTWW19, author = {Yu{-}Fang Chen and Hsiao{-}chen Chung and Wen{-}Chi Hung and Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Farn Wang}, editor = {Mohamed Faouzi Atig and Alexander A. Schwarzmann}, title = {Synthesize Models for Quantitative Analysis Using Automata Learning}, booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {11704}, pages = {75--92}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-31277-0\_6}, doi = {10.1007/978-3-030-31277-0\_6}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/netys/ChenCHTWW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/LiuWZ18, author = {Depeng Liu and Bow{-}Yaw Wang and Lijun Zhang}, editor = {Sukyoung Ryu}, title = {Model Checking Differentially Private Properties}, booktitle = {Programming Languages and Systems - 16th Asian Symposium, {APLAS} 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11275}, pages = {394--414}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-02768-1\_21}, doi = {10.1007/978-3-030-02768-1\_21}, timestamp = {Tue, 18 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aplas/LiuWZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/PolyakovTWY18, author = {Andy Polyakov and Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Bo{-}Yin Yang}, editor = {Sven Schewe and Lijun Zhang}, title = {Verifying Arithmetic Assembly Programs in Cryptographic Primitives (Invited Talk)}, booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018, September 4-7, 2018, Beijing, China}, series = {LIPIcs}, volume = {118}, pages = {4:1--4:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2018}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.4}, doi = {10.4230/LIPICS.CONCUR.2018.4}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/concur/PolyakovTWY18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1808-04239, author = {Chen{-}Kai Lin and Ching{-}Chun Huang and Bow{-}Yaw Wang}, title = {A Spin-based model checking for the simple concurrent program on a preemptive {RTOS}}, journal = {CoRR}, volume = {abs/1808.04239}, year = {2018}, url = {http://arxiv.org/abs/1808.04239}, eprinttype = {arXiv}, eprint = {1808.04239}, timestamp = {Sun, 02 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1808-04239.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/TsaiWY17, author = {Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Bo{-}Yin Yang}, editor = {Bhavani Thuraisingham and David Evans and Tal Malkin and Dongyan Xu}, title = {Certified Verification of Algebraic Properties on Low-Level Mathematical Constructs in Cryptographic Programs}, booktitle = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 - November 03, 2017}, pages = {1973--1987}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3133956.3134076}, doi = {10.1145/3133956.3134076}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccs/TsaiWY17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/LuoHYZZW17, author = {Chen Luo and Fei He and Dong Yan and Dan Zhang and Xin Zhou and Bow{-}Yaw Wang}, editor = {Sebasti{\'{a}}n Uchitel and Alessandro Orso and Martin P. Robillard}, title = {PSpec: a formal specification language for fine-grained control on distributed data analytics}, booktitle = {Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume}, pages = {300--302}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/ICSE-C.2017.120}, doi = {10.1109/ICSE-C.2017.120}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/LuoHYZZW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memocode/LinW17, author = {Hsin{-}Hung Lin and Bow{-}Yaw Wang}, editor = {Jean{-}Pierre Talpin and Patricia Derler and Klaus Schneider}, title = {Releasing {VDM} proof obligations with {SMT} solvers}, booktitle = {Proceedings of the 15th {ACM-IEEE} International Conference on Formal Methods and Models for System Design, {MEMOCODE} 2017, Vienna, Austria, September 29 - October 02, 2017}, pages = {132--135}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3127041.3127066}, doi = {10.1145/3127041.3127066}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/memocode/LinW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/netys/ChenHLMSW17, author = {Yu{-}Fang Chen and Chih{-}Duo Hong and Ondrej Leng{\'{a}}l and Shin{-}Cheng Mu and Nishant Sinha and Bow{-}Yaw Wang}, editor = {Amr El Abbadi and Beno{\^{\i}}t Garbinato}, title = {An Executable Sequential Specification for Spark Aggregation}, booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10299}, pages = {421--438}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-59647-1\_31}, doi = {10.1007/978-3-319-59647-1\_31}, timestamp = {Fri, 22 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/netys/ChenHLMSW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ChenHLMSW17, author = {Yu{-}Fang Chen and Chih{-}Duo Hong and Ondrej Leng{\'{a}}l and Shin{-}Cheng Mu and Nishant Sinha and Bow{-}Yaw Wang}, title = {An Executable Sequential Specification for Spark Aggregation}, journal = {CoRR}, volume = {abs/1702.02439}, year = {2017}, url = {http://arxiv.org/abs/1702.02439}, eprinttype = {arXiv}, eprint = {1702.02439}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/ChenHLMSW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/HeGWWZ16, author = {Fei He and Xiaowei Gao and Miaofei Wang and Bow{-}Yaw Wang and Lijun Zhang}, title = {Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {25}, number = {3}, pages = {21:1--21:39}, year = {2016}, url = {https://doi.org/10.1145/2907943}, doi = {10.1145/2907943}, timestamp = {Thu, 16 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tosem/HeGWWZ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/HeMW16, author = {Fei He and Shu Mao and Bow{-}Yaw Wang}, editor = {Swarat Chaudhuri and Azadeh Farzan}, title = {Learning-Based Assume-Guarantee Regression Verification}, booktitle = {Computer Aided Verification - 28th International Conference, {CAV} 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {9779}, pages = {310--328}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-41528-4\_17}, doi = {10.1007/978-3-319-41528-4\_17}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/HeMW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/ChenHLLTWW16, author = {Yu{-}Fang Chen and Chiao Hsieh and Ondrej Leng{\'{a}}l and Tsung{-}Ju Lii and Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Farn Wang}, editor = {Laura K. Dillon and Willem Visser and Laurie A. Williams}, title = {{PAC} learning-based verification and model synthesis}, booktitle = {Proceedings of the 38th International Conference on Software Engineering, {ICSE} 2016, Austin, TX, USA, May 14-22, 2016}, pages = {714--724}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2884781.2884860}, doi = {10.1145/2884781.2884860}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/ChenHLLTWW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/YuSLCWB16, author = {Fang Yu and Ching{-}Yuan Shueh and Chun{-}Han Lin and Yu{-}Fang Chen and Bow{-}Yaw Wang and Tevfik Bultan}, editor = {Andreas Zeller and Abhik Roychoudhury}, title = {Optimal sanitization synthesis for web application vulnerability repair}, booktitle = {Proceedings of the 25th International Symposium on Software Testing and Analysis, {ISSTA} 2016, Saarbr{\"{u}}cken, Germany, July 18-20, 2016}, pages = {189--200}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2931037.2931050}, doi = {10.1145/2931037.2931050}, timestamp = {Thu, 23 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issta/YuSLCWB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/JungKDWY15, author = {Yungbum Jung and Soonho Kong and Cristina David and Bow{-}Yaw Wang and Kwangkeun Yi}, title = {Automatically inferring loop invariants via algorithmic learning}, journal = {Math. Struct. Comput. Sci.}, volume = {25}, number = {4}, pages = {892--915}, year = {2015}, url = {https://doi.org/10.1017/S0960129513000078}, doi = {10.1017/S0960129513000078}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/JungKDWY15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/ChenHWZ15, author = {Yu{-}Fang Chen and Chih{-}Duo Hong and Bow{-}Yaw Wang and Lijun Zhang}, editor = {Daniel Kroening and Corina S. Pasareanu}, title = {Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation}, booktitle = {Computer Aided Verification - 27th International Conference, {CAV} 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {9206}, pages = {658--674}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-21690-4\_44}, doi = {10.1007/978-3-319-21690-4\_44}, timestamp = {Thu, 21 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/ChenHWZ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/HeGWZ15, author = {Fei He and Xiaowei Gao and Bow{-}Yaw Wang and Lijun Zhang}, editor = {Sriram K. Rajamani and David Walker}, title = {Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems}, booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2015, Mumbai, India, January 15-17, 2015}, pages = {503--514}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2676726.2676998}, doi = {10.1145/2676726.2676998}, timestamp = {Mon, 08 Apr 2024 08:19:10 +0200}, biburl = {https://dblp.org/rec/conf/popl/HeGWZ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/ChenHSW15, author = {Yu{-}Fang Chen and Chih{-}Duo Hong and Nishant Sinha and Bow{-}Yaw Wang}, editor = {Christel Baier and Cesare Tinelli}, title = {Commutativity of Reducers}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, {TACAS} 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9035}, pages = {131--146}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-46681-0\_9}, doi = {10.1007/978-3-662-46681-0\_9}, timestamp = {Fri, 22 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tacas/ChenHSW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/ChenHTWW15, author = {Yu{-}Fang Chen and Chiao Hsieh and Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Farn Wang}, editor = {Christel Baier and Cesare Tinelli}, title = {CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution)}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, {TACAS} 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9035}, pages = {426--428}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-46681-0\_35}, doi = {10.1007/978-3-662-46681-0\_35}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tacas/ChenHTWW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ChenHWZ15, author = {Yu{-}Fang Chen and Chih{-}Duo Hong and Bow{-}Yaw Wang and Lijun Zhang}, title = {Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation}, journal = {CoRR}, volume = {abs/1502.04280}, year = {2015}, url = {http://arxiv.org/abs/1502.04280}, eprinttype = {arXiv}, eprint = {1502.04280}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/ChenHWZ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ChenHLLTWW15, author = {Yu{-}Fang Chen and Chiao Hsieh and Ondrej Leng{\'{a}}l and Tsung{-}Ju Lii and Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Farn Wang}, title = {{PAC} Learning-Based Verification and Model Synthesis}, journal = {CoRR}, volume = {abs/1511.00754}, year = {2015}, url = {http://arxiv.org/abs/1511.00754}, eprinttype = {arXiv}, eprint = {1511.00754}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/ChenHLLTWW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/ZhouHWGS14, author = {Min Zhou and Fei He and Bow{-}Yaw Wang and Ming Gu and Jiaguang Sun}, title = {Array Theory of Bounded Elements and its Applications}, journal = {J. Autom. Reason.}, volume = {52}, number = {4}, pages = {379--405}, year = {2014}, url = {https://doi.org/10.1007/s10817-013-9293-6}, doi = {10.1007/S10817-013-9293-6}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/ZhouHWGS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/ChenWY14, author = {Yu{-}Fang Chen and Bow{-}Yaw Wang and Kai{-}Chun Yang}, editor = {Sungdeok (Steve) Cha and Yann{-}Ga{\"{e}}l Gu{\'{e}}h{\'{e}}neuc and Gihwon Kwon}, title = {Learning Summaries of Recursive Functions}, booktitle = {21st Asia-Pacific Software Engineering Conference, {APSEC} 2014, Jeju, South Korea, December 1-4, 2014. Volume 1: Research Papers}, pages = {303--310}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/APSEC.2014.53}, doi = {10.1109/APSEC.2014.53}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/ChenWY14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/ChenHLSTWYY14, author = {Yu{-}Fang Chen and Chang{-}Hong Hsu and Hsin{-}Hung Lin and Peter Schwabe and Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Bo{-}Yin Yang and Shang{-}Yi Yang}, editor = {Gail{-}Joon Ahn and Moti Yung and Ninghui Li}, title = {Verifying Curve25519 Software}, booktitle = {Proceedings of the 2014 {ACM} {SIGSAC} Conference on Computer and Communications Security, Scottsdale, AZ, USA, November 3-7, 2014}, pages = {299--309}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2660267.2660370}, doi = {10.1145/2660267.2660370}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccs/ChenHLSTWYY14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/HeWYZ14, author = {Fei He and Bow{-}Yaw Wang and Liangze Yin and Lei Zhu}, editor = {Pankaj Jalote and Lionel C. Briand and Andr{\'{e}} van der Hoek}, title = {Symbolic assume-guarantee reasoning through {BDD} learning}, booktitle = {36th International Conference on Software Engineering, {ICSE} '14, Hyderabad, India - May 31 - June 07, 2014}, pages = {1071--1082}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2568225.2568253}, doi = {10.1145/2568225.2568253}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/HeWYZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/ChenHTWW14, author = {Yu{-}Fang Chen and Chiao Hsieh and Ming{-}Hsien Tsai and Bow{-}Yaw Wang and Farn Wang}, editor = {Markus M{\"{u}}ller{-}Olm and Helmut Seidl}, title = {Verifying Recursive Programs Using Intraprocedural Analyzers}, booktitle = {Static Analysis - 21st International Symposium, {SAS} 2014, Munich, Germany, September 11-13, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8723}, pages = {118--133}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10936-7\_8}, doi = {10.1007/978-3-319-10936-7\_8}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sas/ChenHTWW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jam/ZhouHWGS13, author = {Min Zhou and Fei He and Bow{-}Yaw Wang and Ming Gu and Jiaguang Sun}, title = {A Unified Framework for {DPLL(T)} + Certificates}, journal = {J. Appl. Math.}, volume = {2013}, pages = {964682:1--964682:13}, year = {2013}, url = {https://doi.org/10.1155/2013/964682}, doi = {10.1155/2013/964682}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jam/ZhouHWGS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/HeYWZMM13, author = {Fei He and Liangze Yin and Bow{-}Yaw Wang and Lianyi Zhang and Guanyu Mu and Wenrui Meng}, editor = {Dang Van Hung and Mizuhito Ogawa}, title = {{VCS:} {A} Verifier for Component-Based Systems}, booktitle = {Automated Technology for Verification and Analysis - 11th International Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8172}, pages = {478--481}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-02444-8\_39}, doi = {10.1007/978-3-319-02444-8\_39}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/atva/HeYWZMM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/ChenW13, author = {Yu{-}Fang Chen and Bow{-}Yaw Wang}, editor = {Nir Piterman and Scott A. Smolka}, title = {{BULL:} {A} Library for Learning Algorithms of Boolean Functions}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, {TACAS} 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7795}, pages = {537--542}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-36742-7\_38}, doi = {10.1007/978-3-642-36742-7\_38}, timestamp = {Thu, 23 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tacas/ChenW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/ChenWY14, author = {Yu{-}Fang Chen and Bow{-}Yaw Wang and Di{-}De Yen}, editor = {Luk{\'{a}}s Hol{\'{\i}}k and Lorenzo Clemente}, title = {A Finite Exact Representation of Register Automata Configurations}, booktitle = {Proceedings 15th International Workshop on Verification of Infinite-State Systems, {INFINITY} 2013, Hanoi, Vietnam, 14th October 2013}, series = {{EPTCS}}, volume = {140}, pages = {16--34}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.140.2}, doi = {10.4204/EPTCS.140.2}, timestamp = {Thu, 23 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/ChenWY14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1207-7167, author = {Wonchan Lee and Yungbum Jung and Bow{-}Yaw Wang and Kwangkeun Yi}, title = {Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference}, journal = {Log. Methods Comput. Sci.}, volume = {8}, number = {3}, year = {2012}, url = {https://doi.org/10.2168/LMCS-8(3:25)2012}, doi = {10.2168/LMCS-8(3:25)2012}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1207-7167.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/ChenW12, author = {Yu{-}Fang Chen and Bow{-}Yaw Wang}, editor = {P. Madhusudan and Sanjit A. Seshia}, title = {Learning Boolean Functions Incrementally}, booktitle = {Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7358}, pages = {55--70}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31424-7\_10}, doi = {10.1007/978-3-642-31424-7\_10}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/ChenW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/LeeWY12, author = {Wonchan Lee and Bow{-}Yaw Wang and Kwangkeun Yi}, editor = {P. Madhusudan and Sanjit A. Seshia}, title = {Termination Analysis with Algorithmic Learning}, booktitle = {Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7358}, pages = {88--104}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31424-7\_12}, doi = {10.1007/978-3-642-31424-7\_12}, timestamp = {Wed, 03 Oct 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/LeeWY12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/MengHWL12, author = {Wenrui Meng and Fei He and Bow{-}Yaw Wang and Qiang Liu}, editor = {Alwyn Goodloe and Suzette Person}, title = {Thread-Modular Model Checking with Iterative Refinement}, booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7226}, pages = {237--251}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28891-3\_24}, doi = {10.1007/978-3-642-28891-3\_24}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/nfm/MengHWL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/JungLWY11, author = {Yungbum Jung and Wonchan Lee and Bow{-}Yaw Wang and Kwangkeun Yi}, editor = {Parosh Aziz Abdulla and K. Rustan M. Leino}, title = {Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, {TACAS} 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6605}, pages = {205--219}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-19835-9\_17}, doi = {10.1007/978-3-642-19835-9\_17}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/JungLWY11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijfcs/HuangW10, author = {Geng{-}Dian Huang and Bow{-}Yaw Wang}, title = {Complete SAT-Based Model Checking for Context-Free Processes}, journal = {Int. J. Found. Comput. Sci.}, volume = {21}, number = {2}, pages = {115--134}, year = {2010}, url = {https://doi.org/10.1142/S0129054110007179}, doi = {10.1142/S0129054110007179}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijfcs/HuangW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/KongJDWY10, author = {Soonho Kong and Yungbum Jung and Cristina David and Bow{-}Yaw Wang and Kwangkeun Yi}, editor = {Kazunori Ueda}, title = {Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates}, booktitle = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6461}, pages = {328--343}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17164-2\_23}, doi = {10.1007/978-3-642-17164-2\_23}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/aplas/KongJDWY10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/ChenCFTTW10, author = {Yu{-}Fang Chen and Edmund M. Clarke and Azadeh Farzan and Ming{-}Hsien Tsai and Yih{-}Kuen Tsay and Bow{-}Yaw Wang}, editor = {Tayssir Touili and Byron Cook and Paul B. Jackson}, title = {Automated Assume-Guarantee Reasoning through Implicit Learning}, booktitle = {Computer Aided Verification, 22nd International Conference, {CAV} 2010, Edinburgh, UK, July 15-19, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6174}, pages = {511--526}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-14295-6\_44}, doi = {10.1007/978-3-642-14295-6\_44}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/ChenCFTTW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/ZhouHWG10, author = {Min Zhou and Fei He and Bow{-}Yaw Wang and Ming Gu}, editor = {Tayssir Touili and Byron Cook and Paul B. Jackson}, title = {On Array Theory of Bounded Elements}, booktitle = {Computer Aided Verification, 22nd International Conference, {CAV} 2010, Edinburgh, UK, July 15-19, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6174}, pages = {570--584}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-14295-6\_50}, doi = {10.1007/978-3-642-14295-6\_50}, timestamp = {Fri, 30 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/ZhouHWG10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/ChenCFHTTWZ10, author = {Yu{-}Fang Chen and Edmund M. Clarke and Azadeh Farzan and Fei He and Ming{-}Hsien Tsai and Yih{-}Kuen Tsay and Bow{-}Yaw Wang and Lei Zhu}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning}, booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {6415}, pages = {643--657}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16558-0\_52}, doi = {10.1007/978-3-642-16558-0\_52}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isola/ChenCFHTTWZ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/JungKWY10, author = {Yungbum Jung and Soonho Kong and Bow{-}Yaw Wang and Kwangkeun Yi}, editor = {Gilles Barthe and Manuel V. Hermenegildo}, title = {Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction}, booktitle = {Verification, Model Checking, and Abstract Interpretation, 11th International Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5944}, pages = {180--196}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-11319-2\_15}, doi = {10.1007/978-3-642-11319-2\_15}, timestamp = {Sat, 19 Oct 2019 20:29:32 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/JungKWY10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tase/2010, editor = {Jing Liu and Doron A. Peled and Bow{-}Yaw Wang and Farn Wang}, title = {4th {IEEE} International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2010, Taipei, Taiwan, 25-27 August 2010}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://ieeexplore.ieee.org/xpl/conhome/5587707/proceeding}, isbn = {978-0-7695-4148-8}, timestamp = {Wed, 16 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tase/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijfcs/TsayW09, author = {Yih{-}Kuen Tsay and Bow{-}Yaw Wang}, title = {Automated Compositional Reasoning of Intuitionistically Closed Regular Properties}, journal = {Int. J. Found. Comput. Sci.}, volume = {20}, number = {4}, pages = {747--762}, year = {2009}, url = {https://doi.org/10.1142/S0129054109006851}, doi = {10.1142/S0129054109006851}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijfcs/TsayW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/ChenFCTW09, author = {Yu{-}Fang Chen and Azadeh Farzan and Edmund M. Clarke and Yih{-}Kuen Tsay and Bow{-}Yaw Wang}, editor = {Stefan Kowalewski and Anna Philippou}, title = {Learning Minimal Separating DFA's for Compositional Verification}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, {TACAS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5505}, pages = {31--45}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00768-2\_3}, doi = {10.1007/978-3-642-00768-2\_3}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tacas/ChenFCTW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/FarzanCCTW08, author = {Azadeh Farzan and Yu{-}Fang Chen and Edmund M. Clarke and Yih{-}Kuen Tsay and Bow{-}Yaw Wang}, editor = {C. R. Ramakrishnan and Jakob Rehof}, title = {Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, {TACAS} 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4963}, pages = {2--17}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78800-3\_2}, doi = {10.1007/978-3-540-78800-3\_2}, timestamp = {Mon, 03 Apr 2023 17:23:33 +0200}, biburl = {https://dblp.org/rec/conf/tacas/FarzanCCTW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wia/TsayW08, author = {Yih{-}Kuen Tsay and Bow{-}Yaw Wang}, editor = {Oscar H. Ibarra and Bala Ravikumar}, title = {Automated Compositional Reasoning of Intuitionistically Closed Regular Properties}, booktitle = {Implementation and Applications of Automata, 13th International Conference, {CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5148}, pages = {36--45}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-70844-5\_5}, doi = {10.1007/978-3-540-70844-5\_5}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/wia/TsayW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/HuangW07, author = {Geng{-}Dian Huang and Bow{-}Yaw Wang}, editor = {Kedar S. Namjoshi and Tomohiro Yoneda and Teruo Higashino and Yoshio Okamura}, title = {Complete SAT-Based Model Checking for Context-Free Processes}, booktitle = {Automated Technology for Verification and Analysis, 5th International Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4762}, pages = {51--65}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75596-8\_6}, doi = {10.1007/978-3-540-75596-8\_6}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/atva/HuangW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/Wang07, author = {Bow{-}Yaw Wang}, editor = {Lu{\'{\i}}s Caires and Vasco Thudichum Vasconcelos}, title = {Automatic Derivation of Compositional Rules in Automated Compositional Reasoning}, booktitle = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference, {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4703}, pages = {303--316}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74407-8\_21}, doi = {10.1007/978-3-540-74407-8\_21}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/Wang07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijfcs/YuW06, author = {Fang Yu and Bow{-}Yaw Wang}, title = {Sat-based Model Checking for Region Automata}, journal = {Int. J. Found. Comput. Sci.}, volume = {17}, number = {4}, pages = {775--796}, year = {2006}, url = {https://doi.org/10.1142/S0129054106004108}, doi = {10.1142/S0129054106004108}, timestamp = {Mon, 27 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijfcs/YuW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asian/TsaiW06, author = {Ming{-}Hsien Tsai and Bow{-}Yaw Wang}, editor = {Mitsu Okada and Ichiro Satoh}, title = {Modular Formalization of Reactive Modules in {COQ}}, booktitle = {Advances in Computer Science - {ASIAN} 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4435}, pages = {105--119}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-77505-8\_9}, doi = {10.1007/978-3-540-77505-8\_9}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/asian/TsaiW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asian/TsaiW06a, author = {Ming{-}Hsien Tsai and Bow{-}Yaw Wang}, editor = {Mitsu Okada and Ichiro Satoh}, title = {Formalization of CTL* in Calculus of Inductive Constructions}, booktitle = {Advances in Computer Science - {ASIAN} 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4435}, pages = {316--330}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-77505-8\_25}, doi = {10.1007/978-3-540-77505-8\_25}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/asian/TsaiW06a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/Wang06, author = {Bow{-}Yaw Wang}, editor = {Susanne Graf and Wenhui Zhang}, title = {On the Satisfiability of Modular Arithmetic Formulae}, booktitle = {Automated Technology for Verification and Analysis, 4th International Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006}, series = {Lecture Notes in Computer Science}, volume = {4218}, pages = {186--199}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11901914\_16}, doi = {10.1007/11901914\_16}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/atva/Wang06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/Wang06, author = {Bow{-}Yaw Wang}, editor = {Pascal Van Hentenryck}, title = {Automatic Verification of a Model Checker by Reflection}, booktitle = {Practical Aspects of Declarative Languages, 8th International Symposium, {PADL} 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3819}, pages = {45--59}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11603023\_4}, doi = {10.1007/11603023\_4}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/padl/Wang06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/Wang06, author = {Bow{-}Yaw Wang}, editor = {Hisham Haddad}, title = {Modeling and analyzing applications with domain-specific languages by reflective rewriting: a case study}, booktitle = {Proceedings of the 2006 {ACM} Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006}, pages = {1773--1778}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1141277.1141694}, doi = {10.1145/1141277.1141694}, timestamp = {Tue, 06 Nov 2018 11:06:49 +0100}, biburl = {https://dblp.org/rec/conf/sac/Wang06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/Wang05, author = {Bow{-}Yaw Wang}, editor = {Farn Wang}, title = {Proving forall-{\(\mathrm{\mu}\)}-Calculus Properties with SAT-Based Model Checking}, booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE} 2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3731}, pages = {113--127}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11562436\_10}, doi = {10.1007/11562436\_10}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/forte/Wang05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/Wang05, author = {Bow{-}Yaw Wang}, editor = {William C. Chu and Natalia Juristo Juzgado and W. Eric Wong}, title = {Specification of an Infinite-State Local Model Checker in Rewriting Logic}, booktitle = {Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of China, July 14-16, 2005}, pages = {442--447}, year = {2005}, timestamp = {Thu, 12 Mar 2020 11:30:49 +0100}, biburl = {https://dblp.org/rec/conf/seke/Wang05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/WangSYHW04, author = {Farn Wang and Karsten Schmidt and Fang Yu and Geng{-}Dian Huang and Bow{-}Yaw Wang}, title = {BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction}, journal = {{IEEE} Trans. Software Eng.}, volume = {30}, number = {6}, pages = {403--417}, year = {2004}, url = {https://doi.org/10.1109/TSE.2004.15}, doi = {10.1109/TSE.2004.15}, timestamp = {Thu, 30 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/WangSYHW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/YuW04, author = {Fang Yu and Bow{-}Yaw Wang}, editor = {Farn Wang}, title = {Toward Unbounded Model Checking for Region Automata}, booktitle = {Automated Technology for Verification and Analysis: Second International Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3299}, pages = {20--33}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30476-0\_7}, doi = {10.1007/978-3-540-30476-0\_7}, timestamp = {Thu, 30 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atva/YuW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/formats/YuWH04, author = {Fang Yu and Bow{-}Yaw Wang and Yao{-}Wen Huang}, editor = {Yassine Lakhnech and Sergio Yovine}, title = {Bounded Model Checking for Region Automata}, booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3253}, pages = {246--262}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30206-3\_18}, doi = {10.1007/978-3-540-30206-3\_18}, timestamp = {Thu, 30 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/formats/YuWH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Wang05, author = {Bow{-}Yaw Wang}, editor = {Narciso Mart{\'{\i}}{-}Oliet}, title = {mu-Calculus Model Checking in Maude}, booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {117}, pages = {135--152}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.06.025}, doi = {10.1016/J.ENTCS.2004.06.025}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Wang05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/AlurW01, author = {Rajeev Alur and Bow{-}Yaw Wang}, editor = {G{\'{e}}rard Berry and Hubert Comon and Alain Finkel}, title = {Verifying Network Protocol Implementations by Symbolic Refinement Checking}, booktitle = {Computer Aided Verification, 13th International Conference, {CAV} 2001, Paris, France, July 18-22, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2102}, pages = {169--181}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-44585-4\_15}, doi = {10.1007/3-540-44585-4\_15}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/AlurW01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/AlurAGHKKMMW01, author = {Rajeev Alur and Luca de Alfaro and Radu Grosu and Thomas A. Henzinger and M. Kang and Christoph M. Kirsch and Rupak Majumdar and Freddy Y. C. Mang and Bow{-}Yaw Wang}, editor = {Hausi A. M{\"{u}}ller and Mary Jean Harrold and Wilhelm Sch{\"{a}}fer}, title = {{JMOCHA:} {A} Model Checking Tool that Exploits Design Structure}, booktitle = {Proceedings of the 23rd International Conference on Software Engineering, {ICSE} 2001, 12-19 May 2001, Toronto, Ontario, Canada}, pages = {835--836}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/ICSE.2001.919196}, doi = {10.1109/ICSE.2001.919196}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/AlurAGHKKMMW01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/AlurGW00, author = {Rajeev Alur and Radu Grosu and Bow{-}Yaw Wang}, editor = {Warren A. Hunt Jr. and Steven D. Johnson}, title = {Automated Refinement Checking for Asynchronous Processes}, booktitle = {Formal Methods in Computer-Aided Design, Third International Conference, {FMCAD} 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1954}, pages = {55--72}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-40922-X\_5}, doi = {10.1007/3-540-40922-X\_5}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/AlurGW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdcsw/WangMG00, author = {Bow{-}Yaw Wang and Jos{\'{e}} Meseguer and Carl A. Gunter}, editor = {Ten{-}Hwang Lai}, title = {Specification and Formal Analysis of a {PLAN} Algorithm in Maude}, booktitle = {Proceedings of the 2000 {ICDCS} Workshops, April 10, 2000, Taipei, Taiwan, {ROC}}, pages = {E49--E56}, year = {2000}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icdcsw/WangMG00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/AlurW99, author = {Rajeev Alur and Bow{-}Yaw Wang}, editor = {Jos C. M. Baeten and Sjouke Mauw}, title = {"Next" Heuristic for On-the-Fly Model Checking}, booktitle = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1664}, pages = {98--113}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48320-9\_9}, doi = {10.1007/3-540-48320-9\_9}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/AlurW99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mst/YenWY97, author = {Hsu{-}Chun Yen and Bow{-}Yaw Wang and Ming{-}Sheng Yang}, title = {Deciding a Class of Path Formulas for Conflict-Free Petri Nets}, journal = {Theory Comput. Syst.}, volume = {30}, number = {5}, pages = {475--494}, year = {1997}, url = {https://doi.org/10.1007/s002240000063}, doi = {10.1007/S002240000063}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mst/YenWY97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijfcs/YenWY94, author = {Hsu{-}Chun Yen and Bow{-}Yaw Wang and Ming{-}Sheng Yang}, title = {Some Complexity Results for Rings of Petri Nets}, journal = {Int. J. Found. Comput. Sci.}, volume = {5}, number = {3/4}, pages = {282--292}, year = {1994}, url = {https://doi.org/10.1142/S0129054194000153}, doi = {10.1142/S0129054194000153}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijfcs/YenWY94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/YenWY93, author = {Hsu{-}Chun Yen and Bow{-}Yaw Wang and Ming{-}Sheng Yang}, editor = {Marco Ajmone Marsan}, title = {A Unified Approach for Reasoning about Conflict-Free Petri Nets}, booktitle = {Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {691}, pages = {513--531}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-56863-8\_64}, doi = {10.1007/3-540-56863-8\_64}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/apn/YenWY93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.