1. Automated Model-Based Assurance Case Management Using Constrained Natural Language;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2024-01
2. Computer-Aided Evaluation for Argument-Based Certification;2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC);2023-10-01
3. Computer-Aided Generation of Assurance Cases;Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops;2023
4. The ForeMoSt approach to building valid model-based safety arguments;Software and Systems Modeling;2022-11-30
5. Analysing encryption mechanisms and functional safety in a ROS‐based architecture;Journal of Software: Evolution and Process;2019-07-31