Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
114 | Pasquale di Tommaso, Francesco Flammini, Armando Lazzaro, Raffaele Pellecchia, Angela Sanseviero |
The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 12-14 October 2005, Heidelberg, Germany, pp. 131-139, 2005, IEEE Computer Society, 0-7695-2377-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
ERTMS/ETCS, Verification & Validation, Safety-Critical Systems, Functional Testing, Simulation Environments |
94 | Jan Trowitzsch, Armin Zimmermann |
Using UML state machines and petri nets for the quantitative investigation of ETCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2006, Pisa, Italy, October 11-13, 2006, pp. 34, 2006, ACM, 1-59593-504-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML state machines, model transformation, stochastic petri nets, ETCS |
60 | Angelo Chiappini, Alessandro Cimatti, Luca Macchi, Oscar Rebollo, Marco Roveri, Angelo Susi, Stefano Tonetta, Berardino Vittorini |
Formalization and validation of a subset of the European Train Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 109-118, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
formal methods, methodology, requirements validation |
60 | André Platzer, Jan-David Quesel |
European Train Control System: A Case Study in Formal Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, pp. 246-265, 2009, Springer, 978-3-642-10372-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
formal verification of hybrid systems, train control, parameter constraint identification, theorem proving, disturbances |
60 | Kyung-Chul Park, Sung-Mo Rhee, Hae-Sook Shin |
Optimal Integrated Operation Strategy for Highway Tollgate using Micro Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MUE ![In: 2007 International Conference on Multimedia and Ubiquitous Engineering (MUE 2007), 26-28 April 2007, Seoul, Korea, pp. 439-445, 2007, IEEE Computer Society, 978-0-7695-2777-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
60 | Michael Meyer zu Hörste, Eckehard Schnieder |
Formal Modelling and Simulation of Train Control Systems Using Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1867, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
50 | Vahid Ranjbar, Nils O. E. Olsson, Hans Sipilä |
Impact of signalling system on capacity - Comparing legacy ATC, ETCS level 2 and ETCS hybrid level 3 systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Rail Transp. Plan. Manag. ![In: J. Rail Transp. Plan. Manag. 23, pp. 100322, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | André Platzer, Jan-David Quesel |
Logical Verification and Systematic Parametric Analysis in Train Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings, pp. 646-649, 2008, Springer, 978-3-540-78928-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
logic for hybrid systems, symbolic decomposition, parametric verification |
40 | Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang 0001, André Platzer, Marc Segelken, Boris Wirtz |
Automating Verification of Cooperation, Control, and Design in Traffic Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods and Hybrid Real-Time Systems ![In: Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, pp. 115-169, 2007, Springer, 978-3-540-75220-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi, Stefano Tonetta |
Supporting Requirements Validation: The EuRailCheck Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009, pp. 665-667, 2009, IEEE Computer Society, 978-0-7695-3891-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
EuRailCheck, formal methods, requirements validation, ETCS |
29 | Holger Hermanns, David N. Jansen, Yaroslav S. Usenko |
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSP ![In: Proceedings of the Fifth International Workshop on Software and Performance, WOSP 2005, Palma, Illes Balears, Spain, July 12-14, 2005, pp. 13-23, 2005, ACM, 1-59593-087-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
European Train Control System (ETCS), UML, reliability, concurrency, wireless communication, tool support, stochastic systems |
25 | Michael Leuschel, Nader Nayeri |
Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSSRail ![In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings, pp. 193-210, 2023, Springer, 978-3-031-43365-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Ziyue Tang, Ning Zhao, Khalid Khan, Katinka Wolter |
Safety Analysis of Automatic Train Operation Based on ETCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSSRail ![In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings, pp. 43-61, 2023, Springer, 978-3-031-43365-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Stefan Engels, Tom Peham, Robert Wille |
A Symbolic Design Method for ETCS Hybrid Level 3 at Different Degrees of Accuracy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATMOS ![In: 23rd Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, ATMOS 2023, September 7-8, 2023, Amsterdam, The Netherlands, pp. 6:1-6:17, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-302-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Davide Basile 0001, Maurice H. ter Beek, Alessio Ferrari 0001, Axel Legay |
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 24(3), pp. 351-370, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Lelio Campanile, Maria Stella de Biase, Stefano Marrone 0001, Mariapia Raimondo, Laura Verde |
On the Evaluation of BDD Requirements with Text-based Metrics: The ETCS-L3 Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-IDT ![In: Intelligent Decision Technologies - Proceedings of the 14th KES-IDT 2022 Conference, Virtual Event / Rhodes, Greece, June 20-22, 2022, pp. 561-571, 2022, Springer, 978-981-19-3443-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Ji Hoon Song, Kang-Yoon Lee |
Design of Baseband Analog with Filter Tuning for 5.8GHz DSRC Transceiver in ETCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICUFN ![In: Twelfth International Conference on Ubiquitous and Future Networks, ICUFN 2021, Jeju Island, South Korea, August 17-20, 2021, pp. 173-175, 2021, IEEE, 978-1-7281-6477-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Robert Eschbach |
Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS Using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Rigorous State-Based Methods - 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings, pp. 137-142, 2021, Springer, 978-3-030-77542-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Carlo Di Meo, Marco Di Vaio, Francesco Flammini, Roberto Nardone, Stefania Santini, Valeria Vittorini |
ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Intell. Transp. Syst. ![In: IEEE Trans. Intell. Transp. Syst. 21(6), pp. 2545-2556, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Valeria Vignali, Federico Cuppi, Claudio Lantieri, Nicola Dimola, Tomaso Galasso, Luca Rapagnà |
A methodology for the design of sections block length on ETCS L2 railway networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Rail Transp. Plan. Manag. ![In: J. Rail Transp. Plan. Manag. 13, pp. 100160, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau |
A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 22(3), pp. 333-347, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Paolo Arcaini, Jan Kofron, Pavel Jezek |
Validation of the Hybrid ERTMS/ETCS Level 3 using Spin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 22(3), pp. 265-279, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Dominik Hansen, Michael Leuschel, Philipp Körner, Sebastian Krings, Thomas Naulin, Nader Nayeri, David Schneider 0001, Frank Skowron |
Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 22(3), pp. 315-332, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Michael J. Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl |
Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 22(3), pp. 249-255, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar |
Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 22(3), pp. 349-363, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Alcino Cunha, Nuno Macedo |
Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 22(3), pp. 281-296, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Roberto Nardone, Stefano Marrone 0001, Ugo Gentile, Aniello Amato, Gregorio Barberio, Massimo Benerecetti, Renato De Guglielmo, Beniamino Di Martino, Nicola Mazzocca, Adriano Peron, Gaetano Pisani, Luigi Velardi, Valeria Vittorini |
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 161, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Haifeng Song 0001, Hongjie Liu, Eckehard Schnieder |
A Train-Centric Communication-Based New Movement Authority Proposal for ETCS-2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Intell. Transp. Syst. ![In: IEEE Trans. Intell. Transp. Syst. 20(6), pp. 2328-2338, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Stefan Dillmann, Reiner Hähnle |
Automated Planning of ETCS Tracks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSSRail ![In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings, pp. 79-90, 2019, Springer, 978-3-030-18743-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Ao Cao, Bin Fu, Zhenqian He |
ETCS: An Efficient Traffic Congestion Scheduling Scheme Combined with Edge Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC/SmartCity/DSS ![In: 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, HPCC/SmartCity/DSS 2019, Zhangjiajie, China, August 10-12, 2019, pp. 2694-2699, 2019, IEEE, 978-1-7281-2058-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Rabéa Ameur-Boulifa, Ana R. Cavalli, Stephane Maag |
Verifying Complex Software Control Systems from Test Objectives: Application to the ETCS System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT ![In: Proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019., pp. 397-406, 2019, SciTePress, 978-989-758-379-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Rabéa Ameur-Boulifa, Ana R. Cavalli, Stephane Maag |
From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT (Selected Papers) ![In: Software Technologies - 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019, Revised Selected Papers, pp. 156-178, 2019, Springer, 978-3-030-52990-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Emilia Koper, Andrzej Kochan, Lukasz Gruba |
Simulation of the Effect of Selected National Values on the Braking Curves of an ETCS Vehicle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TST ![In: Development of Transport by Telematics - 19th International Conference on Transport System Telematics, TST 2019, Jaworze, Poland, February 27 - March 2, 2019, Selected Papers, pp. 17-31, 2019, Springer, 978-3-030-27546-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Michael J. Butler, Dana Dghaym, Thai Son Hoang, Tope Omitola, Colin F. Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer, Peter Tummeltshammer |
Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019, pp. 97-106, 2019, IEEE, 978-1-7281-4646-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Albert D. Ritzhaupt, Florence Martin, Raymond Pastore, Youngju Kang |
Development and validation of the educational technologist competencies survey (ETCS): knowledge, skills, and abilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. High. Educ. ![In: J. Comput. High. Educ. 30(1), pp. 3-33, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul, Yves Ledru, Akram Idani |
Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDI ![In: Model and Data Engineering - 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings, pp. 321-330, 2018, Springer, 978-3-030-00855-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Paolo Arcaini, Pavel Jezek, Jan Kofron |
Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 277-291, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Dominik Hansen, Michael Leuschel, David Schneider 0001, Sebastian Krings, Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron |
Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 292-306, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Alcino Cunha, Nuno Macedo |
Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 307-321, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Thai Son Hoang, Michael J. Butler, Klaus Reichl |
The Hybrid ERTMS/ETCS Level 3 Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 251-261, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau |
An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 353-366, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar |
Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 262-276, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
Product line models of large cyber-physical systems: the case of ERTMS/ETCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLC ![In: Proceeedings of the 22nd International Systems and Software Product Line Conference - Volume 1, SPLC 2018, Gothenburg, Sweden, September 10-14, 2018, pp. 208-214, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Mohamed Ghazel |
A Control Scheme for Automatic Level Crossings Under the ERTMS/ETCS Level 2/3 Operation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Intell. Transp. Syst. ![In: IEEE Trans. Intell. Transp. Syst. 18(10), pp. 2667-2680, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Roberto Canonico, Stefano Marrone 0001, Roberto Nardone, Valeria Vittorini |
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSSRail ![In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings, pp. 34-50, 2017, Springer, 978-3-319-68498-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Jaizki Mendizabal, Jon Goya, Gorka de Miguel, Leonardo J. Valdivia, Saioa Arrizabalaga, Iñigo Adin |
Virtual testing of the on-board ETCS with GNSS based Train integrity determination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITST ![In: 15th International Conference on ITS Telecommunications, ITST 2017, Warsaw, Poland, May 29-31, 2017, pp. 1-7, 2017, IEEE, 978-1-5090-5275-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Aleksander Sniady, José Soler, Mohamed Kassab, Marion Berbineau |
Ensuring Long-Term Data Integrity: ETCS Data Integrity Requirements Can Be Fulfilled Even under Unfavorable Conditions with the Proper LTE Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Veh. Technol. Mag. ![In: IEEE Veh. Technol. Mag. 11(2), pp. 60-70, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Naim Harb, Carlos Valderrama 0001, Esteban Pelaez, Alexandre Girardi |
FPGA hardware in the loop system for ERTMS-ETCS train equipment testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIES ![In: 11th IEEE Symposium on Industrial Embedded Systems, SIES 2016, Krakow, Poland, May 23-25, 2016, pp. 55-62, 2016, IEEE, 978-1-5090-2282-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Amanda Esteban, Sonia Solanas |
The Viability of TETRA for ETCS Railway Signalling System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nets4Cars/Nets4Trains/Nets4Aircraft ![In: Communication Technologies for Vehicles - 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedings, pp. 15-26, 2016, Springer, 978-3-319-38920-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Gonzalo Solas, Iñigo Adin, Leonardo J. Valdivia, Saioa Arrizabalaga, Jaizki Mendizabal |
Wireless Communication Emulator Device and Methodology for the ETCS BTM Subsystem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nets4Cars/Nets4Trains/Nets4Aircraft ![In: Communication Technologies for Vehicles - 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedings, pp. 40-50, 2016, Springer, 978-3-319-38920-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Jaizki Mendizabal, Gonzalo Solas, Leonardo J. Valdivia, Gorka de Miguel, Julen Uranga, Iñigo Adin |
ETCS's Eurobalise-BTM and Euroloop-LTM Airgap Noise and Interferences Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nets4Cars/Nets4Trains/Nets4Aircraft ![In: Communication Technologies for Vehicles - 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedings, pp. 27-39, 2016, Springer, 978-3-319-38920-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Laura Carnevali, Francesco Flammini, Marco Paolieri, Enrico Vicario |
Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW ![In: Computer Performance Engineering - 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings, pp. 47-62, 2015, Springer, 978-3-319-23266-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger |
Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTSCS ![In: Formal Techniques for Safety-Critical Systems - Fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers, pp. 103-120, 2015, Springer, 978-3-319-29509-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Franco Mazzenga, Romeo Giuliano, Alessandro Neri 0001, Francesco Rispoli, Agostino Ruggeri, Maurizio Salvitti, Emiliano Del Signore, Valerio Fontana |
The Adoption of Public Telecom Services for the Evolution of the ERTMS-ETCS Train Control Systems: Challenges and Opportunities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nets4Cars/Nets4Trains/Nets4Aircraft ![In: Communication Technologies for Vehicles - 8th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2015, Sousse, Tunisia, May 6-8, 2015. Proceedings, pp. 177-188, 2015, Springer, 978-3-319-17764-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Gonzalo Solas, Leonardo J. Valdivia, Javier Añorga, Adam Podhorski, Jaizki Mendizabal, Stanislas Pinte, Luis Marcos |
Virtual Laboratory for On-board ETCS Equipment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITSC ![In: IEEE 18th International Conference on Intelligent Transportation Systems, ITSC 2015, Gran Canaria, Spain, September 15-18, 2015, pp. 2013-2018, 2015, IEEE, 978-1-4673-6596-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Linh Vu Hong |
Formal Development and Verification of Railway Control Systems - In the context of ERTMS/ETCS Level 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
25 | Aleksander Sniady, José Soler |
LTE for Railways: Impact on Performance of ETCS Railway Signaling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Veh. Technol. Mag. ![In: IEEE Veh. Technol. Mag. 9(2), pp. 69-77, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Cécile Braunstein, Anne E. Haxthausen, Wen-ling Huang, Felix Hübner, Jan Peleska 0001, Uwe Schulze, Linh Vu Hong |
Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, pp. 380-395, 2014, Springer, 978-3-319-11736-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Gregorio Barberio, Beniamino Di Martino, Nicola Mazzocca, Luigi Velardi, Aniello Amato, Renato De Guglielmo, Ugo Gentile, Stefano Marrone 0001, Roberto Nardone, Adriano Peron, Valeria Vittorini |
An Interoperable Testing Environment for ERTMS/ETCS Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP Workshops ![In: Computer Safety, Reliability, and Security - SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings, pp. 147-156, 2014, Springer, 978-3-319-10556-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Tomasz Babczynski, Jan Magott |
Dependability and Safety Analysis of ETCS Communication for ERTMS Level 3 Using Performance Statecharts and Analytic Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DepCoS-RELCOMEX ![In: Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30 - July 4, 2014, Brunów, Poland, pp. 37-46, 2014, Springer, 978-3-319-07012-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Daniel Lüdicke, Florian Eßer, Tobias Marchand, Torsten Dellmann |
Modular multi-domain co-simulation for rail vehicle testing with ETCS scenario control (WIP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SummerSim ![In: Proceedings of the 2014 Summer Simulation Multiconference, SummerSim 2014, Monterey, CA, USA, July 6-10, 2014, pp. 7, 2014, SCS/ ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
25 | Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru |
B Formal Validation of ERTMS/ETCS Railway Operating Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 124-129, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Benjamin Beichler, Alexander Nitsch, Frank Golatowski, Christian Haubelt |
Ein abstraktes SystemC-Modell zur Analyse und Leistungsabschätzung des europäischen Zugsicherungssystems ETCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI-Jahrestagung ![In: 44. Jahrestagung der Gesellschaft für Informatik, Big Data - Komplexität meistern, INFORMATIK 2014, Stuttgart, Germany, September 22-26, 2014, pp. 1191-1201, 2014, GI, 978-3-88579-626-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
25 | Andrzej Torun, Andrzej Lewinski, Pawel Gradowski |
Modeling of ETCS Levels with Respect to Functionality and Safety Including Polish Railways Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TST ![In: Telematics - Support for Transport - 14th International Conference on Transport Systems Telematics, TST 2014, Katowice/Kraków/Ustroń, Poland, October 22-25, 2014. Selected Papers, pp. 11-18, 2014, Springer, 978-3-662-45316-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Jin Cha, Jong-In Jung, Sang-woo Chang, Sang-Sun Lee |
2.4 Ghz RFID-based SME algorithm for Multi-lane-supported ETCS in 5.8Ghz DSRC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC-NIDC ![In: 3rd IEEE International Conference on Network Infrastructure and Digital Content, IC-NIDC 2012, Beijing, China, September 21-23, 2012, pp. 153-157, 2012, IEEE, 978-1-4673-2201-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Mustafa Seçkin Durmus, Ugur Yildirim, Mehmet Turan Söylemez |
Interlocking system design for ERTMS/ETCS: An approach with batches Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODES ![In: 11th International Workshop on Discrete Event Systems, WODES 2012, Guadalajara, Mexico, October 3-5, 2012., pp. 110-115, 2012, International Federation of Automatic Control, 978-3-902823-28-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Jeongki Choi, Kanghyuk Lee, Seok-Oh Yun, Sang-Gug Lee 0001, Jinho Ko |
An interference-aware 5.8GHz wake-up radio for ETCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSCC ![In: 2012 IEEE International Solid-State Circuits Conference, ISSCC 2012, San Francisco, CA, USA, February 19-23, 2012, pp. 446-448, 2012, IEEE, 978-1-4673-0376-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Jean-Pierre Braun |
ETCS ermöglicht Energieeinsparungen im Bahnbetrieb. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Elektrotech. Informationstechnik ![In: Elektrotech. Informationstechnik 128(9), pp. 309, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Yupeng Liu, Tao Tang 0004, Jintao Liu, Lin Zhao, Tianhua Xu |
Formal Modeling and Verification of RBC Handover of ETCS Using Differential Dynamic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: 10th International Symposium on Autonomous Decentralized Systems, ISADS 2011, Tokyo & Hiroshima, Japan, March 23-17, 2011, pp. 67-72, 2011, IEEE Computer Society, 978-1-61284-213-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Xian Li, Ming Chai, Lin Zhao, Tao Tang 0004, Tianhua Xu |
Safety Monitoring for ETCS with 4-valued LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: 10th International Symposium on Autonomous Decentralized Systems, ISADS 2011, Tokyo & Hiroshima, Japan, March 23-17, 2011, pp. 86-91, 2011, IEEE Computer Society, 978-1-61284-213-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Armin Zimmermann, Günter Hommel |
Towards modeling and evaluation of ETCS real-time communication and operation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 77(1), pp. 47-54, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Roland Meyer 0001, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko |
Model checking Duration Calculus: a practical approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(4-5), pp. 481-505, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
European Train Control System, Real-time systems, Model checking, Verification, Timed automata, Case study, Duration Calculus |
20 | Walter Fuß |
Tailored Solutions for Safety-Installations in the Loetschberg Tunnel - A Project with Importance for the Trans-European Rail Traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008, pp. 21-25, 2008, ACM, 978-3-9810801-3-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Roland Meyer 0001, Johannes Faber, Andrey Rybalchenko |
Model Checking Duration Calculus: A Practical Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings, pp. 332-346, 2006, Springer, 3-540-48815-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Johannes Faber, Roland Meyer 0001 |
Model Checking Data-Dependent Real-Time Properties of the European Train Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 6th International Conference, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings, pp. 76-77, 2006, IEEE Computer Society, 0-7695-2707-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Francesco Flammini, Nicola Mazzocca, Mauro Iacono, Stefano Marrone 0001 |
Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 12-14 October 2005, Heidelberg, Germany, pp. 163-172, 2005, IEEE Computer Society, 0-7695-2377-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Angela Song-Ie Noh, Eui-nam Huh, Ji-Yeun Sung, Pill-Woo Lee |
An Optimal and Dynamic Monitoring Interval for Grid Resource Information System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2005, International Conference, Singapore, May 9-12, 2005, Proceedings, Part I, pp. 1144-1153, 2005, Springer, 3-540-25860-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Antonio Orazzo |
A Hybrid Testing Methodology for Railway Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings, pp. 116-129, 2004, Springer, 3-540-23176-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Armin Zimmermann, Günter Hommel |
A Train Control System Case Study in Model-Based Real Time System Desig. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 118, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog |
On the Verification of Cooperating Traffic Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, pp. 77-110, 2003, Springer, 3-540-22942-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Pasquale di Tommaso, Rosaria Esposito, Pietro Marmo, Antonio Orazzo |
Hazard Analysis of Complex Distributed Railway Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 22nd Symposium on Reliable Distributed Systems (SRDS 2003), 6-8 October 2003, Florence, Italy, pp. 283-292, 2003, IEEE Computer Society, 0-7695-1955-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Ge Cong, Bahram Parvin |
Shape Recovery from Equal Thickness Contours. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 22(9), pp. 1055-1061, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
3D construction, shape from multiple views, Shape-from-X |