Lecture Notes in Computer Science 3472

634 Literature
[HR01b] Klaus Havelund and Grigore Ro¸su. Java PathExplorer – a runtime verification
tool. In Proceedings of the 6th International Symposium on Artificial
Intelligence, Robotics and Automation in Space (i-SAIRAS 2001): A New
Space Odyssey. 2001. Montreal, Canada. [526, 533]
[HR02] K. Havelund and G. Ro¸su. Synthesizing monitors for safety properties. In
J.-P. Katoen and P. Stevens, editors, Proceedings of the 8th International
Conference on Tools and Algorithms for the Construction and Analysis of
Systems (TACAS 2002), volume 2280 of Lecture Notes in Computer Science,
pages 324–356. Springer-Verlag, 2002. [538]
[HR04] K. Havelund and G. Ro¸su. An overview of the runtime verification tool
Java PathExplorer. Formal Methods in System Design, 24(2):189–215, 2004.
[536, 552]
[HSE97] F. Huber, B. Schätz, and G. Einert. Consistent graphical specification of
distributed systems. In Proceedings of the 4th International Symposium
of Formal Methods Europe (FME 1997), volume 1313 of Lecture Notes in
Computer Science, pages 122–141. Springer-Verlag, 1997. [406]
[Hsi71] E. P. Hsieh. Checking experiments for sequential machines. IEEE Transactions
on Computers, C-20:1152–1166, October 1971. [69, 72]
[HT90] D. Hamlet and R. Taylor. Partition test does not inspire confidence. IEEE
Transactions on Software Engineering, 16(12):1402–1411, December 1990.
[302, 305]
[HT92] Dung T. Huynh and Lu Tian. On some equivalence relations for probabilistic
processes. Fundamenta Informaticae, 17:211–234, 1992. [274]
[HU79] J. Hopcroft and J. Ullman. Introduction to automata theory, languages and
computation. Addison-Wesley, 1979. [197]
[IBM] IBM. Gotcha users guide – release 4.0.0. [445]
[ID84] M. Ito and Jürgen Duske. On cofinal and definite automata. Acta Cybernetica,
6(2):181–189, 1984. [6]
[Ins03] ETSI (European Telecommunication Standards Institute). The testing and
test control notation version 3. In Methods for Testing and Specification
(MTC). ETSI, 2003. [467, 468, 480, 486, 497, 501]
[IS95] Balázs Imreh and Magnus Steinby. Some remarks on directable automata.
Acta Cybernetica, 12(1):23–35, 1995. [19, 31]
[IS99] Balázs Imreh and Magnus Steinby. Directable nondeterministic automata.
Acta Cybernetica, 14(1):105–115, 1999. [32]
[ISO88] ISO/IEC. LOTOS – a formal description technique based on the temporal
ordering of observational behaviour. International Standard 8807, International
Organization for Standardization – Information Processing Systems
– Open Systems Interconnection, Genève, September 1988. [163, 417, 423]
[ISO94] ISO/IEC. Information technology – open systems interconnection – conformance
testing methodology and framework, 1994. International ISO/IEC
multi-part standard No. 9646. [500]
[ISO02] ISO/IEC. Information technology – Z formal specification notation – syntax,
type system, and semantics. International Organization for Standardization
ISO/IEC 13568, 2002. [325, 327]
[ITU99] ITU. ITU-T recommendation Z.120: Message sequence charts (MSC). ITU
Telecommunication Standard Sector, Geneva (Switzerland), 1999. [468]
[ITU02] ITU. The evolution of TTCN.
http://www.itu.int/ITU-T/studygroups/com07/ttcn.html, 2002. [465]
[JBu] JBuilder. http://www.borland.com/jbuilder/personal/index.html. [502]