On Hoare Triples Applicability to Dependable System Specification Synthesis. - Vadym Shkarupylo; Alexander Chemeris; Valentyna Dusheba; Ravil Kudermetov; Andrii O. Oliinyk (DESSERT, 2020)

Normalization Techniques Comparison for QoS-based Web Services Selection by LSP Method. - Ravil Kudermetov; Olga Polska; Vadym Shkarupylo; Natalia Shcherbak (IDAACS-SWS, 2020)

Improving the Productivity of Distributed Computer Systems Through the Use of Knowledge Engineering. - Nataliia Kulykovska; Ravil Kudermetov (IDAACS-SWS, 2020)

UML Profile for Decision-Making Systems Development with the Logic Scoring of Preference Method. - Ravil Kudermetov; Olga Polska; Natalia Shcherbak (IDAACS, 2023)