Login / Signup
Andrii Kovalov
ORCID
Publication Activity (10 Years)
Years Active: 2016-2022
Publications (10 Years): 5
Top Topics
Emergency Department
Resolving Conflicts
Concurrent Engineering
Coronary Heart Disease
Top Venues
IFM
SAM
MoDELS (Companion)
CDVE
</>
Publications
</>
Andrii Kovalov
,
Girish Patil
,
Vishav Bansal
,
Andreas Gerndt
Model checking message delivery times in SpaceWire networks.
MoDELS (Companion)
(2022)
Andrii Kovalov
,
Tobias Franz
,
Hannes Watolla
,
Vishav Vishav
,
Andreas Gerndt
,
Daniel Lüdtke
Model-Based Reconfiguration Planning for a Distributed On-board Computer.
SAM
(2020)
Philipp Martin Fischer
,
Caroline Lange
,
Volker Maiwald
,
Sascha Müller
,
Andrii Kovalov
,
Janis Häseker
,
Thomas Gärtner
,
Andreas Gerndt
Spacecraft Interface Management in Concurrent Engineering Sessions.
CDVE
(2019)
Andrii Kovalov
,
Elisabeth Lobe
,
Andreas Gerndt
,
Daniel Lüdtke
Task-Node Mapping in an Arbitrary Computer Network Using SMT Solver.
IFM
(2017)
Andrii Kovalov
,
Juliana Küster Filipe Bowles
Avoiding Medication Conflicts for Patients with Multimorbidities.
IFM
(2016)