default search action
Colin Paterson
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j11]Sinem Getir Yaman
, Pedro Ribeiro
Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. J. Syst. Softw. 220: 112229 (2025) - 2024
- [j10]John A. McDermid
The Safety of Autonomy: A Systematic Approach. Computer 57(4): 16-25 (2024) - [j9]Xinwei Fang
Predicting Nonfunctional Requirement Violations in Autonomous Systems. ACM Trans. Auton. Adapt. Syst. 19(1): 6:1-6:25 (2024) - [c22]Calum Imrie
Aloft: Self-Adaptive Drone Controller Testbed. SEAMS@ICSE 2024: 70-76 - [i12]Ozan Vardal, Richard Hawkins, Colin Paterson, Chiara Picardi, Daniel Omeiza, Lars Kunze, Ibrahim Habli:
Learning Run-time Safety Monitors for Machine Learning Components. CoRR abs/2406.16220 (2024) - 2023
- [c21]Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli:
Transfer Assurance for Machine Learning in Autonomous Systems. SafeAI@AAAI 2023 - [i11]Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu, Colin Paterson, Pedro Ribeiro, Beverley A. Townsend:
Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents. CoRR abs/2307.03697 (2023) - 2022
- [j8]Rob Ashmore, Radu Calinescu, Colin Paterson
Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges. ACM Comput. Surv. 54(5): 111:1-111:39 (2022) - [j7]Naif Alasmari
Quantitative verification with adaptive uncertainty reduction. J. Syst. Softw. 188: 111275 (2022) - [j6]Beverley A. Townsend
From Pluralistic Normative Principles to Autonomous-Agent Rules. Minds Mach. 32(4): 683-715 (2022) - [j5]Mario Gleirscher
Verified synthesis of optimal safety controllers for human-robot collaboration. Sci. Comput. Program. 218: 102809 (2022) - [c20]Misael Alpizar Santana
Risk-aware Real-time Object Detection. EDCC 2022: 105-108 - [c19]Misael Alpizar Santana
Mitigating Risk in Neural Network Classifiers. SEAA 2022: 370-373 - [c18]Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks:
Assured Multi-agent Reinforcement Learning with Robust Agent-Interaction Adaptability. KES-IDT 2022: 87-97 - [c17]Xinwei Fang, Radu Calinescu, Colin Paterson, Julie Wilson:
PRESTO: Predicting System-level Disruptions through Parametric Model Checking. SEAMS 2022: 91-97 - [i10]Xinwei Fang, Radu Calinescu, Colin Paterson, Julie Wilson:
PRESTO: Predicting System-level Disruptions through Parametric Model Checking. CoRR abs/2205.03628 (2022) - 2021
- [j4]Radu Calinescu
Efficient Parametric Model Checking Using Domain Knowledge. IEEE Trans. Software Eng. 47(6): 1114-1133 (2021) - [c16]Colin Paterson, Radu Calinescu, Chiara Picardi:
Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers. AITest 2021: 9-16 - [c15]Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks:
Assured Deep Multi-Agent Reinforcement Learning for Safe Robotic Systems. ICAART (Revised Selected Papers) 2021: 158-180 - [c14]Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks:
Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies. ICAART (2) 2021: 237-245 - [c13]Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks:
Utilising Assured Multi-Agent Reinforcement Learning within Safety-Critical Scenarios. KES 2021: 1061-1070 - [c12]Colin Paterson, Haoze Wu
DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers. SAFECOMP 2021: 3-17 - [c11]Danny Weyns
Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning. SEAMS@ICSE 2021: 217-223 - [i9]Richard Hawkins, Colin Paterson, Chiara Picardi, Yan Jia, Radu Calinescu, Ibrahim Habli:
Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS). CoRR abs/2102.01564 (2021) - [i8]Colin Paterson, Haoze Wu, John Grese, Radu Calinescu, Corina S. Pasareanu, Clark W. Barrett:
DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers. CoRR abs/2103.01629 (2021) - [i7]Danny Weyns, Bradley R. Schmerl, Masako Kishida, Alberto Leva, Marin Litoiu, Necmiye Ozay, Colin Paterson, Kenji Tei:
Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning. CoRR abs/2103.10847 (2021) - [i6]Mario Gleirscher, Radu Calinescu, James A. Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan M. Aitken, Rob Alexander, James Law
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration. CoRR abs/2106.06604 (2021) - [i5]Naif Alasmari, Radu Calinescu, Colin Paterson, Raffaela Mirandola:
Quantitative Verification with Adaptive Uncertainty Reduction. CoRR abs/2109.02984 (2021) - 2020
- [j3]Colin Paterson
Observation-Enhanced QoS Analysis of Component-Based Systems. IEEE Trans. Software Eng. 46(5): 526-548 (2020) - [c10]Chiara Picardi, Colin Paterson, Richard Hawkins, Radu Calinescu, Ibrahim Habli:
Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems. SafeAI@AAAI 2020: 23-30 - [c9]Lydia Gauerhof, Richard Hawkins, Chiara Picardi, Colin Paterson, Yuki Hagiwara, Ibrahim Habli:
Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings. SAFECOMP 2020: 197-212
2010 – 2019
- 2019
- [c8]Radu Calinescu, Javier Cámara, Colin Paterson:
Socio-cyber-physical systems: models, opportunities, open challenges. SEsCPS@ICSE 2019: 2-6 - [c7]Colin Paterson, Radu Calinescu, Di Wang, Suresh Manandhar:
Using unstructured data to improve the continuous planning of critical processes involving humans. SEAMS@ICSE 2019: 25-31 - [c6]Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli:
A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems. SAFECOMP 2019: 165-179 - [i4]Rob Ashmore, Radu Calinescu
Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges. CoRR abs/1905.04223 (2019) - [i3]Colin Paterson, Radu Calinescu:
Detection and Mitigation of Rare Subclasses in Neural Network Classifiers. CoRR abs/1911.12780 (2019) - 2018
- [b1]Colin Paterson:
Observation-enhanced verification of operational processes. University of York, UK, 2018 - [c5]Radu Calinescu, Kenneth Johnson
Efficient parametric model checking using domain-specific modelling patterns. ICSE (NIER) 2018: 61-64 - [i2]Colin Paterson, Radu Calinescu:
Observation-Enhanced QoS Analysis of Component-Based Systems. CoRR abs/1805.09614 (2018) - [i1]Radu Calinescu, Colin Paterson, Kenneth Johnson:
Efficient Parametric Model Checking Using Domain Knowledge. CoRR abs/1812.09952 (2018) - 2017
- [c4]Colin Paterson, Radu Calinescu:
Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement. ICSA 2017: 121-130 - [c3]Carlos Eduardo da Silva
Self-Adaptive Role-Based Access Control for Business Processes. SEAMS@ICSE 2017: 193-203 - 2016
- [c2]Radu Calinescu, Kenneth Johnson
FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals. TACAS 2016: 540-546 - 2013
- [c1]Radu Calinescu, Simos Gerasimou, Kenneth Johnson
Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software - Advances, Applications and Research Challenges. Software Engineering for Self-Adaptive Systems 2013: 223-248 - 2012
- [j2]Colin Paterson, Ruud H. Teunter
Enhanced lateral transshipments in a multi-location inventory system. Eur. J. Oper. Res. 221(2): 317-327 (2012) - 2011
- [j1]Colin Paterson, Gudrun P. Kiesmüller
Inventory models with lateral transshipments: A review. Eur. J. Oper. Res. 210(2): 125-136 (2011)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 21:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: