| Assuring the machine learning lifecycle: Desiderata, methods, and challenges R Ashmore, R Calinescu, C Paterson ACM Computing Surveys (CSUR) 54 (5), 1-39, 2021 | 307 | 2021 |
| Guidance on the assurance of machine learning in autonomous systems (AMLAS) R Hawkins, C Paterson, C Picardi, Y Jia, R Calinescu, I Habli arXiv preprint arXiv:2102.01564, 2021 | 87 | 2021 |
| A pattern for arguing the assurance of machine learning in medical diagnosis systems C Picardi, R Hawkins, C Paterson, I Habli Computer Safety, Reliability, and Security: 38th International Conference …, 2019 | 43 | 2019 |
| Assuring the safety of machine learning for pedestrian detection at crossings L Gauerhof, R Hawkins, C Picardi, C Paterson, Y Hagiwara, I Habli Computer Safety, Reliability, and Security: 39th International Conference …, 2020 | 42 | 2020 |
| FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals. R Calinescu, K Johnson, C Paterson International Conference on Tools and Algorithms for the Construction and …, 2016 | 38 | 2016 |
| Socio-cyber-physical systems: Models, opportunities, open challenges R Calinescu, J Cámara, C Paterson 2019 IEEE/ACM 5th International Workshop on Software Engineering for Smart …, 2019 | 34 | 2019 |
| Towards better adaptive systems by combining mape, control theory, and machine learning D Weyns, B Schmerl, M Kishida, A Leva, M Litoiu, N Ozay, C Paterson, ... 2021 International Symposium on Software Engineering for Adaptive and Self …, 2021 | 32 | 2021 |
| Assurance argument patterns and processes for machine learning in safety-related systems C Picardi, C Paterson, RD Hawkins, R Calinescu, I Habli Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2020 …, 2020 | 27 | 2020 |
| Self-adaptive role-based access control for business processes CE da Silva, JDS da Silva, C Paterson, R Calinescu 2017 IEEE/ACM 12th International Symposium on Software Engineering for …, 2017 | 24 | 2017 |
| Efficient parametric model checking using domain knowledge R Calinescu, C Paterson, K Johnson IEEE Transactions on Software Engineering 47 (6), 1114-1133, 2019 | 23 | 2019 |
| Observation-enhanced QoS analysis of component-based systems C Paterson, R Calinescu IEEE Transactions on Software Engineering 46 (5), 526-548, 2018 | 20 | 2018 |
| Deepcert: Verification of contextually relevant robustness for neural network image classifiers C Paterson, H Wu, J Grese, R Calinescu, CS Păsăreanu, C Barrett Computer Safety, Reliability, and Security: 40th International Conference …, 2021 | 18 | 2021 |
| Using runtime quantitative verification to provide assurance evidence for self-adaptive software: advances, applications and research challenges R Calinescu, S Gerasimou, K Johnson, C Paterson Software Engineering for Self-Adaptive Systems III. Assurances …, 2017 | 18 | 2017 |
| From pluralistic normative principles to autonomous-agent rules B Townsend, C Paterson, TT Arvind, G Nemirovsky, R Calinescu, ... Minds and Machines 32 (4), 683-715, 2022 | 17 | 2022 |
| Verified synthesis of optimal safety controllers for human-robot collaboration M Gleirscher, R Calinescu, J Douthwaite, B Lesage, C Paterson, J Aitken, ... Science of Computer Programming 218, 102809, 2022 | 17 | 2022 |
| Reinforcement learning with quantitative verification for assured multi-agent policies J Riley, R Calinescu, C Paterson, D Kudenko, A Banks 13th International Conference on Agents and Artificial Intelligence, 2021 | 14 | 2021 |
| Assuring the machine learning lifecycle: Desiderata, methods, and challenges. arXiv 2019 R Ashmore, R Calinescu, C Paterson arXiv preprint arXiv:1905.04223, 1905 | 14 | 1905 |
| Accurate analysis of quality properties of software with observation-based Markov chain refinement C Paterson, R Calinescu 2017 IEEE International Conference on Software Architecture (ICSA), 121-130, 2017 | 12 | 2017 |
| Detection and mitigation of rare subclasses in deep neural network classifiers C Paterson, R Calinescu, C Picardi 2021 IEEE International Conference on Artificial Intelligence Testing …, 2021 | 11 | 2021 |
| Using unstructured data to improve the continuous planning of critical processes involving humans C Paterson, R Calinescu, S Manandhar, D Wang 2019 IEEE/ACM 14th International Symposium on Software Engineering for …, 2019 | 10 | 2019 |
Radu CalinescuProfessor of Computer Science, University of York在 york.ac.uk 的电子邮件经过验证
