No Cover Image

Journal article 2252 views 480 downloads

Verification of the European Rail Traffic Management System in Real-Time Maude

Ulrich Berger, Phillip James Orcid Logo, Andrew Lawrence, Markus Roggenbach Orcid Logo, Monika Seisenberger Orcid Logo

Science of Computer Programming, Volume: 154, Pages: 61 - 88

Swansea University Authors: Ulrich Berger, Phillip James Orcid Logo, Markus Roggenbach Orcid Logo, Monika Seisenberger Orcid Logo

  • journalpaper.pdf

    PDF | Accepted Manuscript

    Released under the terms of a Creative Commons Attribution Non-Commercial No Derivatives License (CC-BY-NC-ND).

    Download (583.2KB)

Check full text

DOI (Published version): 10.1016/j.scico.2017.10.011

Published in: Science of Computer Programming
ISSN: 0167-6423
Published: Elsevier BV 2018
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa37102
first_indexed 2017-11-28T05:14:12Z
last_indexed 2023-02-09T03:45:48Z
id cronfa37102
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2023-02-08T16:42:14.8494493</datestamp><bib-version>v2</bib-version><id>37102</id><entry>2017-11-27</entry><title>Verification of the European Rail Traffic Management System in Real-Time Maude</title><swanseaauthors><author><sid>61199ae25042a5e629c5398c4a40a4f5</sid><firstname>Ulrich</firstname><surname>Berger</surname><name>Ulrich Berger</name><active>true</active><ethesisStudent>false</ethesisStudent></author><author><sid>fd3b15ff96c5ea91a100131abac558b6</sid><ORCID>0000-0002-4307-649X</ORCID><firstname>Phillip</firstname><surname>James</surname><name>Phillip James</name><active>true</active><ethesisStudent>false</ethesisStudent></author><author><sid>7733869ae501442da6926fac77cd155b</sid><ORCID>0000-0002-3819-2787</ORCID><firstname>Markus</firstname><surname>Roggenbach</surname><name>Markus Roggenbach</name><active>true</active><ethesisStudent>false</ethesisStudent></author><author><sid>d035399b2b324a63fe472ce0344653e0</sid><ORCID>0000-0002-2226-386X</ORCID><firstname>Monika</firstname><surname>Seisenberger</surname><name>Monika Seisenberger</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2017-11-27</date><abstract/><type>Journal Article</type><journal>Science of Computer Programming</journal><volume>154</volume><journalNumber/><paginationStart>61</paginationStart><paginationEnd>88</paginationEnd><publisher>Elsevier BV</publisher><placeOfPublication/><isbnPrint/><isbnElectronic/><issnPrint>0167-6423</issnPrint><issnElectronic/><keywords>Railway signalling ERTMS/ETCS Hybrid systems Real-Time Maude Model-checking</keywords><publishedDay>1</publishedDay><publishedMonth>3</publishedMonth><publishedYear>2018</publishedYear><publishedDate>2018-03-01</publishedDate><doi>10.1016/j.scico.2017.10.011</doi><url/><notes/><college>COLLEGE NANME</college><CollegeCode>COLLEGE CODE</CollegeCode><institution>Swansea University</institution><apcterm/><funders/><projectreference/><lastEdited>2023-02-08T16:42:14.8494493</lastEdited><Created>2017-11-27T23:00:03.1420865</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Ulrich</firstname><surname>Berger</surname><order>1</order></author><author><firstname>Phillip</firstname><surname>James</surname><orcid>0000-0002-4307-649X</orcid><order>2</order></author><author><firstname>Andrew</firstname><surname>Lawrence</surname><order>3</order></author><author><firstname>Markus</firstname><surname>Roggenbach</surname><orcid>0000-0002-3819-2787</orcid><order>4</order></author><author><firstname>Monika</firstname><surname>Seisenberger</surname><orcid>0000-0002-2226-386X</orcid><order>5</order></author></authors><documents><document><filename>0037102-27112017230246.pdf</filename><originalFilename>journalpaper.pdf</originalFilename><uploaded>2017-11-27T23:02:46.7300000</uploaded><type>Output</type><contentLength>526366</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2018-11-07T00:00:00.0000000</embargoDate><documentNotes>Released under the terms of a Creative Commons Attribution Non-Commercial No Derivatives License (CC-BY-NC-ND).</documentNotes><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents><OutputDurs/></rfc1807>
spelling 2023-02-08T16:42:14.8494493 v2 37102 2017-11-27 Verification of the European Rail Traffic Management System in Real-Time Maude 61199ae25042a5e629c5398c4a40a4f5 Ulrich Berger Ulrich Berger true false fd3b15ff96c5ea91a100131abac558b6 0000-0002-4307-649X Phillip James Phillip James true false 7733869ae501442da6926fac77cd155b 0000-0002-3819-2787 Markus Roggenbach Markus Roggenbach true false d035399b2b324a63fe472ce0344653e0 0000-0002-2226-386X Monika Seisenberger Monika Seisenberger true false 2017-11-27 Journal Article Science of Computer Programming 154 61 88 Elsevier BV 0167-6423 Railway signalling ERTMS/ETCS Hybrid systems Real-Time Maude Model-checking 1 3 2018 2018-03-01 10.1016/j.scico.2017.10.011 COLLEGE NANME COLLEGE CODE Swansea University 2023-02-08T16:42:14.8494493 2017-11-27T23:00:03.1420865 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Ulrich Berger 1 Phillip James 0000-0002-4307-649X 2 Andrew Lawrence 3 Markus Roggenbach 0000-0002-3819-2787 4 Monika Seisenberger 0000-0002-2226-386X 5 0037102-27112017230246.pdf journalpaper.pdf 2017-11-27T23:02:46.7300000 Output 526366 application/pdf Accepted Manuscript true 2018-11-07T00:00:00.0000000 Released under the terms of a Creative Commons Attribution Non-Commercial No Derivatives License (CC-BY-NC-ND). true eng
title Verification of the European Rail Traffic Management System in Real-Time Maude
spellingShingle Verification of the European Rail Traffic Management System in Real-Time Maude
Ulrich Berger
Phillip James
Markus Roggenbach
Monika Seisenberger
title_short Verification of the European Rail Traffic Management System in Real-Time Maude
title_full Verification of the European Rail Traffic Management System in Real-Time Maude
title_fullStr Verification of the European Rail Traffic Management System in Real-Time Maude
title_full_unstemmed Verification of the European Rail Traffic Management System in Real-Time Maude
title_sort Verification of the European Rail Traffic Management System in Real-Time Maude
author_id_str_mv 61199ae25042a5e629c5398c4a40a4f5
fd3b15ff96c5ea91a100131abac558b6
7733869ae501442da6926fac77cd155b
d035399b2b324a63fe472ce0344653e0
author_id_fullname_str_mv 61199ae25042a5e629c5398c4a40a4f5_***_Ulrich Berger
fd3b15ff96c5ea91a100131abac558b6_***_Phillip James
7733869ae501442da6926fac77cd155b_***_Markus Roggenbach
d035399b2b324a63fe472ce0344653e0_***_Monika Seisenberger
author Ulrich Berger
Phillip James
Markus Roggenbach
Monika Seisenberger
author2 Ulrich Berger
Phillip James
Andrew Lawrence
Markus Roggenbach
Monika Seisenberger
format Journal article
container_title Science of Computer Programming
container_volume 154
container_start_page 61
publishDate 2018
institution Swansea University
issn 0167-6423
doi_str_mv 10.1016/j.scico.2017.10.011
publisher Elsevier BV
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 1
active_str 0
published_date 2018-03-01T04:13:14Z
_version_ 1851364941306527744
score 11.089572

Similar Items