Pulbications

I. Journal articles
  1. F. Wang. Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-like Data-Structures. To appear in IEEE Transactions on Software Engineering. 
  2. 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, Vol. 15, Nr. 6, Dec. 2004, World Scientific. 
  3. F. Wang , H.-C. Yen. Reachability Solution Characterization of Parametric Real-Time Systems . Theoretical Computer Science 328 (2004), pp.187-201, Elsevier, special issue for CIAA 2003. 
  4. F. Wang. Formal Verification of Timed Systems: A Survey and Perspective . Proceedings of the IEEE, Vol. 92, Nr. 8, August 2004, pp.1283-1307, IEEE. 
  5. 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, June 2004, ISSN 0098-5589, pp.403-417, IEEE. 
  6. F. Wang. Efficient Verification of Timed Automata with BDD-like Data-Structures .International Journal on Software Tools for Technology Transfer (STTT), Vol. 6, Nr. 1, July 2004, Springer-Verlag, special issue for the 4 th International Conference on Verification, Model-Checking, and Abstract Interpretation (VMCAI'2003), New York City, USA, January 2003. 
  7. F. Wang, G.-D. Huang, F. Yu. Symbolic Simulation of Industrial Real-Time and Embeded Systems - Experiments with the Bluetooth baseband communication ptotocol , invited to the first issue of the journal of Embedded Computing (JEC), Vol. 1, Issue 1, Cambridge International Science Publishing. 
  8. F. Wang , P.-A. Hsiung. Efficient and User -Friendly Verification . IEEE Transactions on Computers 51 (1), Jan. 2002, ISSN 0018-9340, pp.61-84. 
  9. F. Wang. Parametric Analysis of Computer Systems . Journal of Formal Methods in Systems Design 17 , 2000, pp.39-60, Kluwer Academic Publishers. 
  10. F. Wang , C.-T. Lo. Procedure-Level verification of Real-Time Concurrent Systems . the Journal of Real-Time Systems, vol. 16, Nr. 1, January 1999, pp.81-114, Kluwer Academic Publishers. 
  11. 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, March 1997, pages 386-412. (with J. Yang, A.K. Mok) 
  12. F. Wang. A Temporal Logic for Real-Time Partial-Ordering with Named Transactions . Theoretical Computer Science, Vol. 181, Nr. 1, 15 July 1997, pp. 195-225; Guest Editor : R. Baeza Yates, E. Coles. A preliminary version also appears in Proceedings of Latin American Theoretical INformatics Symposium, Santiago, Chile, April, 1995. LNCS 911, Springer-Verlag. 
  13. F. Wang. Parametric Timing Analysis of Real-Time Systems . Information and Computation, Vol. 130, Nr 2, Academic Press, ISSN 0890-5401, Nov. 1996; pp.131-150. 
  14. 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, No. 4, Octobor 1993, pp. 346-378. 

II. Conference and workshop articles
  1. F. Wang. Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-like Data-Structures . CAV 2004, LNCS 3114, Springer-Verlag; Boston, USA, July 2004. 
  2. F. Wang . Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions . AMAST 2004, LNCS 3116, Springer-Verlga; Stirling, UK, July 2004. 
  3. 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.-Oct. 2003. 
  4. F. Wang , G.-D. Huang, F. Yu. TCTL Inevitability Analysis of Dense-Time Systems , in proceedings of the 8 th International Conference on Implementation and Application of Automata (CIAA), LNCS 2759, Springer-Verlag, July 2003, Santa Barbara, CA, USA. 
  5. F. Wang , H.-C. Yen. Timing Parameter Characterization of Real-Time Systems . 8 th International Conference on Implementation and Application of Automata (CIAA), LNCS 2759, Springer-Verlag, July 2003, Santa Barbara, CA, USA. 
  6. F. Wang , G.-D. Huang, F. Yu. Symbolic Simulation of Real-Time Concurrent Systems . RTCSA'2003, LNCS 2968, Springer-Verlag. 
  7. F. Wang. Efficient Verification of Timed Automata with BDD-like Data-Structures , proceedings of the 4 th VMCAI (Verification, Model-Checking, and Abstract-Interpretation), LNCS 2575, Springer-Verlag, Jan. 2003. 
  8. F. Wang , K. Schmidt. Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures , proceedings of IFIP FORTE, LNCS 2529, Springer-Verlag; November 2002, Houston, U.S.A. 
  9. F. Wang . Symmetric Model-Checking of Concurrent Timed Automata with Clock-Restriction Diagram , RTCSA'2002, March 18-20, 2002, Tokyo, Japan. 
  10. F. Wang . RED: Model-Checker for Timed Automata with Clock-Restriction Diagram . In proceedings of Workshop on Real-Time Tools, Aalborg University, Denmark, August 20, 2001. Technical Report 2001-014, ISSN 1404-3203, Department of Information Technology, Uppsala University. 
  11. F. Wang. Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram . FORTE 2001(the 21st International Conference on Formal Techniques for Networked and Distributed Systems), Cheju Island, Korea. 25-28 Aug, 2001. 
  12. F. Wang , H.-C. Yen. Parametric Optimization of Open Real- Time Systems . SAS 2001 (Static Analysis Symposium), Paris, France, 16-18 July, 2001; LNCS 2126, Springer-Verlag. 
  13. F. Wang . Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems . 24'th COMPSAC'2000 (Computer Software and Applications Conference), Oct, 2000. 
  14. F. Wang . Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems . TACAS'2000, LNCS 1785, Springer-Verlag. 
  15. P.-A. Hsiung, Y.-S. Kuo, F. Wang . Verification of Concurrent Client-Server Real-Time Scheduling Systems . RTCSA'99, Dec., 1999, IEEE press. 
  16. P.-A. Hsiung, F. Wang . User-Friendly Verification. FORTE/PSTV'99 (FORmal description TEchnique/Protocol Specification, Testing, Verification), October, 1999. 
  17. F. Wang . Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes. FM'99 (Formal Method World Congress), September 1999, LNCS 1708, Springer-Verlag. 
  18. P.-A. Hsiung, Y.-S. Kuo, F. Wang . Scheduling System Verification. TACAS 1999(Tools and Algorithms for the Construction and Analysis of Systems), March 1999, LNCS 1579, Springer-Verlag. 
  19. P.-A. Hsiung, F. Wang . A State Graph Manipulator Tool for Real-Time System Specification and Verification. 1998 RTCSA (Real-Time Computing Systems and Applications) Workshop, October 1998, Hiroshima, Japan. 
  20. F. Wang , P.-A. Hsiung. Automatic Verification on the Large. Invited for presentation in 1998 IEEE HASE (High-Assurance Systems Engineering) Symposium, Nov. 13-14, Washington, D.C., USA. 
  21. F. Wang , P.-A. Hsiung. Parametric Analysis of Computer Systems. In Proceedings of the 6th AMAST (Algebraic Methodology And Software Technology) Conference, Sydney, Australia, December, 1997; LNCS 1349, Springer-Verlag. (with P.-A. Hsiung) 
  22. T.-W. Kuo, F. Wang , S.-J. Ho, J.-H. Wey. PASS: A Prototyping, Analysis, Simulation, and Synthesis Environment for Real-Time Systems. to appear in Proceedings of the 4th RTCSA (Real-Time Computing Systems and Applications), Taipei, Taiwan, October, 1997 
  23. T.-W. Kuo, F. Wang , D. Locke. Error Propagation Analysis of Real-Time Data-Intensive Applications. work-in-progress paper, in Proceedings of the 3rd IEEE RTAS (Real-Time Technology and Applications Symposium), Montreal, Canada, June, 1997. 
  24. F. Wang. High-Level Execution Time Analysis. in Proceedings of the Fourth International AMAST Worshop on Real-Time Systems, Concurrent, and Distributed Software (ARTS'97), Mallorca, Spain, May, 1997; LNCS 1231, Springer-Verlag. 
  25. F. Wang. Scalable Compositional Verification of High-Level Real-Time Concurrent Systems : From 10^7 to 10^{85} states. In Proceedings of the 3rd RTCSA (Real-Time Computing Systems and Applications), Seoul, Korea, October, 1996 
  26. F. Wang. Scalable Compositional Reachability Analysis of Real-Time Concurrent Systems . In Proceedings of the 2nd IEEE RTAS (Real-Time Technology and Applications Symposium), Boston, June, 1996. 
  27. F. Wang , C.-T. Lo. Procedure-Level Verification of Real-time Concurrent Systems . In Proceedings of the 3rd FME (Formal Method Europe) Symposium, Oxford, England, March, 1996; LNCS 1051, Springer-Verlag. 
  28. F. Wang. An Experiment on Efficient Real-Time System Verification through Refutation by Positive Cycles . In Proceedings of the 1st RAMS (Real-time And Media Symposium), Taipei, ROC, July, 1995. 
  29. F. Wang . Reachability Analysis at Procedure Level Through Timing Coincidence . In Proceedings of the 6th International Conference on Concurrency Theory, Philadelphia, U.S.A., August, 1995. LNCS 962, Springer-Verlag. 
  30. F. Wang . Timing Behavior Analysis for Real-Time Systems . In Proceedings of IEEE Symposium on Logic in Computer Science, San Diego, California, U.S.A., June, 1995. 
  31. F. Wang , A.K. Mok. RTL and Refutation by Positive Cycles . In Proceedings of Formal Methods Europe Symposium, Barcelona, Spain, October, 1994, LNCS 873. 
  32. J. Yang, A.K. Mok, F. Wang . Symbolic Model Checking for Event-Driven Real-Time Systems . In Proceedings of the 1993 IEEE Real-Time System Symposium , IEEE Computer Society. 
  33. F. Wang , A.K. Mok. A Verifier for Distributed Real-Time Systems with Bounded Integer Variables . In Proceedings of COMPASS Conference, Paithersburg, Maryland, June, 1993. 
  34. F. Wang , A.K. Mok, E.A. Emerson. Symbolic Model-Checking for Distributed Real-Time Systems . In Proceedings of Formal Methods Europe Symposium, Odense, Denmark, April, 1993, LNCS 670. 
  35. F. Wang , A.K. Mok. Asynchronous Real-time Event Logic . In Proceedings of International Computer Symposium , Taichung, Taiwan, December, 1992. 
  36. F. Wang , A.K. Mok, E.A. Emerson. Formal Specification of Asynchronous Distributed Real-Time Systems by APTL . In Proceedings of International Conference on Software Engineering , Melbourne, Australia, May, 1992.
Comments