Research Fellow/Professor  |  Wang, Bow-Yaw       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.