Author:
Falessi Davide,Nejati Shiva,Sabetzadeh Mehrdad,Briand Lionel,Messina Antonio
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Requirements-Driven Slicing of Simulink Models using LLMs;2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW);2024-06-24
2. Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability Models;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14
3. Graphical safety assurance case using Goal Structuring Notation (GSN) — challenges, opportunities and a framework for autonomous trains;Reliability Engineering & System Safety;2023-02
4. Hazard analysis for human-on-the-loop interactions in sUAS systems;Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2021-08-18
5. Awas: AADL information flow and error propagation analysis framework;Innovations in Systems and Software Engineering;2021-07-19