A Formal Semantics for Traffic Sequence Charts-Reference-Cited by-同舟云学术

A Formal Semantics for Traffic Sequence Charts

Published:2018 Issue: Volume: Page:182-205
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Damm Werner,Möhlmann Eike,Peikenkamp Thomas,Rakow Astrid

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-95246-8_11

Reference24 articles.

1. Lecture Notes in Computer Science;W Damm,2011

2. Damm, W., Harel, D.: LSCs: breathing life into message sequence charts. Formal Methods Syst. Des. 19(1), 45–80 (2001). https://doi.org/10.1023/A:1011227529550

3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);W Damm,2015

4. Damm, W., Kemper, S., Möhlmann, E., Peikenkamp, T., Rakow, A.: Traffic sequence charts - from visualization to semantics. Reports of SFB/TR 14 AVACS 117, SFB/TR 14 AVACS, October 2017

5. Damm, W., Kemper, S., Möhlmann, E., Peikenkamp, T., Rakow, A.: Traffic sequence charts - a visual language for capturing traffic scenarios. In: Embedded Real Time Software and Systems - ERTS2018, February 2018

Cited by 25 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Quantum Software Ecosystem Design;Quantum Software;2024

2. Using Traffic Sequence Charts for Knowledge Formalization and AI-Application;Lecture Notes in Networks and Systems;2024

3. Safe Linear Encoding of Vehicle Dynamics for the Instantiation of Abstract Scenarios;Lecture Notes in Computer Science;2024

4. A Novel and Pragmatic Scenario Modeling Framework with Verification-in-the-loop for Autonomous Driving Systems;2023 IEEE/ACM 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER);2023-05

5. Ad hoc HLA simulation model derived from a model-based traffic scenario;SIMULATION;2023-02-08