Autor der Publikation

Boreas - A Service Scheduler for Optimal Kubernetes Deployment.

, , , und . ICSOC, Volume 13121 von Lecture Notes in Computer Science, Seite 221-237. Springer, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Translating active objects into colored Petri nets for communication analysis., , , , , und . Sci. Comput. Program., (2019)Meeting Deadlines, Elastically., , , , und . From Action Systems to Distributed Systems, Chapman and Hall/CRC, (2016)Dynamic Software Updates and Context Adaptation for Distributed Active Objects., und . Principled Software Development, Seite 147-164. Springer, (2018)Comparing AWS Deployments Using Model-Based Predictions., , und . ISoLA (2), Volume 9953 von Lecture Notes in Computer Science, Seite 482-496. (2016)A proof system for adaptable class hierarchies., , , und . J. Log. Algebraic Methods Program., 84 (1): 37-53 (2015)CARE: coherent actionable recourse based on sound counterfactual explanations., und . Int. J. Data Sci. Anal., 17 (1): 13-38 (Januar 2024)Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets., , , und . PNSE@Petri Nets, Volume 2651 von CEUR Workshop Proceedings, Seite 68-85. CEUR-WS.org, (2020)Boreas - A Service Scheduler for Optimal Kubernetes Deployment., , , und . ICSOC, Volume 13121 von Lecture Notes in Computer Science, Seite 221-237. Springer, (2021)Interpreting Categorical Data Classifiers using Explanation-based Locality., , und . ICDM (Workshops), Seite 163-170. IEEE, (2022)Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems., , , und . NIK, Bibsys Open Journal Systems, Norway, (2016)