( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Self-adaptive software needs quantitative verification at runtime.

, , , и . Commun. ACM, 55 (9): 69-77 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Hans-Joachim Raduach

Adolf Radusch

Florin Radu

Georgeta Radu

Konrad Radunski

 

Другие публикации лиц с тем же именем

CADS*: Computer-Aided Development of Self-* Systems., и . FASE, том 5503 из Lecture Notes in Computer Science, стр. 421-424. Springer, (2009)Taming Service Uncertainty through Probabilistic Model Learning, Analysis and Synthesis.. UCC Companion, стр. 163. ACM, (2019)Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems., , и . FMAS/ASYDE@SEFM, том 371 из EPTCS, стр. 156-174. (2022)Protecting Shared Virtualized Environments against Cache Side-channel Attacks., , и . ICISSP, стр. 507-514. SCITEPRESS, (2022)Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration., , , , , , , и . CoRR, (2021)Probabilistic program performance analysis with confidence intervals., , и . Inf. Softw. Technol., (апреля 2023)Assured Multi-agent Reinforcement Learning with Robust Agent-Interaction Adaptability., , , , и . KES-IDT, том 309 из Smart Innovation, Systems and Technologies, стр. 87-97. Springer, (2022)Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers., , и . AITest, стр. 9-16. IEEE, (2021)Software Performance Engineering with Performance Antipatterns and Code-level Probabilistic Analysis., , и . MoDELS (Companion), стр. 249-253. IEEE, (2021)Synthesis of Pareto-optimal Policies for Continuous-Time Markov Decision Processes., и . SEAA, стр. 414-417. IEEE, (2022)