Andrii Kovalov

Orcid: 0000-0002-8923-9936

According to our database1, Andrii Kovalov authored at least 6 papers between 2016 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
An Approach to Creating an Auto-scalable Software-Defined Network Using the Computing Resources of Connected Devices.
Proceedings of the IEEE International Black Sea Conference on Communications and Networking, 2025

2022
Model checking message delivery times in SpaceWire networks.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2020
Model-Based Reconfiguration Planning for a Distributed On-board Computer.
Proceedings of the SAM '20: 12th System Analysis and Modelling Conference, 2020

2019
Spacecraft Interface Management in Concurrent Engineering Sessions.
Proceedings of the Cooperative Design, Visualization, and Engineering, 2019

2017
Task-Node Mapping in an Arbitrary Computer Network Using SMT Solver.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016
Avoiding Medication Conflicts for Patients with Multimorbidities.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016


  Loading...