Andrii Kovalov

According to our database, Andrii Kovalov authored at least 5 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Model checking message delivery times in SpaceWire networks.

Andrii Kovalov, Girish Patil, Vishav Bansal, Andreas Gerndt

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.

Andrii Kovalov, Tobias Franz, Hannes Watolla, Vishav Vishav, Andreas Gerndt, Daniel Lüdtke

Proceedings of the SAM '20: 12th System Analysis and Modelling Conference, 2020

2019

Spacecraft Interface Management in Concurrent Engineering Sessions.

Philipp Martin Fischer, Caroline Lange, Volker Maiwald, Sascha Müller, Andrii Kovalov, Janis Häseker, Thomas Gärtner, Andreas Gerndt

Proceedings of the Cooperative Design, Visualization, and Engineering, 2019

2017

Task-Node Mapping in an Arbitrary Computer Network Using SMT Solver.

Andrii Kovalov, Elisabeth Lobe, Andreas Gerndt, Daniel Lüdtke

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016

Avoiding Medication Conflicts for Patients with Multimorbidities.

Andrii Kovalov, Juliana Küster Filipe Bowles

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016