Valentyna Dusheba

According to our database, Valentyna Dusheba authored at least 2 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of seven.
• Erdős number of six.

2023

Case Driven TLC Model Checker Analysis in Energy Scenario.

Vadym Shkarupylo, Ihor Blinov, Valentyna Dusheba, Jamil Abedalrahim Jamil Alsayaydeh

Proceedings of The Sixth International Workshop on Computer Modeling and Intelligent Systems (CMIS 2023), 2023

2020

On Hoare Triples Applicability to Dependable System Specification Synthesis.

Vadym Shkarupylo, Alexander Chemeris, Valentyna Dusheba, Ravil Kudermetov, Andrii O. Oliinyk

Proceedings of the 11th IEEE International Conference on Dependable Systems, 2020