# Farn Wang

According to our database

Collaborative distances:

^{1}, Farn Wang authored at least 90 papers between 1992 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

Proceedings of the Networked Systems - 7th International Conference, 2019

2018

Theor. Comput. Sci., 2018

Proceedings of the New Trends in Computer Technologies and Applications, 2018

2017

Acta Informatica, 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

An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata.

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

2015

ACM Trans. Program. Lang. Syst., 2015

Theor. Comput. Sci., 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

CoRR, 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

Efficient verification of distributed real-time systems with broadcasting behaviors.

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

CoRR, 2010

Lazy Decision Diagrams for Word-Level Model Manipulation in Software Verification.

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

Int. J. Found. Comput. Sci., 2006

CoRR, 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

Proc. IEEE, 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

IEEE Trans. Computers, 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

Formal Methods Syst. Des., 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

Real Time Syst., 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

A State Graph Manipulator Tool for Real-Time System Specification and Verification.

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

Inf. Comput., 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 Proceedings, 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