Colin Paterson

Search results

• 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 Access

  File

• 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 Access

  File

• 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 Access

  File
• 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 Access

  File
• 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-548

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
• 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 Access

  File