| 2023 | SAFECOMP | Towards DO-178C Compliance of a Secure Product. | Lijun Shan |
| 2021 | SAFECOMP | 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 |
| 2019 | EDCC | 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 |
| 2019 | SAFECOMP | 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 |
| 2019 | VEHITS | 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 |
| 2015 | COMPSAC | Modeling and Simulating Adaptive Multi-agent Systems with CAMLE. | Lijun Shan, Chenglie Du, Hong Zhu |
| 2014 | FM | Formal Verification of Lunar Rover Control Software Using UPPAAL. | Lijun Shan, Yuying Wang, Ning Fu, Xingshe Zhou, Lei Zhao, Lijng Wan, Lei Qiao, Jianxin Chen |
| 2014 | UIC | Study on Complex Event Processing for CPS: An Event Model Perspective. | Yuying Wang, Xingshe Zhou, Lijun Shan, Kejian Miao |
| 2009 | COMPSAC | Tool Support for Design Pattern Recognition at Model Level. | Hong Zhu, Ian Bayley, Lijun Shan, Richard Amphlett |
| 2009 | ICAART | Modelling and Formal Specification of a Multiagent Telemedicine System for Diabetes Care. | Iaki Martnez-Sarriegui, Hong Zhu, Lijun Shan, Gema Garca-Sez, Enrique J. Gmez, M. Elena Hernando |
| 2009 | TASE | Semantics of Metamodels in UML. | Lijun Shan, Hong Zhu |
| 2008 | ICFEM | A Formal Descriptive Semantics of UML. | Lijun Shan, Hong Zhu |
| 2006 | ICSE | Testing Software Modelling Tools Using Data Mutation. | Lijun Shan, Hong Zhu |
| 2006 | SEKE | The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents. | XinJun Mao, Zhiming Chang, Lijun Shan, Hong Zhu, Ji Wang |
| 2006 | SEKE | Specifying Consistency Constraints for Modelling Languages. | Lijun Shan, Hong Zhu |
| 2004 | COMPSAC | Consistency Check in Modelling Multi-Agent Systems. | Lijun Shan, Hong Zhu |