Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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}
}
a service of 
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.
last updated on 2024-03-24 02:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
