Ali A. Noroozi

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 3

Top Topics

Adaptive Systems

Information Flow

Adaptation Strategies

Top Venues

Comput. Electr. Eng.

Publications

Khayyam Salehi, Ali A. Noroozi, Sepehr Amir-Mohammadian, MohammadSadegh Mohagheghi
An Automated Quantitative Information Flow Analysis for Concurrent Programs. QEST (2022)
Ali A. Noroozi, Jaber Karimpour, Ayaz Isazadeh
Information leakage of multi-threaded programs. Comput. Electr. Eng. 78 (2019)
Ali A. Noroozi, Khayyam Salehi, Jaber Karimpour, Ayaz Isazadeh
Secure Information Flow Analysis Using the PRISM Model Checker. ICISS (2019)
Jaber Karimpour, Ayaz Isazadeh, Ali A. Noroozi
Verifying Observational Determinism. SEC (2015)
Jaber Karimpour, Robab Alyari, Ali A. Noroozi
Formal framework for specifying dynamic reconfiguration of adaptive systems. IET Softw. 7 (5) (2013)