Wang, Farn - Department of Electrical Engineering, National Taiwan University

Advanced Search

Wang, Farn - Department of Electrical Engineering, National Taiwan University

Reachability Solution Characterization of Parametric Real-Time Systems
TCTL Inevitability Analysis of Dense-time Systems Dept. of Electrical Engineering, National Taiwan University
TCTL Inevitability Analysis of Dense-Time From Theory to Engineering
Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness
Numerical Coverage Estimation for the Symbolic Simulation of RealTime Systems #
Symbolic SimulationChecking of DenseTime Automata # Dept. of Electrical Engineering, National Taiwan University
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-like Data-Structures ?
International Journal of Foundations of Computer Science World Scienti c Publishing Company
Efficient Verification of Distributed Real-Time Systems with Broadcasting Behaviors
Formal Methods in System Design, 17, 3960, 2000 c 2000 Kluwer Academic Publishers. Manufactured in The Netherlands.
Distributed Real-Time System Specification and Verification in APTL
Efficient Model-Checking of Dense-Time Systems with Time-Convexity Analysis Dept. of Electrical Engineering & Graduate Institute of Electronic Engineering
Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions
Symbolic Model Checking for Event-Driven Real-Time Systems
Formal Verification of Timed Systems: A Survey and Perspective
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
Program Repair Suggestions from Graphical State-Transition Specifications
Symmetric Symbolic Safety-Analysis of Concurrent Software
Reachability Solution Characterization of Parametric RealTime Systems
BDD-based Safety-Analysis of Concurrent Software with Pointer Data Structures
Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)