Články v časopisech (Journal papers)

  1. Balun, J., Masopust, T., Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems, Automatica 155, 111153, 2023; doi. Preprint: arXiv.
  2. Balun, J., Masopust, T., On Verification of D-Detectability for Discrete Event Systems, Volume 133, November 2021, 109884; doi. Preprint: pdf.
  3. Balun, J., Masopust, T., Comparing the Notions of Opacity for Discrete-Event Systems, Discrete Event Dynamic Systems 31, 553-582, 2021; SharedIt link, doi. Preprint: arXiv.

Příspěvky na konferencích (Conference papers)

  1. Balun, J., Masopust, T., Osička, P., Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification, International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), LIPIcs 272, 16:1--16:15, 2023. Preprint: arXiv.
  2. Balun, J., Masopust, T., On Transformations among Opacity Notions, IEEE International Conference on Systems, Man, and Cybernetics (SMC), 3012-3017, 2022. Preprint: pdf. Extended version available at arXiv.
  3. Balun, J., Masopust, T., On Verification of Weak and Strong k-Step Opacity for Discrete-Event Systems, WODES 2022, IFAC PapersOnLine 55(28), 108–113, 2022. Preprint: pdf. Extended version available at arXiv.
  4. Komenda, J., Zorzenon, D., Balun, J., Modeling of safe timed Petri nets by two-level (max,+) automata, WODES 2022, IFAC-PapersOnLine 55(28), 212-219, 2022. Science direct link.
  5. Zorzenon, D., Balun, J., Raisch, J., Weak Consistency of P-time Event Graphs, COSY 2022, IFAC-PapersOnLine 55(40), 19-24, 2022. Preprint: arXiv.
  6. Balun, J., Masopust, T., On Verification of Strong Periodic D-Detectability for Discrete Event Systems, Proc. of Workshop on Discrete Event Systems (WODES), 263-268, 2020; Preprint: arXiv, pdf
  7. Balun, J., Masopust, T., On Opacity Verification for Discrete-Event Systems, Proc. of IFAC World Congress, 2105-2110, 2020; Preprint: arXiv, pdf