Using Intelligent Proxies to Develop Self-Adaptive Service-Based Systems

Mitigating Risk in Neural Network Classifiers
Alpizar Santana, M., Calinescu, R. & Paterson, C., 30 Aug 2022, 48th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA) . IEEE, 4 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
From Pluralistic Normative Principles to Autonomous-Agent Rules
Townsend, B., Paterson, C., Arvind, T. T., Nemirovsky, G., Calinescu, R., Cavalcanti, A. L. C., Habli, I. & Thomas, A. P., 1 May 2022, (Submitted).
Research output: Working paper › Preprint
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
Gleirscher, M., Calinescu, R., Douthwaite, J., Lesage, B. M. J-R., Paterson, C., Aitken, J., Alexander, R. & Law, J., 4 Apr 2022, (E-pub ahead of print)
Article in Science of Computer Programming
PRESTO: Predicting System-level Disruptions through Parametric Model Checking
Fang, X., Calinescu, R., Paterson, C. & Wilson, J. C., 10 Mar 2022, (Accepted/In press) 17th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Quantitative Verification with Adaptive Uncertainty Reduction
Alasmari, N., Calinescu, R., Paterson, C. & Mirandola, R., 22 Feb 2022, (E-pub ahead of print)
Article in Journal of Systems and Software

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Author(s)

Title of host publication	7th International Symposium on Theoretical Aspects of Software Engineering
Date	Accepted/In press - 2013
Pages	131-134
Number of pages	4
Original language	English

Find related publications, people, projects, datasets and more using interactive charts.