Jirí Balun

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 12

Top Topics

Failure Diagnosis

Discrete Event Systems

Verification Method

Timed Petri Nets

Top Venues

Discret. Event Dyn. Syst.

Publications

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