Get started
Author

Farn Wang

Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems
2000 · Farn Wang · Lecture notes in computer science · 58
Efficient and user-friendly verification
2002 · Farn Wang, Pao-Ann Hsiung · IEEE Transactions on Computers · 57
Parametric Timing Analysis for Real-Time Systems
1996 · Farn Wang · Information and Computation · 46
PDF
Symbolic Verification of Complex Real-time Systems with Clock-restriction Diagram
2006 · Farn Wang · Kluwer Academic Publishers eBooks · 44
PDF
Efficient Verification of Timed Automata with BDD-Like Data-Structures
2002 · Farn Wang · Lecture notes in computer science · 37
Distributed real-time system specification and verification in APTL
1993 · Farn Wang, Aloysius K. Mok, et al. · ACM Transactions on Software Engineering and Methodology · 31
Symbolic model checking for event-driven real-time systems
1997 · Jin Yang, Aloysius K. Mok, et al. · ACM Transactions on Programming Languages and Systems · 28
PDF
Region Encoding Diagram for fully symbolic verification of real-time systems
2002 · Farn Wang · IEEE Annual International Computer Software and Applications Conference (COMPSAC) · 26
TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering
2006 · Farn Wang, Geng-Dian Huang, et al. · IEEE Transactions on Software Engineering · 21
Automatic verification on the large
2002 · Farn Wang, Pao-Ann Hsiung · IEEE International Symposium on High Assurance Systems Engineering (HASE) · 21
A Temporal Logic for the Interaction of Strategies
2011 · Farn Wang, Chung-Hao Huang, et al. · Lecture notes in computer science · 20
Symbolic model checking for distributed real-time systems
2005 · Farn Wang, Aloysius Mok, et al. · Springer eBooks · 18
Using Semantic Similarity in Crawling-Based Web Application Testing
2017 · Jun-Wei Lin, Farn Wang, et al. · IEEE International Conference on Software Testing, Verification and Validation (ICST) · 17
Intelligent Test Oracle Construction for Reactive Systems without Explicit Specifications
2011 · Farn Wang, Li-Wei Yao, et al. · IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech) · 17
User-Friendly Verification
1999 · Pao-Ann Hsiung, Farn Wang · IFIP advances in information and communication technology · 16
Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems
2003 · Farn Wang, Geng-Dian Hwang, et al. · Lecture notes in computer science · 15
PDF
Procedure-Level Verification of Real-time Concurrent Systems
1999 · Farn Wang, Chia-Tien Lo · Real-Time Systems · 15
Evolving a Test Oracle in Black-Box Testing
2011 · Farn Wang, Jung-Hsuan Wu, et al. · Lecture notes in computer science · 14
Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems
2005 · Geng-Dian Huang, Farn Wang · Lecture notes in computer science · 14
Parametric Analysis of Computer Systems
2000 · Farn Wang · Formal Methods in System Design · 14
A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors
2015 · Chung-Hao Huang, Doron A. Peled, et al. · IEEE Transactions on Software Engineering · 13
Efficient verification of distributed real-time systems with broadcasting behaviors
2011 · Farn Wang, Li-Wei Yao, et al. · Real-Time Systems · 13
TCTL Inevitability Analysis of Dense-Time Systems
2003 · Farn Wang, Geng-Dian Hwang, et al. · Lecture notes in computer science · 13
Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures
2002 · Farn Wang, Karsten Schmidt · Lecture notes in computer science · 13
PDF
Theoretical aspects of computing
2018 · Augusto Sampaio, Farn Wang · Theoretical Computer Science · 12
PDF
Works count: 99
Citation count: 792
H-index: 15
I10-index: 28
Year
Topic
Type