Jirí Balun

12 papers B 2Journal 10
YearRankTypeTitle / Venue / Authors
2023 B conf
Speed Me up If You Can: Conditional Lower Bounds on Opacity Verification.
MFCS
Jirí Balun, Tomás Masopust, Petr Osicka
2023 J jnl
Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification.
CoRR
Jirí Balun, Tomás Masopust, Petr Osicka
2023 J jnl
Verifying weak and strong k-step opacity in discrete-event systems.
Autom.
Jirí Balun, Tomás Masopust
2022 B conf
On Transformations among Opacity Notions.
SMC
Jirí Balun, Tomás Masopust
2022 J jnl
Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems.
CoRR
Jirí Balun, Tomás Masopust
2022 J jnl
Weak consistency of P-time event graphs.
CoRR
Davide Zorzenon, Jirí Balun, Jörg Raisch
2021 J jnl
Comparing the Notions of Opacity for Discete-Event Systems.
CoRR
Jirí Balun, Tomás Masopust
2021 J jnl
Comparing the notions of opacity for discrete-event systems.
Discret. Event Dyn. Syst.
Jirí Balun, Tomás Masopust
2021 J jnl
K-Step Opacity in Discrete Event Systems: Verification, Complexity, and Relations.
CoRR
Jirí Balun, Tomás Masopust
2021 J jnl
On verification of D-detectability for discrete event systems.
Autom.
Jirí Balun, Tomás Masopust
2019 J jnl
On Opacity Verification for Discrete-Event Systems.
CoRR
Jirí Balun, Tomás Masopust
2019 J jnl
On Verification of Strong Periodic D-Detectability for Discrete Event Systems.
CoRR
Jirí Balun, Tomás Masopust