Formal Approach to Railway Applications - Formal Methods and Hybrid Real-Time Systems - page 512

Acknowledgments. It is a pleasant aspect that I have now the opportunity to
express my gratitude prof. Dines Bjørner. His kind invitation in 2003 to Danish
Technical University and work at AMORE project basically started my interest
in Computer Science, especially in Formal methods. In the end, thanks to him,
I have returned to Denmark three times and most of the work on the Thesis
was done and published during these stays. I have known Dines Bjørner as a
sympathetic and methodical-centered person. His overly enthusiasm and integral
view on research and his leadership capability has made a deep impression on
me. I am and I always will be very grateful for him having shown me this way
and this kind of research.
References
1. Alle, P.: Improving rail transit line capacity using computer graphics. Logist. and
Transp. Rev (Canada) 17, 429-442 (1981)
2. Amendola, A.M., Impagliazzo, L., Marmo, P., Poli, F.: Experimental evaluation of
computer-based railway control systems. In: Proceedings of The Twenty-Seventh
Annual International Symposium on Fault-Tolerant Computing (FTCS'97),
Washington - Brussels - Tokyo, jun 1997, pp. 380-384. IEEE Computer Society
Press, Los Alamitos (1997)
3. Anot, A.J.: Using Z Specification for Railway Interlocking Safety. Periodica Poly-
technica, Transport Engineering Series 28(1-2), 39-53, Department of Information
and Safety Systems Faculty of Electrical Engineering University of Zilina, Vel'ky
diel, Zilina 010 26, Slovak Republic (2000)
4. Anselmi, A., Bernardeschi, C., Fantechi, A., Gnesi, S., Larosa, S., Mongardi, G.,
Torielli, F.: An experience in formal verification of safety properties of a railway
signalling control system. In: Rabe, G. (ed.) SAFECOMP'95: 14th International
Conference on Computer Safety, Reliability and Security, Belgirate, Italy, pp.
474-488. Springer, Heidelberg (1995)
5. Aprea, G., Colantuoni, P., Firpo, P., Lido, R., Pellegrino, D., Rapone, M., Senesi,
F.: SIGAV, the italian high speed railway integrated management system: Safety
and reliability overview. In: Schoitsch, E. (ed.) SAFECOMP'96: 15th Interna-
tional Conference on Computer Safety, Reliability and Security, Vienna, Austria,
p. 250. Springer, Heidelberg (1996)
6. Bailey, C.(ed.) European Railway Signalling, London, England, Institution of
Railway Signalling Engineers, A&C Black (1995)
7. Basten, T., Bol, R.N., Voorhoeve, M.: Simulating and Analyzing Railway Inter-
locking in ExSpect. Technical Report 94-37, Department of Computing Science,
Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The
Netherlands (September 1994)
8. Basten, T., Bol, R.N., Voorhoeve, M.: Simulating and analyzing railway inter-
lockings in ExSpect. IEEE Parallel & Distributed Technology: Systems & Appli-
cations 3(3), 50-62 (1995)
9. Bechina, A., Hermle, J., Siormanolakis, M.: Using Prolog for a railway control sys-
tem. In: Fourth International Conference on the Practical Application of Prolog,
London, UK, pp. 19-30. Practical Application Co., Blackpool, UK (1996)