李君山
人员信息
其他同名人员
优化列表
2020年–今天
2023 [公元24年] 李君山 :
实现安全产品的DO-178C合规性。 SAFECOMP研讨会 2023 : 61-72 2021 【c23】 穆林 , 何伟东 , 李君山 :
基于计算机数字孪生模型的发动机仿真与装配研究。 友邦保险(ACM) 2021 : 71-79 [公元22年] 纳迪娅·马尔科 , Joaquim Maria Castella Triginer公司 , 克里斯托夫·斯特雷克斯 , 托比亚斯·布劳恩 , 莱因哈德·施瓦兹 , 斯特凡·马克斯坦纳 , 亚历山大·瓦塞涅夫 , 乔格·凯默里奇 , 海克·哈马扎里安 , 李君山 , 克莱尔·洛伊索 :
使用设计模式的建筑安全、安保和隐私实施指南:SECREDAS方法。 SAFECOMP研讨会 2021 : 39-51 2020 [j6] 宁福 , 李君山 , 杜成烈 , 刘志强 , 韩鹏 :
ARINC 653分层抢占式调度的建模与验证。 国际阿拉伯技术期刊。 17 ( 1 ) : 99-106 ( 2020 )
2010 – 2019
2019 【c21】 李君山 , 贝罗斯·桑切利(Behrooz Sangchoolie) , 彼得·福克森 , 乔尼·文特 , 埃尔文·肖奇 , 克莱尔·洛伊索 :
可靠系统安全、安保和隐私标准应用调查。 EDCC公司 2019 : 71-72 [公元20年] 李君山 , 贝罗斯·桑切利(Behrooz Sangchoolie) , 彼得·福克森 , 乔尼·文特 , 埃尔文·肖奇 , 克莱尔·洛伊索 :
安全、安保和隐私标准在开发可靠系统中的适用性调查。 SAFECOMP研讨会 2019 : 74-86 [第19条] 亚历山大·瓦塞涅夫 , 弗洛里安·斯塔尔 , 海克·哈马扎里安 , 马振东 , 李君山 , 乔格·凯默里奇 , 克莱尔·洛伊索 :
汽车领域的实用安全和隐私威胁分析:空中更新的长期支持场景。 VEHITS公司 2019 : 550-555 2017 [j5] 宁福 , 张英峰 , 李君山 , 刘志强 , 韩鹏 :
在服务组合中实施可信度要求的形式化模型。 IEICE传输。 信息系统。 100-D型 ( 9 ) : 2056-2067 ( 2017 ) [c18] 李君山 , 苏珊·格拉芙 , 关东 , 洛伊克·费约兹 :
评估可调度性分析工具的框架。 模型、算法、逻辑和工具 2017 : 539-559 2015 [c17] 李君山 , 杜成烈 , 洪朱 :
利用CAMLE对自适应多智能体系统进行建模和仿真。 COMPSAC公司 2015 : 147-152 2014 [第16条] 李君山 , 王玉英(Yuying Wang) , 宁福 , 周兴社 , 雷昭(Lei Zhao) , 丽景湾 , 雷乔 , 陈建新 :
使用UPPAAL对月球车控制软件进行正式验证。 FM公司 2014 : 718-732 [第15条] 王玉英(Yuying Wang) , 周兴社 , 李君山 , 苗克建 :
CPS复杂事件处理研究:事件模型视角。 UIC/ATC/ScalCom公司 2014 : 305-310 2012 【j4】 李君山 , 洪朱 :
统一多层UML元建模层次结构中模型和元模型的语义。 国际期刊软件。 信息学 6 ( 2 ) : 163-200 ( 2012 )
2000 – 2009
2009 [j3] 李君山 , 洪朱 :
通过数据变异生成结构复杂的测试用例:测试自动建模工具的案例研究。 计算。 J。 52 ( 5 ) : 571-588 ( 2009 ) [第14条] 洪朱 , 伊恩·贝利 , 李君山 , 理查德·安弗里特 :
模型级设计模式识别的工具支持。 COMPSAC(1)公司 2009 : 228-233 [第13条] 伊娜基·马丁内斯·萨里居伊 , 洪朱 , 李君山 , Gema García-Sáez , 恩里克·戈麦斯 , M.埃琳娜·埃尔南多 :
糖尿病护理多智能体远程医疗系统的建模和形式化规范。 ICAART公司 2009 : 507-512 [c12] 李君山 , 洪朱 :
UML中元模型的语义。 TASE公司 2009 : 55-62 [第2页] 洪朱 , 李君山 , 伊恩·贝利 , 理查德·安弗里特 :
UML的形式描述语义及其应用。 UML 2语义和应用 2009 : 95-123 2008 [注2] 毛新军 , 李君山 , 洪朱 , Ji Wang(音译) :
用于开发多智能体系统的自适应种姓机制。 国际期刊计算。 申请。 Technol公司。 31 ( 1/2 ) : 17-34 ( 2008 ) [第11条] 李君山 , 洪朱 :
UML的形式描述语义。 ICFEM公司 2008 : 375-396 2007 [j1] 洪朱 , 李君山 :
在面向代理的建模语言和环境CAMLE中对Web服务进行建模。 国际期刊模拟。 过程。 模型。 三 ( 1/2 ) : 26-44 ( 2007 ) 2006 [第10条] 李君山 , 洪朱 :
使用数据变异测试软件建模工具。 AST公司 2006 : 43-49 【c9】 李君山 , 洪朱 :
为建模语言指定一致性约束。 瑞典克朗 2006 : 578-583 【c8】 毛新军 , 张志明 , 李君山 , 洪朱 , Ji Wang(音译) :
用于建模和设计自适应代理的动态Casteship机制。 瑞典克朗 2006 : 639-644 2005 【c7】 洪朱 , 李君山 :
面向代理的Web服务建模和规范。 话 2005 : 152-159 [第1页] 洪朱 , 李君山 :
多代理系统的卡斯特中心建模:CAMLE建模语言和自动化工具。 模型驱动的软件开发 2005 : 57-89 2004 【c6】 李君山 , 洪朱 :
建模多代理系统中的一致性检查。 COMPSAC公司 2004 : 114-119 【c5】 朱红 , 滨州 , 毛新军 , 李君山 , 大卫·A·杜克 :
面向代理的Web服务形式规范。 GCC研讨会 2004 : 633-641 【c4】 李君山 , 洪朱 :
CAMLE:一种以种姓为中心的面向代理的建模语言和环境。 塞尔马斯 2004 : 144-161 2003 【c3】 李君山 , 洪朱 :
合作多智能体系统建模。 合同通用条款(2) 2003 : 994-1001 【c2】 李君山 , 洪朱 :
建模和指定场景和代理行为。 进气温度(IAT) 2003 : 32-38 【c1】 齐燕 , 毛新军 , 李君山 , 志昌旗 , 洪朱 :
软基因、角色、代理人:MABS从社会学学习。 进气温度(IAT) 2003 : 450-453