| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Farn Wang, Li-Wei Yao, Ya-Lan Yang |
Efficient verification of distributed real-time systems with broadcasting behaviors.  |
Real-Time Systems  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang, Chung-Hao Huang, Fang Yu |
A Temporal Logic for the Interaction of Strategies. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang, Li-Wei Yao, Jung-Hsuan Wu |
Intelligent Test Oracle Construction for Reactive Systems without Explicit Specifications. |
DASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Kai-Hsiang Chang |
Evolving a Test Oracle in Black-Box Testing. |
FASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang |
Simulation-Checking of Real-Time Systems with Fairness Assumptions |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Farn Wang |
Lazy Decision Diagrams for Word-Level Model Manipulation in Software Verification. |
TASE |
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 | Geng-Dian Huang, Lin-Zan Cai, Farn Wang |
LTL Model Checking for Recursive Programs. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jung-Hsuan Wu, Yee-Chun Chen, Sung-huai Hsieh, Hui-Chi Lin, Ying-Yu Chen, Po-Hsun Cheng, Farn Wang, Feipei Lai |
Real-time Automated MDRO Surveillance System. |
BIOCOMP |
2009 |
DBLP BibTeX RDF |
|
| 1 | Farn Wang |
Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
algorithms, model-checking, experiment, timed automata, TCTL, branching bisimulation |
| 1 | Farn Wang |
Specification Formalisms and Models. |
Wiley Encyclopedia of Computer Science and Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang, Chih-Hong Cheng |
Program Repair Suggestions from Graphical State-Transition Specifications. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
state graph, state transition relation, evaluation, graph theory, cost, bisimulation, equivalence, repair |
| 1 | Farn Wang |
Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
time progress, model-checking, convex, Timed automaton, concave, TCTL |
| 1 | Farn Wang, Geng-Dian Huang |
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang |
Efficient Model-Checking of Dense-Time Systems with Time-Convexity Analysis. |
IEEE Real-Time Systems Symposium |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lin-Zan Cai, Rong-Shiung Wu, Wen-Ting Huang, Farn Wang |
Test automation for kernel code and disk arrays with virtual devices. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
kernel, RAID, device driver, testing automation, disk array, NAS, virtual device |
| 1 | Farn Wang |
Symbolic Simulation-Checking of Dense-Time Automata. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
simulation, model-checking, verification, real-time, refinement, implementation, embedded, events, timed automata, bisimulation, equivalence, bisimilarity, dense-time |
| 1 | Farn Wang, Geng-Dian Huang, Fang Yu |
TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
inevitability, non-Zeno, greatest fixpoint, real-time systems, model-checking, abstraction, TCTL |
| 1 | Farn Wang |
Preface. |
Int. J. Found. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang |
Symbolic Simulation-Checking of Dense-Time Systems |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Farn Wang |
REDLIB for the Formal Verification of Embedded Systems. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang |
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
model-checking, verification, Data-structures, BDD, hybrid automata |
| 1 | Farn Wang, Geng-Dian Huang, Fang Yu |
Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol. |
J. Embedded Computing |
2005 |
DBLP BibTeX RDF |
|
| 1 | Farn Wang |
Under-approximation of the Greatest Fixpoints in Real-Time System Verification |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Farn Wang |
Under-approximation of the Greatest Fixpoint in Real-Time System Verification |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Farn Wang (eds.) |
Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings |
FORTE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Farn Wang |
Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
model-checking, verification, real-time, synchronization, distributed |
| 1 | Geng-Dian Huang, Farn Wang |
Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang, Rong-Shiung Wu, Geng-Dian Huang |
Verifying Timed and Linear Hybrid Rule-Systems with RED. |
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 | Farn Wang |
Inductive Composition Of Numbers With Maximum, Minimum, And Addition: A New Theory for Program Execution-Time Analysis. |
Int. J. Found. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang |
Efficient verification of timed automata with BDD-like data structures. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Verification, Data structures, Timed automata, BDD |
| 1 | Farn Wang |
Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
model-checking, verification, real-time, Distributed, fairness, events |
| 1 | Farn Wang (eds.) |
Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings |
ATVA |
2004 |
DBLP BibTeX RDF |
|
| 1 | Farn Wang |
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
model-checking, verification, data-structures, BDD, hybrid automata |
| 1 | Farn Wang, Geng-Dian Hwang, Fang Yu |
TCTL Inevitability Analysis of Dense-time Systems |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Farn Wang, Geng-Dian Hwang, Fang Yu |
Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Farn Wang |
Symbolic Parametric Analysis of Embedded Systems with BDD-like Data-Structures |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Farn Wang, Geng-Dian Hwang, Fang Yu |
Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
verification, real-time, coverage, symbolic simulation |
| 1 | Farn Wang, Fang Yu |
OVL Assertion-Checking of Embedded Software with Dense-Time Semantics. |
RTCSA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang, Geng-Dian Huang, Fang Yu |
Symbolic Simulation of Real-Time Concurrent Systems. |
RTCSA |
2003 |
DBLP DOI BibTeX RDF |
state-based, model-checking, verification, specification, Assertions, event-driven |
| 1 | Farn Wang |
Efficient Verification of Timed Automata with BDD-Like Data-Structures. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
model-checking, verification, data-structures, timed automata, BDD |
| 1 | Farn Wang, Hsu-Chun Yen |
Timing Parameter Characterization of Real-Time Systems. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang, Geng-Dian Hwang, Fang Yu |
TCTL Inevitability Analysis of Dense-Time Systems. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
Branching temporal logics, inevitability, greatest fixpoint, real-time systems, model-checking, abstraction, TCTL |
| 1 | Farn Wang, Pao-Ann Hsiung |
Efficient and User-Friendly Verification. |
IEEE Trans. Computers |
2002 |
DBLP DOI BibTeX RDF |
software engineering, real-time systems, model-checking, Verification, formal methods, timed automata, compositional verification |
| 1 | Farn Wang, Karsten Schmidt 0004 |
Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
data-structures, Symmetry, symbolic model-checking, pointers |
| 1 | Farn Wang |
Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Farn Wang |
Efficient Model-Checking of Timed Automata with Clock-Restriction Diagram. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Farn Wang, Hsu-Chun Yen |
Parametric Optimization of Open Real-Time Systems. |
SAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang |
Parametric Analysis of Computer Systems. |
Formal Methods in System Design |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang |
Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang |
Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems. (PDF / PS) |
COMPSAC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen |
On the verification of Wireless Transaction Protocol using SGM and RED. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
Wireless Transaction Protocol verification, SGM, process concurrency, clock variables, discrete variables, intelligent permutation, explosion factors, scalable verification, State-Graph Manipulators, world standard, large clock constants, large discrete constants, Region Encoding Diagram, state-space size explosions, WTP verification, real time systems, protocols, data structures, data structures, formal verification, formal verification, mobile communication, Wireless Application Protocol, state spaces, RED, state-space methods, reduction techniques |
| 1 | Farn Wang, Chia-Tien Dan Lo |
Procedure-Level Verification of Real-time Concurrent Systems. |
Real-Time Systems |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Farn Wang |
User-Friendly Verification. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo |
Scheduling System Verification. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo |
Verification of Concurrent Client-Server Real-Time Scheduling Systems. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
concurrent real-time client-server systems, model-checking, verification, scheduling algorithms, automata, state-space reduction |
| 1 | Farn Wang |
Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang, Pao-Ann Hsiung |
Automatic Verification on the Large. (PDF / PS) |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Farn Wang |
A State Graph Manipulator Tool for Real-Time System Specification and Verification. (PDF / PS) |
RTCSA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang |
A Temporal Logic for Real-Time Partial Ordering with Named Transactions. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang, Aloysius K. Mok, Farn Wang |
Symboloc Model Checking for Event-Driven Real-Time Systems. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
binary decision diagrams |
| 1 | Farn Wang, Pao-Ann Hsiung |
Parametric Analysis of Computer Systems. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Tei-Wei Kuo, Shao-Juen Ho, Chih-Hung Wei, Farn Wang |
PASS: a prototyping, analysis, simulation, and synthesis environment for real-time systems. |
RTCSA |
1997 |
DBLP DOI BibTeX RDF |
PASS, prototyping environment, synthesis environment, event-driven model, end-to-end delay requirements, error propagation problem, chalkboard example, simulation, real-time systems, Ethernet, timing constraints, software prototyping |
| 1 | Farn Wang |
High-Level Execution Time Analysis. |
ARTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Tei-Wei Kuo, Doug Locke, Farn Wang |
Error Propagation Analysis of Real-Time Data Intensive Applications. (PDF / PS) |
IEEE Real Time Technology and Applications Symposium |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang |
Parametric Timing Analysis for Real-Time Systems. |
Inf. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang |
Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states. |
RTCSA |
1996 |
DBLP DOI BibTeX RDF |
scalable compositional verification, high-level real-time concurrent systems, compositional CTL mode-checking algorithm, discrete global clock, VERIFAST-2, truly scalable performance, software recursions, protocols, formal verification |
| 1 | Farn Wang, Chia-Tien Dan Lo |
Procedure-Level Verification of Real-time Concurrent Systems. |
FME |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang |
Scalable compositional reachability analysis of real-time concurrent systems. |
IEEE Real Time Technology and Applications Symposium |
1996 |
DBLP BibTeX RDF |
|
| 1 | Farn Wang |
Reachability Analysis at Procedure Level through Timing Coincidence. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang |
A Temporal Logic for Real-Time Partial-Ordering with Named Transactions. |
LATIN |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang |
Timing Behavior Analysis for Real-Time Systems |
LICS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang, Aloysius K. Mok |
RTL and Refutation by Positive Cycles. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang, Aloysius K. Mok, E. Allen Emerson |
Distributed Real-Time System Specification and Verification in APTL. |
ACM Trans. Softw. Eng. Methodol. |
1993 |
DBLP DOI BibTeX RDF |
bounded clock rate drifting, multiclock system model, propositional temporal logic, real-time systems, verification, specification, asynchronous |
| 1 | Farn Wang, Aloysius K. Mok, E. Allen Emerson |
Symbolic Model Checking for Distributed Real-Time Systems. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Yang, Aloysius K. Mok, Farn Wang |
Symbolic Model Checking for Event-Driven Real-Time Systems. |
IEEE Real-Time Systems Symposium |
1993 |
DBLP BibTeX RDF |
|
| 1 | Farn Wang, Aloysius K. Mok, E. Allen Emerson |
Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL. |
ICSE |
1992 |
DBLP DOI BibTeX RDF |
PTL |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")