I agree that this site is using cookies. You can find further informations here.
X
Paterson, Colin
349  results:
Search for persons X
?
1

Predicting Nonfunctional Requirement Violations in Autonomo..:

Fang, Xinwei ; Yaman, Sinem Getir ; Calinescu, Radu..
ACM Transactions on Autonomous and Adaptive Systems.  19 (2024)  1 - p. 1-25 , 2024
Link: https://doi.org/10.1145/..
 
?
2

The Safety of Autonomy: A Systematic Approach:

McDermid, John A. ; Calinescu, Radu ; Habli, Ibrahim...
Computer.  57 (2024)  4 - p. 16-25 , 2024
Link: https://doi.org/10.1109/..
 
?
3

Aloft: Self-Adaptive Drone Controller Testbed:

, In: Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems,
Imrie, Calum ; Howard, Rhys ; Thuremella, Divya... - p. 70-76 , 2024
Link: https://dl.acm.org/doi/1..
 
?
4

Aloft: Self-Adaptive Drone Controller Testbed:

, In: 2024 IEEE/ACM 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS),
Imrie, Calum ; Howard, Rhys ; Thuremella, Divya... - p. 70-76 , 2024
Link: https://doi.org/10.1145/..
 
?
5

Hazards help autonomous cars to drive safely:

Paterson, Colin ; Picardi, Chiara
Nature.  615 (2023)  7953 - p. 594-595 , 2023
Link: https://doi.org/10.1038/..
 
?
6

PRESTO: Predicting System-level Disruptions through Paramet..:

, In: 2022 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS),
Fang, Xinwei ; Calinescu, Radu ; Paterson, Colin. - p. 91-97 , 2022
Link: https://doi.org/10.1145/..
 
?
7

Quantitative verification with adaptive uncertainty reducti..:

Alasmari, Naif ; Calinescu, Radu ; Paterson, Colin.
Journal of Systems and Software.  188 (2022)  - p. 111275 , 2022
Link: https://doi.org/10.1016/..
 
?
8

Risk-aware Real-time Object Detection:

, In: 2022 18th European Dependable Computing Conference (EDCC),
Santana, Misael Alpizar ; Calinescu, Radu ; Paterson, Colin - p. 105-108 , 2022
Link: https://doi.org/10.1109/..
 
?
9

From Pluralistic Normative Principles to Autonomous-Agent R..:

Townsend, Beverley ; Paterson, Colin ; Arvind, T. T....
Minds and Machines.  32 (2022)  4 - p. 683-715 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Sports injury prevention programmes from the sports physica..:

Mendonça, Luciana De Michelis ; Schuermans, Joke ; Denolf, Sander...
Physical Therapy in Sport.  55 (2022)  - p. 146-154 , 2022
Link: https://doi.org/10.1016/..
 
?
11

PRESTO : predicting system-level disruptions through par..:

, In: Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems,
Fang, Xinwei ; Calinescu, Radu ; Paterson, Colin. - p. 91-97 , 2022
Link: https://dl.acm.org/doi/1..
 
?
12

Mitigating Risk in Neural Network Classifiers:

, In: 2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA),
Santana, Misael Alpizar ; Calinescu, Radu ; Paterson, Colin - p. 370-373 , 2022
Link: https://doi.org/10.1109/..
 
?
13

Assured Multi-agent Reinforcement Learning with Robust Agen..:

, In: Intelligent Decision Technologies; Smart Innovation, Systems and Technologies,
Riley, Joshua ; Calinescu, Radu ; Paterson, Colin.. - p. 87-97 , 2022
Link: https://doi.org/10.1007/..
 
?
14

Assured Deep Multi-Agent Reinforcement Learning for Safe Ro..:

, In: Lecture Notes in Computer Science; Agents and Artificial Intelligence,
Riley, Joshua ; Calinescu, Radu ; Paterson, Colin.. - p. 158-180 , 2022
Link: https://doi.org/10.1007/..
 
?
15

Verified synthesis of optimal safety controllers for human-..:

Gleirscher, Mario ; Calinescu, Radu ; Douthwaite, James...
Science of Computer Programming.  218 (2022)  - p. 102809 , 2022
Link: https://doi.org/10.1016/..
 
1-15