Lijun Shan
According to our database1,
Lijun Shan
authored at least 32 papers
between 2003 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023
2021
Guideline for Architectural Safety, Security and Privacy Implementations Using Design Patterns: SECREDAS Approach.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops, 2021
Proceedings of the AIAM 2021: 3rd International Conference on Artificial Intelligence and Advanced Manufacture, Manchester, United Kingdom, October 23, 2021
2020
Int. Arab J. Inf. Technol., 2020
2019
Practical Security and Privacy Threat Analysis in the Automotive Domain: Long Term Support Scenario for Over-the-Air Updates.
Proceedings of the 5th International Conference on Vehicle Technology and Intelligent Transport Systems, 2019
A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2019
A Survey on the Application of Safety, Security, and Privacy Standards for Dependable Systems.
Proceedings of the 15th European Dependable Computing Conference, 2019
2017
IEICE Trans. Inf. Syst., 2017
Proceedings of the Models, Algorithms, Logics and Tools, 2017
2015
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015
2014
Proceedings of the 2014 IEEE 11th Intl Conf on Ubiquitous Intelligence and Computing and 2014 IEEE 11th Intl Conf on Autonomic and Trusted Computing and 2014 IEEE 14th Intl Conf on Scalable Computing and Communications and Its Associated Workshops, 2014
Proceedings of the FM 2014: Formal Methods, 2014
2012
Unifying the Semantics of Models and Meta-Models in the Multi-Layered UML Meta-Modelling Hierarchy.
Int. J. Softw. Informatics, 2012
2009
Generating Structurally Complex Test Cases By Data Mutation: A Case Study Of Testing An Automated Modelling Tool.
Comput. J., 2009
Modelling and Formal Specification of a Multiagent Telemedicine System for Diabetes Care.
Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009
Proceedings of the UML 2 Semantics and Applications, 2009
2008
Int. J. Comput. Appl. Technol., 2008
Proceedings of the Formal Methods and Software Engineering, 2008
2007
Modelling Web Services in the agent-oriented modelling language and environment CAMLE.
Int. J. Simul. Process. Model., 2007
2006
Specifying Consistency Constraints for Modelling Languages.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006
The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006
Proceedings of the 2006 International Workshop on Automation of Software Test, 2006
2005
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005
Caste-centric Modelling of Multi-agent Systems: The CAMLE Modelling Language and Automated Tools.
Proceedings of the Model-Driven Software Development, 2005
2004
Proceedings of the Software Engineering for Multi-Agent Systems III, 2004
Proceedings of the Grid and Cooperative Computing, 2004
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004
2003
Proceedings of the 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), 2003
Proceedings of the 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), 2003
Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003