| 2017 |
Model checking geographically distributed interlocking systems using UMC.
Alessandro Fantechi, Anne E. Haxthausen, and Michel B. R. Nielsen.
In 2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), pages 278–286, 2017. |
|
Compositional model checking of interlocking systems for lines with multiple stations.
Hugo Daniel Macedo, Alessandro Fantechi, and Anne E. Haxthausen.
In Clark Barrett, Misty Davies, and Temesghen Kahsai, editors, NASA Formal Methods: 9th International Symposium, NFM 2017, Proceedings, pages 146–162.
Springer International Publishing, 2017.
|
|
Formal modelling and verification of interlocking systems featuring sequential release.
Linh H. Vu, Anne E. Haxthausen, and Jan Peleska.
Science of Computer Programming, 133, Part 2:91 – 115, 2017.
Online at http://dx.doi.org/10.1016/j.scico.2016.05.010..
|
| 2016 |
Togforsinkelser kan udryddes med algoritmer og logik
Rune Wriedt Larsen; Interview with David Pisinger
Online article Videnskab.dk published 31. May 2016
|
Como se evita a colisão de dois comboios? Com Matemática / How to avoid the collision of two trains? with Mathematics
Interview with Hugo Daniel dos Santos Macedo
Portuguese newspaper, Observador 25. September 2016
|
Rail Safety: Back in the Spotlight.
Interview with David Pisinger and Anne Haxthausen.
In the Technologist magazine, issue no.9, pages 42-43, EuroTech Universities, July 2016.
See http://www.technologist.eu/returning-to-the-rails/.
|
Comparing Formal Verification Approaches of Interlocking Systems.
Anne E. Haxthausen, Hoang Nga Nguyen, and Markus Roggenbach.
In Thierry Lecomte, Ralf Pinger, and Alexander Romanovsky, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail Proceedings, pages 160–177. Springer International Publishing, 2016.
|
SaRDIn - A Safe Reconfigurable Distributed Interlocking.
Alessandro Fantechi, Stefania Gnesi, Anne Haxthausen, Jaco van de Pol, Marco Roveri, and Helen Treharne.
In Proceedings of 11th World Congress on Railway Research (WCRR 2016), 2016.
|
|
On the Use of Static Checking in the Verification of Interlocking Systems.
Anne E. Haxthausen and Peter H. Østergaard.
In Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination,
Applications, Part II, volume 9953 of Lecture Notes in Computer Science, pages 266–278.
Springer International Publishing AG, 2016.
|
|
Compositional Verification of Multi-Station Interlocking Systems
Hugo D. Macedo, Alessandro Fantechi, and Anne E. Haxthausen.
In Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination,
Applications, Part II, volume 9953 of Lecture Notes in Computer Science, pages 279–293.
Springer International Publishing AG, 2016.
|
|
On the Feasibility of a Unified Modelling and Programming Paradigm
Anne E. Haxthausen and Jan Peleska
In Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination,
Applications, Part II, volume 9953 of Lecture Notes in Computer Science, pages 32–49.
Springer, 2016..
|
Ensuring Long-Term Data Integrity
Aleksander Sniady, José Soler, Mohamed Kassab & Marion Berbineau
IEEE Vehicular Technology Magazine
Published in June 2016
|
2015
|
Reactive Robustness and Integrated Approaches for Railway Optimization Problems
Jørgen T. Haahr, (supervisors: David Pisinger, Jesper Larsen)
PhD Thesis, Technical University of Denmark (DTU), Kgs. Lyngby. DTU Management Engineering, October 2015, 233 pages
Open access.
|
Communication Technologies Support to Railway Infrastructure and Operations
Aleksander Sniady (supervisor: Jose Soler)
Ph.D. thesis, Technical University of Denmark (DTU), Kgs. Lyngby. DTU Fotonik. 2015.
Open access. |
Formal Development and Verification of Railway Control Systems - In the context of ERTMS/ETCS Level 2.
Linh Hong Vu (supervisor: Anne Haxthausen)
Ph.D. thesis, Technical University of Denmark (DTU), Kgs. Lyngby. DTU Compute PHD-2015, no. 395.
Open access, 67 % RobustRailS financing.
|
|
EU-krav tvinger 20 år gammel teknologi ind i danske tog
Christian Østergaard interview with José Soler and Aleksander Sniady
Online article on INGENIØREN (ing.dk)
6. June
|
VoLTE performance in railway scenarios
Aleksander Sniady, Morten Sønderskov & José Soler
Joint Rail Conference (JRC2015), ASME, March 2015 |
Matematik mindsker risiko for togkollision
Iben Julie Scmidt and Anne E Haxthausen
In Dynamo No 43-2015 p. 26-29
Open access |
Matematisk gennembrud øger togsikkerheden
Iben Julie Scmidt and Anne E Haxthausen
In DTUavisen No 9-2015, page 16
Open access
|
Micro-simulation based analysis of railway lines robustness
Fabrizio Cerreto
Conference abstract accepted for RailTokyo 2015 (IAROR), and final paper accepted for presentation at the conference. |
Adapting Stopping Patterns in Complex Railway Networks to Reduce Passengers' Travel Time
Parbo, J., Nielsen, O. A., & Prato, C. G.
Proceedings of RailTokyo2015 |
Model-checking and Model-based Testing in the Railway Domain.
Anne E. Haxthausen and Jan Peleska.
In Formal Modeling and Verification of Cyber-Physical Systems, pages 82-121. Springer.
no open access
|
Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release.
Linh H. Vu, Anne E. Haxthausen, and Jan Peleska.
In Formal Techniques for Safety-Critical Systems, volume 476 of Communications in Computer and Information Science, pages 223–238,
Springer International Publishing Switzerland, 2015.
no open access, 90 % RobustRailS financing
|
A Graphical Domain-specific Language for Railway Interlocking Systems
Andreas Foldager
Technical Report, DTU Compute, Technical University of Denmark, 2015
Open access, 100 % RobustRailS financing
|
An optimization based method for line planning to minimize travel time
Simon Henry Bull, Richard Martin Lusby and Jesper Larsen
In Proceedings of the 13th Conference on Advanced Systems in Public Transport (CASPT) 2015, 18 pages
Erasmus University 2015
Open access, 100 % RobustRailS financing
|
VoLTE Performance in Railway Scenarios: Investigating VoLTE as a Viable Replacement for GSM-R
Aleksander Sniady, Morten Sønderskov & José Soler
I E E E Vehicular Technology Magazine Vol 10, p. 60-70, 2015 |
A Formal Specfication Language for Generic Railway Control Systems
Jacob Bøgelund Hansen
Technical Report, DTU Compute, Technical University of Denmark, 2015
Open access, 100 % RobustRailS financing
|
Exact Methods for Solving the Train Departure Matching Problem
Jørgen Haahr and Simon Bull
Annals of Operations Research, Submitted |
New Working Group: European Technical Working Group on Formal Methods in Railway Control Systems
Co-founder: Anne E. Haxthausen
First meeting: University of Surrey, Guildford, UK, 28 - 29/1 2015.
Presentations at meetings at University of Surrey, UK and Vrije Universiteit Amsterdam, Holland.
|
Tutorial at Summer School on Modeling and Verification of Cyber-Physical Systems
Anne E. Haxthausen
Bremen University, Germany, Sep 2015 |
Seminars at University of Queensland and RGB Assurance Pty Ltd in Brisbane
Anne E. Haxthausen
Oct 2015 |
2014
|
A Branch-and-Price Framework for Railway Rolling Stock Rescheduling During Disruptions
Jørgen Haahr, Richard Lusby, Jesper Larsen and David Pisinger
Transportation Science |
Evaluation of robustness indicators using railway operation simulation
Lars Wittrup Jensen, Alex Landex, and Otto Anker Nielsen
14th International Conference on Railway Engineering Design and Optimization, 2014, Rome
In proceedings: Computers in Railways XIV, pages: 329-339, 2014, WIT Press,
|
A Domain-specific Language for Railway Interlocking Systems
Linh Vu Hong, Anne E. Haxthausen & Jan Peleska
Best Paper Award for the article concerning verification of the comming Danish Interlocking System
FORMS/FORMAT 2014, 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, pages 200-209.
Institute for Traffic Safety and Automation Engineering, Technische Universität Braunschweig.
90 % RobustRailS financing
|
LTE for Railways: Impact on Performance of ETCS Railway Signaling
Aleksander Sniady & José Soler
Published in: IEEE Vehicular Technology Magazine, volume 9(2), pp. 69–77, IEEE, May 2014
Journal, no open access, 100% RobustRailS financing |
Applied Bounded Model Checking for Interlocking System Designs
Anne E. Haxthausen, Jan Peleska and Ralf Pinger
Published in: Software Engineering and Formal Methods, volume 8368 of the Lecture Notes in Computer Science, pages 205–220. Springer, 2014 (extended and revised version of the conference article)
No open access. 35 % RobustRailS financing
|
Automated generation of formal safety conditions from railway interlocking tables
Anne E. Haxthausen
Article in International Journal on Software Tools for Technology Transfer (doi: 10.1007/s10009-013-0295-9, issn: 1433-2779),
Volume 16, Number 6, pages 713-726, Springer Berlin Heidelberg, 2014.
Open access, 100% RobustRailS financing
|
Formal Verification of the Danish Railway Interlocking Systems.
Linh H. Vu, Anne E. Haxthausen, and Jan Peleska.
Published in: Pre-proceedings of 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014),
pages 257-258. University of Twente, 2014.
Open access, 90 % RobustRailS financing
|
A SysML Test Model and Test Suite for the ETCS Ceiling Speed Monitor.
Cécile Braunstein, Jan Peleska, Uwe Schulze, Felix Hübner, Wen-Ling Huang, Anne E. Haxthausen, and Linh Vu Hong.
Technical Report OETCS/WP4/CSM-01/00, openETCS, May 2014.
Open access, 30 % RobustRailS financing |
|
User perspectives in public transport timetable optimization
Jens Parbo Jensen, Otto Anker Nielsen og Carlo Giacomo Prato.
Transportation Research Part C: Emerging Technologies, 48, 269-284 2014
No open access og 90% RobustRailS financing
|
DTU Fotonik - Projekt RobustRails
Aleksander Sniady & José Soler
Video on YouTube, January 16, 2014 |
LTE micro-cell deployment for high-density railway areas
Aleksander Sniady, M. Kassab, José Soler & Marion Berbineau
Published in: Communication Technologies for Vehicles: 6th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircrafts,
volume 8435 of Lecture Notes in Computer Science, pp. 143–155, Springer, May 2014
Journal, no open access, 40% RobustRailS financing |
Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor.
Cécile Braunstein, Anne E Haxthausen, Wen-ling Huang, Felix Hübner, Jan Peleska, Uwe Schulze, and Linh Vu Hong.
Proceedings of 16th International Conference on Formal Methods and Software Engineering (ICFEM 2014), pages 380-395.
Springer International Publishing, 2014.
Conference, no open access, 30 % RobustRailS financing |
Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release.
Linh H. Vu, Anne E. Haxthausen, and Jan Peleska.
Published in: Preliminary Proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems
(FTSCS 2014), pages 58-73, 2014.
Open access, 90 % RobustRailS financing |
Capacity gain with an alternative LTE railway communication network
Aleksander Sniady & José Soler
The 7th International Workshop on Communication Technologies for Vehicles - Nets4Cars-Fall (doi: 10.1109/Nets4CarsFall.2014.7000913), IEEE, 2014. |
Workshop: Software Change Management and Approval Processes for Safety Critical Applications.
Arrangør: Anne E. Haxthausen for Banedanmark og Trafikstyrelsen
August 2014.
|
"RobustRailS: Best practice and Challenges for Robust Railway Operations"
David Pisinger
Workshop on "Analytics and Scheduling in Public Transportation
ERASMUS University, May 16, 2014.
|
"A Framework for Rolling Stock Disruption Management"
Jesper Larsen
Workshop on "Analytics and Scheduling in Public Transportation
ERASMUS University, May 16, 2014. |
"RobustRailS"
David Pisinger
Danish Society of Transporteconomics (TØF), Trafikstyrelsen, 24 November 2014. |
2013
|
Applied Bounded Model Checking for Interlocking System Designs (title)
Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems (book title)
Anne E. Haxthausen, Jan Peleska & Ralf Pinger (authors pages 21-26)
Stefan Gruner, Anne E. Haxthausen & Tom Maibaum and Markus Roggenbach, (editors)
Proceedings of FM-RAIL-BOK Workshop 2013, DTU Compute Technical Report-2013-20 (ISBN 978-87-643-1303-1), 2013
Open access, 35% RobustRailS financing |
Can LTE become an alternative to GSM-R?
Aleksander Sniady & José Soler
Conference abstract at ”Strategisk forskning i transport og infrastruktur" Conference
("Strategic Research in Transportation and Infrastructure" Conference), Technical University of Denmark, 2013
Conference, published, no open access, 100 % RobustRailS financing |
Efficient development and verification of safe railway control software
Anne E. Haxthausen & Jan Peleska
In Railways: Types, Design and Safety Issues. Nova Science Publishers, 2013
Not open access, 50% RobustRailS financing |
Evaluation of ETCS performance with LTE as alternative railway communication network using OPNET
Aleksander Sniady & José Soler
Proceedings of OPNETWORK2013, OPNET 2013
Conference, published, no open access, 100 % RobustRailS financing |
Formal Development and Verification of Railway Control Systems
Linh Vu Hong, Anne E. Haxthausen & Jan Pelska
Extented Abstract presented at ”Strategisk forskning i transport og infrastruktur" Conference
("Strategic Research in Transportation and Infrastructure" Conference), Technical University of Denmark, 2013
Open access, 100% RobustRailS financing |
Formal Development and Verification of Safe Railway Control Systems
Anne E. Haxthausen & Linh Vu Hong
Poster presentation at Danish Railway Conference 2013
Open access, 100% RobustRailS financing |
Quantification and improvement of robustness and punctuality in railway transport – a litterature reveiw. (Kvantificering samt forbedring af robusthed og punktlighed i jernbanetransport – en gennemgang af litteraturen)
J. Parbo, O.A. Nielsen, C. Prato & A. Landex
The Annual Danish Transport Conference at Aalborg University. Trafikdage, 2013. |
Future alternatives to GSM-R
Aleksander Sniady, José Soler & Lars Dittmann
Poster presentation at Danish Railway Conference 2013
Conference, published, no open access, 100 % RobustRailS financing |
Impact of the traffic load on performance of an alternative LTE railway communication network
Aleksander Sniady & José Soler
The 13th International Conference on ITS Telecommunications, IEEE, pp. 396-401, 2013
Conference, published, no open access, 100 % RobustRailS financing |
LTE as an alternative to GSM-R
Aleksander Sniady & José Soler
Video on YouTube, April 6, 2013 |
Measures for track complexity and robustness of operation at stations
Alex Landex & Lars Wittrup Jensen
Journal of Rail Transport Planning & Management, Volume 3, Issues 1–2, Pages 22–35, 2013 |
Measuring Robustness of Timetables at Stations using a Probability Distribution
Lars Wittrup Jensen & Alex Landex
Paper presented at 5th International Seminar on Railway Operations Modelling and Analysis - RailCopenhagen, Kgs. Lyngby, Denmark, 2013 |
Netværkseffekter i jernbanekøreplaner
Lars Wittrup Jensen & Alex Landex
Paper presented at Aalborg Trafikdage (Aalborg Trafic Days), Aalborg, Denmark, 2013 |
Opgradering af jernbanen mellem Odense og Aarhus (The Upgrading of the Railway between Odense and Aarhus)
Lars Wittrup Jensen
Paper presented at Aalborg Trafikdage (Aalborg Trafic Days), Aalborg, Denmark, 2013 |
Performance of LTE in High Speed Railway Scenarios
Aleksander Sniady & José Soler
Journal: Communication Technologies for Vehicles: 5th International Workshop, Nets4Cars/Nets4Trains,
Lecture Notes in Computer Science, Vol. 7865, p. 211-222, 2013
Journal, published, no open access, 100% RobustRailS financing |
The Rolling Stock and Depot Recovery Problem
Jørgen Thorlund Haahr, Richard Martin Lusby, Jesper Larsen & David Pisinger
Abstract presented at Conference Tristan VIII, San Pedro de Atacama, Chile, June 9-14, 2013 |
Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems (@techreport, FMRAILBOK-TR)
Stefan Gruner, Anne E. Haxthausen, Tom Maibaum and Markus Roggenbach (editors)
DTU Compute Technical Report-2013-20, Technical University of Denmark, ISBN 978-87-643-1303-1, November 2013
Open access, 25% RobustRailS financing |
New Train Run Monitoring system: Getting the most out of an ERTMS level 2 Signalling system
Troels Richter, Alex Landex & Jonas Lohmann Elkjær Andersen
World Congress on Railway Research, 2013 |
Precise and accurate train run data: Approximation of actual arrival and departure times
Troels Richter, Alex Landex & Jonas Lohmann Elkjær Andersen
World Congress on Railway Research, 2013
|
Mini-konference: Robust Railway Operations: Best Practice and Challenges
Arrangør: David Pisinger
afholdt på DTU, 3. oktober 2013
(med deltagelse af bl.a. DSB, S-tog, Banedanmark, Metroselskabet) |
Railway workshop: FM-RAIL-BOK 2013
co-chair: Anne E. Haxthausen
afholdt i Madrid, september 2013 PC
|
RailCopenhagen
Arrangør: Alex Landex
afholdt på DTU, maj 2013
|
2012
|
An overview of GSM-R technology and its shortcomings
Aleksander Sniady & José Soler
Proceedings of The 12th International Conference on ITS Telecommunications (ITST 2012), IEEE Press, p. 626-629, 2012,
Conference, published, no open access, 100 % RobustRailS financing |
Automated generation of safety requirements from railway interlocking tables
Anne E. Haxthausen
In 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation,
number 7610 in Lecture Notes in Computer Science, pages 261 - 275. Springer, 2012
Not open access, 100% RobustRailS financing |
Communication technologies support to railway operations.
Aleksander Sniady, José Soler & Lars Dittmann
Poster presentation at Danish Railway Conference 2012, Copenhagen, 2012
Conference, published, no open access, 100 % RobustRailS financing |
Formal Modelling and Verification of Railway Time Tables
Kristian Hede
Technical Report IMM-MSC-2012-71, DTU Informatics, Technical University of Denmark, 2012
Open access, 100% RobustRailS financing |
Modelling and verification of relay interlocking systems
M. Aanæs & H.P. Thai
Technical Report IMM-MSC-2012-14, DTU Informatics, Technical University of Denmark, 2012
Open access, 100% RobustRailS financing |
Performance of Flow-Aware Networking in LTE backbone
Aleksander Sniady & José Soler
Proceedings of OPNETWORK2012, OPNET 2012
Conference, published, no open access, 100 % RobustRailS financing |
The Model-Driven openETCS Paradigm for Secure, Safe and Certifiable Train Control Systems.
Jan Peleska, Johannes Feuser & Anne E. Haxthausen
2012 Railway Safety, Reliability and Security: Technologies and System Engineering. IGI global, Ch. 2, p. 22-52, 2012
No open access, 20% RobustRailS financing |