Robust nonblocking supervisory control of discrete-event systems under partial observation. - Anooshiravan Saboori; Shahin Hashtrudi-Zad (Syst. Control. Lett., 2006)

Notions of security and opacity in discrete event systems. - Anooshiravan Saboori; Christoforos N. Hadjicostis (CDC, 2007)

Opacity-enforcing supervisory strategies for secure discrete event systems. - Anooshiravan Saboori; Christoforos N. Hadjicostis (CDC, 2008)

Autotuning Configurations in Distributed Systems for Performance Improvements Using Evolutionary Strategies. - Anooshiravan Saboori; Guofei Jiang; Haifeng Chen (ICDCS, 2008)

Opacity verification in stochastic discrete event systems. - Anooshiravan Saboori; Christoforos N. Hadjicostis (CDC, 2010)

Reduced-complexity verification for initial-state opacity in modular discrete event systems. - Anooshiravan Saboori; Christoforos N. Hadjicostis (WODES, 2010)

Verification and Enforcement of State-Based Notions of Opacity in Discrete Event Systems - Anooshiravan Saboori (2010)

Verification of K-Step Opacity and Analysis of Its Complexity. - Anooshiravan Saboori; Christoforos N. Hadjicostis (IEEE Trans Autom. Sci. Eng., 2011)

Opacity-Enforcing Supervisory Strategies via State Estimator Constructions. - Anooshiravan Saboori; Christoforos N. Hadjicostis (IEEE Trans. Autom. Control., 2012)

Verification of Infinite-Step Opacity and Complexity Considerations. - Anooshiravan Saboori; Christoforos N. Hadjicostis (IEEE Trans. Autom. Control., 2012)

Verification of initial-state opacity in security applications of discrete event systems. - Anooshiravan Saboori; Christoforos N. Hadjicostis (Inf. Sci., 2013)

Current-State Opacity Formulations in Probabilistic Finite Automata. - Anooshiravan Saboori; Christoforos N. Hadjicostis (IEEE Trans. Autom. Control., 2014)

Correction to "Current-State Opacity Formulations in Probabilistic Finite Automata". - Anooshiravan Saboori; Christoforos N. Hadjicostis (IEEE Trans. Autom. Control., 2024)