Diagnostic Information for Realizability-Reference-Cited by-同舟云学术

Diagnostic Information for Realizability

Published: Issue: Volume: Page:52-67
ISSN:
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Cimatti A.,Roveri M.,Schuppan V.,Tchaltsev A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-78163-9_9.pdf

Reference20 articles.

1. Lecture Notes in Computer Science;M. Abadi,1989

2. European Railway Agency. Feasibility study for the formal specification of ETCS functions. Sep, Invitation to tender (2007), http://www.era.europa.eu

3. Behrmann, G., et al.: UPPAAL-Tiga: Time for playing games! In: Damm and Hermanns [11], pp. 121–125.

4. Bloem, R., et al.: RAT: Formal analysis of requirements. In: Damm and Hermanns [11], pp. 263–267.

5. Bloem, R., et al.: Interactive presentation: Automatic hardware synthesis from specifications: A case study. In: Lauwereins, R., Madsen, J. (eds.) DATE, pp. 1188–1193. ACM Press, New York (2007)

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

1. Using Reactive Synthesis: An End-to-End Exploratory Case Study;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05

2. Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05

3. Adapting Specifications for Reactive Controllers;2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS);2023-05

4. Automated Repair of Unrealisable LTL Specifications Guided by Model Counting;2023

5. Formal Methods for Autonomous Systems;Foundations and Trends® in Systems and Control;2023