Publications for Siyuan Ji
Download all publications as Word document
Journal Articles
Cutajar, M and
Ji, S (2023)
BSafeML: a model-based hazard management technique for safety-critical systems development,
IEEE Open Journal of Systems Engineering, 1, pp.81-93, DOI:
10.1109/ojse.2023.3295946.
Ji, S, Dickerson, C, Wilkinson, M (2023)
Requirements rationalization and synthesis enabled by model synchronization,
IEEE Open Journal of Systems Engineering, 1, pp.26-37, DOI:
10.1109/ojse.2023.3249048.
Dickerson, C, Wilkinson, M, Hunsicker, E,
Ji, S, Li, M, Bernard, Y, Bleakley, G, Denno, P (2020)
Architecture definition in complex system design using model theory,
IEEE Systems Journal, 15(2), pp.1847-1860, ISSN: 1932-8184. DOI:
10.1109/JSYST.2020.2975073.
Li, M, Grigg, A, Dickerson, C, Guan, L,
Ji, S (2019)
A product line systems engineering process for variability identification and reduction,
IEEE Systems Journal, 13(4), pp.3663-3674, ISSN: 1932-8184. DOI:
10.1109/JSYST.2019.2897628.
Dickerson, C, Roslan, R,
Ji, S (2018)
A formal transformation method for automated fault tree generation from a UML activity model,
IEEE Transactions on Reliability, 67(3), pp.1219-1236, ISSN: 0018-9529. DOI:
10.1109/TR.2018.2849013.
Dickerson, C and
Ji, S (2018)
Analysis of the vehicle as a complex system, EPSRC,
Impact, Volume 2018(1), ISSN: 2398-7073. DOI:
10.21820/23987073.2018.42.
Lin, T-C,
Ji, S, Dickerson, C, Battersby, D (2018)
Coordinated control architecture for motion management in ADAS systems,
IEEE Caa Journal of Automatica Sinica, 5(2), ISSN: 2329-9266. DOI:
10.1109/JAS.2017.7510814.
Dickerson, C,
Ji, S, Clement, SJ, Webster, DE, McKee, D, Xu, J, Battersby, D, Bevan, N, Turner, N, Suart, W (2016)
A demonstration of a service oriented virtual environment for complex system analysis,
International Journal of Complex Systems - Computing, Sensing and Control, 3(1), pp.49-65, ISSN: 2334-4830.
Ji, S, Sanghai, V, Ates, C, Lesanovsky, I (2014)
Inhomogeneities and impurities in a dense one-dimensional Rydberg lattice gas,
Physical Review A, 89(2), 021404, ISSN: 1050-2947. DOI:
10.1103/physreva.89.021404.
Ji, S, Ates, C, Garrahan, JP, Lesanovsky, I (2013)
Equilibration of quantum hard rods in one dimension,
Journal of Statistical Mechanics: Theory and Experiment, 2013(02), pp.P02005-P02005, DOI:
10.1088/1742-5468/2013/02/p02005.
Ji, S, Ates, C, Lesanovsky, I (2011)
Two-dimensional Rydberg Gases and the Quantum Hard-Squares Model,
Physical Review Letters, 107(6), 060406, ISSN: 0031-9007. DOI:
10.1103/physrevlett.107.060406.
Conferences
Chen, N, Zhao, S, Gray, I, Burns, A,
Ji, S, Chang, W (2023)
Precise Response Time Analysis for Multiple DAG Tasks with Intra-task Priority Assignment. In
2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS), pp.174-184, DOI:
10.1109/rtas58335.2023.00021.
Ji, S, Wilkinson, M, Dickerson, CE (2022)
Structure Preserving Transformations for Practical Model-based Systems Engineering. In
2022 IEEE International Symposium on Systems Engineering (ISSE), pp.1-8, DOI:
10.1109/isse54508.2022.10005437.
Yuan, T,
Ji, S, Zhong, G (2022)
The exploration of the future teaching mode in post-pandemic higher education. In
7th International Conference on Distance Education and Learning (ICDEL 2022); ICDEL '22: Proceedings of the 7th International Conference on Distance Education and Learning, Beijing, China, pp.222-227, ISBN: 9781450396417. DOI:
10.1145/3543321.3543358.
Chen, N, Zhao, S, Gray, I, Burns, A,
Ji, S, Chang, W (2022)
MSRP-FT: reliable resource sharing on multiprocessor mixed-criticality systems. In
2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS); 2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS), Milano, Italy, pp.201-213, ISBN: 9781665499989. DOI:
10.1109/RTAS54340.2022.00024.
Ji, S and Yuan, T (2022)
Conversational intelligent tutoring systems for online learning: what do students and tutors say?. In
2022 IEEE Global Engineering Education Conference (EDUCON); 2022 IEEE Global Engineering Education Conference (EDUCON), Tunis, Tunisia, pp.292-298, ISBN: 9781665444347. DOI:
10.1109/EDUCON52537.2022.9766567.
Dickerson, C,
Ji, S, Roslan, R (2016)
Formal methods for a system of systems analysis framework applied to traffic management. In
IEEE 11th International Conference on System of Systems Engineering, Kongsberg, Norway. DOI:
10.1109/SYSOSE.2016.7542918.
Other
Ji, S, Li, M, Mulvaney, DJ, Chen, Z, Dickerson, C, Bernard, Y, Bleakley, G, Denno, P (2018)
UPR: UML profile for ROSETTA, UPR: UML profile for ROSETTA.
Cutajar, M and Ji, S (Accepted for publication) Model data for BSafeML: A Model-Based Hazard Management Technique for Safety-Critical Systems Development, BSafeML is a SysML and SafeML profile that provides a model-based approach to hazard management. In this repository, we provide the relevant research data that are being cited in the paper, titled, 'BSafeML: A Model-based Hazard Management Technique based on SysML and SafeML'.There are four pieces of research data includedResearch Data A, which includes the XML file for the BSafeML profile that can be imported in any modeling environment, a 'readme' file that provides the instruction on how the profile can be imported and used in Sparx Enterprise Architect, and the application of BSafeML to the GDF case study.Research Data B, which is a text-based definition of BSafeML, to facilitate independent implementation of BSafeML.Research Data C, which includes diagrams extracted from the model as in Research Data A.Research Data D, which is the questionnaire designed to qualitatively evaluate BSafeML with relevant stakeholders..
