Ran Wei

Search results

• 2024

  ACCESS: Assurance Case Centric Engineering of Safety-critical Systems

  Wei, R., Foster, S. D., Mei, H., Yan, F., Yang, R., Habli, I., O'Halloran, C., Tudor, N., Kelly, T. & Nemouchi, Y., 1 Jul 2024, In: Journal of Systems and Software. 213, 23 p., 112034.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
• 2023

  NPRC-I/O: A NoC-based Real-Time I/O System with Reduced Contention and Enhanced Predictability

  Jiang, Z., Dai, X., Gray, I., Wei, R., Gu, Z., Zhao, Q. & Zhao, S., 28 Jun 2023, In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

  Research output: Contribution to journal › Article › peer-review
• 2022

  Preface

  Garavel, H., de Lara, J., Molina, P. J., Paige, R., di Ruscio, D., Wimmer, M., Barmpis, K., Boronat, A., Boubeta-Puig, J., Bousse, E., Le Calvar, T., García-Domínguez, A., Hinkel, G., Horvath, A., Rensink, A., Cuadrado, J. S., Varró, G. & Wei, R., 2022, In: CEUR Workshop Proceedings. 3089

  Research output: Contribution to journal › Editorial › peer-review

• 2021

  BlueVisor: Time-Predictable Hardware Hypervisor for Many-core Embedded Systems

  Gray, I., Audsley, N. C., Wei, R., Dong, P., Jiang, Z. & Zhuang, Y., 13 Nov 2021, In: IEEE Transactions on Computers. 71, 9, p. 2205-2218 14 p.

  Research output: Contribution to journal › Article › peer-review

• Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM

  Foster, S. D., Nemouchi, Y., Gleirscher, M., Wei, R. & Kelly, T., Dec 2021, In: Formal Aspects of Computing. 33, 6, p. 855-884

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Towards an Analysable, Scalable, Energy-Efficient I/O Virtualization for Mixed-Criticality Systems

  Jiang, Z., Dai, X., Dong, P., Wei, R., Yang, D., Audsley, N. & Guan, N., 16 Feb 2021, In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 41, 2, p. 320-333 14 p.

  Research output: Contribution to journal › Article › peer-review
• 2020

  A Complete Run-time Overhead-aware Schedulability Analysis for MrsP under Nested Resources

  Zhao, S., Garrido, J., Wei, R., Burns, A., Wellings, A. J. & Puente, J. A. D. L., Jan 2020, In: Journal of Systems and Software. 159, 21 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Automatic generation of UML profile graphical editors for Papyrus

  Wei, R., Zolotas, A., Hoyos Rodriguez, H., Gerasimou, S., Kolovos, D. S. & Paige, R. F., 11 Aug 2020, In: Software and Systems Modeling. 24 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis

  Chang, W., Wei, R., Zhao, S., Wellings, A., Woodcock, J. & Burns, A., Nov 2020, In: ACM Transactions on Embedded Computing Systems. 19, 5, 26 p., 3391897.

  Research output: Contribution to journal › Article › peer-review

• Priority Assignment on Partitioned Multiprocessor Systems with Shared Resources

  Zhao, S., Chang, W., Wei, R., Liu, W., Guan, N., Burns, A. & Wellings, A. J., 1 Jun 2020, (Accepted/In press) In: IEEE Transactions on Computers.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Re-Thinking Mixed-Criticality Architecture for Automotive Industry

  Jiang, Z., Zhao, S., Dong, P., Yang, D., Wei, R., Guan, N. & Audsley, N., Oct 2020, Proceedings - 2020 IEEE 38th International Conference on Computer Design, ICCD 2020. IEEE, p. 510-517 8 p. 9283545. (Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors; vol. 2020-October).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2019

  From Java to real-time Java: A model-driven methodology with automated toolchain

  Chang, W., Zhao, S., Wei, R., Wellings, A. J. & Burns, A., 23 Jun 2019, LCTES 2019: Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems. Phoenix AZ USA: ACM, p. 123-134 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Model Based System Assurance Using the Structured Assurance Case Metamodel

  Wei, R., Kelly, T. P., Dai, X., Zhao, S. & Hawkins, R. D., 1 Aug 2019, In: Journal of Systems and Software. 154, p. 211-233 23 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Stress-Testing Remote Model Querying APIs for Relational and Graph-Based Stores

  Paige, R. F., Kolovos, D., Barmpis, K., Wei, R. & Garcia-Dominguez, A., 4 Apr 2019, In: Software and Systems Modeling. 18, 2, p. 1047-1075 29 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
• 2018

  Towards automatic generation of UML profile graphical editors for papyrus

  Zolotas, A., Wei, R., Gerasimou, S., Hoyos Rodriguez, H., Kolovos, D. S. & Paige, R. F., 25 Jun 2018, Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. Springer, Vol. 10890 LNCS. p. 12-27 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10890 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2016

  Partial loading of XMI models

  Wei, R., Kolovos, D. S., Garcia-Dominguez, A., Barmpis, K. & Paige, R. F., 2 Oct 2016, Proceedings - 19th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2016. ACM, p. 329-339 11 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Stress-Testing Centralised Model Stores

  García-Domínguez, A., Barmpis, K., Kolovos, D. S., Wei, R. & Paige, R. F., 2016, Modelling Foundations and Applications - 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings. Wąsowski, A. & Lönn, H. (eds.). Springer, p. 48-63 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9764).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2015

  An efficient computation strategy for allInstances()

  Wei, R. & Kolovos, D. S., 2015, In: CEUR Workshop Proceedings 1403. 1406, p. 32-41 10 p.

  Research output: Contribution to journal › Article › peer-review

• 2014

  A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence

  Shah, S. M. A., Wei, R., Kolovos, D., Rose, L. M., Paige, R. F. & Barmpis, K., 2014, Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings. Springer, p. 586-601 16 p. (LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Automated analysis, validation and suboptimal code detection in model management programs

  Wei, R. & Kolovos, D. S., 2014, In: CEUR Workshop Proceedings. 1206, p. 48-57 10 p.

  Research output: Contribution to journal › Conference article › peer-review

• 2013

  An approach for efficient querying of large relational datasets with OCL-based languages

  Kolovos, D. S., Wei, R. & Barmpis, K., 2013, In: CEUR Workshop Proceedings. 1089, p. 46-54 9 p.

  Research output: Contribution to journal › Conference article › peer-review