Jiří Balun/Publications
Jiří Balun's publications
Jiří Balun's publications
Journal articles
Journal articles
Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems
Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems
Jiří Balun, Tomáš Masopust
Automatica 155, 111153, 2023
On Verification of D-Detectability for Discrete Event Systems
On Verification of D-Detectability for Discrete Event Systems
Jiří Balun, Tomáš Masopust
Automatica 133, 2021
Jiří Balun, Tomáš Masopust
Discrete Event Dynamic Systems 31, 2021
Conference papers
Conference papers
Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification
Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification
Jiří Balun, Petr Osička, Tomáš Masopust
48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), 2023
Davide Zorzenon, Jiří Balun, Jörg Raisch
COSY, 2022
On Verification of Weak and Strong k-Step Opacity for Discrete-Event Systems
On Verification of Weak and Strong k-Step Opacity for Discrete-Event Systems
Jiří Balun, Tomáš Masopust
IFAC PapersOnLine 55(28), 108-113, 2022
Jiří Balun, Tomáš Masopust
IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2022
Modeling of safe timed Petri nets by two-level (max,+) automata
Modeling of safe timed Petri nets by two-level (max,+) automata
Jan Komenda, Jiří Balun, Davide Zorzenon
WODES, 2022
On Verification of Strong Periodic D-Detectability for Discrete Event Systems
On Verification of Strong Periodic D-Detectability for Discrete Event Systems
Jiří Balun, Tomáš Masopust
WODES, 2020
Jiří Balun, Tomáš Masopust
IFAC World Congress, IFAC-PapersOnLine 53(2), 2020