Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
---|---|---|---|---|---|---|
2002 | Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems | Farn Wang; Geng-Dian Hwang; Fang Yu | TR-IIS-02-014 | |||
2002 | OVL Assertion-Checking of Embedded Softwares with Dense-Time Semantics | Farn Wang; Fang Yu | TR-IIS-02-011 | |||
2016 | PAC learning-based verification and model synthesis | Yu-Fang Chen; Chiao Hsieh; Ondrej Lengál; Tsung-Ju Lii; Ming-Hsien Tsai; Bow-Yaw Wang; Farn Wang | ||||
2001 | Parametric Optimization of Open Real-Time Systems | Farn Wang | TR-IIS-01-003 | |||
2000 | Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems | Farn Wang | TR-IIS-00-001 | |||
2002 | Symbolic Simulation of Real-Time Concurrent Systems | Farn Wang; Geng-Dian Hwang | TR-IIS-02-008 | |||
2002 | Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structure | Farn Wang; Karsten Schmidt | TR-IIS-02-010 | |||
2003 | TCTL Inevitability Analysis of Dense-time Systems | Farn Wang; Geng-Dian Hwang; Fang Yu | TR-IIS-03-006 |