Sledovat
Ran Wei
Ran Wei
Associate Professor in Computer Science, Lancaster University.
E-mailová adresa ověřena na: lancaster.ac.uk - Domovská stránka
Název
Citace
Citace
Rok
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
802019
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
392021
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
322019
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
272020
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
252016
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
242013
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
222020
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
202018
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
192021
An Efficient Computation Strategy for allInstances ().
R Wei, DS Kolovos
BigMDE@ STAF, 32-41, 2015
182015
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
152019
Automated Analysis, Validation and Suboptimal Code Detection in Model Management Programs.
R Wei, DS Kolovos
Bigmde@ Staf, 48-57, 2014
152014
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
142021
A framework to benchmark NoSQL data stores for large-scale model persistence
SM Shah, R Wei, DS Kolovos, LM Rose, RF Paige, K Barmpis
International Conference on Model Driven Engineering Languages and Systems …, 2014
142014
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
112020
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
112018
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
102022
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
92020
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
82024
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
72024
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20