Andrii Kovalov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2016–2022
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | MODELS | Model checking message delivery times in SpaceWire networks. | Andrii Kovalov, Girish Patil, Vishav Bansal, Andreas Gerndt |
| 2019 | CDVE | Spacecraft Interface Management in Concurrent Engineering Sessions. | Philipp M. Fischer, Caroline Lange, Volker Maiwald, Sascha Mller, Andrii Kovalov, Janis Hseker, Thomas Grtner, Andreas Gerndt |
| 2017 | IFM | Task-Node Mapping in an Arbitrary Computer Network Using SMT Solver. | Andrii Kovalov, Elisabeth Lobe, Andreas Gerndt, Daniel Ldtke |
| 2016 | IFM | Avoiding Medication Conflicts for Patients with Multimorbidities. | Andrii Kovalov, Juliana Kster Filipe Bowles |