Saoussen Mili

According to our database¹, Saoussen Mili authored at least 3 papers between 2018 and 2021.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2021

Model-driven architecture based security analysis.

[BibT_eX]

[DOI]

Syst. Eng., 2021

2019

Transformation-Based Approach to Security Verification for Cyber-Physical Systems.

[BibT_eX]

[DOI]

IEEE Syst. J., 2019

2018

Attack Modeling and Verification for Connected System Security.

[BibT_eX]

[DOI]

Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018