Affiliation:
1. Technische Universität Darmstadt, Darmstadt, Germany
Funder
Bundesministerium für Bildung und Forschung
European Research Council
Cited by
60 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Learning Recovery Strategies for Dynamic Self-healing in Reactive Systems;Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems;2024-04-15
2. A Virtual Machine for Higher-Order Reactors;Companion Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming;2024-03-11
3. Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems;Proceedings of the 2024 13th International Conference on Software and Computer Applications;2024-02
4. Realizing Persistent Signals in JavaScript;Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems;2023-10-19
5. Thorium: A Language for Bounded Verification of Dynamic Reactive Objects;Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems;2023-10-19