The SCEAS System
| |||||||

## 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.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |