Colin Paterson

Search results

• 2024

  Aloft: Self-Adaptive Drone Controller Testbed

  Imrie, C. C., Howard, R., Thuremella, D., Proma, N. M., Pandey, T., Lewinska, P. B. W., Cannizzaro, R., Hawkins, R. D., Paterson, C., Kunze, L. & Hodge, V. J., 16 Apr 2024, SEAMS '24: Proceedings of the 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems. ACM

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

  Open Access

  File

• Learning Run-time Safety Monitors for Machine Learning Components

  Vardal, O., Hawkins, R. D., Paterson, C., Picardi, C., Omeiza, D., Kunze, L. & Habli, I., 23 Jun 2024

  Research output: Book/Report › Commissioned report

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

  File

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

  File

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

  File

• The Safety of Autonomy: A Systematic Approach

  McDermid, J. A., Calinescu, R., Habli, I., Hawkins, R., Jia, Y., Molloy, J., Osborne, M., Paterson, C., Porter, Z. & Ryan Conmy, P., 3 Apr 2024, In: Computer. 57, 4, p. 16-25 10 p.

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

  Open Access

  File
• 2023

  Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents

  Yaman, S. G., Cavalcanti, A., Calinescu, R., Paterson, C., Ribeiro, P. & Townsend, B., 7 Jul 2023.

  Research output: Working paper › Preprint

  File

• Transfer Assurance for Machine Learning in Autonomous Systems

  Picardi, C., Hawkins, R. D., Paterson, C. & Habli, I., 13 Feb 2023, Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2023). CEUR Workshop Proceedings, 7 p.

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

  Open Access

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

• 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

  Open Access

  File

• PRESTO: Predicting System-level Disruptions through Parametric Model Checking

  Fang, X., Calinescu, R., Paterson, C. & Wilson, J. C., 15 Aug 2022, SEAMS '22: Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems. ACM, p. 91-97

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

  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

• Risk-aware Real-time Object Detection

  Alpizar Santana, M., Calinescu, R. & Paterson, C., 2 Nov 2022, 18th European Dependable Computing Conference. IEEE

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

  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

• Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers

  Paterson, C., Calinescu, R. & Picardi, C., 27 Jun 2021, (Accepted/In press) IEEE AI Test 2021 conference.

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

• Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS)

  Hawkins, R. D., Paterson, C., Picardi, C., Jia, Y., Calinescu, R. & Habli, I., 3 Feb 2021

  Research output: Book/Report › Commissioned report

  Open Access

• Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies

  Riley, J., Calinescu, R., Paterson, C., Kudenko, D. & Banks, A., Feb 2021, 13th International Conference on Agents and Artificial Intelligence.

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

  Open Access

  File
• 2020

  Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems

  Picardi, C., Paterson, C., Hawkins, R. D., Calinescu, R. & Habli, I., 27 Feb 2020, Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2020). CEUR Workshop Proceedings, p. 23-30 (CEUR Workshop Proceedings; vol. 2560).

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

  Open Access

  File

• Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings

  Gauerhof, L., Hawkins, R. D., Picardi, C., Paterson, C., Hagiwara, Y. & Habli, I., 31 Jul 2020, Computer Safety, Reliability, and Security: 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings. Springer, p. 197-212 (Lecture Notes in Computer Science; vol. 12234).

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

  File

• 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

  A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems

  Picardi, C., Hawkins, R. D., Paterson, C. & Habli, I., 30 Apr 2019, (Accepted/In press) 38th International Conference on Computer Safety, Reliability and Security – SafeComp 2019.

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

• Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges

  Ashmore, R., Calinescu, R. & Paterson, C., 10 May 2019.

  Research output: Working paper

• 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

• Socio-Cyber-Physical Systems: Models, Opportunities, Open Challenges

  Calinescu, R. C., Camara Moreno, J. & Paterson, C., 5 Sept 2019, 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems. IEEE

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

  Open Access

  File

• Using Unstructured Data to Improve the Continuous Planning of Critical Processes Involving Humans

  Paterson, C., Calinescu, R. C., Wang, D. & Manandhar, S. K., 2019, (Accepted/In press) 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.

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

  Open Access

  File
• 2017

  Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement

  Paterson, C. A. & Calinescu, R. C., 2017, (Accepted/In press) IEEE International Conference on Software Architecture (ICSA 2017). IEEE

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

  Open Access

  File

• Self-Adaptive Role-Based Access Control for Business Processes

  da Silva, C. E., da Silva, J. D. S., Paterson, C. A. & Calinescu, R. C., 2017, (Accepted/In press) 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017). IEEE, 11 p.

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

  Open Access

  File
• 2016

  FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals

  Calinescu, R. C., Johnson, K. H. A. & Paterson, C. A., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016. Springer, p. 540-546 7 p. (Lecture Notes in Computer Science (LNCS); vol. 9636).

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

  Open Access

  File
• 2015

  Stochastic modeling, analysis and verification of mission-critical systems and processes

  Gerasimou, S., Mason, G. R., Paterson, C. A., Banks, A., Calinescu, R. C., Kudenko, D. & Rowe, S., 2015, 4th IMA Conference on Mathematics in Defence. 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  Open Access

  File