A statecharts interpreter and compiler with semantic variability-Reference-Cited by-同舟云学术

A statecharts interpreter and compiler with semantic variability

Published:2022-10-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
language:
Short-container-title:

Author:

Exelmans Joeri¹^ORCID,Van Mierlo Simon²^ORCID,Vangheluwe Hans¹^ORCID

Affiliation:

1. Universiteit Antwerpen, Antwerpen, Belgium

2. EP&C, Turnhout, Belgium

Funder

SB PhD fellow at FWO

Publisher

ACM

Link

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

Reference12 articles.

1. mbeddr [n. d.]. mbeddr . http://mbeddr.com/. Accessed: 2022-07-29. mbeddr [n. d.]. mbeddr. http://mbeddr.com/. Accessed: 2022-07-29.

2. Gérard Berry and Georges Gonthier . 1992. The Esterel synchronous programming language: Design, semantics, implementation. Science of computer programming 19, 2 ( 1992 ), 87--152. Gérard Berry and Georges Gonthier. 1992. The Esterel synchronous programming language: Design, semantics, implementation. Science of computer programming 19, 2 (1992), 87--152.

3. Concurrency analysis in the presence of procedures using a data-flow framework

4. Deconstructing the semantics of big-step modelling languages

5. Joeri Exelmans . 2020. A Study and Implementation of Semantic Variability in Statecharts. Master's thesis . University Of Antwerp. Joeri Exelmans. 2020. A Study and Implementation of Semantic Variability in Statecharts. Master's thesis. University Of Antwerp.

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

1. Close Enough? Criteria for Sufficient Simulations of IEC 61499 Models;2023 IEEE 19th International Conference on Automation Science and Engineering (CASE);2023-08-26