Concepedia

Farn Wang

FW

14

Publications

326

Citations

13

H-Index

1993

Active since

Affiliations

National Taiwan University(Current)

Institute of Information Science, Academia Sinica

Academia Sinica

Institute of Statistical Science, Academia Sinica

Farn Wang is an author at National Taiwan University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsSystems EngineeringVerificationFormal VerificationProgram AnalysisSoftware AnalysisAutomated ReasoningComputer Engineering

Publications per year

1993–2018

14

Publications

14

Efficient and user-friendly verification

Farn Wang, Pao‐Ann Hsiung · IEEE Transactions on Computers · 2002 · 57 citations

Engineering, Compositional Verification Method, Verification +20

Parametric Timing Analysis for Real-Time Systems

Farn Wang · Information and Computation · 1996 · 46 citations

Engineering, Timing Analysis, Parametric Timing Analysis +7

Distributed real-time system specification and verification in APTL

Farn Wang, Aloysius K. Mok, E. Allen Emerson · ACM Transactions on Software Engineering and Methodology · 1993 · 31 citations

Engineering, Verification, Software Engineering +21

Symbolic model checking for event-driven real-time systems

Jin Yang, Aloysius K. Mok, Farn Wang · ACM Transactions on Programming Languages and Systems · 1997 · 28 citations · Full text

Region Encoding Diagram for fully symbolic verification of real-time systems

Farn Wang · 2002 · 25 citations

Engineering, Verification, Computer Architecture +23

Rows per page

1–5 of 14