Please find below our list of publications.

References

  1. Hana Mkaouar, Bechir Zalila, Jerome Hugues and Mohamed Jmaiel. A formal approach to AADL model-based software engineering. Int. J. Softw. Tools Technol. Transf.. 2020

  2. Dionisio de Niz, Bjorn Andersson, Mark Klein, John Lehoczky, Amit Vasudevan, Hyoseung Kim, and Gabriel A. Moreno. Mixed-Trust Computing for Real-Time Systems. IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2019.