Just-in-time reactive synthesis-Reference-Cited by-同舟云学术

Just-in-time reactive synthesis

Published:2020-12-21 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
language:
Short-container-title:

Author:

Maoz Shahar¹,Shevrin Ilia¹

Affiliation:

1. Tel Aviv University, Israel

Funder

European Research Council

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3324884.3416557

Reference39 articles.

1. [n.d.]. JITS Supporting Materials Website. http://smlab.cs.tau.ac.il/syntech/jits/. [n.d.]. JITS Supporting Materials Website. http://smlab.cs.tau.ac.il/syntech/jits/.

2. [n.d.]. Spectra Website. http://smlab.cs.tau.ac.il/syntech/spectra/. [n.d.]. Spectra Website. http://smlab.cs.tau.ac.il/syntech/spectra/.

3. GR(1)*: GR(1) Specifications Extended with Existential Guarantees

4. RATSY – A New Requirements Analysis Tool with Synthesis

5. Synthesis of Reactive(1) designs

Cited by 10 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. Triggers for Reactive Synthesis Specifications;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05

3. 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

4. A tool for the automation of efficient multi-robot choreography planning and execution;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings;2022-10-23

5. Validating the correctness of reactive systems specifications through systematic exploration;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems;2022-10-23