Modelling Cooperative Multi-agent Systems. - Lijun Shan; Hong Zhu 002 (GCC (2), 2003)

Modelling and Specifying Scenarios and Agent Behaviour. - Lijun Shan; Hong Zhu 002 (IAT, 2003)

Soft Gene, Role, Agent: MABS Learns from Sociology. - Qi Yan 001; XinJun Mao; Lijun Shan; Zhi-Chang Qi; Hong Zhu 002 (IAT, 2003)

Consistency Check in Modelling Multi-Agent Systems. - Lijun Shan; Hong Zhu 002 (COMPSAC, 2004)

Agent-Oriented Formal Specification of Web Services. - Hong Zhu 002; Bin Zhou 004; XinJun Mao; Lijun Shan; David A. Duce (GCC Workshops, 2004)

CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment. - Lijun Shan; Hong Zhu 002 (SELMAS, 2004)

Caste-centric Modelling of Multi-agent Systems: The CAMLE Modelling Language and Automated Tools. - Hong Zhu 002; Lijun Shan (Model-Driven Software Development, 2005)

Agent-Oriented Modelling and Specification of Web Services. - Hong Zhu 002; Lijun Shan (WORDS, 2005)

Testing Software Modelling Tools Using Data Mutation. - Lijun Shan; Hong Zhu 002 (AST, 2006)

The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents. - XinJun Mao; Zhiming Chang; Lijun Shan; Hong Zhu 002; Ji Wang 001 (SEKE, 2006)

Specifying Consistency Constraints for Modelling Languages. - Lijun Shan; Hong Zhu 002 (SEKE, 2006)

Modelling Web Services in the agent-oriented modelling language and environment CAMLE. - Hong Zhu 002; Lijun Shan (Int. J. Simul. Process. Model., 2007)

A Formal Descriptive Semantics of UML. - Lijun Shan; Hong Zhu 002 (ICFEM, 2008)

An adaptive casteship mechanism for developing multi-agent systems. - XinJun Mao; Lijun Shan; Hong Zhu 002; Ji Wang 001 (Int. J. Comput. Appl. Technol., 2008)

Formal Descriptive Semantics of UML and Its Applications. - Hong Zhu 002; Lijun Shan; Ian Bayley; Richard Amphlett (UML 2 Semantics and Applications, 2009)

Tool Support for Design Pattern Recognition at Model Level. - Hong Zhu 002; Ian Bayley; Lijun Shan; Richard Amphlett (COMPSAC (1), 2009)

Modelling and Formal Specification of a Multiagent Telemedicine System for Diabetes Care. - Iñaki Martínez-Sarriegui; Hong Zhu 002; Lijun Shan; Gema García-Sáez; Enrique J. Gómez; M. Elena Hernando (ICAART, 2009)

Semantics of Metamodels in UML. - Lijun Shan; Hong Zhu 002 (TASE, 2009)

Generating Structurally Complex Test Cases By Data Mutation: A Case Study Of Testing An Automated Modelling Tool. - Lijun Shan; Hong Zhu 002 (Comput. J., 2009)

Unifying the Semantics of Models and Meta-Models in the Multi-Layered UML Meta-Modelling Hierarchy. - Lijun Shan; Hong Zhu 002 (Int. J. Softw. Informatics, 2012)

Formal Verification of Lunar Rover Control Software Using UPPAAL. - Lijun Shan; Yuying Wang; Ning Fu; Xingshe Zhou 001; Lei Zhao; Lijng Wan; Lei Qiao; Jianxin Chen (FM, 2014)

Study on Complex Event Processing for CPS: An Event Model Perspective. - Yuying Wang; Xingshe Zhou 001; Lijun Shan; Kejian Miao (UIC/ATC/ScalCom, 2014)

Modeling and Simulating Adaptive Multi-agent Systems with CAMLE. - Lijun Shan; Chenglie Du; Hong Zhu 002 (COMPSAC, 2015)

A Framework for Evaluating Schedulability Analysis Tools. - Lijun Shan; Susanne Graf; Sophie Quinton; Loïc Fejoz (Models, Algorithms, Logics and Tools, 2017)

A Formal Model to Enforce Trustworthiness Requirements in Service Composition. - Ning Fu; Yingfeng Zhang; Lijun Shan; Zhiqiang Liu; Han Peng (IEICE Trans. Inf. Syst., 2017)

A Survey on the Application of Safety, Security, and Privacy Standards for Dependable Systems. - Lijun Shan; Behrooz Sangchoolie; Peter Folkesson; Jonny Vinter; Erwin Schoitsch; Claire Loiseaux (EDCC, 2019)

A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems. - Lijun Shan; Behrooz Sangchoolie; Peter Folkesson; Jonny Vinter; Erwin Schoitsch; Claire Loiseaux (SAFECOMP Workshops, 2019)

Practical Security and Privacy Threat Analysis in the Automotive Domain: Long Term Support Scenario for Over-the-Air Updates. - Alexandr Vasenev; Florian Stahl; Hayk Hamazaryan; Zhendong Ma; Lijun Shan; Joerg Kemmerich; Claire Loiseaux (VEHITS, 2019)

Modelling and verification of ARINC 653 hierarchical preemptive scheduling. - Ning Fu; Lijun Shan; Chenglie Du; Zhiqiang Liu; Han Peng (Int. Arab J. Inf. Technol., 2020)

Research on Engine Simulation and Assembly Based on Computer Digital Twin. - Mu Lin; Weidong He; Lijun Shan (AIAM (ACM), 2021)

Guideline for Architectural Safety, Security and Privacy Implementations Using Design Patterns: SECREDAS Approach. - Nadja Marko; Joaquim Maria Castella Triginer; Christoph Striecks; Tobias Braun; Reinhard Schwarz; Stefan Marksteiner; Alexandr Vasenev; Joerg Kemmerich; Hayk Hamazaryan; Lijun Shan; Claire Loiseaux (SAFECOMP Workshops, 2021)

Towards DO-178C Compliance of a Secure Product. - Lijun Shan (SAFECOMP Workshops, 2023)