Items where authors include "Paterson, Colin"

Article

McDermid, John Alexander orcid.org/0000-0003-4745-4272, Calinescu, Radu orcid.org/0000-0002-2678-9260, Habli, Ibrahim orcid.org/0000-0003-2736-8238 et al. (7 more authors) (2024) The Safety of Autonomy : A Systematic Approach. Computer. pp. 16-25. ISSN 0018-9162

Fang, Xinwei, Getir Yaman, Sinem, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (2 more authors) (2024) Predicting Nonfunctional Requirement Violations in Autonomous Systems. ACM Transactions on Autonomous and Adaptive Systems. 6. ISSN 1556-4703

Townsend, Bev orcid.org/0000-0002-8486-6041, Paterson, Colin orcid.org/0000-0002-6678-3752, Arvind, T.T. orcid.org/0000-0001-5468-3669 et al. (5 more authors) (2022) From Pluralistic Normative Principles to Autonomous-Agent Rules. Minds and Machines. ISSN 1572-8641

Gleirscher, Mario orcid.org/0000-0002-9445-6863, Calinescu, Radu orcid.org/0000-0002-2678-9260, Douthwaite, James et al. (5 more authors) (2022) Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration. Science of Computer Programming. 102809. ISSN 0167-6423

Alasmari, Naif, Calinescu, Radu orcid.org/0000-0002-2678-9260, Paterson, Colin orcid.org/0000-0002-6678-3752 et al. (1 more author) (2022) Quantitative Verification with Adaptive Uncertainty Reduction. Journal of Systems and Software. 111275. ISSN 0164-1212

Paterson, Colin orcid.org/0000-0002-6678-3752, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Ashmore, Rob (2021) Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges. ACM Computing Surveys. 111. ISSN 0360-0300

Paterson, Colin orcid.org/0000-0002-6678-3752 and Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260 (2020) Observation-Enhanced QoS Analysis of Component-Based Systems. IEEE Transactions on Software Engineering. pp. 526-548. ISSN 0098-5589

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Paterson, Colin orcid.org/0000-0002-6678-3752 and Johnson, Kenneth Harold Anthony (2019) Efficient Parametric Model Checking Using Domain Knowledge. IEEE Transactions on Software Engineering. 8698796. ISSN 0098-5589

Proceedings Paper

Imrie, Calum Corrie, Howard, Rhys, Thuremella, Divya et al. (8 more authors) (2024) Aloft: Self-Adaptive Drone Controller Testbed. In: SEAMS '24: Proceedings of the 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems. 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 15-16 Apr 2024. ACM , PRT .

Picardi, Chiara, Hawkins, Richard David orcid.org/0000-0001-7347-3413, Paterson, Colin orcid.org/0000-0002-6678-3752 et al. (1 more author) (2023) Transfer Assurance for Machine Learning in Autonomous Systems. In: Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2023). SafeAI, 13-14 Feb 2023. CEUR Workshop Proceedings , USA .

Alpizar Santana, Misael, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Paterson, Colin orcid.org/0000-0002-6678-3752 (2022) Risk-aware Real-time Object Detection. In: 18th European Dependable Computing Conference. UNSPECIFIED. IEEE .

Alpizar Santana, Misael, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Paterson, Colin orcid.org/0000-0002-6678-3752 (2022) Mitigating Risk in Neural Network Classifiers. In: 48th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA). UNSPECIFIED. IEEE .

Fang, Xinwei, Calinescu, Radu orcid.org/0000-0002-2678-9260, Paterson, Colin orcid.org/0000-0002-6678-3752 et al. (1 more author) (2022) PRESTO : Predicting System-level Disruptions through Parametric Model Checking. In: SEAMS '22:Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems. UNSPECIFIED. ACM , pp. 91-97.

Riley, Joshua, Calinescu, Radu orcid.org/0000-0002-2678-9260, Paterson, Colin orcid.org/0000-0002-6678-3752 et al. (2 more authors) (2021) Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies. In: 13th International Conference on Agents and Artificial Intelligence. UNSPECIFIED. .

Gauerhof, Lydia, Hawkins, Richard David orcid.org/0000-0001-7347-3413, Picardi, Chiara et al. (3 more authors) (2020) Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings. In: Computer Safety, Reliability, and Security:39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 197-212.

Picardi, Chiara, Paterson, Colin orcid.org/0000-0002-6678-3752, Hawkins, Richard David orcid.org/0000-0001-7347-3413 et al. (2 more authors) (2020) Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems. In: Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2020). UNSPECIFIED. CEUR Workshop Proceedings . CEUR Workshop Proceedings , pp. 23-30.

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Camara Moreno, Javier orcid.org/0000-0001-6717-4775 and Paterson, Colin orcid.org/0000-0002-6678-3752 (2019) Socio-Cyber-Physical Systems : Models, Opportunities, Open Challenges. In: 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems. UNSPECIFIED. IEEE .

Paterson, Colin orcid.org/0000-0002-6678-3752, Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Wang, Di et al. (1 more author) (2019) Using Unstructured Data to Improve the Continuous Planning of Critical Processes Involving Humans. In: 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. UNSPECIFIED. . (In Press)

Preprint

Yaman, Sinem Getir, Cavalcanti, Ana orcid.org/0000-0002-0831-1976, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (3 more authors) (2023) Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents. [Preprint]