Information Technology Reference
In-Depth Information
26. Lindegaard, M.P., Viuf, P., Haxthausen, A.E.: Modelling Railway Interlocking Sys-
tems. In: Proceedings of the 9th IFAC Symposium on Control in Transportation
Systems 2000, Braunschweig, Germany, June 13-15, 2000, pp. 211-217 (2000)
27. Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems.
Springer, Heidelberg (1992)
28. Peleska, J., Baer, A., Haxthausen, A.E.: Towards Domain-Specific Formal Speci-
fication Languages for Railway Control Systems. In: Proceedings of the 9th IFAC
Symposium on Control in Transportation Systems 2000, Braunschweig, Germany,
June 13-15, 2000, pp. 147-152 (2000)
29. Peleska, J., Große, D., Haxthausen, A.E., Drechsler, R.: Automated verification
for train control systems. In: Schnieder, E., Tarnai, G. (eds.) Proceedings of the
FORMS/FORMAT 2004 - Formal Methods for Automation and Safety in Rail-
way and Automotive Systems, pp. 252-265. Technical University of Braunschweig
(2004) (ISBN 3-9803363-8-7)
30. Peleska, J., Haxthausen, A.E.: Object Code Verification for Safety-Critical Railway
Control Systems. In: Proceedings of Formal Methods for Automation and Safety
in Railway and Automotive Systems (FORMS/FORMAT 2007), Braunschweig,
Germany, GZVB e.V. (2007) (ISBN 13:978-3-937655-09-3)
31. Peleska, J., Haxthausen, A.E., Kinder, S., Drechsler, R.: Model-driven development
and verification in the railway domain (To be submitted) (2007)
32. Pnueli, A., Shtrichman, O., Siegel, M.: The code validation tool CVT: Automatic
verification of a compilation process. International Journal on Software Tools for
Technology Transfer 2(2), 192-201 (1998)
33. The RAISE Language Group.: The RAISE Specification Language. The BCS Prac-
titioners Series. Prentice-Hall, Englewood Cliffs (1992)
34. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language - Reference
Manual, 2nd edn. Addison-Wesley, Reading (2004)
35. Schnieder, E., Tarnai, G.: Proceedings of Formal Methods for Automation and
Safety in Railway and Automotive Systems (FORMS/FORMAT 2004), Braun-
schweig, Germany, (Technical University of Braunschweig (December 2004)
36. Schnieder, E., Tarnai, G.: Proceedings of Formal Methods for Automation and
Safety in Railway and Automotive Systems (FORMS/FORMAT 2007), Braun-
schweig, Germany. GZVB e.V (2007) ISBN 13:978-3-937655-09-3
37. Tarnai, G., Schnieder, E.: Proceedings of the Symposium on Formal Methods for
Railway Operation and Control Systems (FORMS'2003), Budapest. L'Harmattan
Hongrie (2003)
38. XForms 1.0, available under
http://www.w3.org/TR/xforms
39. Extensible Markup Language (XML), available under
http://www.w3.org/XML/
40. The Extensible Stylesheet Language Family (XSL), available under
A Laudatio to Dines Bjørner from Anne Haxthausen
It is indeed a great honour to contribute to the celebration of Dines Bjørner.
Dines and his family have mattered so much to me.
First, his sister, Elisabeth Bjørner Søe, was my math teacher in Ingrid Jes-
persens Private School. She taught me the beauty of mathematics and gave me
the skills and interest in mathematics and science that led me to study at the
Technical University of Denmark (DTU).
Search WWH ::
Custom Search