Items where authors include "Wei, Ran"

Article

Wei, Ran, Foster, Simon David orcid.org/0000-0002-9889-9514, Mei, Haitao et al. (7 more authors) (2024) ACCESS : Assurance Case Centric Engineering of Safety-critical Systems. Journal of Systems and Software. 112034. ISSN 0164-1212

Foster, Simon David orcid.org/0000-0002-9889-9514, Nemouchi, Yakoub, Gleirscher, Mario orcid.org/0000-0002-9445-6863 et al. (2 more authors) (2021) Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. Formal Aspects of Computing. pp. 855-884. ISSN 1433-299X

Wei, Ran, Zolotas, Athanasios, Hoyos Rodriguez, Horacio et al. (3 more authors) (2020) Automatic generation of UML profile graphical editors for Papyrus. Software and Systems Modeling. ISSN 1619-1366

Zhao, Shuai, Chang, Wanli orcid.org/0000-0002-4053-8898, Wei, Ran et al. (4 more authors) (2020) Priority Assignment on Partitioned Multiprocessor Systems with Shared Resources. IEEE Transactions on Computers. ISSN 0018-9340 (In Press)

Chang, Wanli orcid.org/0000-0002-4053-8898, Wei, Ran, Zhao, Shuai et al. (3 more authors) (2020) Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis. ACM Transactions in Embedded Computing Systems. ISSN 1558-3465 (In Press)

Zhao, Shuai, Garrido, Jorge, Wei, Ran et al. (3 more authors) (2020) A Complete Run-time Overhead-aware Schedulability Analysis for MrsP under Nested Resources. Journal of Systems and Software. ISSN 0164-1212

Wei, Ran, Kelly, Timothy Patrick orcid.org/0000-0002-7385-2031, Dai, Xiaotian orcid.org/0000-0002-6669-5234 et al. (2 more authors) (2019) Model Based System Assurance Using the Structured Assurance Case Metamodel. Journal of Systems and Software. pp. 211-233. ISSN 0164-1212

Paige, Richard Freeman orcid.org/0000-0002-1978-9852, Kolovos, Dimitrios orcid.org/0000-0002-1724-6563, Barmpis, Konstantinos et al. (2 more authors) (2019) Stress-Testing Remote Model Querying APIs for Relational and Graph-Based Stores. Software and Systems Modeling. pp. 1047-1075. ISSN 1619-1366

Proceedings Paper

Jiang, Zhe, Dai, Xiaotian orcid.org/0000-0002-6669-5234, Zhao, Shuai et al. (2 more authors) (2023) Many-Core Real-Time Network-on-Chip I/O Systems for Reducing Contention and Enhancing Predictability. In: CPS-IoT Week '23:Proceedings of Cyber-Physical Systems and Internet of Things Week 2023. Cyber-Physical Systems and Internet of Things Week, 09-12 May 2023. ACM , USA , 227–233.

Yan, Fang, Foster, Simon David orcid.org/0000-0002-9889-9514, Habli, Ibrahim orcid.org/0000-0003-2736-8238 et al. (1 more author) (2022) Model-Based Generation of Hazard-Driven Arguments and Formal Verification Evidence for Assurance Cases. In: 10th International Conference on Model-Driven Engineering and Software Development. UNSPECIFIED. SciTePress , pp. 252-263.

Chang, Wanli orcid.org/0000-0002-4053-8898, Zhao, Shuai, Wei, Ran et al. (2 more authors) (2019) From Java to real-time Java : A model-driven methodology with automated toolchain. In: LCTES 2019::Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems. 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, 22 Jun 2019. ACM , USA , pp. 123-134.

Zolotas, Athanasios, Wei, Ran, Gerasimou, Simos et al. (3 more authors) (2018) Towards automatic generation of UML profile graphical editors for papyrus. In: Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. 14th European Conference on Modelling Foundations and Applications, ECMFA 2018 Held as Part of STAF 2018, 26-28 Jun 2018. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , FRA , pp. 12-27.

García-Domínguez, Antonio orcid.org/0000-0002-4744-9150, Barmpis, Konstantinos, Kolovos, Dimitrios S. orcid.org/0000-0002-1724-6563 et al. (2 more authors) (2016) Stress-Testing Centralised Model Stores. In: Wąsowski, Andrzej and Lönn, Henrik, (eds.) Modelling Foundations and Applications - 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , pp. 48-63.