Colin Paterson
Identifiers
- name variant Colin Paterson 0.60 · backfill
Papers (4)
- Engineering Reliable Autonomous Systems: Challenges and Solutions cs.RO · 2026 · author #21
- Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges cs.LG · 2019 · author #3
- Efficient Parametric Model Checking Using Domain Knowledge cs.SE · 2018 · author #2
- Observation-Enhanced QoS Analysis of Component-Based Systems cs.SE · 2018 · author #1
Mentions
- 2606.23760 #21 · arxiv_oai · confidence 0.70 Colin Paterson
Frequent Coauthors
- Radu Calinescu 3 shared papers
- Ana Cavalcanti 1 shared papers
- Angelo Ferrando 1 shared papers
- Brian Logan 1 shared papers
- Charles Lesire 1 shared papers
- Christian Colombo 1 shared papers
- Clare Dixon 1 shared papers
- Daniela Briola 1 shared papers
- Diana Benjumea Hernandez 1 shared papers
- Fabio Papacchini 1 shared papers
- Hazel Taylor 1 shared papers
- Huan Zhang 1 shared papers
- Jim Woodcock 1 shared papers
- Kenneth Johnson 1 shared papers
- Livia Lestingi 1 shared papers
- Louise A. Dennis 1 shared papers
- Luciana Brasil Rebelo dos Santos 1 shared papers
- Maike Schwammberger 1 shared papers
- Marco Autili 1 shared papers
- Marie Farrell 1 shared papers