Deriving Delay-Robust Timed Graph Transformation System Models-Reference-Cited by-同舟云学术

Deriving Delay-Robust Timed Graph Transformation System Models

Published:2024 Issue: Volume: Page:158-179
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:en
Short-container-title:

Author:

Ghani Mustafa^ORCID,Schneider Sven^ORCID,Maximova Maria^ORCID,Giese Holger^ORCID

Publisher

Springer Nature Switzerland

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-64285-2_9

Reference49 articles.

1. R. Alur and D. L. Dill. “A Theory of Timed Automata”. In: Theor. Comput. Sci. 126.2 (1994), pp. 183–235. https://doi.org/10.1016/0304-3975(94)90010-8

2. B. Becker and H. Giese. Cyber-Physical Systems with Dynamic Structure: Towards Modeling and Verification of Inductive Invariants. Tech. rep. 64. Hasso Plattner Institute, University of Potsdam, 2012. url: https://nbn-resolving.org/urn:nbn:de:kobv:517-opus-62437

3. B. Becker and H. Giese. “Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems”. In: 23rd IEEE /ACM International Conference on Automated Software Engineering - Workshop Proceedings (ASE Workshops 2008), 15-16 September 2008, L’Aquila, Italy. IEEE, 2008, pp. 33–40. isbn: 978-1-4244-2776-5. https://doi.org/10.1109/ASEW.2008.4686291. url: https://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4674379

4. B. Becker and H. Giese. “On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles”. In: 11th IEEE International Symposium on Object- Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA. IEEE Computer Society, 2008, pp. 203–210. isbn: 978-0- 7695-3132-8. https://doi.org/10.1109/ISORC.2008.13. url: https://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4519543

5. J. Bengtsson and W. Yi. “Timed Automata: Semantics, Algorithms and Tools”. In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned]. Ed. by J. Desel, W. Reisig, and G. Rozenberg. Vol. 3098. Lecture Notes in Computer Science. Springer, 2003, pp. 87–124. https://doi.org/10.1007/978-3-540-27755-2_3