Composition of Languages, Models, and Analyses-Reference-Cited by-同舟云学术

Composition of Languages, Models, and Analyses

Published:2021 Issue: Volume: Page:45-70
ISSN:
Container-title:Composing Model-Based Analysis Tools
language:
Short-container-title:

Author:

Talcott Carolyn,Ananieva Sofia,Bae Kyungmin,Combemale Benoit,Heinrich Robert,Hills Mark,Khakpour Narges,Reussner Ralf,Rumpe Bernhard,Scandurra Patrizia,Vangheluwe Hans

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-81915-6_4

Reference56 articles.

1. Martin Abadi and Leslie Lamport. “Composing Specifications”. In: ACM Transactions on Programming Languages and Systems 15.1 (1990), pp. 73–132.

2. Kyungmin Bae and Jia Lee. “Bounded model checking of signal temporal logic properties using syntactic separation”. In: vol. 3. 2019, 51:1–51:30. https://doi.org/10.1145/3290364.

3. Christiano Braga and José Meseguer. “Modular Rewriting Semantics in Practice”. In: International Workshop on Rewriting Logic and Its Applications, WRLA, Proceedings. Vol. 117. 2005, pp. 393–416. https://doi.org/10.1016/j.entcs.2004.06.019.

4. Kyungmin Bae and José Meseguer. “Model checking linear temporal logic of rewriting formulas under localized fairness”. In: Science of Computer Programming 99 (2015), pp. 193–234.

5. Erwan Bousse, Thomas Degueule, Didier Vojtisek, Tanja Mayerhofer, Julien DeAntoni, and Benoît Combemale. “Execution framework of the GEMOC studio (tool demo)”. In: International Conference on Software Language Engineering, SLE, Proceedings. 2016, pp. 84–89.

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

1. A Toolchain for Simulation Component Specification and Identification;Lecture Notes in Computer Science;2023

2. Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines;Rigorous State-Based Methods;2023

3. Feature-Based Investigation of Simulation Structure and Behaviour;Software Architecture;2022

4. Compositional Simulation of Abstract State Machines for Safety Critical Systems;Formal Aspects of Component Software;2022