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

Case Driven TLC Model Checker Analysis in Energy Scenario. - Vadym Shkarupylo; Ihor Blinov; Valentyna Dusheba; Jamil Abedalrahim Jamil Alsayaydeh (CMIS, 2023)