|
[1] John R. Levine, Tony Mason, Doug Brown. Lex & yacc 2/e, 1992 [2] R. Alur, D.L. Dill. Automata for modelling real-time systems. ICALP'' 1990, LNCS 443, Springer-Verlag, pp.322-335. [3] R. Alur, C. Courcoubetis, D.L. Dill. Model Checking for Real-Time Systems. IEEE LICS, 1990. [4] C. Colby, P. Godefroid, L.J. Jagadeesan. Automatically Closing Open Reactive Programs. in Proceedings of ACM SIGPLAN Conference on Programming Lan-guage Design and Implementation, 1998. [5] A. Engels, L. Feijs, S. Mauw. Test Generation for Intelligent Networks using Model Checking. TACAS''97, Enschede, the Netherlands. in LNCS 1217. Springer-Verlag. [6] E.A. Emerson, C.-L. Lei. Modalities for Model Checking: Branching Time Logic Strikes Back, Science of Computer Programming 8 (1987), pp.275-306, Elsevier Science Publishers B.V. (North-Holland). [7] E.M. Clarke, O. Grumberg, D.A. Peled Model Checking. MIT Press, 2000, ISBN 0-262-03270-8. [8] D Minoli Hotspot Networks: Wi-Fi for Public Access Locations McGraw-Hill,2003, ISBN 0071409785. [9] R. Alur, D.L. Dill. Automata for modelling real-time systems. ICALP'' 1990, LNCS 443, Springer-Verlag, pp.322-335.ISBN:0071409785 [10] N. Sidorova, M. Ste®en. Embedding Chaos. In Proceedings of 8th International Static Analysis Symposium, SAS 2001, Paris, France, 2001. [11] http://www.ilesansfl.org/wiki/WiFiDog [12] http://www.jiwire.com/ [13] F. Wang. E±cient Data-Structure for Fully Symbolic Verifcation of Real- Time Software Systems. TACAS''2000, March, Berlin, Germany. in LNCS 1785, Springer-Verlag. [14] F. Wang. Symbolic Veri‾cation of Complex Real-Time Systems with Clock-Restriction Diagram. FORTE''2001, Kluwer; August 2001, Cheju Island, Korea. [15] F. Wang. Efficient Verifcation of Timed Automata with BDD-like Data-Structures. special issue of STTT (Software Tools for Technology Transfer), Springer-Verlag for VMCAI''2003 [16] F. Wang. E±cient Veri‾cation of Timed Automata with BDD-like Data-Structures, STTT (Jouranl of Software Tools for Technology Transfer), Vol. 6, Nr. 1, June 2004, Springer-Verlag; Special issue for VMCAI''2003, LNCS 2575, Springer-Verlag. [17] F. Wang. Symbolic Parametric Analysis of Linear Hybrid Systems with BDD-like Data-Structures. IEEE Transactions on Software Engineering, January 2005 (Vol.31, No. 1), p.38-51. A preliminary version of the paper also appears in proceedings of CAV 2004, LNCS 3114, Springer-Verlag. [18] F. Wang, G.-D. Huang, F. Yu. TCTL Inevitability Analysis of Dense-Time Systems, in proceedings of the 8th International Conference on Implementation and Application of Automata (CIAA), LNCS 2759, Springer-Verlag, July 2003, Santa Barbara, CA, USA. [19] S. Yovine. Kronos: A Verifcation Tool for Real-Time Systems. International Jour-nal of Software Tools for Technology Transfer, Vol. 1, Nr. 1/2, October 1997.
|