Anooshiravan Saboori

14 papers A 1Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
2024 J jnl
Correction to "Current-State Opacity Formulations in Probabilistic Finite Automata".
IEEE Trans. Autom. Control.
Anooshiravan Saboori, Christoforos N. Hadjicostis
2014 J jnl
Current-State Opacity Formulations in Probabilistic Finite Automata.
IEEE Trans. Autom. Control.
Anooshiravan Saboori, Christoforos N. Hadjicostis
2013 J jnl
Verification of initial-state opacity in security applications of discrete event systems.
Inf. Sci.
Anooshiravan Saboori, Christoforos N. Hadjicostis
2012 J jnl
Opacity-Enforcing Supervisory Strategies via State Estimator Constructions.
IEEE Trans. Autom. Control.
Anooshiravan Saboori, Christoforos N. Hadjicostis
2012 J jnl
Verification of Infinite-Step Opacity and Complexity Considerations.
IEEE Trans. Autom. Control.
Anooshiravan Saboori, Christoforos N. Hadjicostis
2011 J jnl
Verification of K-Step Opacity and Analysis of Its Complexity.
IEEE Trans Autom. Sci. Eng.
Anooshiravan Saboori, Christoforos N. Hadjicostis
2010 — conf
Opacity verification in stochastic discrete event systems.
CDC
Anooshiravan Saboori, Christoforos N. Hadjicostis
2010 — conf
Reduced-complexity verification for initial-state opacity in modular discrete event systems.
WODES
Anooshiravan Saboori, Christoforos N. Hadjicostis
2010 — —
Verification and Enforcement of State-Based Notions of Opacity in Discrete Event Systems
Anooshiravan Saboori
2009 — conf
Verification of K-step opacity and analysis of its complexity.
CDC
Anooshiravan Saboori, Christoforos N. Hadjicostis
2008 A conf
Autotuning Configurations in Distributed Systems for Performance Improvements Using Evolutionary Strategies.
ICDCS
Anooshiravan Saboori, Guofei Jiang, Haifeng Chen
2008 — conf
Opacity-enforcing supervisory strategies for secure discrete event systems.
CDC
Anooshiravan Saboori, Christoforos N. Hadjicostis
2007 — conf
Notions of security and opacity in discrete event systems.
CDC
Anooshiravan Saboori, Christoforos N. Hadjicostis
2006 J jnl
Robust nonblocking supervisory control of discrete-event systems under partial observation.
Syst. Control. Lett.
Anooshiravan Saboori, Shahin Hashtrudi-Zad