Author:
Marussy Kristof,Semerath Oszkar,Varro Daniel
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Graph Solver as a Service;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05
2. Generating Structurally Realistic Models With Deep Autoregressive Networks;IEEE Transactions on Software Engineering;2023-04-01
3. System architecture synthesis for performability by logic solvers;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems;2022-10-23
4. Automated generation of consistent models using qualitative abstractions and exploration strategies;Software and Systems Modeling;2021-09-17
5. Automated generation of consistent models with structural and attribute constraints;Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems;2020-10-16