# Farn Wang

According to our database

Collaborative distances :

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

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

Model-checking iterated games.

Acta Inf., 2017

Synthesizing Coalitions for Multi-agent Games.

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

Using Semantic Similarity in Crawling-Based Web Application Testing.

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

PAC learning-based verification and model synthesis.

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

An Extension of ATL with Strategy Interaction.

ACM Trans. Program. Lang. Syst., 2015

Complexity of node coverage games.

Theor. Comput. Sci., 2015

Model-checking fair dense-time systems with propositions and events.

STTT, 2015

PAC Learning-Based Verification and Model Synthesis.

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

Verifying Recursive Programs Using Intraprocedural Analyzers.

Proceedings of the Static Analysis - 21st International Symposium, 2014

2013

Efficient model-checking of dense-time systems with time-convexity analysis.

Theor. Comput. Sci., 2013

Coverage Games for Testing Nondeterministic Systems.

CoRR, 2013

Model-Checking Iterated Games.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Temporal Specification Mining for Anomaly Analysis.

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

Rapid Recovery for Systems with Scarce Faults

Proceedings of the Proceedings Third International Symposium on Games, 2012

Symbolic consistency checking of OpenMp parallel programs.

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2012

2011

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

Real-Time Systems, 2011

Evolving a Test Oracle in Black-Box Testing.

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

A Temporal Logic for the Interaction of Strategies.

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010

Simulation-Checking of Real-Time Systems with Fairness Assumptions

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

Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment.

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

LTL Model Checking for Recursive Programs.

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Specification Formalisms and Models.

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Efficient Model-Checking of Dense-Time Systems with Time-Convexity Analysis.

Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis.

Proceedings of the Testing of Software and Communicating Systems, 2008

Program Repair Suggestions from Graphical State-Transition Specifications.

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions.

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

Test automation for kernel code and disk arrays with virtual devices.

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Symbolic Simulation-Checking of Dense-Time Automata.

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

2006

TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering.

IEEE Trans. Software Eng., 2006

Preface.

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

Symbolic Simulation-Checking of Dense-Time Systems

CoRR, 2006

REDLIB for the Formal Verification of Embedded Systems.

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. Embedded Computing, 2005

Under-approximation of the Greatest Fixpoints in Real-Time System Verification

CoRR, 2005

Under-approximation of the Greatest Fixpoint in Real-Time System Verification

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

Reachability solution characterization of parametric real-time systems.

Theor. Comput. Sci., 2004

Efficient verification of timed automata with BDD-like data structures.

STTT, 2004

Formal verification of timed systems: a survey and perspective.

Proceedings of the 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

Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures.

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions.

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems

CoRR, 2003

TCTL Inevitability Analysis of Dense-time Systems

CoRR, 2003

Symbolic Parametric Analysis of Embedded Systems with BDD-like Data-Structures

CoRR, 2003

Timing Parameter Characterization of Real-Time Systems.

Proceedings of the Implementation and Application of Automata, 2003

TCTL Inevitability Analysis of Dense-Time Systems.

Proceedings of the Implementation and Application of Automata, 2003

Efficient Verification of Timed Automata with BDD-Like Data-Structures.

Proceedings of the Verification, 2003

OVL Assertion-Checking of Embedded Software with Dense-Time Semantics.

Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003

Symbolic Simulation of Real-Time Concurrent Systems.

Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003

Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems.

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

Efficient and User-Friendly Verification.

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

Parametric Optimization of Open Real-Time Systems.

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

Parametric Analysis of Computer Systems.

Formal Methods in System Design, 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

On the verification of Wireless Transaction Protocol using SGM and RED.

Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems.

Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

1999

Procedure-Level Verification of Real-time Concurrent Systems.

Real-Time Systems, 1999

Scheduling System Verification.

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Verification of Concurrent Client-Server Real-Time Scheduling Systems.

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

Automatic Verification on the Large.

Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

1997

Symboloc Model Checking for Event-Driven Real-Time Systems.

ACM Trans. Program. Lang. Syst., 1997

A Temporal Logic for Real-Time Partial Ordering with Named Transactions.

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

Error Propagation Analysis of Real-Time Data Intensive Applications.

Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium, 1997

High-Level Execution Time Analysis.

Proceedings of the Transformation-Based Reactive Systems Development, 1997

Parametric Analysis of Computer Systems.

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Parametric Timing Analysis for Real-Time Systems.

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

Scalable compositional reachability analysis of real-time concurrent systems.

Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium, 1996

Procedure-Level Verification of Real-time Concurrent Systems.

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995

Timing Behavior Analysis for Real-Time Systems

Proceedings of the Proceedings, 1995

A Temporal Logic for Real-Time Partial-Ordering with Named Transactions.

Proceedings of the LATIN '95: Theoretical Informatics, 1995

Reachability Analysis at Procedure Level through Timing Coincidence.

Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994

RTL and Refutation by Positive Cycles.

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1993

Distributed Real-Time System Specification and Verification in APTL.

ACM Trans. Softw. Eng. Methodol., 1993

Symbolic Model Checking for Event-Driven Real-Time Systems.

Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993

Symbolic Model Checking for Distributed Real-Time Systems.

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1992

Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL.

Proceedings of the 14th International Conference on Software Engineering, 1992