Search results for "Bow-Yaw Wang"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Wenrui Meng, Fei He, Bow-Yaw Wang, Qiang Liu	Thread-Modular Model Checking with Iterative Refinement.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
1	Yungbum Jung, Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi	Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference.	TACAS	2011	DBLP DOI BibTeX RDF
1	Geng-Dian Huang, Bow-Yaw Wang	Complete SAT-Based Model Checking for Context-Free Processes.	Int. J. Found. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw Wang, Kwangkeun Yi	Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates.	APLAS	2010	DBLP DOI BibTeX RDF
1	Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu	On Array Theory of Bounded Elements.	CAV	2010	DBLP DOI BibTeX RDF
1	Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang	Automated Assume-Guarantee Reasoning through Implicit Learning.	CAV	2010	DBLP DOI BibTeX RDF
1	Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Fei He, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang, Lei Zhu	Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning.	ISoLA	2010	DBLP DOI BibTeX RDF
1	Jing Liu, Doron Peled, Bow-Yaw Wang, Farn Wang (eds.)	4th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, 25-27 August 2010	TASE	2010	DBLP BibTeX RDF
1	Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi	Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction.	VMCAI	2010	DBLP DOI BibTeX RDF
1	Yih-Kuen Tsay, Bow-Yaw Wang	Automated Compositional Reasoning of Intuitionistically Closed Regular Properties.	Int. J. Found. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Yu-Fang Chen, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang	Learning Minimal Separating DFA's for Compositional Verification.	TACAS	2009	DBLP DOI BibTeX RDF
1	Azadeh Farzan, Yu-Fang Chen, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang	Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages.	TACAS	2008	DBLP DOI BibTeX RDF
1	Yih-Kuen Tsay, Bow-Yaw Wang	Automated Compositional Reasoning of Intuitionistically Closed Regular Properties.	CIAA	2008	DBLP DOI BibTeX RDF
1	Bow-Yaw Wang	Automatic Derivation of Compositional Rules in Automated Compositional Reasoning.	CONCUR	2007	DBLP DOI BibTeX RDF
1	Geng-Dian Huang, Bow-Yaw Wang	Complete SAT-Based Model Checking for Context-Free Processes.	ATVA	2007	DBLP DOI BibTeX RDF
1	Fang Yu, Bow-Yaw Wang	Sat-based Model Checking for Region Automata.	Int. J. Found. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Bow-Yaw Wang	Automatic Verification of a Model Checker by Reflection.	PADL	2006	DBLP DOI BibTeX RDF	Model Checking, Logic Programming, Reflection, Rewriting Logic
1	Bow-Yaw Wang	Modeling and analyzing applications with domain-specific languages by reflective rewriting: a case study.	SAC	2006	DBLP DOI BibTeX RDF
1	Bow-Yaw Wang	On the Satisfiability of Modular Arithmetic Formulae.	ATVA	2006	DBLP DOI BibTeX RDF
1	Ming-Hsien Tsai, Bow-Yaw Wang	Formalization of CTL* in Calculus of Inductive Constructions.	ASIAN	2006	DBLP DOI BibTeX RDF
1	Ming-Hsien Tsai, Bow-Yaw Wang	Modular Formalization of Reactive Modules in COQ.	ASIAN	2006	DBLP DOI BibTeX RDF
1	Bow-Yaw Wang	mu-Calculus Model Checking in Maude.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Bow-Yaw Wang	Proving forall-µ-Calculus Properties with SAT-Based Model Checking.	FORTE	2005	DBLP DOI BibTeX RDF
1	Bow-Yaw Wang	Specification of an Infinite-State Local Model Checker in Rewriting Logic.	SEKE	2005	DBLP BibTeX RDF
1	Farn Wang, Karsten Schmidt 0004, Fang Yu, Geng-Dian Huang, Bow-Yaw Wang	BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF
1	Fang Yu, Bow-Yaw Wang, Yao-Wen Huang	Bounded Model Checking for Region Automata.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
1	Fang Yu, Bow-Yaw Wang	Toward Unbounded Model Checking for Region Automata.	ATVA	2004	DBLP DOI BibTeX RDF	Region automata, Real-time systems, Model checking, Verification, Induction, BMC
1	Rajeev Alur, Bow-Yaw Wang	Verifying Network Protocol Implementations by Symbolic Refinement Checking.	CAV	2001	DBLP DOI BibTeX RDF
1	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.	ICSE	2001	DBLP DOI BibTeX RDF
1	Bow-Yaw Wang, José Meseguer, Carl A. Gunter	Specification and Formal Analysis of a PLAN Algorithm in Maude.	ICDCS Workshop on Distributed System Validation and Verification	2000	DBLP BibTeX RDF
1	Rajeev Alur, Radu Grosu, Bow-Yaw Wang	Automated Refinement Checking for Asynchronous Processes.	FMCAD	2000	DBLP DOI BibTeX RDF
1	Rajeev Alur, Bow-Yaw Wang	``Next'' Heuristic for On-the-Fly Model Checking.	CONCUR	1999	DBLP DOI BibTeX RDF
1	Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang	Deciding a Class of Path Formulas for Conflict-Free Petri Nets.	Theory Comput. Syst.	1997	DBLP DOI BibTeX RDF
1	Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang	Some Complexity Results for Rings of Petri Nets.	Int. J. Found. Comput. Sci.	1994	DBLP BibTeX RDF
1	Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang	A Unified Approach for Reasoning about Conflict-Free Petri Nets.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF

Publications of "Bow-Yaw Wang" ( http://dblp.L3S.de/Authors/Bow-Yaw_Wang )