Author:
Dotan Dolev,Kirshin Andrei
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A generic framework for representing and analyzing model concurrency;Software and Systems Modeling;2023-01-09
2. Model Assisted Distributed Root Cause Analysis;2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA );2021-09-07
3. Live modeling in the context of state machine models and code generation;Software and Systems Modeling;2020-11-02
4. Constraint-based run-time state migration for live modeling;Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering;2018-10-24
5. MDebugger;Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings;2018-05-27