BibTeX records: Lijun Shan

download as .bib file

@inproceedings{DBLP:conf/safecomp/Shan23,
  author       = {Lijun Shan},
  editor       = {J{\'{e}}r{\'{e}}mie Guiochet and
                  Stefano Tonetta and
                  Erwin Schoitsch and
                  Matthieu Roy and
                  Friedemann Bitsch},
  title        = {Towards {DO-178C} Compliance of a Secure Product},
  booktitle    = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops
                  - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France,
                  September 19, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14182},
  pages        = {61--72},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40953-0\_6},
  doi          = {10.1007/978-3-031-40953-0\_6},
  timestamp    = {Wed, 20 Sep 2023 23:28:48 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Shan23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiam/LinHS21,
  author       = {Mu Lin and
                  Weidong He and
                  Lijun Shan},
  title        = {Research on Engine Simulation and Assembly Based on Computer Digital
                  Twin},
  booktitle    = {{AIAM} 2021: 3rd International Conference on Artificial Intelligence
                  and Advanced Manufacture, Manchester, United Kingdom, October 23 -
                  25, 2021},
  pages        = {71--79},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3495018.3495032},
  doi          = {10.1145/3495018.3495032},
  timestamp    = {Thu, 24 Mar 2022 09:42:53 +0100},
  biburl       = {https://dblp.org/rec/conf/aiam/LinHS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MarkoTSBSMVKHSL21,
  author       = {Nadja Marko and
                  Joaquim Maria Castella Triginer and
                  Christoph Striecks and
                  Tobias Braun and
                  Reinhard Schwarz and
                  Stefan Marksteiner and
                  Alexandr Vasenev and
                  Joerg Kemmerich and
                  Hayk Hamazaryan and
                  Lijun Shan and
                  Claire Loiseaux},
  editor       = {Ibrahim Habli and
                  Mark Sujan and
                  Simos Gerasimou and
                  Erwin Schoitsch and
                  Friedemann Bitsch},
  title        = {Guideline for Architectural Safety, Security and Privacy Implementations
                  Using Design Patterns: {SECREDAS} Approach},
  booktitle    = {Computer Safety, Reliability, and Security. {SAFECOMP} 2021 Workshops
                  - DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September
                  7, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12853},
  pages        = {39--51},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-83906-2\_3},
  doi          = {10.1007/978-3-030-83906-2\_3},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/MarkoTSBSMVKHSL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iajit/FuSDLP20,
  author       = {Ning Fu and
                  Lijun Shan and
                  Chenglie Du and
                  Zhiqiang Liu and
                  Han Peng},
  title        = {Modelling and verification of {ARINC} 653 hierarchical preemptive
                  scheduling},
  journal      = {Int. Arab J. Inf. Technol.},
  volume       = {17},
  number       = {1},
  pages        = {99--106},
  year         = {2020},
  url          = {https://doi.org/10.34028/iajit/17/1/12},
  doi          = {10.34028/IAJIT/17/1/12},
  timestamp    = {Wed, 28 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iajit/FuSDLP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/ShanSFVSL19,
  author       = {Lijun Shan and
                  Behrooz Sangchoolie and
                  Peter Folkesson and
                  Jonny Vinter and
                  Erwin Schoitsch and
                  Claire Loiseaux},
  title        = {A Survey on the Application of Safety, Security, and Privacy Standards
                  for Dependable Systems},
  booktitle    = {15th European Dependable Computing Conference, {EDCC} 2019, Naples,
                  Italy, September 17-20, 2019},
  pages        = {71--72},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/EDCC.2019.00023},
  doi          = {10.1109/EDCC.2019.00023},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/edcc/ShanSFVSL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ShanSFVSL19,
  author       = {Lijun Shan and
                  Behrooz Sangchoolie and
                  Peter Folkesson and
                  Jonny Vinter and
                  Erwin Schoitsch and
                  Claire Loiseaux},
  editor       = {Alexander B. Romanovsky and
                  Elena Troubitsyna and
                  Ilir Gashi and
                  Erwin Schoitsch and
                  Friedemann Bitsch},
  title        = {A Survey on the Applicability of Safety, Security and Privacy Standards
                  in Developing Dependable Systems},
  booktitle    = {Computer Safety, Reliability, and Security - {SAFECOMP} 2019 Workshops,
                  ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September
                  10, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11699},
  pages        = {74--86},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-26250-1\_6},
  doi          = {10.1007/978-3-030-26250-1\_6},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/ShanSFVSL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vehits/VasenevSHMSKL19,
  author       = {Alexandr Vasenev and
                  Florian Stahl and
                  Hayk Hamazaryan and
                  Zhendong Ma and
                  Lijun Shan and
                  Joerg Kemmerich and
                  Claire Loiseaux},
  editor       = {Oleg Gusikhin and
                  Markus Helfert},
  title        = {Practical Security and Privacy Threat Analysis in the Automotive Domain:
                  Long Term Support Scenario for Over-the-Air Updates},
  booktitle    = {Proceedings of the 5th International Conference on Vehicle Technology
                  and Intelligent Transport Systems, {VEHITS} 2019, Heraklion, Crete,
                  Greece, May 3-5, 2019},
  pages        = {550--555},
  publisher    = {SciTePress},
  year         = {2019},
  url          = {https://doi.org/10.5220/0007764205500555},
  doi          = {10.5220/0007764205500555},
  timestamp    = {Thu, 06 Jun 2019 13:06:22 +0200},
  biburl       = {https://dblp.org/rec/conf/vehits/VasenevSHMSKL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/FuZSLP17,
  author       = {Ning Fu and
                  Yingfeng Zhang and
                  Lijun Shan and
                  Zhiqiang Liu and
                  Han Peng},
  title        = {A Formal Model to Enforce Trustworthiness Requirements in Service
                  Composition},
  journal      = {{IEICE} Trans. Inf. Syst.},
  volume       = {100-D},
  number       = {9},
  pages        = {2056--2067},
  year         = {2017},
  url          = {https://doi.org/10.1587/transinf.2016EDP7400},
  doi          = {10.1587/TRANSINF.2016EDP7400},
  timestamp    = {Sat, 11 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieicet/FuZSLP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ShanGQF17,
  author       = {Lijun Shan and
                  Susanne Graf and
                  Sophie Quinton and
                  Lo{\"{\i}}c Fejoz},
  editor       = {Luca Aceto and
                  Giorgio Bacci and
                  Giovanni Bacci and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir and
                  Axel Legay and
                  Radu Mardare},
  title        = {A Framework for Evaluating Schedulability Analysis Tools},
  booktitle    = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand
                  Larsen on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {10460},
  pages        = {539--559},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63121-9\_27},
  doi          = {10.1007/978-3-319-63121-9\_27},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/ShanGQF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ShanDZ15,
  author       = {Lijun Shan and
                  Chenglie Du and
                  Hong Zhu},
  editor       = {Sheikh Iqbal Ahamed and
                  Carl K. Chang and
                  William C. Chu and
                  Ivica Crnkovic and
                  Pao{-}Ann Hsiung and
                  Gang Huang and
                  Jingwei Yang},
  title        = {Modeling and Simulating Adaptive Multi-agent Systems with {CAMLE}},
  booktitle    = {39th {IEEE} Annual Computer Software and Applications Conference,
                  {COMPSAC} 2015, Taichung, Taiwan, July 1-5, 2015. Volume 2},
  pages        = {147--152},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/COMPSAC.2015.97},
  doi          = {10.1109/COMPSAC.2015.97},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ShanDZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ShanWFZZWQC14,
  author       = {Lijun Shan and
                  Yuying Wang and
                  Ning Fu and
                  Xingshe Zhou and
                  Lei Zhao and
                  Lijng Wan and
                  Lei Qiao and
                  Jianxin Chen},
  editor       = {Cliff B. Jones and
                  Pekka Pihlajasaari and
                  Jun Sun},
  title        = {Formal Verification of Lunar Rover Control Software Using {UPPAAL}},
  booktitle    = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
                  May 12-16, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8442},
  pages        = {718--732},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06410-9\_48},
  doi          = {10.1007/978-3-319-06410-9\_48},
  timestamp    = {Thu, 12 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/ShanWFZZWQC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/WangZSM14,
  author       = {Yuying Wang and
                  Xingshe Zhou and
                  Lijun Shan and
                  Kejian Miao},
  title        = {Study on Complex Event Processing for {CPS:} An Event Model Perspective},
  booktitle    = {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, Bali, Indonesia, December 9-12, 2014},
  pages        = {305--310},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/UIC-ATC-ScalCom.2014.132},
  doi          = {10.1109/UIC-ATC-SCALCOM.2014.132},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/uic/WangZSM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/ShanZ12,
  author       = {Lijun Shan and
                  Hong Zhu},
  title        = {Unifying the Semantics of Models and Meta-Models in the Multi-Layered
                  {UML} Meta-Modelling Hierarchy},
  journal      = {Int. J. Softw. Informatics},
  volume       = {6},
  number       = {2},
  pages        = {163--200},
  year         = {2012},
  url          = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i118},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijsi/ShanZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/ShanZ09,
  author       = {Lijun Shan and
                  Hong Zhu},
  title        = {Generating Structurally Complex Test Cases By Data Mutation: {A} Case
                  Study Of Testing An Automated Modelling Tool},
  journal      = {Comput. J.},
  volume       = {52},
  number       = {5},
  pages        = {571--588},
  year         = {2009},
  url          = {https://doi.org/10.1093/comjnl/bxm043},
  doi          = {10.1093/COMJNL/BXM043},
  timestamp    = {Thu, 30 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/ShanZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ZhuBSA09,
  author       = {Hong Zhu and
                  Ian Bayley and
                  Lijun Shan and
                  Richard Amphlett},
  editor       = {Sheikh Iqbal Ahamed and
                  Elisa Bertino and
                  Carl K. Chang and
                  Vladimir Getov and
                  Lin Liu and
                  Ming Hua and
                  Rajesh Subramanyan},
  title        = {Tool Support for Design Pattern Recognition at Model Level},
  booktitle    = {Proceedings of the 33rd Annual {IEEE} International Computer Software
                  and Applications Conference, {COMPSAC} 2009, Seattle, Washington,
                  USA, July 20-24, 2009. Volume 1},
  pages        = {228--233},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/COMPSAC.2009.37},
  doi          = {10.1109/COMPSAC.2009.37},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ZhuBSA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/Martinez-SarrieguiZSGGH09,
  author       = {I{\~{n}}aki Mart{\'{\i}}nez{-}Sarriegui and
                  Hong Zhu and
                  Lijun Shan and
                  Gema Garc{\'{\i}}a{-}S{\'{a}}ez and
                  Enrique J. G{\'{o}}mez and
                  M. Elena Hernando},
  editor       = {Joaquim Filipe and
                  Ana L. N. Fred and
                  Bernadette Sharp},
  title        = {Modelling and Formal Specification of a Multiagent Telemedicine System
                  for Diabetes Care},
  booktitle    = {{ICAART} 2009 - Proceedings of the International Conference on Agents
                  and Artificial Intelligence, Porto, Portugal, January 19 - 21, 2009},
  pages        = {507--512},
  publisher    = {{INSTICC} Press},
  year         = {2009},
  timestamp    = {Thu, 30 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icaart/Martinez-SarrieguiZSGGH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ShanZ09,
  author       = {Lijun Shan and
                  Hong Zhu},
  editor       = {Wei{-}Ngan Chin and
                  Shengchao Qin},
  title        = {Semantics of Metamodels in {UML}},
  booktitle    = {{TASE} 2009, Third {IEEE} International Symposium on Theoretical Aspects
                  of Software Engineering, 29-31 July 2009, Tianjin, China},
  pages        = {55--62},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/TASE.2009.62},
  doi          = {10.1109/TASE.2009.62},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/ShanZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/wi/09/ZhuSBA09,
  author       = {Hong Zhu and
                  Lijun Shan and
                  Ian Bayley and
                  Richard Amphlett},
  editor       = {Kevin Lano},
  title        = {Formal Descriptive Semantics of {UML} and Its Applications},
  booktitle    = {{UML} 2 Semantics and Applications},
  pages        = {95--123},
  publisher    = {Wiley},
  year         = {2009},
  url          = {https://doi.org/10.1002/9780470522622.ch5},
  doi          = {10.1002/9780470522622.CH5},
  timestamp    = {Thu, 30 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/wi/09/ZhuSBA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcat/MaoSZW08,
  author       = {XinJun Mao and
                  Lijun Shan and
                  Hong Zhu and
                  Ji Wang},
  title        = {An adaptive casteship mechanism for developing multi-agent systems},
  journal      = {Int. J. Comput. Appl. Technol.},
  volume       = {31},
  number       = {1/2},
  pages        = {17--34},
  year         = {2008},
  url          = {https://doi.org/10.1504/IJCAT.2008.017716},
  doi          = {10.1504/IJCAT.2008.017716},
  timestamp    = {Sun, 26 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijcat/MaoSZW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ShanZ08,
  author       = {Lijun Shan and
                  Hong Zhu},
  editor       = {Shaoying Liu and
                  T. S. E. Maibaum and
                  Keijiro Araki},
  title        = {A Formal Descriptive Semantics of {UML}},
  booktitle    = {Formal Methods and Software Engineering, 10th International Conference
                  on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan,
                  October 27-31, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5256},
  pages        = {375--396},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-88194-0\_23},
  doi          = {10.1007/978-3-540-88194-0\_23},
  timestamp    = {Thu, 30 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/ShanZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijspm/ZhuS07,
  author       = {Hong Zhu and
                  Lijun Shan},
  title        = {Modelling Web Services in the agent-oriented modelling language and
                  environment {CAMLE}},
  journal      = {Int. J. Simul. Process. Model.},
  volume       = {3},
  number       = {1/2},
  pages        = {26--44},
  year         = {2007},
  url          = {https://doi.org/10.1504/IJSPM.2007.014713},
  doi          = {10.1504/IJSPM.2007.014713},
  timestamp    = {Thu, 30 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijspm/ZhuS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ShanZ06,
  author       = {Lijun Shan and
                  Hong Zhu},
  editor       = {Hong Zhu and
                  Joseph R. Horgan and
                  Shing{-}Chi Cheung and
                  J. Jenny Li},
  title        = {Testing Software Modelling Tools Using Data Mutation},
  booktitle    = {Proceedings of the 2006 International Workshop on Automation of Software
                  Test, {AST} 2006, Shanghai, China, May 23, 2006},
  pages        = {43--49},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1138929.1138938},
  doi          = {10.1145/1138929.1138938},
  timestamp    = {Thu, 30 Apr 2020 12:10:35 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/ShanZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ShanZ06,
  author       = {Lijun Shan and
                  Hong Zhu},
  editor       = {Kang Zhang and
                  George Spanoudakis and
                  Giuseppe Visaggio},
  title        = {Specifying Consistency Constraints for Modelling Languages},
  booktitle    = {Proceedings of the Eighteenth International Conference on Software
                  Engineering {\&} Knowledge Engineering (SEKE'2006), San Francisco,
                  CA, USA, July 5-7, 2006},
  pages        = {578--583},
  year         = {2006},
  timestamp    = {Thu, 30 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/seke/ShanZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/MaoCSZW06,
  author       = {XinJun Mao and
                  Zhiming Chang and
                  Lijun Shan and
                  Hong Zhu and
                  Ji Wang},
  editor       = {Kang Zhang and
                  George Spanoudakis and
                  Giuseppe Visaggio},
  title        = {The Dynamic Casteship Mechanism for Modeling and Designing Adaptive
                  Agents},
  booktitle    = {Proceedings of the Eighteenth International Conference on Software
                  Engineering {\&} Knowledge Engineering (SEKE'2006), San Francisco,
                  CA, USA, July 5-7, 2006},
  pages        = {639--644},
  year         = {2006},
  timestamp    = {Sun, 26 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/MaoCSZW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/ZhuS05,
  author       = {Hong Zhu and
                  Lijun Shan},
  title        = {Agent-Oriented Modelling and Specification of Web Services},
  booktitle    = {10th {IEEE} International Workshop on Object-Oriented Real-Time Dependable
                  Systems {(WORDS} 2005), 2-4 February 2005, Sedona, AZ, {USA}},
  pages        = {152--159},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/WORDS.2005.14},
  doi          = {10.1109/WORDS.2005.14},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/words/ZhuS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/05/ZhuS05,
  author       = {Hong Zhu and
                  Lijun Shan},
  editor       = {Sami Beydeda and
                  Matthias Book and
                  Volker Gruhn},
  title        = {Caste-centric Modelling of Multi-agent Systems: The {CAMLE} Modelling
                  Language and Automated Tools},
  booktitle    = {Model-Driven Software Development},
  pages        = {57--89},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/3-540-28554-7\_4},
  doi          = {10.1007/3-540-28554-7\_4},
  timestamp    = {Thu, 30 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/05/ZhuS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ShanZ04,
  author       = {Lijun Shan and
                  Hong Zhu},
  title        = {Consistency Check in Modelling Multi-Agent Systems},
  booktitle    = {28th International Computer Software and Applications Conference {(COMPSAC}
                  2004), Design and Assessment of Trustworthy Software-Based Systems,
                  27-30 September 2004, Hong Kong, China, Proceedings},
  pages        = {114--119},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/CMPSAC.2004.1342814},
  doi          = {10.1109/CMPSAC.2004.1342814},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/ShanZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcc/ZhuZMSD04,
  author       = {Hong Zhu and
                  Bin Zhou and
                  XinJun Mao and
                  Lijun Shan and
                  David A. Duce},
  editor       = {Hai Jin and
                  Yi Pan and
                  Nong Xiao},
  title        = {Agent-Oriented Formal Specification of Web Services},
  booktitle    = {Grid and Cooperative Computing - {GCC} 2004 Workshops: {GCC} 2004
                  International Workshops, IGKG, SGT, GISS, AAC-GEVO, and VVS, Wuhan,
                  China, October 21-24, 2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3252},
  pages        = {633--641},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30207-0\_78},
  doi          = {10.1007/978-3-540-30207-0\_78},
  timestamp    = {Mon, 04 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gcc/ZhuZMSD04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/selmas/ShanZ04,
  author       = {Lijun Shan and
                  Hong Zhu},
  editor       = {Ricardo Choren and
                  Alessandro F. Garcia and
                  Carlos Jos{\'{e}} Pereira de Lucena and
                  Alexander B. Romanovsky},
  title        = {{CAMLE:} {A} Caste-Centric Agent-Oriented Modelling Language and Environment},
  booktitle    = {Software Engineering for Multi-Agent Systems III, Research Issues
                  and Practical Applications [the book is a result of {SELMAS} 2004]},
  series       = {Lecture Notes in Computer Science},
  volume       = {3390},
  pages        = {144--161},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31846-0\_9},
  doi          = {10.1007/978-3-540-31846-0\_9},
  timestamp    = {Fri, 06 Nov 2020 10:10:09 +0100},
  biburl       = {https://dblp.org/rec/conf/selmas/ShanZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcc/ShanZ03,
  author       = {Lijun Shan and
                  Hong Zhu},
  editor       = {Minglu Li and
                  Xian{-}He Sun and
                  Qianni Deng and
                  Jun Ni},
  title        = {Modelling Cooperative Multi-agent Systems},
  booktitle    = {Grid and Cooperative Computing, Second International Workshop, {GCC}
                  2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {3033},
  pages        = {994--1001},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24680-0\_155},
  doi          = {10.1007/978-3-540-24680-0\_155},
  timestamp    = {Thu, 30 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gcc/ShanZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/ShanZ03,
  author       = {Lijun Shan and
                  Hong Zhu},
  title        = {Modelling and Specifying Scenarios and Agent Behaviour},
  booktitle    = {2003 {IEEE/WIC} International Conference on Intelligent Agent Technology
                  {(IAT} 2003), 13-17 October 2003, Halifax, Canada},
  pages        = {32--38},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/IAT.2003.1241045},
  doi          = {10.1109/IAT.2003.1241045},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iat/ShanZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/YanMSQZ03,
  author       = {Qi Yan and
                  XinJun Mao and
                  Lijun Shan and
                  Zhi{-}Chang Qi and
                  Hong Zhu},
  title        = {Soft Gene, Role, Agent: {MABS} Learns from Sociology},
  booktitle    = {2003 {IEEE/WIC} International Conference on Intelligent Agent Technology
                  {(IAT} 2003), 13-17 October 2003, Halifax, Canada},
  pages        = {450--453},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/IAT.2003.1241119},
  doi          = {10.1109/IAT.2003.1241119},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iat/YanMSQZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics