Lijun Shan

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