An Optimization Approach to Current State Opacity Assessment. - Francesco Basile; Gianmaria De Tommasi; Sara Dubbioso; Federico Fiorenza (CDC, 2024)

Verification of K -Step Non-Interference for Live Bounded and Reversible Discrete Event Systems Modeled With Petri Nets. - Francesco Basile; Gianmaria De Tommasi; Sara Dubbioso; Federico Fiorenza (IEEE Control. Syst. Lett., 2025)