On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications-Reference-Cited by-同舟云学术

On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications

Published:2015 Issue: Volume: Page:51-65
ISSN:0302-9743
Container-title:Fundamental Approaches to Software Engineering
language:
Short-container-title:

Author:

Brenner Christian,Greenyer Joel,Schäfer Wilhelm

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-46675-9_4

Reference13 articles.

1. Lecture Notes in Computer Science;Y. Bontemps,2005

2. Brenner, C., Greenyer, J., Holtmann, J., Liebel, G., Stieglbauer, G., Tichy, M.: Scenariotools real-time play-out for test sequence validation in an automotive case study. In: Proc. of 13th Int. Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT 2014 (2014)

3. Brenner, C., Greenyer, J., Panzica La Manna, V.: The ScenarioTools play-out of modal sequence diagram specifications with environment assumptions. In: Proc. of 12th Int. Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT 2013 (2013)

4. Damm, W., Harel, D.: LSCs: Breathing life into message sequence charts. In: Formal Methods in System Design, vol. 19, pp. 45–80. Kluwer (2001)

5. Finkbeiner, B., Schewe, S.: Uniform distributed synthesis. In: Proc. of 20th IEEE Symp. on Logic in Computer Science, pp. 321–330 (2005)

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

1. Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications;Software Technologies: Applications and Foundations;2018

2. Generating Correct, Compact, and Efficient PLC Code from Scenario-based Assume-Guarantee Specifications;Procedia Manufacturing;2018

3. Efficient Distributed Execution of Multi-component Scenario-Based Models;Communications in Computer and Information Science;2018

4. Symbolic Execution for Realizability-Checking of Scenario-Based Specifications;2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS);2017-09

5. Distributing Scenario-based Models: A Replicate-and-Project Approach;Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development;2017