A NAND Use Case for Cybersecurity Experiments.
Proceedings of the IEEE Secure Development Conference, 2024
Towards the Co-evolution of Models, Code, and Assurance Cases: The CAID Framework.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024