Jirí Balun

According to our database, Jirí Balun authored at least 10 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Verifying weak and strong k-step opacity in discrete-event systems.

Jirí Balun, Tomás Masopust

Autom., September, 2023

Speed Me up If You Can: Conditional Lower Bounds on Opacity Verification.

Jirí Balun, Tomás Masopust, Petr Osicka

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

2022

Weak consistency of P-time event graphs.

Davide Zorzenon, Jirí Balun, Jörg Raisch

CoRR, 2022

On Transformations among Opacity Notions.

Jirí Balun, Tomás Masopust

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

2021

Comparing the notions of opacity for discrete-event systems.

Jirí Balun, Tomás Masopust

Discret. Event Dyn. Syst., 2021

K-Step Opacity in Discrete Event Systems: Verification, Complexity, and Relations.

Jirí Balun, Tomás Masopust

CoRR, 2021

Comparing the Notions of Opacity for Discete-Event Systems.

Jirí Balun, Tomás Masopust

CoRR, 2021

On verification of D-detectability for discrete event systems.

Jirí Balun, Tomás Masopust

Autom., 2021

2019

On Opacity Verification for Discrete-Event Systems.

Jirí Balun, Tomás Masopust

CoRR, 2019

On Verification of Strong Periodic D-Detectability for Discrete Event Systems.

Jirí Balun, Tomás Masopust

CoRR, 2019