| 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 | 68 | 2019 |
| 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 | 30 | 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 | 25 | 2013 |
| 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 | 22 | 2016 |
| 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 | 21 | 2021 |
| An Efficient Computation Strategy for allInstances (). R Wei, DS Kolovos BigMDE@ STAF, 32-41, 2015 | 21 | 2015 |
| 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 | 20 | 2020 |
| 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 | 19 | 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 | 18 | 2018 |
| 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 |
| 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 |
| Automated Analysis, Validation and Suboptimal Code Detection in Model Management Programs. R Wei, DS Kolovos Bigmde@ Staf, 48-57, 2014 | 14 | 2014 |
| 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 | 12 | 2021 |
| 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 | 11 | 2021 |
| 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 |
| 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 | 8 | 2020 |
| 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 | 7 | 2020 |
| A complete run-time overhead-aware schedulability analysis for MrsP under nested resources S Zhao, J Garrido, R Wei, A Burns, A Wellings, JA de la Puente Journal of Systems and Software 159, 110449, 2020 | 6 | 2020 |
| From Java to real-time Java: A model-driven methodology with automated toolchain W Chang, S Zhao, R Wei, A Wellings, A Burns Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on …, 2019 | 6 | 2019 |
| Towards automatic generation of UML profile graphical editors for papyrus A Zolotas, R Wei, S Gerasimou, H Hoyos Rodriguez, DS Kolovos, ... Modelling Foundations and Applications: 14th European Conference, ECMFA 2018 …, 2018 | 6 | 2018 |
Tim KellyProfessor of High Integrity SystemsDirección de correo verificada de york.ac.uk
