Mgr. Jiří Balun, Ph.D.
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
Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems
Jiří Balun, Tomáš Masopust Automatica 155, 111153, 2023
On Transformations among Opacity Notions
Jiří Balun, Tomáš Masopust IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2022
On Verification of Weak and Strong k-Step Opacity for Discrete-Event Systems
Jiří Balun, Tomáš Masopust IFAC PapersOnLine 55(28), 108-113, 2022
Weak consistency of P-time event graphs
Davide Zorzenon, Jiří Balun, Jörg Raisch COSY, 2022
Modeling of safe timed Petri nets by two-level (max,+) automata
Jan Komenda, Jiří Balun, Davide Zorzenon WODES, 2022
Comparing the Notions of Opacity for Discrete-Event Systems
Jiří Balun, Tomáš Masopust Discrete Event Dynamic Systems 31, 2021
On Verification of D-Detectability for Discrete Event Systems
Jiří Balun, Tomáš Masopust Automatica 133, 2021
On Verification of Strong Periodic D-Detectability for Discrete Event Systems
Jiří Balun, Tomáš Masopust WODES, 2020
On Opacity Verification for Discrete-Event Systems
Jiří Balun, Tomáš Masopust IFAC World Congress, IFAC-PapersOnLine 53(2), 2020
IGA PrF 2023 026
Martin Trnečka Jiří Balun, Jiří Valůšek
IGA PrF 2022 018
Verification and Control of Networked Discrete Event Systems
Tomáš Masopust, Jan Komenda Jiří Balun, Stéphane Lafortune, Spyros Reveliotis, Feng Lin
Homepage DBLP Google Scholar jiri.balun01@upol.cz 5.044 Discrete-Event Systems and Theoretical Computer Science Research Group