Research output per year
Research output per year
- 10 results
Search results
-
2025
Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents
Getir Yaman, S., Ribeiro, P., Cavalcanti, A., Calinescu, R., Paterson, C. & Townsend, B., 1 Feb 2025, In: Journal of Systems and Software. 220, 21 p., 112229.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents
Getir Yaman, S., Ribeiro, P., Cavalcanti, A. L. C., Calinescu, R., Paterson, C. & Townsend, B., 1 Feb 2025, In: Journal of Systems and Software. 220, 21 p., 112229.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2024
Predicting Nonfunctional Requirement Violations in Autonomous Systems
Fang, X., Getir Yaman, S., Calinescu, R., Wilson, J. C. & Paterson, C., 14 Feb 2024, In: ACM Transactions on Autonomous and Adaptive Systems. 19, 1, 25 p., 6.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
The Safety of Autonomy: A Systematic Approach
McDermid, J. A., Calinescu, R., Habli, I., Hawkins, R. D., Jia, Y., Molloy, J., Osborne, M., Paterson, C., Porter, Z. & Ryan, P. M., 3 Apr 2024, In: Computer. 57, 4, p. 16-25 10 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2022
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., 29 Oct 2022, In: Minds and Machines.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Quantitative Verification with Adaptive Uncertainty Reduction
Alasmari, N., Calinescu, R., Paterson, C. & Mirandola, R., 22 Feb 2022, (E-pub ahead of print) In: Journal of Systems and Software. 188, 19 p., 111275.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
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) In: Science of Computer Programming. 102809.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2021
Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges
Paterson, C., Calinescu, R. & Ashmore, R., 1 May 2021, In: ACM Computing Surveys. 54, 5, 39 p., 111.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2020
Observation-Enhanced QoS Analysis of Component-Based Systems
Paterson, C. & Calinescu, R. C., 1 May 2020, In: IEEE Transactions on Software Engineering . 46, 5, p. 526-548Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2019
Efficient Parametric Model Checking Using Domain Knowledge
Calinescu, R. C., Paterson, C. & Johnson, K. H. A., 25 Apr 2019, (E-pub ahead of print) In: IEEE Transactions on Software Engineering . 0, 20 p., 8698796.Research output: Contribution to journal › Article › peer-review
Open AccessFile