( en | de | ru )

 

Disambiguierung von "Calinescu, Radu"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Interval Change-Point Detection for Runtime Probabilistic Model Checking.

, , , , und . ASE, Seite 163-174. IEEE, (2020)

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.

Adolf Radusch

Hans-Joachim Raduach

Georgeta Radu

Florin Radu

Konrad Radunski

 

Weitere Publikationen von Autoren mit dem selben Namen

Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers., , und . AITest, Seite 9-16. IEEE, (2021)Assured Multi-agent Reinforcement Learning with Robust Agent-Interaction Adaptability., , , , und . KES-IDT, Volume 309 von Smart Innovation, Systems and Technologies, Seite 87-97. Springer, (2022)Software Performance Engineering with Performance Antipatterns and Code-level Probabilistic Analysis., , und . MoDELS (Companion), Seite 249-253. IEEE, (2021)Synthesis of Pareto-optimal Policies for Continuous-Time Markov Decision Processes., und . SEAA, Seite 414-417. IEEE, (2022)Interval Change-Point Detection for Runtime Probabilistic Model Checking., , , , und . ASE, Seite 163-174. IEEE, (2020)Developing self-verifying service-based systems., , und . ASE, Seite 734-737. IEEE, (2013)Challenges and Best Practices in Policy-Based Autonomic Architectures.. DASC, Seite 65-74. IEEE Computer Society, (2007)Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration., , , , , , , und . CoRR, (2021)Probabilistic program performance analysis with confidence intervals., , und . Inf. Softw. Technol., (April 2023)Protecting Shared Virtualized Environments against Cache Side-channel Attacks., , und . ICISSP, Seite 507-514. SCITEPRESS, (2022)