The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bow-Yaw Wang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang
    A Unified Approach for Reasoning about Conflict-Free Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:513-531 [Conf]
  2. Bow-Yaw Wang
    On the Satisfiability of Modular Arithmetic Formulae. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:186-199 [Conf]
  3. Fang Yu, Bow-Yaw Wang
    Toward Unbounded Model Checking for Region Automata. [Citation Graph (0, 0)][DBLP]
    ATVA, 2004, pp:20-33 [Conf]
  4. Rajeev Alur, Bow-Yaw Wang
    Verifying Network Protocol Implementations by Symbolic Refinement Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:169-181 [Conf]
  5. Rajeev Alur, Bow-Yaw Wang
    ``Next'' Heuristic for On-the-Fly Model Checking. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:98-113 [Conf]
  6. Rajeev Alur, Radu Grosu, Bow-Yaw Wang
    Automated Refinement Checking for Asynchronous Processes. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2000, pp:55-72 [Conf]
  7. Fang Yu, Bow-Yaw Wang, Yao-Wen Huang
    Bounded Model Checking for Region Automata. [Citation Graph (0, 0)][DBLP]
    FORMATS/FTRTFT, 2004, pp:246-262 [Conf]
  8. Bow-Yaw Wang
    Proving forall-µ-Calculus Properties with SAT-Based Model Checking. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:113-127 [Conf]
  9. Bow-Yaw Wang, José Meseguer, Carl A. Gunter
    Specification and Formal Analysis of a PLAN Algorithm in Maude. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  10. Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang
    JMOCHA: A Model Checking Tool that Exploits Design Structure. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:835-836 [Conf]
  11. Bow-Yaw Wang
    Automatic Verification of a Model Checker by Reflection. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:45-59 [Conf]
  12. Bow-Yaw Wang
    Modeling and analyzing applications with domain-specific languages by reflective rewriting: a case study. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:1773-1778 [Conf]
  13. Bow-Yaw Wang
    Specification of an Infinite-State Local Model Checker in Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    SEKE, 2005, pp:442-447 [Conf]
  14. Bow-Yaw Wang
    mu-Calculus Model Checking in Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:135-152 [Journal]
  15. Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang
    Some Complexity Results for Rings of Petri Nets. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1994, v:5, n:3/4, pp:282-292 [Journal]
  16. Fang Yu, Bow-Yaw Wang
    Sat-based Model Checking for Region Automata. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:775-796 [Journal]
  17. Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang
    Deciding a Class of Path Formulas for Conflict-Free Petri Nets. [Citation Graph (0, 0)][DBLP]
    Theory Comput. Syst., 1997, v:30, n:5, pp:475-494 [Journal]
  18. Farn Wang, Karsten Schmidt, Fang Yu, Geng-Dian Huang, Bow-Yaw Wang
    BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:6, pp:403-417 [Journal]
  19. Geng-Dian Huang, Bow-Yaw Wang
    Complete SAT-Based Model Checking for Context-Free Processes. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:51-65 [Conf]
  20. Bow-Yaw Wang
    Automatic Derivation of Compositional Rules in Automated Compositional Reasoning. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:303-316 [Conf]

  21. Modular Formalization of Reactive Modules in COQ. [Citation Graph (, )][DBLP]


  22. Formalization of CTL* in Calculus of Inductive Constructions. [Citation Graph (, )][DBLP]


  23. Automated Assume-Guarantee Reasoning through Implicit Learning. [Citation Graph (, )][DBLP]


  24. On Array Theory of Bounded Elements. [Citation Graph (, )][DBLP]


  25. Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages. [Citation Graph (, )][DBLP]


  26. Learning Minimal Separating DFA's for Compositional Verification. [Citation Graph (, )][DBLP]


  27. Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction. [Citation Graph (, )][DBLP]


  28. Automated Compositional Reasoning of Intuitionistically Closed Regular Properties. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002