Search the dblp DataBase
Bow-Yaw Wang :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Bow-Yaw Wang On the Satisfiability of Modular Arithmetic Formulae. [Citation Graph (0, 0)][DBLP ] ATVA, 2006, pp:186-199 [Conf ] Fang Yu , Bow-Yaw Wang Toward Unbounded Model Checking for Region Automata. [Citation Graph (0, 0)][DBLP ] ATVA, 2004, pp:20-33 [Conf ] Rajeev Alur , Bow-Yaw Wang Verifying Network Protocol Implementations by Symbolic Refinement Checking. [Citation Graph (0, 0)][DBLP ] CAV, 2001, pp:169-181 [Conf ] Rajeev Alur , Bow-Yaw Wang ``Next'' Heuristic for On-the-Fly Model Checking. [Citation Graph (0, 0)][DBLP ] CONCUR, 1999, pp:98-113 [Conf ] Rajeev Alur , Radu Grosu , Bow-Yaw Wang Automated Refinement Checking for Asynchronous Processes. [Citation Graph (0, 0)][DBLP ] FMCAD, 2000, pp:55-72 [Conf ] 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 ] Bow-Yaw Wang Proving forall-µ-Calculus Properties with SAT-Based Model Checking. [Citation Graph (0, 0)][DBLP ] FORTE, 2005, pp:113-127 [Conf ] 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 ] 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 ] Bow-Yaw Wang Automatic Verification of a Model Checker by Reflection. [Citation Graph (0, 0)][DBLP ] PADL, 2006, pp:45-59 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Bow-Yaw Wang Automatic Derivation of Compositional Rules in Automated Compositional Reasoning. [Citation Graph (0, 0)][DBLP ] CONCUR, 2007, pp:303-316 [Conf ] Modular Formalization of Reactive Modules in COQ. [Citation Graph (, )][DBLP ] Formalization of CTL* in Calculus of Inductive Constructions. [Citation Graph (, )][DBLP ] Automated Assume-Guarantee Reasoning through Implicit Learning. [Citation Graph (, )][DBLP ] On Array Theory of Bounded Elements. [Citation Graph (, )][DBLP ] Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages. [Citation Graph (, )][DBLP ] Learning Minimal Separating DFA's for Compositional Verification. [Citation Graph (, )][DBLP ] Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction. [Citation Graph (, )][DBLP ] Automated Compositional Reasoning of Intuitionistically Closed Regular Properties. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.305secs