default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFarn Wang
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j25]Hanwei Wang
, Feipei Lai, Farn Wang:
Real-Time Multiple Human Height Measurements With Occlusion Handling Using LiDAR and Camera of a Mobile Device. IEEE Access 12: 122588-122596 (2024)
2010 – 2019
- 2019
- [c64]Yu-Fang Chen, Hsiao-chen Chung, Wen-Chi Hung, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang:
Synthesize Models for Quantitative Analysis Using Automata Learning. NETYS 2019: 75-92 - 2018
- [j24]Augusto Sampaio, Farn Wang:
Theoretical aspects of computing. Theor. Comput. Sci. 744: 1-2 (2018) - [c63]Yu-Chien Lin, Farn Wang:
Machine Learning Techniques for Recognizing IoT Devices. ICS 2018: 673-680 - 2017
- [j23]Chung-Hao Huang, Sven Schewe, Farn Wang:
Model-checking iterated games. Acta Informatica 54(7): 625-654 (2017) - [c62]Jun-Wei Lin, Farn Wang, Paul Chu:
Using Semantic Similarity in Crawling-Based Web Application Testing. ICST 2017: 138-148 - [c61]Wei Ji, Farn Wang, Peng Wu:
Synthesizing Coalitions for Multi-agent Games. IFM 2017: 243-259 - 2016
- [j22]Chung-Hao Huang, Doron A. Peled, Sven Schewe, Farn Wang:
A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors. IEEE Trans. Software Eng. 42(7): 605-622 (2016) - [c60]Wei Ji, Farn Wang, Peng Wu, Yi Lv:
An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata. ICECCS 2016: 111-121 - [c59]Yu-Fang Chen, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang:
PAC learning-based verification and model synthesis. ICSE 2016: 714-724 - [e4]Augusto Sampaio, Farn Wang:
Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings. Lecture Notes in Computer Science 9965, 2016, ISBN 978-3-319-46749-8 [contents] - [i10]Jun-Wei Lin, Farn Wang:
Using Semantic Similarity for Input Topic Identification in Crawling-based Web Application Testing. CoRR abs/1608.06549 (2016) - 2015
- [j21]Farn Wang:
Model-checking fair dense-time systems with propositions and events. Int. J. Softw. Tools Technol. Transf. 17(2): 223-243 (2015) - [j20]Farn Wang, Sven Schewe, Jung-Hsuan Wu:
Complexity of node coverage games. Theor. Comput. Sci. 576: 45-60 (2015) - [j19]Farn Wang, Sven Schewe, Chung-Hao Huang:
An Extension of ATL with Strategy Interaction. ACM Trans. Program. Lang. Syst. 37(3): 9:1-9:41 (2015) - [c58]Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang:
CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution). TACAS 2015: 426-428 - [i9]Yu-Fang Chen, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang:
PAC Learning-Based Verification and Model Synthesis. CoRR abs/1511.00754 (2015) - 2014
- [c57]Yu-Fang Chen, Chiao Hsieh, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang:
Verifying Recursive Programs Using Intraprocedural Analyzers. SAS 2014: 118-133 - 2013
- [j18]Farn Wang:
Efficient model-checking of dense-time systems with time-convexity analysis. Theor. Comput. Sci. 467: 89-108 (2013) - [c56]Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Cheng-Chieh Chang, Chung-Cheng Li:
Temporal Specification Mining for Anomaly Analysis. APLAS 2013: 273-289 - [c55]Chung-Hao Huang, Sven Schewe, Farn Wang:
Model-Checking Iterated Games. TACAS 2013: 154-168 - [i8]Farn Wang, Jung-Hsuan Wu, Sven Schewe, Chung-Hao Huang:
Coverage Games for Testing Nondeterministic Systems. CoRR abs/1312.6201 (2013) - 2012
- [c54]Fang Yu, Shun-Ching Yang, Farn Wang, Guan-Cheng Chen, Che-Chang Chan:
Symbolic consistency checking of OpenMp parallel programs. LCTES 2012: 139-148 - [c53]Chung-Hao Huang, Doron A. Peled, Sven Schewe, Farn Wang:
Rapid Recovery for Systems with Scarce Faults. GandALF 2012: 15-28 - 2011
- [j17]Farn Wang, Li-Wei Yao, Ya-Lan Yang:
Efficient verification of distributed real-time systems with broadcasting behaviors. Real Time Syst. 47(4): 285-318 (2011) - [c52]Farn Wang, Chung-Hao Huang, Fang Yu:
A Temporal Logic for the Interaction of Strategies. CONCUR 2011: 466-481 - [c51]Farn Wang, Li-Wei Yao, Jung-Hsuan Wu:
Intelligent Test Oracle Construction for Reactive Systems without Explicit Specifications. DASC 2011: 89-96 - [c50]Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Kai-Hsiang Chang:
Evolving a Test Oracle in Black-Box Testing. FASE 2011: 310-325 - 2010
- [c49]Farn Wang:
Lazy Decision Diagrams for Word-Level Model Manipulation in Software Verification. TASE 2010: 183-186 - [e3]Jing Liu, Doron A. Peled, Bow-Yaw Wang, Farn Wang:
4th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, 25-27 August 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4148-8 [contents] - [i7]Farn Wang:
Simulation-Checking of Real-Time Systems with Fairness Assumptions. CoRR abs/1007.0523 (2010)
2000 – 2009
- 2009
- [c48]Geng-Dian Huang, Lin-Zan Cai, Farn Wang:
LTL Model Checking for Recursive Programs. ATVA 2009: 382-396 - [c47]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: 764-769 - [c46]Farn Wang:
Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment. HSCC 2009: 485-489 - 2008
- [c45]Farn Wang:
Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions. ATVA 2008: 258-273 - [c44]Farn Wang, Chih-Hong Cheng:
Program Repair Suggestions from Graphical State-Transition Specifications. FORTE 2008: 185-200 - [c43]Farn Wang, Geng-Dian Huang:
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis. TestCom/FATES 2008: 234-249 - [c42]Farn Wang:
Efficient Model-Checking of Dense-Time Systems with Time-Convexity Analysis. RTSS 2008: 195-205 - [p1]Farn Wang:
Specification Formalisms and Models. Wiley Encyclopedia of Computer Science and Engineering 2008 - 2007
- [c41]Farn Wang:
Symbolic Simulation-Checking of Dense-Time Automata. FORMATS 2007: 352-368 - [c40]Lin-Zan Cai, Rong-Shiung Wu, Wen-Ting Huang, Farn Wang:
Test automation for kernel code and disk arrays with virtual devices. ASE 2007: 505-508 - 2006
- [j16]Farn Wang:
Preface. Int. J. Found. Comput. Sci. 17(4): 731-732 (2006) - [j15]Farn Wang, Geng-Dian Huang, Fang Yu:
TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering. IEEE Trans. Software Eng. 32(7): 510-526 (2006) - [c39]Farn Wang:
REDLIB for the Formal Verification of Embedded Systems. ISoLA 2006: 341-346 - [i6]Farn Wang:
Symbolic Simulation-Checking of Dense-Time Systems. CoRR abs/cs/0610085 (2006) - 2005
- [j14]Farn Wang, Geng-Dian Huang, Fang Yu:
Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol. J. Embed. Comput. 1(1): 39-56 (2005) - [j13]Farn Wang:
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures. IEEE Trans. Software Eng. 31(1): 38-51 (2005) - [c38]Geng-Dian Huang, Farn Wang:
Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems. ATVA 2005: 144-158 - [c37]Farn Wang:
Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations. ICFEM 2005: 300-314 - [c36]Farn Wang, Rong-Shiung Wu, Geng-Dian Huang:
Verifying Timed and Linear Hybrid Rule-Systems with RED. SEKE 2005: 448-454 - [e2]Farn Wang:
Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings. Lecture Notes in Computer Science 3731, Springer 2005, ISBN 3-540-29189-X [contents] - [i5]Farn Wang:
Under-approximation of the Greatest Fixpoint in Real-Time System Verification. CoRR abs/cs/0501059 (2005) - [i4]Farn Wang:
Under-approximation of the Greatest Fixpoints in Real-Time System Verification. CoRR abs/cs/0501060 (2005) - 2004
- [j12]Farn Wang:
Inductive Composition Of Numbers With Maximum, Minimum, And Addition: A New Theory for Program Execution-Time Analysis. Int. J. Found. Comput. Sci. 15(6): 865-892 (2004) - [j11]Farn Wang:
Formal verification of timed systems: a survey and perspective. Proc. IEEE 92(8): 1283-1305 (2004) - [j10]Farn Wang:
Efficient verification of timed automata with BDD-like data structures. Int. J. Softw. Tools Technol. Transf. 6(1): 77-97 (2004) - [j9]Farn Wang, Hsu-Chun Yen:
Reachability solution characterization of parametric real-time systems. Theor. Comput. Sci. 328(1-2): 187-201 (2004) - [j8]Farn Wang, Karsten Schmidt, 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. 30(6): 403-417 (2004) - [c35]Farn Wang:
Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions. AMAST 2004: 553-568 - [c34]Farn Wang:
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures. CAV 2004: 295-307 - [e1]Farn Wang:
Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings. Lecture Notes in Computer Science 3299, Springer 2004, ISBN 3-540-23610-4 [contents] - 2003
- [c33]Farn Wang, Geng-Dian Hwang, Fang Yu:
Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems. FORTE 2003: 160-176 - [c32]Farn Wang, Fang Yu:
OVL Assertion-Checking of Embedded Software with Dense-Time Semantics. RTCSA 2003: 254-278 - [c31]Farn Wang, Geng-Dian Huang, Fang Yu:
Symbolic Simulation of Real-Time Concurrent Systems. RTCSA 2003: 595-617 - [c30]Farn Wang:
Efficient Verification of Timed Automata with BDD-Like Data-Structures. VMCAI 2003: 189-205 - [c29]Farn Wang, Hsu-Chun Yen:
Timing Parameter Characterization of Real-Time Systems. CIAA 2003: 23-34 - [c28]Farn Wang, Geng-Dian Hwang, Fang Yu:
TCTL Inevitability Analysis of Dense-Time Systems. CIAA 2003: 176-187 - [i3]Farn Wang:
Symbolic Parametric Analysis of Embedded Systems with BDD-like Data-Structures. CoRR cs.DS/0306113 (2003) - [i2]Farn Wang, Geng-Dian Hwang, Fang Yu:
TCTL Inevitability Analysis of Dense-time Systems. CoRR cs.SC/0304003 (2003) - [i1]Farn Wang, Geng-Dian Hwang, Fang Yu:
Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems. CoRR cs.SE/0303027 (2003) - 2002
- [j7]Farn Wang, Pao-Ann Hsiung:
Efficient and User-Friendly Verification. IEEE Trans. Computers 51(1): 61-83 (2002) - [c27]Farn Wang, Karsten Schmidt:
Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures. FORTE 2002: 50-64 - 2001
- [c26]Farn Wang:
Efficient Model-Checking of Timed Automata with Clock-Restriction Diagram. APLAS 2001: 207-224 - [c25]Farn Wang:
Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram. FORTE 2001: 235-250 - [c24]Farn Wang, Hsu-Chun Yen:
Parametric Optimization of Open Real-Time Systems. SAS 2001: 299-318 - 2000
- [j6]Farn Wang:
Parametric Analysis of Computer Systems. Formal Methods Syst. Des. 17(1): 39-60 (2000) - [c23]Farn Wang:
Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems. COMPSAC 2000: 509-515 - [c22]Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen:
On the verification of Wireless Transaction Protocol using SGM and RED. RTCSA 2000: 379-383 - [c21]Farn Wang:
Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems. TACAS 2000: 157-171
1990 – 1999
- 1999
- [j5]Farn Wang, Chia-Tien Dan Lo:
Procedure-Level Verification of Real-time Concurrent Systems. Real Time Syst. 16(1): 81-114 (1999) - [c20]Farn Wang:
Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes. World Congress on Formal Methods 1999: 328-347 - [c19]Pao-Ann Hsiung, Farn Wang:
User-Friendly Verification. FORTE 1999: 279-294 - [c18]Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo:
Verification of Concurrent Client-Server Real-Time Scheduling Systems. RTCSA 1999: 228-235 - [c17]Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo:
Scheduling System Verification. TACAS 1999: 19-33 - 1998
- [c16]Farn Wang, Pao-Ann Hsiung:
Automatic Verification on the Large. HASE 1998: 134-141 - [c15]Pao-Ann Hsiung, Farn Wang:
A State Graph Manipulator Tool for Real-Time System Specification and Verification. RTCSA 1998: 181-188 - 1997
- [j4]Farn Wang:
A Temporal Logic for Real-Time Partial Ordering with Named Transactions. Theor. Comput. Sci. 181(1): 195-225 (1997) - [j3]Jin Yang, Aloysius K. Mok, Farn Wang:
Symboloc Model Checking for Event-Driven Real-Time Systems. ACM Trans. Program. Lang. Syst. 19(2): 386-412 (1997) - [c14]Farn Wang, Pao-Ann Hsiung:
Parametric Analysis of Computer Systems. AMAST 1997: 539-553 - [c13]Farn Wang:
High-Level Execution Time Analysis. ARTS 1997: 325-339 - [c12]Tei-Wei Kuo, Doug Locke, Farn Wang:
Error Propagation Analysis of Real-Time Data Intensive Applications. IEEE Real Time Technology and Applications Symposium 1997: 166-171 - [c11]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: 260-267 - 1996
- [j2]Farn Wang:
Parametric Timing Analysis for Real-Time Systems. Inf. Comput. 130(2): 131-150 (1996) - [c10]Farn Wang, Chia-Tien Dan Lo:
Procedure-Level Verification of Real-time Concurrent Systems. FME 1996: 682-701 - [c9]Farn Wang:
Scalable compositional reachability analysis of real-time concurrent systems. IEEE Real Time Technology and Applications Symposium 1996: 182-191 - [c8]Farn Wang:
Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states. RTCSA 1996: 106- - 1995
- [c7]Farn Wang:
Reachability Analysis at Procedure Level through Timing Coincidence. CONCUR 1995: 284-298 - [c6]Farn Wang:
A Temporal Logic for Real-Time Partial-Ordering with Named Transactions. LATIN 1995: 494-508 - [c5]Farn Wang:
Timing Behavior Analysis for Real-Time Systems. LICS 1995: 112-122 - 1994
- [c4]Farn Wang, Aloysius K. Mok:
RTL and Refutation by Positive Cycles. FME 1994: 659-680 - 1993
- [j1]Farn Wang, Aloysius K. Mok, E. Allen Emerson:
Distributed Real-Time System Specification and Verification in APTL. ACM Trans. Softw. Eng. Methodol. 2(4): 346-378 (1993) - [c3]Farn Wang, Aloysius K. Mok, E. Allen Emerson:
Symbolic Model Checking for Distributed Real-Time Systems. FME 1993: 632-651 - [c2]Jin Yang, Aloysius K. Mok, Farn Wang:
Symbolic Model Checking for Event-Driven Real-Time Systems. RTSS 1993: 23-32 - 1992
- [c1]Farn Wang, Aloysius K. Mok, E. Allen Emerson:
Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL. ICSE 1992: 188-198
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-04 20:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
