-
Notifications
You must be signed in to change notification settings - Fork 1
/
publications.html
225 lines (179 loc) · 14.2 KB
/
publications.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
<!DOCTYPE HTML>
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<title>Ran Wei</title>
<meta name="author" content="Ran Wei">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="stylesheet" type="text/css" href="stylesheet.css">
<link rel="icon" type="image/png" href="images/icon.ico">
</head>
<body>
<table
style="width:100%;max-width:800px;border:0px;border-spacing:0px;border-collapse:separate;margin-right:auto;margin-left:auto;">
<tbody>
<tr style="padding:0px">
<td style="padding:0px">
<table
style="width:100%;border:0px;border-spacing:0px;border-collapse:separate;margin-right:auto;margin-left:auto;">
<tbody>
<tr style="padding:0px">
<td style="padding:2.5%;width:63%;vertical-align:middle">
<p style="text-align:center">
<name>Publications</name>
</p>
<a href="./index.html"> <-- Home </a>
</td>
</td>
</tr>
</tbody>
</table>
<p> I am fortunate to collaborate with talented researchers/engineers and published several papers for our work (to be updated): </p>
<body>
<heading>2024</heading>
<ul>
<li> Yuandong Pan, Mudan Wang, Linjun Lu, <strong>Ran Wei</strong>, Stefano Cavazzi, Matt Peck, Ioannis Brilakis.
<papertitle><a href="https://www.sciencedirect.com/science/article/pii/S092658052400390X">Scan-to-graph: Automatic Generation and Representation of Highway Geometric Digital Twins from Point Cloud Data</a></papertitle>,
<em>Automation in Construction</em>, Volume 166, 105654, 2024.
</li>
<li> Zhe Jiang, Shuai Zhao, <strong>Ran Wei</strong>, Gang Chen, Xin Si and Nan Guan.
<papertitle>ROTA-I/O: Hardware/Algorithm Co-design for Real-Time I/O Control with Improved Timing Accuracy and Robustness </papertitle>,
<em>45th IEEE Real-Time Systems Symposium (<strong>RTSS</strong>)</em>, 2024. [Accepted]
</li>
<li> Jiapeng Guan, <strong>Ran Wei</strong>, Dean You, Yingquan Wang, Ruizhe Yang, Hui Wang and Zhe Jiang.
<papertitle>MESC: Re-thinking Algorithmic Priority/Criticality Inversion for Heterogeneous MCSs </papertitle>,
<em>45th IEEE Real-Time Systems Symposium (<strong>RTSS</strong>)</em>, 2024. [Accepted] <journaltitle> -- this is the first work of my MSc student Jiapeng Guan and it is a very good one, congrats, Jiapeng! </journaltitle>
</li>
<li> Zhe Jiang, Shuai Zhao, <strong>Ran Wei</strong>, Yiyang Gao, Jing Li.
<papertitle>A Cache/Algorithm Co-design for Parallel Real-Time Systems with Data Dependency on Multi/Many-core System-on-Chips</papertitle>,
<em>Design Automation Conference (<strong>DAC</strong>)</em>, 2024. [Accepted]
</li>
<li> Jie Xu, Richard Anvo N'Zebo, Hussameldin Taha-Abdalgadir, Aliex Marie D'Avigneau, Damian Palin, Ran Wei, Georgios Hadjidemetriou, Samuel Schaefer, Lavindra De Silva, Abir Al-Tabbaa.
<papertitle><a href="https://www.repository.cam.ac.uk/items/9d23f60a-f3a5-401f-be79-5ff6d9725453">Highway digital twin-enabled Autonomous Maintenance Plant (AMP): A perspective</a></papertitle>,
<em>Data-Centric Engineering</em>, 2024.
</li>
<li> <strong>Ran Wei</strong>, Ruizhe Yang, Shijun Liu, Chongsheng Fan, Rong Zhou, Zekun Wu, Haochi Wang, Yifan Cai, <strong>Zhe Jiang</strong>.
<papertitle><a href="https://www.sciencedirect.com/science/article/pii/S2452414X24000852">Towards an Extensible Model-Based Digital Twin Framework for Space Launch Vehicles</a></papertitle>,
<em>Journal of Industrial Information Integration (<strong>JIII</strong>)</em>, Volume 41, 100641, 2024.
</li>
<li> <strong>Ran Wei</strong>, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O’Halloran, Nick Tudor, Tim Kelly, Yakoub Nemouchi.
<papertitle><a href="https://www.sciencedirect.com/science/article/pii/S0164121224000773">ACCESS: Assurance Case Centric Engineering of Safety–critical Systems</a></papertitle>,
<em>Journal of Systems and Software (<strong>JSS</strong>), Volume 213, 112034</em>, 2024.
</li>
<li> Shenghua Zhou, Hongyu Wang, Dezhi Li, S. Thomas Ng, <strong>Ran Wei</strong>, Yongheng Zhao, Yubo Zhou.
<papertitle><a href="https://www.sciencedirect.com/science/article/abs/pii/S2210670724002683">Revealing public attitudes toward mobile cabin hospitals during Covid-19 pandemic: Sentiment and topic analyses using social media data in China</a></papertitle>,
<em>Sustainable Cities and Society (<strong>SCS</strong>), Volume 107, 105440</em>, 2024.
</li>
<li> Dawei Yang, Yan Wang, <strong>Ran Wei</strong>, Jiapeng Guan, Xiaohua Huang, Wei Cai, Zhe Jiang.
<papertitle><a href="https://doi.org/10.1016/j.sysarc.2024.103085">An efficient multi-task learning CNN for driver attention monitoring</a></papertitle>,
<em>Journal of System Architecture (<strong>JSA</strong>)</em>, 2024.
</li>
</ul>
<heading>2023</heading>
<ul>
<li> <strong>Ran Wei</strong>, Zhe Jiang, Xiaoran Guo, Ruizhe Yang, Haitao Mei, Athanasios Zolotas, Tim Kelly.
<papertitle><a href="https://ieeexplore.ieee.org/abstract/document/10347478">DECISIVE: Designing Critical Systems With Iterative Automated Safety Analysis</a></papertitle>,
<em>Transactions on Computer-Aided Design of Integrated Circuits and Systems (<strong>TCAD</strong>)</em>, 2023.
</li>
<li> <strong>Ran Wei</strong>, Zhe Jiang, Haitao Mei, Konstantinos Barmpis, Simon Foster, Tim Kelly, Yan Zhuang.
<papertitle><a href="https://ieeexplore.ieee.org/abstract/document/10210649">Automated Model Based Assurance Case Management Using Constrained Natural Language</a></papertitle>,
<em>Transactions on Computer-Aided Design of Integrated Circuits and Systems (<strong>TCAD</strong>)</em>, 2023.
</li>
<li> Zhe Jiang, Xiaotian Dai, <strong>Ran Wei</strong>, Ian Gray, Zonghua Gu, Qingling Zhao, Shuai Zhao.
<papertitle><a href="https://ieeexplore.ieee.org/abstract/document/10168011">NPRC-I/O: An NoC-Based Real-Time I/O System With Reduced Contention and Enhanced Predictability</a></papertitle>,
<em>Transactions on Computer-Aided Design of Integrated Circuits and Systems (<strong>TCAD</strong>)</em>, 2023.
</li>
<li> Li, You and Shuqiang, Wang and Zhiyuan, Hu and Biye, Liu and Xiating, Li, <strong>Ran Wei</strong>.
<papertitle><a href="https://ieeexplore.ieee.org/abstract/document/10189938">Development of Precision Angle Position Indicator Based on Virtual Instruments</a></papertitle>,
<em>2023 IEEE 10th International Workshop on Metrology for AeroSpace (<strong>MetroAeroSpace</strong>)</em>, 2023.
</li>
<li> Zhe Jiang, Xiaotian Dai, Shuai Zhao, <strong>Ran Wei</strong>, Ian Gray.
<papertitle><a href="https://dl.acm.org/doi/abs/10.1145/3576914.3587514">Many-Core Real-Time Network-on-Chip I/O Systems for Reducing Contention and Enhancing Predictability</a></papertitle>,
<em>Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, pp. 227-233</em>, 2023.
</li>
<li> Luis Nascimento, André L de Oliveira, Regina Villela, <strong>Ran Wei</strong>, Richard Hawkins, Tim Kelly.
<papertitle><a href="https://dl.acm.org/doi/abs/10.1145/3576914.3587514">Runtime Model-Based Assurance of Open and Adaptive Cyber-Physical Systems</a></papertitle>,
<em>Proceedings of International Conference on Advanced Information Networking and Applications, pp. 534-546</em>, 2023.
</li>
</ul>
<heading>2022</heading>
<ul>
<li> <strong>Ran Wei</strong>, Zhe Jiang, Xiaoran Guo, Haitao Mei, Athanasios Zolotas, Tim Kelly.
<papertitle><a href="https://dl.acm.org/doi/abs/10.1145/3489517.3530434">Designing Critical Systems with Iterative Automated Safety Analysis</a></papertitle>,
<em>59th ACM/IEEE Design Automation Conference (<strong>DAC 2022</strong>)</em>, 2022.
</li>
<li> Zhe Jiang, <strong>Ran Wei</strong>, Pan Dong, Yan Zhuang, Neil Audsley, Ian Gray.
<papertitle><a href="https://ieeexplore.ieee.org/document/9601212">Bluevisor: Time-predictable hardware hypervisor for many-core embedded systems</a></papertitle>,
<em>Transactions on Computers (<strong>TC</strong>)</em>, 2022.
</li>
<li> Fang Yan, Simon David Foster, Ibrahim Habli, <strong>Ran Wei</strong>.
<papertitle><a href="https://eprints.whiterose.ac.uk/182058/1/MODELSWARD_2022_Model_based_AC_Generation_Camera_Ready_.pdf">Model-based generation of hazard-driven arguments and formal verification evidence for assurance cases</a></papertitle>,
<em>10th International Conference on Model-Driven Engineering and Software Development (<strong>MODELSWARD</strong>), pp.252-263</em>, 2022.
</li>
<li> Zhe Jiang, Pan Dong, <strong>Ran Wei</strong>, Qingling Zhao, Yankai Wang, Dizhong Zhu, Yan Zhuang, Neil Audsley.
<papertitle><a href="https://www.sciencedirect.com/science/article/abs/pii/S1383762121002551">PSpSys: a time-predictable mixed-criticality system architecture based on ARM TrustZone</a></papertitle>,
<em>Journal of Systems Architecture (<strong>JSA</strong>)</em>, 2022.
</li>
</ul>
<heading>2021</heading>
<ul>
<li> Simon Foster, Yakoub Nemouchi, Mario Gleirscher, <strong>Ran Wei</strong>, Tim Kelly.
<papertitle><a href="https://link.springer.com/article/10.1007/s00165-021-00537-4">Integration of formal proof into unified assurance cases with Isabelle/SACM</a></papertitle>,
<em>Formal Aspects of Computing (<strong>FAC</strong>)</em>, 2021.
</li>
<li> Zhe Jiang, Shuai Zhao, <strong>Ran Wei</strong>, Dawei Yang, Richard Paterson, Nan Guan, Yan Zhuang, Neil C Audsley.
<papertitle><a href="https://ieeexplore.ieee.org/abstract/document/9415640">Bridging the pragmatic gaps for mixed-criticality systems in the automotive industry</a></papertitle>,
<em>IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (<strong>TCAD</strong>)</em>, 2021.
</li>
<li> Zhe Jiang, Xiaotian Dai, Pan Dong, <strong>Ran Wei</strong>, Dawei Yang, Neil C Audsley, Nan Guan.
<papertitle><a href="https://ieeexplore.ieee.org/abstract/document/9415640">Toward an analysable, scalable, energy-efficient I/O virtualization for mixed-criticality systems</a></papertitle>,
<em>IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (<strong>TCAD</strong>)</em>, 2021.
</li>
</ul>
<heading>2020</heading>
<ul>
<li> Zhe Jiang, Shuai Zhao, Pan Dong, Dawei Yang, <strong>Ran Wei</strong>, Nan Guan, Neil Audsley.
<papertitle><a href="https://ieeexplore.ieee.org/abstract/document/9415640">Re-thinking mixed-criticality architecture for automotive industry</a></papertitle>,
<em>2020 IEEE 38th International Conference on Computer Design (<strong>ICCD</strong>)</em>, 2020.
</li>
<li> Wanli Chang, <strong>Ran Wei</strong>, Shuai Zhao, Andy Wellings, Jim Woodcock, Alan Burns.
<papertitle><a href="https://dl.acm.org/doi/abs/10.1145/3391897">Development automation of real-time Java: Model-driven transformation and synthesis</a></papertitle>,
<em>ACM Transactions on Embedded Computing Systems (<strong>TECS</strong>)</em>, 2020.
</li>
<li> <strong>Ran Wei</strong>, Athanasios Zolotas, Horacio Hoyos Rodriguez, Simos Gerasimou, Dimitrios S Kolovos, Richard F Paige.
<papertitle><a href="https://link.springer.com/article/10.1007/s10270-020-00813-6">Automatic generation of UML profile graphical editors for Papyrus</a></papertitle>,
<em>Software and Systems Modeling (<strong>SoSyM</strong>)</em>, 2020.
</li>
<li> Shuai Zhao, Wanli Chang, <strong>Ran Wei</strong>, Weichen Liu, Nan Guan, Alan Burns, Andy Wellings.
<papertitle><a href="https://ieeexplore.ieee.org/abstract/document/9109645">Priority assignment on partitioned multiprocessor systems with shared resources</a></papertitle>,
<em>IEEE Transactions on Computers (<strong>TC</strong>)</em>, 2020.
</li>
<li> Jan Reich, Daniel Schneider, Ioannis Sorokos, Yiannis Papadopoulos, Tim Kelly, <strong>Ran Wei</strong>, Eric Armengaud, Cem Kaypmaz.
<papertitle><a href="https://link.springer.com/chapter/10.1007/978-3-030-54549-9_1">Engineering of runtime safety monitors for cyber-physical systems with digital dependability identities.</a></papertitle>,
<em>Computer Safety, Reliability, and Security: 39th International Conference (<strong>SAFECOMP</strong>)</em>, 2020.
</li>
<li> Shuai Zhao, Jorge Garrido, <strong>Ran Wei</strong>, Alan Burns, Andy Wellings, Juan A de la Puente.
<papertitle><a href="https://www.sciencedirect.com/science/article/abs/pii/S0164121219302237">A complete run-time overhead-aware schedulability analysis for MrsP under nested resources</a></papertitle>,
<em>Journal of Systems and Software (<strong>JSS</strong>)</em>, 2020.
</li>
</ul>
<heading>2019</heading>
<ul>
<li> Yiannis Papadopoulos, Youcef Gheraibia, Jan Reich, Merve Saimler, <strong>Ran Wei</strong>.
<papertitle>A Runtime Safety Analysis Concept for Open Adaptive Systems.</papertitle>,
<em>Model-Based Safety and Assessment: 6th International Symposium (<strong>IMBSA 2019</strong>)</em>, 2019.
</li>
<li> <strong>Ran Wei</strong>, Tim P Kelly, Xiaotian Dai, Shuai Zhao, Richard Hawkins.
<papertitle><a href="https://www.sciencedirect.com/science/article/abs/pii/S0164121219301062">Model based system assurance using the structured assurance case metamodel</a></papertitle>,
<em>Journal of Systems and Software (<strong>JSS</strong>)</em>, 2019.
</li>
</ul>
</p>
</td>
</tr>
</tbody>
</table>
</td>
</tr>
</tbody>
</body>