Self-assembling heterogeneous interactive systems-Reference-Cited by-同舟云学术

Self-assembling heterogeneous interactive systems

Published:2016 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture - SiSoS@ECSA '16
language:
Short-container-title:

Author:

Stefanescu G.¹,Paduraru C. I.²

Affiliation:

1. University of Bucharest

2. Electronic Arts & University of Bucharest

Publisher

ACM Press

Reference14 articles.

1. J.-R. Abrial. 2010.Modeling in Event-B: system and software engineering.Cambridge University Press.

2. I.T. Banu-Demergian, C.I. Paduraru, and G. Stefanescu. 2013. A new representation of two-dimensional patterns and applications to interactive programming. InFSEN 2013 (LNCS 8161).Springer, 172--206.

3. I.T. Banu-Demergian and G. Stefanescu. 2014. Towards a Formal Representation of Interactive Systems.Fundamenata Informaticae131 (2014), 313--336.

4. D. Diaconescu, R. Gramatovici, I. Leustean, L. Petre, K. Sere, A. Stefanescu, and G. Stefanescu. 2012. Event-B and Register-Voice Interactive Systems (rv-IS). InDEPLOY Deliverable D54 D13.6 Final Report "Enlarged EU", A. Stefanescu and S. Wieczorek (Eds.). EU, 13--79. http://cordis.europa.eu/docs/projects/cnect/8/214158/080/deliverables/001-D136FinalReportEnlargedEU.pdf

5. D. Diaconescu, L. Petre, K. Sere, and G. Stefanescu. 2014. Refinement of Structured Interactive Systems. InProceedings ICTAC 2014 (LNCS).Springer, 133--150.

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

1. Adaptive Virtual Organisms: A Compositional Model for Complex Hardware-software Binding*,†;Fundamenta Informaticae;2020-03-31

2. Implementation of Publisher-Subscriber Paradigm Using Virtual Organisms;2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2019-09