Items where Subject is "Institute of Transportation Systems > Verification and Validation"

Institutes and Facilities (131391)
- Institute of Transportation Systems (3344)
  - Verification and Validation (31)

Jump to: A | B | C | F | G | H | M | N | S | T

Number of items at this level: 31.

A

Asbach, Lennart (2018) Testfallgenerierung für funktionale Labortests. 2. Deutscher C-ITS Kongress, 21.-22. Juni 2018, Stuttgart, Deutschland. Volltext nicht frei.

Asbach, Lennart and Ebrecht, Lars (2012) Modulare Echtzeit-Testarchitektur. In: Workshop on Kommunikation unter Echtzeitbedingungen, Echtzeit 2012, pp. 39-48. Springer Vieweg. Echtzeit 2012, 22.-23. Nov. 2012, Boppard. doi: 10.1007/978-3-642-33707-9_5. ISBN 978-3-642-33706-2. ISSN 1431-472-X. Volltext nicht frei.

Asbach, Lennart and Köster, Frank (2019) Generating Test Cases from Real Field Data to Ensure C2X Interoperability. CAR 2 CAR Forum 2019, 29.-31. Okt. 2019, Turin, Italien.

B

Behnecke, Danny and Fischer, Martin and Assmann, Dirk and Farkas, Bastian and Berekovic, Mladen and Köster, Frank (2017) Traffic Light Control Simulation for Various Simulation Environments. Driving Simulation Conference 2017, 6. - 8. Sept. 2017, Stuttgart, Deutschland.

Behnecke, Danny René (2017) Methods for integrating control algorithms of light signal systems for various simulation environments with special consideration of public transport. Master's, Technische Universität Braunschweig.

Behnecke, Danny René and Temme, Gerald and Assmann, Dirk and Utesch, Fabian and Zhao, Min and Mahmod, Mohamed Kamil Morsi and Wojke, Nicolai and Käthner, David and Fischer, Martin (2019) Comparing Proving Ground and Simulation Testing for Autonomous Car Functionality. Driving Simulation Association. DSC 2019, 4. - 6. Sep. 2019, Strassburg, Frankreich. ISBN 978 2 85782 749 8. ISSN 0769-0266. Volltext nicht frei.

C

Caspar, Mirko and Schwencke, Daniel and Hungar, Hardi (2018) Effizientes Testen modularer und standardisierter Stellwerkskomponenten. SIGNAL + DRAHT, pp. 30-39. DVV Media Group. ISSN 0037-4997.

F

Freese, Maria and Lukosch, Heide and Wegener, Jan and König, Alexandra (2020) Serious games as research instruments - Do's and don'ts from a cross-case-analysis in transportation. European Journal of Transport and Infrastructure Research. Delft University of Technology. doi: 10.18757/ejtir.2020.20.4.4205. ISSN 1567-7141. Volltext nicht online.

G

Gonska, Bernd and Röwer, Oliver and Asbach, Lennart (2017) Rekonstruktion betrieblicher Szenarien aus JRU-Aufzeichnungen für Labortests. SIGNAL + DRAHT, 109 (4), pp. 21-26. DVV Media Group. ISSN 0037-4997. Volltext nicht online.

Grippenkoven, Jan Daniel and Meirich, Christian and Roth, Michael Helmut and Caspar, Mirko and Hungar, Hardi (2020) Teleoperierte Triebfahrzeugführung als Rückfallebene der Hochautomation / Teleoperation as a fallback solution for highly automated rail traffic. SIGNAL + DRAHT (6), pp. 6-13. DVV Media Group. ISSN 0037-4997.

Grünhäuser, Miriam and Hauck, Roman and Meirich, Christian and Schubert, Lucas Andreas (2019) Rail2X: Der Einsatz von V2X-Technologie im Eisenbahnbereich. SIGNAL + DRAHT (113), pp. 53-59. DVV Media Group. ISSN 0037-4997.

H

Hartmann, Katharina (2020) Konzeption und Entwicklung eines Moduls für die Generierung von V2X Nachrichten aus OpenSCENARIO Daten als Teil einer HiL Laborumgebung. Bachelor's, Duale Hochschule Baden-Württemberg Mannheim.

Hofer, Markus and Bernadó, Laura and Rainer, Benjamin and Xu, Zhinan and Temme, Gerald and Khan, Saifullah and Behnecke, Danny and Utesch, Fabian and Mahmod, Mohamed Kamil Morsi and Zemen, Thomas (2019) Evaluation of Vehicle-in-the-Loop Tests for Wireless V2X Communication. In: IEEE Vehicular Technology Conference. VTC2019-Fall, 22–25 September 2019, Honolulu, Hawaii. doi: 10.1109/VTCFall.2019.8891080. Volltext nicht frei.

Hungar, Hardi (2018) Formalization of scenarios for testing automated driving functions. Autonomous Vehicle Test & Development Symposium 2018, 05.-07. Juni 2018, Stuttgart. (Unpublished)

Hungar, Hardi (2018) Formalizing scenarios for safety testing of automated driving functions. Dortmunder Tag der Informatik 2018, 04. Juli 2018, Dortmund. (Unpublished)

Hungar, Hardi (2020) A Concept of Scenario Space Exploration with Criticality Coverage Guarantees - Extended Abstract. In: 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020, 12478 (III), pp. 293-306. Springer. 9th Int. Symp. on Leveraging Applications of Formal Methods, ISoLA 2020, 20.-30. Okt. 2020, Rhodos, Griechenland. doi: 10.1007/978-3-030-61467-6_19. ISBN 978-303083722-8. ISSN 0302-9743.

Hungar, Hardi (2018) Formalizing scenarios for safety testing of automated driving functions. 24. SafeTRANS Industrial Day, 13. Juni 2018, München. (Unpublished) Volltext nicht frei.

Hungar, Hardi (2018) Formalization of scenarios for testing automated driving functions. ITF 2018 Summit, Pre-Summit Transport Research Day, 22. Mai 2018, Leipzig, Deutschland. (Unpublished) Volltext nicht frei.

Hungar, Hardi (2018) Applying Decision Graphs in the Context of Automated Driving. Springer Nature Switzerland AG. Festschrift in Honour of Bernhard Steffen, 4. Nov. 2018, Limassol, Cyprus, Greece. doi: 10.1007/978-3-030-22348-9_2. Volltext nicht frei.

Hungar, Hardi (2018) Scenario-Based Validation of Automated Driving Systems. Springer Nature Switzerland AG. ISoLA 2018, 5.-9. Nov. 2018, Limassol, Cyprus, Greece. doi: 10.1007/978-3-030-03424-5_30. ISBN 978-3-030-03423-8. ISSN 0302-9743. Volltext nicht frei.

Hungar, Hardi and Köster, Frank (2018) Formalisierung von Szenario-Klassen zur Absicherung automatisierter Fahrfunktionen. In: AAET 2018: Automatisiertes und vernetztes Fahren, pp. 97-114. AAET 2018: Automatisiertes und vernetztes Fahren, 14.-15. März 2018, Braunschweig, Deutschland. ISBN 978-3-937655-44-4. Volltext nicht frei.

Hungar, Hardi and Köster, Frank and Mazzega, Jens (2017) Test Specifications for Highly Automated Driving Functions: Highway Pilot. Autonomous Vehicle Test & Development Symposium 2017, 20.-22. Jun. 2017, Stuttgart, Deutschland.

M

Meirich, Christian and Grünhäuser, Miriam and Strub, Leo and Pirl, Lukas and Schubert, Lucas Andreas and Wille, Christian and Dralle, Martin and Reisig, Jürgen and Brack, Jannis and Weiß-Saomi, Said and Polze, Andreas (2020) Rail2X - SmartServices (Projektabschlussbericht). Project Report. Deutsches Zentrum für Luft- und Raumfahrt e.V. - Institut für Verkehrssystemtechnik. 98 S.

Meyer zu Hörste, Michael and Caspar, Mirko and Asbach, Lennart and Röwer, Oliver (2019) V&V von LST-Komponenten ...von der Strecke ins Labor. ETR - Eisenbahntechnische Rundschau, 68 (3), pp. 32-36. DVV Media Group. ISSN 0013-2845.

N

Noyer, Ulf and Scholz, Michael and Hungar, Hardi and Fischer, Martin (2020) Efficient modelling of highway tracks for test case creation. In: Proceedings of the Driving Simulation Conference 2020 Europe VR, pp. 195-196. Driving Simulation Conference Europe 2020 VR, 9.-11. Sep. 2020, Antibes, Frankreich. ISBN 978-2-9573777-0-1. Volltext nicht frei.

S

Schwencke, Daniel (2020) Modellbasierte Testfallgenerierung am Beispiel einer RBC-Funktion. SIGNAL + DRAHT, 112 (1+2), pp. 36-45. DVV Media Group. ISSN 0037-4997.

Schwencke, Daniel (2018) Integrating a Signaling Component Model into a Railway Simulation. In: Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme XIV, MBEES 2018, pp. 87-98. Modellbasierte Entwicklung eingebetteter Systeme IX (MBEES 2018), 16.-18. Apr. 2018, Dagstuhl, Deutschland.

Schwencke, Daniel (2020) Test Case Generation for a Level Crossing Controller. In: 2nd SmartRaCon Scientific Seminar, 37, pp. 89-98. 2nd SmartRaCon Scientific Seminar, 24. Nov. 2020, San Sebastian, Spanien / Webkonferenz. ISSN 1866-721X.

Schwencke, Daniel and Hungar, Hardi and Caspar, Mirko (2017) Between Academics and Practice: Model-based Development of Generic Safety-Critical Systems. In: Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme XIII, pp. 1-18. fortiss GmbH. Modellbasierte Entwicklung eingebetteter Systeme XIII, 15.-17. März 2017, Dagstuhl, Deutschland.

T

Tarkowski, Michal and Rzymowski, Mateusz and Lukasz, Kulas and Krzysztof, Nyka and Marcin, Borawski and Przemysław, Kwapisiewicz and Wojciech, Piechowski and Temme, Gerald and Khan, Saifullah and Behnecke, Danny and Mahmod, Mohamed (2019) Validation of a virtual test environment for C2X communication under radio jamming conditions. In: 2019 8th IEEE International Conference on Connected Vehicles and Expo, ICCVE 2019 - Proceedings. 2019 IEEE ICCVE – International Conference on Connected Vehicles and Expo, 4-8. Nov. 2019, Graz, Österreich. doi: 10.1109/ICCVE45908.2019.8964938. ISBN 978-172810142-2.

Temme, Gerald and Scholz, Michael and Mahmod, Mohamed Kamil Morsi (2019) Digital Map and Environment Generation. In: Validation and Verification of Automated Systems Springer Verlag. pp. 75-87. doi: 10.1007/978-3-030-14628-3. ISBN 978-3-030-14627-6. Volltext nicht frei.

This list was generated on Fri Dec 1 20:15:45 2023 CET.