Lijun Shan

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 9

Top Topics

Control Software

Formal Verification

Security Measures

Preemptive Scheduling

Top Venues

SAFECOMP Workshops

IEICE Trans. Inf. Syst.

Publications

Lijun Shan
Towards DO-178C Compliance of a Secure Product. SAFECOMP Workshops (2023)
Nadja Marko, Joaquim Maria Castella Triginer, Christoph Striecks, Tobias Braun, Reinhard Schwarz, Stefan Marksteiner, Alexandr Vasenev, Joerg Kemmerich, Hayk Hamazaryan, Lijun Shan, Claire Loiseaux
Guideline for Architectural Safety, Security and Privacy Implementations Using Design Patterns: SECREDAS Approach. SAFECOMP Workshops (2021)
Mu Lin, Weidong He, Lijun Shan
Research on Engine Simulation and Assembly Based on Computer Digital Twin. AIAM (ACM) (2021)
Ning Fu, Lijun Shan, Chenglie Du, Zhiqiang Liu, Han Peng
Modelling and verification of ARINC 653 hierarchical preemptive scheduling. Int. Arab J. Inf. Technol. 17 (1) (2020)
Lijun Shan, Behrooz Sangchoolie, Peter Folkesson, Jonny Vinter, Erwin Schoitsch, Claire Loiseaux
A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems. SAFECOMP Workshops (2019)
Lijun Shan, Behrooz Sangchoolie, Peter Folkesson, Jonny Vinter, Erwin Schoitsch, Claire Loiseaux
A Survey on the Application of Safety, Security, and Privacy Standards for Dependable Systems. EDCC (2019)
Alexandr Vasenev, Florian Stahl, Hayk Hamazaryan, Zhendong Ma, Lijun Shan, Joerg Kemmerich, Claire Loiseaux
Practical Security and Privacy Threat Analysis in the Automotive Domain: Long Term Support Scenario for Over-the-Air Updates. VEHITS (2019)
Ning Fu, Yingfeng Zhang, Lijun Shan, Zhiqiang Liu, Han Peng
A Formal Model to Enforce Trustworthiness Requirements in Service Composition. IEICE Trans. Inf. Syst. (9) (2017)
Lijun Shan, Susanne Graf, Sophie Quinton, Loïc Fejoz
A Framework for Evaluating Schedulability Analysis Tools. Models, Algorithms, Logics and Tools (2017)
Lijun Shan, Chenglie Du, Hong Zhu
Modeling and Simulating Adaptive Multi-agent Systems with CAMLE. COMPSAC (2015)
Yuying Wang, Xingshe Zhou, Lijun Shan, Kejian Miao
Study on Complex Event Processing for CPS: An Event Model Perspective. UIC/ATC/ScalCom (2014)
Lijun Shan, Yuying Wang, Ning Fu, Xingshe Zhou, Lei Zhao, Lijng Wan, Lei Qiao, Jianxin Chen
Formal Verification of Lunar Rover Control Software Using UPPAAL. FM (2014)
Lijun Shan, Hong Zhu
Unifying the Semantics of Models and Meta-Models in the Multi-Layered UML Meta-Modelling Hierarchy. Int. J. Softw. Informatics 6 (2) (2012)
Iñaki Martínez-Sarriegui, Hong Zhu, Lijun Shan, Gema García-Sáez, Enrique J. Gómez, M. Elena Hernando
Modelling and Formal Specification of a Multiagent Telemedicine System for Diabetes Care. ICAART (2009)
Hong Zhu, Ian Bayley, Lijun Shan, Richard Amphlett
Tool Support for Design Pattern Recognition at Model Level. COMPSAC (1) (2009)
Lijun Shan, Hong Zhu
Semantics of Metamodels in UML. TASE (2009)
Lijun Shan, Hong Zhu
Generating Structurally Complex Test Cases By Data Mutation: A Case Study Of Testing An Automated Modelling Tool. Comput. J. 52 (5) (2009)
Lijun Shan, Hong Zhu
A Formal Descriptive Semantics of UML. ICFEM (2008)
XinJun Mao, Lijun Shan, Hong Zhu, Ji Wang
An adaptive casteship mechanism for developing multi-agent systems. Int. J. Comput. Appl. Technol. 31 (1/2) (2008)
Hong Zhu, Lijun Shan
Modelling Web Services in the agent-oriented modelling language and environment CAMLE. Int. J. Simul. Process. Model. 3 (1/2) (2007)
Lijun Shan, Hong Zhu
Specifying Consistency Constraints for Modelling Languages. SEKE (2006)
Lijun Shan, Hong Zhu
Testing Software Modelling Tools Using Data Mutation. AST (2006)
XinJun Mao, Zhiming Chang, Lijun Shan, Hong Zhu, Ji Wang
The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents. SEKE (2006)
Hong Zhu, Lijun Shan
Agent-Oriented Modelling and Specification of Web Services. WORDS (2005)
Lijun Shan, Hong Zhu
Consistency Check in Modelling Multi-Agent Systems. COMPSAC (2004)
Lijun Shan, Hong Zhu
CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment. SELMAS (2004)
Hong Zhu, Bin Zhou, XinJun Mao, Lijun Shan, David A. Duce
Agent-Oriented Formal Specification of Web Services. GCC Workshops (2004)
Lijun Shan, Hong Zhu
Modelling and Specifying Scenarios and Agent Behaviour. IAT (2003)
Lijun Shan, Hong Zhu
Modelling Cooperative Multi-agent Systems. GCC (2) (2003)
Qi Yan, XinJun Mao, Lijun Shan, Zhi-Chang Qi, Hong Zhu
Soft Gene, Role, Agent: MABS Learns from Sociology. IAT (2003)