C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Vadym Shkarupylo
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 6
Top Topics
Cscw Systems
Web Services
Normalization Method
Resource Management
Top Venues
CMIS
IntelITSIS
J. Univers. Comput. Sci.
IDAACS-SWS
</>
Publications
</>
Vadym Shkarupylo
,
Ihor Blinov
,
Valentyna Dusheba
,
Jamil Abedalrahim Jamil Alsayaydeh
Case Driven TLC Model Checker Analysis in Energy Scenario.
CMIS
(2023)
Igor Tomicic
,
Markus Schatten
,
Vadym Shkarupylo
Towards an Open Ontology for Renewable Resource Management in Smart Self-Sustainable Human Settlements.
J. Univers. Comput. Sci.
28 (6) (2022)
Serhii Leoshchenko
,
Andrii O. Oliinyk
,
Sergey A. Subbotin
,
Vadym Shkarupylo
Using the Actor-Critic Method for Population Diversity in Neuroevolutionary Synthesis.
IntelITSIS
(2021)
Vadym Shkarupylo
,
Alexander Chemeris
,
Valentyna Dusheba
,
Ravil Kudermetov
,
Andrii O. Oliinyk
On Hoare Triples Applicability to Dependable System Specification Synthesis.
DESSERT
(2020)
Ravil Kudermetov
,
Olga Polska
,
Vadym Shkarupylo
,
Natalia Shcherbak
Normalization Techniques Comparison for QoS-based Web Services Selection by LSP Method.
IDAACS-SWS
(2020)
Serhii Leoshchenko
,
Andrii O. Oliinyk
,
Sergey A. Subbotin
,
Nataliia Gorobii
,
Vadym Shkarupylo
Modification of the Genetic Method for Neuroevolution Synthesis of Neural Network Models for Medical Diagnosis.
CMIS
(2019)