Chinese
English
Associate Research Fellow  |  Wang, Bow-Yaw  
 
contact
vita
education
experience
interests
descriptions
publications
supervised
 
 
 
 
 
Publications
 
Journal Articles
 
1. F. Wang, K. Schmidt, F. Yu, G.D. Huang, and Bow-Yaw Wang, "BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction," IEEE Transactions on Software Engineering, volume 30, number 6, June 2004.
 
 
Conference Papers
 
1. Geng-Dian Huang and Bow-Yaw Wang, "Complete SAT-based Model Checking for Context-Free Processes," 5th International Symposium on Automated Technology for Verification and Analysis, Tokyo, Japen, October 2007.
2. Bow-Yaw Wang, "Automatic Derivation of Compositional Rules in Automated Compositional Reasoning," 18th International Conference on Concurrency Theory, Lisbon, Portugal, September 2007.
3. Ming-Hsien Tsai and Bow-Yaw Wang, "Modular Formalization of Reactive Modules in Coq," 11th Annual Asian Computing Science Conference(ASIAN ’06), Tokyo, Japan, December 2006.
4. Ming-Hsien Tsai and Bow-Yaw Wang, "Formalization of CTL* in the Calculus of Inductive Constructions," 11th Annual Asian Computing Science Conference, Tokyo, Japan, December 2006.
5. Bow-Yaw Wang, "On the Satisfiability of Modular Arithmetic Formulae," 4th Automated Technology for Verification and Analysis, Beijing, China, October 2006.
6. Bow-Yaw Wang, "Modeling and Analyzing Applications with Domain-Specific Languages by Reflective Rewriting: a Case Study," 21st ACM Symposium on Applied Computing, Dijon, France, April 2006.
7. Bow-Yaw Wang, "Automatic Verification of a Model Checker by Reflection," 8th International Symposium on Practical Aspects of Declarative Languages, Charleston, South Carolina, USA, January 2006.
8. Bow-Yaw Wang, "Proving "m -Calculus Properties with SAT-Based Model Checking," 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, Taipei, Taiwan, October 2005.
9. Bow-Yaw Wang, "Specification of an Infinite-State Local Model Checker in Rewriting Logic," 17th International Conference on Software Engineering and Knowledge Engineering, Taipei, Taiwan, July 2005.
10. Bow-Yaw Wang, "Proving \forall\mu-Calculus Properties with SAT-Based Model Checking," 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, 2005.
11. Fang Yu and Bow-Yaw Wang, "Toward Unbounded Model Checking for Region Automata," International Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan, November 2004.
12. Fang Yu, Bow-Yaw Wang, and Yao-Wen Huang, "Bounded Model Checking for Region Automata," Joint International Conferences on Formal Modelling and Analysis of Timed Systems (FORMATS) and Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT), Grenoble, France, September 2004.
13. Bow-Yaw Wang, "Mu-Calculus Model Checking in Maude," 5th International Workshop on Rewriting Logic and Its Applications (WRLA '04), Barcelona, Spain, March 2004.
 
 
 
 
 
bg