Continuous enhancement in model-based software development and recent trends. - Karel Kubícek 002; Martin Cech; Jan Skach (ETFA, 2019)

Analytic method for automatic test case generation for Function Block Diagram. - Tomás Ausberger; Karel Kubícek 002; Pavla Medvecová; Tomás Myslivec; Milan Stetina (ETFA, 2020)

Model Checking application on Function Block Diagram model. - Tomás Ausberger; Karel Kubícek 002; Pavla Medvecová; Tomás Myslivec; Milan Stetina (ETFA, 2020)

Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing. - Tomás Ausberger; Karel Kubícek 002; Pavla Medvecová; Jindrich Wolf (ETFA, 2022)

Distributed method for Economic Dispatch Problem in power network with multiple uncertainties. - Karel Kubícek 002; Jindrich Wolf (ETFA, 2022)

Design of robust PI controller by combining robustness regions with time-domain criteria. - Vilém Zán; Karel Kubícek 002; Martin Cech (ETFA, 2022)

Distributed method for Economic Dispatch Problem with a battery system and a variable fuel price. - Karel Kubicek 002; Jindrich Wolf; Václav Helma (ETFA, 2023)

Functionally-Equivalent Formalization and Automated Model Checking of Function Block Diagrams. - Tomás Ausberger; Karel Kubícek 002; Pavla Medvedcova (IEEE Access, 2025)