Vadym Shkarupylo

According to our database, Vadym Shkarupylo authored at least 6 papers between 2019 and 2023.

Collaborative distances:

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

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

2022

Towards an Open Ontology for Renewable Resource Management in Smart Self-Sustainable Human Settlements.

Igor Tomicic, Markus Schatten, Vadym Shkarupylo

J. Univers. Comput. Sci., 2022

2021

Using the Actor-Critic Method for Population Diversity in Neuroevolutionary Synthesis.

Serhii Leoshchenko, Andrii O. Oliinyk, Sergey Subbotin, Vadym Shkarupylo

Proceedings of the 2nd International Workshop on Intelligent Information Technologies & Systems of Information Security with CEUR-WS, 2021

2020

Normalization Techniques Comparison for QoS-based Web Services Selection by LSP Method.

Ravil Kudermetov, Olga Polska, Vadym Shkarupylo, Natalia Shcherbak

Proceedings of the 2020 IEEE 5th International Symposium on Smart and Wireless Systems within the Conferences on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS-SWS), 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

2019

Modification of the Genetic Method for Neuroevolution Synthesis of Neural Network Models for Medical Diagnosis.

Serhii Leoshchenko, Andrii O. Oliinyk, Sergey Subbotin, Nataliia Gorobii, Vadym Shkarupylo

Proceedings of the Second International Workshop on Computer Modeling and Intelligent Systems (CMIS-2019), 2019