- Software Component Verification: On Translating Behavior Protocols to PromelaPublication without faculty affiliation
- Improved building up a model of toxicity towards Pimephales promelas by the Monte Carlo method2016 | First Faculty of Medicine
- Validation of the Hybrid ERTMS/ETCS Level 3 using Spin2020 | Faculty of Mathematics and Physics
- Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin2018 | Faculty of Mathematics and Physics
- Checking Software Components Behavior Using Behavior Protocols and Spin2007 | Faculty of Mathematics and Physics
- EBP CheckerPublication without faculty affiliation
- Behavior Protocols Extensions2007 | Faculty of Mathematics and Physics
