( en | de | ru )

 

Disambiguation of "Calinescu, Radu"

Author of the publication

copydeleteadd this publication to your clipboard
Synthesis of probabilistic models for quality-of-service software engineering.

, , and . Autom. Softw. Eng., 25 (4): 785-831 (2018)

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. You can also use the button next to the name to display some publications already assigned to the person.

Hans-Joachim Raduach

Adolf Radusch

Florin Radu

Georgeta Radu

Konrad Radunski

 

Other publications of authors with the same name

CADS*: Computer-Aided Development of Self-* Systems., and . FASE, volume 5503 of Lecture Notes in Computer Science, page 421-424. Springer, (2009)Taming Service Uncertainty through Probabilistic Model Learning, Analysis and Synthesis.. UCC Companion, page 163. ACM, (2019)Detection and Mitigation of Rare Subclasses in Neural Network Classifiers., and . CoRR, (2019)Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration., , , , , , , and . CoRR, (2021)Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents., , , , , and . CoRR, (2023)Bayesian Learning for the Robust Verification of Autonomous Robots., , , , , and . CoRR, (2023)Quantitative Verification with Adaptive Uncertainty Reduction., , , and . CoRR, (2021)Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems., , , , , and . IEEE Trans. Reliab., 65 (1): 107-125 (2016)Uncertainty in Self-adaptive Systems: A Research Community Perspective., , , , , and . ACM Trans. Auton. Adapt. Syst., 15 (4): 10:1-10:36 (2020)From Pluralistic Normative Principles to Autonomous-Agent Rules., , , , , , , and . Minds Mach., 32 (4): 683-715 (2022)