Cited By
View all- Brizzio MRoychoudhury APaiva AAbreu RStorey M(2024)Resolving Goal-Conflicts and Scaling Synthesis through Mode-Based DecompositionProceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings10.1145/3639478.3639801(207-211)Online publication date: 14-Apr-2024
- Gärtner AGöhlich D(2024)Automated requirement contradiction detection through formal logic and LLMsAutomated Software Engineering10.1007/s10515-024-00452-x31:2Online publication date: 6-Jun-2024
- Wen HWu JJiang JTang GHong Z(2023)A Formal Approach for Consistency Management in UML ModelsInternational Journal of Software Engineering and Knowledge Engineering10.1142/S021819402350013433:05(733-763)Online publication date: 19-Apr-2023
- Show More Cited By