王凡教授的著作列表 - Publication List of Farn Wang

Publication List of 王凡 Farn Wang

Journal articles & book chapters:

  1. Farn Wang, G.-D. Huang, F. Yu., “TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering,” IEEE Transactions on Software Engineering, IEEE Computer Society., Vol. 32, Nr. 7, 510-526, Jul. 2006
  2. F. Wang, “Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-like Data-Structures,” IEEE Transactions on Software Engineering, Vol. 31, Nr. 1, 38-51, Jan. 2005
  3. F. Wang, G.-D. Huang, F. Yu, “Symbolic Simulation of Industrial Real-Time and Embeded Systems - Experiments with the Bluetooth baseband communication ptotocol,” journal of Embedded Computing (JEC), Cambridge International Science Publishing, 2005
  4. F. Wang, “Inductive Composition of Numbers with Maximum, Minimum, and Addition - A New Theory for Program Execution-Time Analysis,” International Journal of Foundations of Computer Science, World Scientific, Vol. 15, Nr. 6, Dec. 2004
  5. F. Wang, H.-C. Yen., “Reachability Solution Characterization of Parametric Real-Time Systems,” Theoretical Computer Science, Elsevier,, Vol. 328, Nr. 1-2, 187-201, Nov. 2004
  6. F. Wang., “Formal Verification of Timed Systems: A Survey and Perspective,” Proceedings of the IEEE., Vol. 92, Nr. 8, 1283-1307, Aug. 2004
  7. F. Wang., “Efficient Verification of Timed Automata with BDD-like Data-Structures,” journal of Software Tools for Technology Transfer (STTT), Springer-Verlag, Vol. 6, Nr. 1, Jul. 2004
  8. F. Wang, K. Schmidt, G.-D. Huang, F. Yu, B.-Y. Wang., “BDD-based Safety Analysis of Concurrent Software with Pointer Data Structures using Graph Automorphism Symmetry Reduction,” IEEE Transactions on Software Engineering., Vol. 30, Nr. 6, 403-417, Jun. 2004
  9. F. Wang, P.-A. Hsiung,, “Efficient and User-Friendly Verification.,” IEEE Transactions on Computers,, Vol. 51, Nr. 1, ITCOB4, ISSN 0018-9340., Jan. 2002
  10. F. Wang, “Parametric Analysis of Computer Systems.,” Journal of Formal Methods in System Design, Kluwer Academic Publishers, 17, 39-60, 2000
  11. F. Wang, C.-T. Lo, “Procedural-Level Verification of Real-Time Concurrent Systems,” Real-Time System Journal, Kluwer Academic Press, Vol. 16, Nr. 1, 81-114, Jan. 1999
  12. F. Wang, “A Temporal Logic for Real-Time Partial-Ordering with Named Transactions,” Theoretical Computer Science, Vol. 181, Nr. 1, 195-225, Jul. 1997
  13. J. Yang, A.K. Mok, F. Wang, “Symbolic Model Checking for Event-Driven Real-Time Systems,” ACM Transactions on Programming Languages and Systems, Vol. 19, Nr. 2, 386-412, Mar. 1997
  14. F. Wang, “Parametric Timing Analysis of Real-Time Systems,” Information and Computation, Academic Press, Vol. 130, Nr. 2,, 131-150, Nov. 1996
  15. F. Wang, A.K. Mok, E.A. Emerson, “Real-Time Distributed System Specification and Verification in APTL,” ACM Transactions on Software Engineering and Methodology, Vol. 2, Nr. 4, 346-378, Oct. 1993

Conference & proceeding papers:

  1. F. Wang, “Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations,” 7'th ICFEM (International Conference on Formal Engineering Methods), Manchester, UK, Nov. 2005
  2. G.-D. Huang, F. Wang, “Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems,” 3rd ATVA (Automated Technology for Verification and Analysis), LNCS 3707, Springer-Verlag, Taipei, TAiwan, ROC, Oct. 2005
  3. F. Wang., “Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-like Data-Structures,” CAV (Computer-Aided Verification), LNCS 3114, Springer-Verlag, Boston, USA,, Jul. 2004
  4. F. Wang., “Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions,” AMAST (Algebraic Methodology And Software Technology), LNCS 3116, Springer-Verlga, Stirling, UK, Jul. 2004
  5. F. Wang, G.-D. Huang, F. Yu., “Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems.,” proceedings of FORTE'2003,, LNCS 2767, Sprin, Berlin,, Sept. 2003
  6. F. Wang, G.-D. Huang, F. Yu., “Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems,” FORTE'2003, LNCS 2767,, Springer-Verlag,, Berlin,, Sept. 2003
  7. F. Wang, G.-D. Hwang, F. Yu,, “TCTL Inevitability Analysis of Dense-Time Systems,” 8th International Conference on Implementation and Application of Automata (CIAA 2003),i n LNCS,, Springer-Verlag;, Santa Barbara, CA, USA, Jul. 2003
  8. F. Wang, H.-C. Yen,, “Timing Parameter Characterization of Real-Time Systems,” to appear in the proceedings of the 8th International Conference on Implementation and Application of Automata (CIAA 2003), in L, Springer-Verlag;, Santa Barbara, CA, USA., Jul. 2003
  9. F. Wang, G.-D. Huang, F. Yu., “TCTL Inevitability Analysis of Dense-Time Systems,” 8th CIAA (International Conference on Implementation and Application of Automata), LNCS 2759, Springer-Verlga; Stirling, Santa Barbara, CA, USA, Jul. 2003
  10. F. Wang, H.-C. Yen., “Timing Parameter Characterization of Real-Time Systems,” 8th International Conference on Implementation and Application of Automata (CIAA), LNCS 2759,, Springer-Verlag,, Santa Barbara, CA, USA., Jul. 2003
  11. F. Wang,, “Verification of Embedded Systems with BDD-like Data-Structures,” invited speech at the 2nd Workshop on Automated Verification of Infinite-state Systems (AVIS’2003),, co-located with, Warsaw, Poland., Apr. 2003
  12. F. Wang, G.-D. Huang, F. Yu., “Symbolic Simulation of Real-Time Concurrent Systems,” RTCSA (Real-Time Computing Systems and Applications), LNCS 2968, Springer-Verlag., Tainan, Taiwan, ROC, Mar. 2003
  13. F. Wang, G.-D. Hwang, F. Yu,, “Symbolic Simulation of Real-Time Concurrent Systems.,” in proceedings of RTCSA’2003, to be included in LNCS,, Springer-Verlag., Tainan, Taiwan, ROC., Feb. 2003
  14. F. Wang,, “Efficient Verification of Timed Automata with BDD-like Data-Structures,” in proceedings of the 4th VMCAI (Verification, Model-Checking, and Abstract-Interpretation), in LNCS 2575,, Springer-Verlag,, Jan. 2003
  15. F. Wang,, “Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems.,” TACAS'2000, LNCS 1785, Springer-Verlag., Jan. 2003
  16. F. Wang., “Efficient Verification of Timed Automata with BDD-like Data-Structures,” proceedings of the 4th VMCAI (Verification, Model-Checking, and Abstract-Interpretation), LNCS 2575,, Springer-Verlag,, Jan. 2003
  17. F. Wang, K. Schmidt,, “Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures.,” in proceedings of IFIP FORTE, LNCS 2529,, Springer-Verlag;, Houston, U.S.A., Nov. 2002
  18. F. Wang,, “Symmetric Model-Checking of Concurrent Timed Automata with Clock-Restriction Diagram,” in proceedings of RTCSA’2002,, Tokyo, Japan., Mar. 2002
  19. F. Wang,, “Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram,” in proceedings of FORTE 2001(the 21st International Conference on Formal Techniques for Networked and Distributed Systems),, Cheju Island, Korea;, Aug. 2001
  20. F. Wang,, “RED: Model-Checker for Timed Automata with Clock-Restriction Diagram,” Workshop on Real-Time Tools, Denmark,, Technical Report, Uppsala University, Sweden., Aug. 2001
  21. F. Wang, H.-C. Yen,, “Parametric Optimization of Open Real-Time Systems,” SAS (Static Analysis Symposium),, LNCS 1824, Sprin, Paris, France,, Jul. 2001
  22. F. Wang,, “Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems.,” 24'th COMPSAC'2000 (Computer Software and Applications Conference),, Oct. 2000