List of scientific publications that present the possibilities of Advanced Verification of Control Algorithm Design and Implementation (AVOCADI):
- T. Ausberger, K. Kubicek and P. Medvedcova, „Functionally-Equivalent Formalization and Automated Model Checking of Function Block Diagrams,“ in IEEE Access, vol. 13, pp. 22197-22229, 2025, doi: 10.1109/ACCESS.2025.3535890. URL link.
- T. Ausberger, K. Kubíček, P. Medvecová and J. Wolf, „Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing,“ 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), Stuttgart, Germany, 2022, pp. 1-8, doi: 10.1109/ETFA52439.2022.9921696. URL link.
- T. Ausberger, K. Kubíček, P. Medvecová and T. Myslivec, „Test case generation for Function Block Diagram based on blocks’ predefined behaviour,“ 2021 23rd International Conference on Process Control (PC), Strbske Pleso, Slovakia, 2021, pp. 206-211, doi: 10.1109/PC52310.2021.9447525. URL link.
- T. Ausberger, K. Kubíček, P. Medvecová, T. Myslivec and M. Štětina, „Model Checking application on Function Block Diagram model,“ 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Vienna, Austria, 2020, pp. 1807-1814, doi: 10.1109/ETFA46521.2020.9212180. URL link
- T. Ausberger, K. Kubíček, P. Medvecová, T. Myslivec and M. Štětina, „Analytic method for automatic test case generation for Function Block Diagram,“ 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Vienna, Austria, 2020, pp. 1799-1826, doi: 10.1109/ETFA46521.2020.9212034. URL link