default search action

combined dblp search
author search
venue search
publication search

ask others

Lijun Shan

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/Shan23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/Shan23
Lijun Shan:
Towards DO-178C Compliance of a Secure Product. SAFECOMP Workshops 2023: 61-72
2021
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/aiam/LinHS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiam/LinHS21
Mu Lin, Weidong He, Lijun Shan:
Research on Engine Simulation and Assembly Based on Computer Digital Twin. AIAM (ACM) 2021: 71-79
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/MarkoTSBSMVKHSL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/MarkoTSBSMVKHSL21
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: 39-51
2020
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iajit/FuSDLP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iajit/FuSDLP20
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): 99-106 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/edcc/ShanSFVSL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/ShanSFVSL19
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: 71-72
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/ShanSFVSL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/ShanSFVSL19
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: 74-86
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/vehits/VasenevSHMSKL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vehits/VasenevSHMSKL19
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: 550-555
2017
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/FuZSLP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/FuZSLP17
Ning Fu, Yingfeng Zhang, Lijun Shan, Zhiqiang Liu, Han Peng:
A Formal Model to Enforce Trustworthiness Requirements in Service Composition. IEICE Trans. Inf. Syst. 100-D(9): 2056-2067 (2017)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/ShanGQF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/ShanGQF17
Lijun Shan, Susanne Graf, Sophie Quinton, Loïc Fejoz:
A Framework for Evaluating Schedulability Analysis Tools. Models, Algorithms, Logics and Tools 2017: 539-559
2015
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/ShanDZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/ShanDZ15
Lijun Shan, Chenglie Du, Hong Zhu:
Modeling and Simulating Adaptive Multi-agent Systems with CAMLE. COMPSAC 2015: 147-152
2014
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ShanWFZZWQC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ShanWFZZWQC14
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: 718-732
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/uic/WangZSM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uic/WangZSM14
Yuying Wang, Xingshe Zhou, Lijun Shan, Kejian Miao:
Study on Complex Event Processing for CPS: An Event Model Perspective. UIC/ATC/ScalCom 2014: 305-310
2012
[j4]
- view
  - electronic edition @ ijsi.org
  - details & citations
- export record
  dblp key:
  - journals/ijsi/ShanZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijsi/ShanZ12
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): 163-200 (2012)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/ShanZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/ShanZ09
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): 571-588 (2009)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/ZhuBSA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/ZhuBSA09
Hong Zhu, Ian Bayley, Lijun Shan, Richard Amphlett:
Tool Support for Design Pattern Recognition at Model Level. COMPSAC (1) 2009: 228-233
[c13]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icaart/Martinez-SarrieguiZSGGH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/Martinez-SarrieguiZSGGH09
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: 507-512
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/ShanZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/ShanZ09
Lijun Shan, Hong Zhu:
Semantics of Metamodels in UML. TASE 2009: 55-62
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/wi/09/ZhuSBA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/wi/09/ZhuSBA09
Hong Zhu, Lijun Shan, Ian Bayley, Richard Amphlett:
Formal Descriptive Semantics of UML and Its Applications. UML 2 Semantics and Applications 2009: 95-123
2008
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcat/MaoSZW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcat/MaoSZW08
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): 17-34 (2008)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/ShanZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/ShanZ08
Lijun Shan, Hong Zhu:
A Formal Descriptive Semantics of UML. ICFEM 2008: 375-396
2007
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ijspm/ZhuS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijspm/ZhuS07
Hong Zhu, Lijun Shan:
Modelling Web Services in the agent-oriented modelling language and environment CAMLE. Int. J. Simul. Process. Model. 3(1/2): 26-44 (2007)
2006
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ShanZ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ShanZ06
Lijun Shan, Hong Zhu:
Testing Software Modelling Tools Using Data Mutation. AST 2006: 43-49
[c9]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/seke/ShanZ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/ShanZ06
Lijun Shan, Hong Zhu:
Specifying Consistency Constraints for Modelling Languages. SEKE 2006: 578-583
[c8]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/seke/MaoCSZW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/MaoCSZW06
XinJun Mao, Zhiming Chang, Lijun Shan, Hong Zhu, Ji Wang:
The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents. SEKE 2006: 639-644
2005
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/words/ZhuS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/words/ZhuS05
Hong Zhu, Lijun Shan:
Agent-Oriented Modelling and Specification of Web Services. WORDS 2005: 152-159
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/05/ZhuS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/05/ZhuS05
Hong Zhu, Lijun Shan:
Caste-centric Modelling of Multi-agent Systems: The CAMLE Modelling Language and Automated Tools. Model-Driven Software Development 2005: 57-89
2004
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/ShanZ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/ShanZ04
Lijun Shan, Hong Zhu:
Consistency Check in Modelling Multi-Agent Systems. COMPSAC 2004: 114-119
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/gcc/ZhuZMSD04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gcc/ZhuZMSD04
Hong Zhu, Bin Zhou, XinJun Mao, Lijun Shan, David A. Duce:
Agent-Oriented Formal Specification of Web Services. GCC Workshops 2004: 633-641
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/selmas/ShanZ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/selmas/ShanZ04
Lijun Shan, Hong Zhu:
CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment. SELMAS 2004: 144-161
2003
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/gcc/ShanZ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gcc/ShanZ03
Lijun Shan, Hong Zhu:
Modelling Cooperative Multi-agent Systems. GCC (2) 2003: 994-1001
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/ShanZ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/ShanZ03
Lijun Shan, Hong Zhu:
Modelling and Specifying Scenarios and Agent Behaviour. IAT 2003: 32-38
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/YanMSQZ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/YanMSQZ03
Qi Yan, XinJun Mao, Lijun Shan, Zhi-Chang Qi, Hong Zhu:
Soft Gene, Role, Agent: MABS Learns from Sociology. IAT 2003: 450-453

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.