Farn Wang
Orcid: 0000-0002-0425-6500
According to our database1,
Farn Wang
authored at least 92 papers
between 1992 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
1
2
1
1
2
3
2
1
1
3
4
5
1
1
1
1
2
1
1
1
1
2
2
1
1
1
2
3
1
3
3
2
1
3
1
5
1
3
3
4
2
4
2
2
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Real-Time Multiple Human Height Measurements With Occlusion Handling Using LiDAR and Camera of a Mobile Device.
IEEE Access, 2024
2019
Proceedings of the Networked Systems - 7th International Conference, 2019
2018
Proceedings of the New Trends in Computer Technologies and Applications, 2018
2017
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
2016
A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors.
IEEE Trans. Software Eng., 2016
Using Semantic Similarity for Input Topic Identification in Crawling-based Web Application Testing.
CoRR, 2016
Proceedings of the 38th International Conference on Software Engineering, 2016
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016
2015
Int. J. Softw. Tools Technol. Transf., 2015
CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
2014
Proceedings of the Static Analysis - 21st International Symposium, 2014
2013
Theor. Comput. Sci., 2013
Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013
2012
Proceedings of the Proceedings Third International Symposium on Games, 2012
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2012
2011
Real Time Syst., 2011
Proceedings of the Fundamental Approaches to Software Engineering, 2011
Intelligent Test Oracle Construction for Reactive Systems without Explicit Specifications.
Proceedings of the IEEE Ninth International Conference on Dependable, 2011
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011
2010
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010
2009
Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009
Real-time Automated MDRO Surveillance System.
Proceedings of the International Conference on Bioinformatics & Computational Biology, 2009
Proceedings of the Automated Technology for Verification and Analysis, 2009
2008
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis.
Proceedings of the Testing of Software and Communicating Systems, 2008
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008
Proceedings of the Automated Technology for Verification and Analysis, 2008
2007
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007
2006
IEEE Trans. Software Eng., 2006
Proceedings of the Leveraging Applications of Formal Methods, 2006
2005
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures.
IEEE Trans. Software Eng., 2005
Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol.
J. Embed. Comput., 2005
CoRR, 2005
CoRR, 2005
Verifying Timed and Linear Hybrid Rule-Systems with RED.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005
Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations.
Proceedings of the Formal Methods and Software Engineering, 2005
Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2005
2004
BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction.
IEEE Trans. Software Eng., 2004
Theor. Comput. Sci., 2004
Int. J. Softw. Tools Technol. Transf., 2004
Inductive Composition Of Numbers With Maximum, Minimum, And Addition: A New Theory for Program Execution-Time Analysis.
Int. J. Found. Comput. Sci., 2004
Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions.
Proceedings of the Algebraic Methodology and Software Technology, 2004
2003
CoRR, 2003
Proceedings of the Implementation and Application of Automata, 2003
Proceedings of the Implementation and Application of Automata, 2003
Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003
Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003
Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003
2002
Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002
2001
Proceedings of the Static Analysis, 8th International Symposium, 2001
Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001
Efficient Model-Checking of Timed Automata with Clock-Restriction Diagram.
Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001
2000
Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000
Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000
Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000
1999
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999
Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999
User-Friendly Verification.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999
Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes.
Proceedings of the FM'99 - Formal Methods, 1999
1998
Proceedings of the 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA '98), 1998
Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998
1997
ACM Trans. Program. Lang. Syst., 1997
Theor. Comput. Sci., 1997
PASS: a prototyping, analysis, simulation, and synthesis environment for real-time systems.
Proceedings of the 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 1997
Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium, 1997
Proceedings of the Transformation-Based Reactive Systems Development, 1997
Proceedings of the Algebraic Methodology and Software Technology, 1997
1996
Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states.
Proceedings of the Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30, 1996
Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium, 1996
1995
Proceedings of the CONCUR '95: Concurrency Theory, 1995
1994
Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994
1993
ACM Trans. Softw. Eng. Methodol., 1993
Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993
Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993
1992
Proceedings of the 14th International Conference on Software Engineering, 1992