| Model based system assurance using the structured assurance case metamodel R Wei, TP Kelly, X Dai, S Zhao, R Hawkins Journal of Systems and Software 154, 211-233, 2019 | 83 | 2019 |
| Integration of formal proof into unified assurance cases with Isabelle/SACM S Foster, Y Nemouchi, M Gleirscher, R Wei, T Kelly Formal Aspects of Computing 33 (6), 855-884, 2021 | 37 | 2021 |
| A runtime safety analysis concept for open adaptive systems S Kabir, I Sorokos, K Aslansefat, Y Papadopoulos, Y Gheraibia, J Reich, ... Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019 …, 2019 | 31 | 2019 |
| An approach for efficient querying of large relational datasets with ocl-based languages DS Kolovos, R Wei, K Barmpis XM 2013–Extreme Modeling Workshop, 48, 2013 | 26 | 2013 |
| Engineering of runtime safety monitors for cyber-physical systems with digital dependability identities J Reich, D Schneider, I Sorokos, Y Papadopoulos, T Kelly, R Wei, ... Computer Safety, Reliability, and Security: 39th International Conference …, 2020 | 25 | 2020 |
| Partial loading of XMI models R Wei, DS Kolovos, A Garcia-Dominguez, K Barmpis, RF Paige Proceedings of the ACM/IEEE 19th International Conference on Model Driven …, 2016 | 25 | 2016 |
| Re-thinking mixed-criticality architecture for automotive industry Z Jiang, S Zhao, P Dong, D Yang, R Wei, N Guan, N Audsley 2020 IEEE 38th International Conference on Computer Design (ICCD), 510-517, 2020 | 22 | 2020 |
| Deis: Dependability engineering innovation for cyber-physical systems R Wei, TP Kelly, R Hawkins, E Armengaud Software Technologies: Applications and Foundations: STAF 2017 Collocated …, 2018 | 20 | 2018 |
| An Efficient Computation Strategy for allInstances (). R Wei, DS Kolovos BigMDE@ STAF, 32-41, 2015 | 20 | 2015 |
| Bridging the pragmatic gaps for mixed-criticality systems in the automotive industry Z Jiang, S Zhao, R Wei, D Yang, R Paterson, N Guan, Y Zhuang, ... IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2021 | 19 | 2021 |
| Stress-testing remote model querying APIs for relational and graph-based stores A Garcia-Dominguez, K Barmpis, DS Kolovos, R Wei, RF Paige Software & Systems Modeling 18, 1047-1075, 2019 | 15 | 2019 |
| Automated Analysis, Validation and Suboptimal Code Detection in Model Management Programs. R Wei, DS Kolovos Bigmde@ Staf, 48-57, 2014 | 15 | 2014 |
| A framework to benchmark NoSQL data stores for large-scale model persistence SM Shah, R Wei, DS Kolovos, LM Rose, RF Paige, K Barmpis Model-Driven Engineering Languages and Systems: 17th International …, 2014 | 15 | 2014 |
| Toward an analysable, scalable, energy-efficient I/O virtualization for mixed-criticality systems Z Jiang, X Dai, P Dong, R Wei, D Yang, NC Audsley, N Guan IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2021 | 14 | 2021 |
| Priority assignment on partitioned multiprocessor systems with shared resources S Zhao, W Chang, R Wei, W Liu, N Guan, A Burns, A Wellings IEEE Transactions on Computers 70 (7), 1006-1018, 2020 | 11 | 2020 |
| Influence of programming style in transformation bad smells: mining of ETL repositories N Bonet, K Garcés, R Casallas, ME Correal, R Wei Computer Science Education 28 (1), 87-108, 2018 | 11 | 2018 |
| Designing critical systems with iterative automated safety analysis R Wei, Z Jiang, X Guo, H Mei, A Zolotas, T Kelly Proceedings of the 59th ACM/IEEE Design Automation Conference, 181-186, 2022 | 10 | 2022 |
| Automatic generation of UML profile graphical editors for Papyrus R Wei, A Zolotas, H Hoyos Rodriguez, S Gerasimou, DS Kolovos, ... Software and Systems Modeling 19, 1083-1106, 2020 | 10 | 2020 |
| An efficient multi-task learning CNN for driver attention monitoring D Yang, Y Wang, R Wei, J Guan, X Huang, W Cai, Z Jiang Journal of Systems Architecture 148, 103085, 2024 | 8 | 2024 |
| ACCESS: Assurance Case Centric Engineering of Safety–critical Systems R Wei, S Foster, H Mei, F Yan, R Yang, I Habli, C O’Halloran, N Tudor, ... Journal of Systems and Software 213, 112034, 2024 | 7 | 2024 |
Tim KellyProfessor of High Integrity Systems在 york.ac.uk 的电子邮件经过验证
