Colin Paterson
Land Sea Air Autonomy (United States)(US)University of York(GB)
Publications by Year
Research Areas
Advanced Software Engineering Methodologies, Adversarial Robustness in Machine Learning, Software Reliability and Analysis Research, Software System Performance and Reliability, Safety Systems Engineering in Autonomy
Most-Cited Works
- → Assuring the Machine Learning Lifecycle(2021)197 cited
- → Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges(2019)87 cited
- → Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS)(2021)47 cited
- → From Pluralistic Normative Principles to Autonomous-Agent Rules(2022)36 cited
- → Socio-Cyber-Physical Systems: Models, Opportunities, Open Challenges(2019)36 cited
- → Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings(2020)33 cited
- → A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems(2019)31 cited
- → Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning(2021)29 cited
- → Verified synthesis of optimal safety controllers for human-robot collaboration(2022)24 cited
- → FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals(2016)22 cited