|
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. |
|
|
|
|
|
|
|
|
|
|
 |
|
|
|
|