缺少摘要。
- 基于关系参考属性文法的自适应系统增量因果连接雷内·舍内,约翰·梅伊,塞巴斯蒂安·埃伯特,塞巴斯蒂安·戈茨,乌韦·Aß曼.1-12 [美国国防部]
- 多模型数据的模式推理帕维尔·库皮尔,塞巴斯蒂安·赫里科,Irena Holubová.13-23 [美国国防部]
- 解决软件密集型系统中的不确定性交互问题：挑战和迫切性哈维尔·卡马拉,Radu Calinescu公司,贝蒂·H·C·程,大卫·加兰,布拉德利·施默尔,哈维尔·特罗亚,安东尼奥·瓦列西洛.24-30 [美国国防部]
- 基于随机时间博弈自动机的预计算重构策略亨德里克·哥特曼,比尔特·凯撒,套索蜜蜂,马尔特·洛肖,安迪·舒尔,亚历山大·费伊.31-42 [美国国防部]
- 基于逻辑求解器的可执行性系统架构综合马尔蒂亚克,克里斯托夫·马鲁西,达尼尔·瓦罗,伊斯特万·马齐克.43-54 [美国国防部]
- 解决AADL中的实例模型视图更新问题Rakshit Mittal公司,多米尼克·布劳因,阿尼什·博比,Soumyadip Bandyopadhyay公司.55-65 [美国国防部]
- 数字孪生兄弟作为技术社会经济系统的无风险实验辅助工具苏维克·巴拉特,维奈·库尔卡尼,托尼·克拉克0001,Balbir谷仓.66-75 [美国国防部]
- 跨多域工程模型的被动链接克里斯蒂娜·拉蒂乌（Cosmina Cristina Ratiu）,卫斯理·K·G·阿桑索,雷纳尔·哈斯,亚历山大·埃吉德.76-86 [美国国防部]
- 通过用户定义的简化进行实用多元调试：UML模型的应用马蒂亚斯·帕斯基尔,西普里安·特奥多罗夫,福雷德里克·朱厄尔（Frédéric Jouault）,马蒂亚斯·布伦0001,卢卡·勒鲁,洛伊克·拉加德克.87-97 [美国国防部]
- 面向软件工程师的建模程序验证工具苏菲车床,瓦迪姆·扎伊采夫.98-108 [美国国防部]
- 可执行模型的自动测试放大Faezeh Khorram公司,埃尔万·布斯,让-马里·莫图,格森·苏尼,巴勃罗·戈梅斯·阿巴霍,巴勃罗·卡尼扎雷斯,埃丝特·格拉,胡安·德拉拉.109-120 [美国国防部]
- 工业环境中UML模型的形式验证反馈：智能设备生命周期管理系统案例马克西姆·梅雷,福雷德里克·朱厄尔（Frédéric Jouault）,洛伊克·帕拉迪,理查德·佩德里奥.121-131 [美国国防部]
- 通过系统探索验证反应系统规范的正确性Dor Ma’ayan女士,沙哈尔·毛兹,罗伊·罗齐.132-142 [美国国防部]
- 机器学习中基于模型的偏差抑制阿尔法·约哈尼斯,迪米特里斯·科洛沃斯.143-153 [美国国防部]
- NEMO发现：预测下一个建模操作的推荐系统朱里·迪·洛科,克劳迪奥·迪·西皮奥,Phuong T.Nguyen先生,大卫·迪·鲁西奥,阿方索·皮尔安东尼奥.154-164 [美国国防部]
- 模型分类的机器学习方法比较研究何塞·安东尼奥·埃尔南德斯·洛佩斯,里卡多·鲁贝,杰苏斯·桑切斯·库阿德拉多,大卫·迪·鲁西奥.165-175 [美国国防部]
- 交互式领域建模中基于机器学习的增量学习里朱尔·塞尼,冈特·穆斯巴赫,Jin L.C.Guo先生,Jörg Kienzle公司.176-186 [美国国防部]
- MoDLF：用于自动车辆感知（AVP）的模型驱动的深度学习框架Aon Safdar公司,法鲁克·阿扎姆,穆罕默德·瓦西姆·安瓦尔,乌斯曼·阿克拉姆,雅瓦尔·拉希德.187-198 [美国国防部]
- 协助需求目标建模：一种基于机器学习和逻辑推理的混合方法周启祥,童力0001,王云朵.199-209 [美国国防部]
- 嵌套OSTRICH：低代码模板的阴影组合乔·科斯塔·塞科,雨果·卢伦索,乔安娜·佩雷拉,卡拉·费雷拉0001.210-220 [美国国防部]
- 基于GLSP的web建模中的高级可视化和交互：实现语义缩放和屏幕外元素朱利亚诺·德卡洛,菲利普·兰格,多米尼克·博克.221-231 [美国国防部]
- 软件语言的编辑支持：语言服务器协议中的实现实践乔纳坦·巴罗斯,斯文·佩尔德苏斯,卫斯理·K·G·阿桑索,托尔斯滕·伯杰.232-243 [美国国防部]
- 使用动态相似性保持哈希加速基于相似性的模型匹配小河,乐天堂,李宇通.244-254 [美国国防部]
- 软件设计表征对不同个性团队设计沟通的影响罗迪·乔拉克,Maxime Savary-下线,曼努埃拉·达利博尔,尤拉吉·文丘尔,里贾娜·赫比格,泽维尔·勒·帕莱克,米歇尔·乔德伦,塞巴斯蒂安·杰拉德,伊万·波拉塞克,安德烈亚斯·沃特曼0001.255-265 [美国国防部]
- 特定领域语言生命周期中的既定实践调查霍尔格·斯塔德尔·博鲁姆,克里斯托夫·塞德尔0001.266-277 [美国国防部]
- 与SymboleoPC签订的模型检查法律合同Alireza Parvizimosaed公司,马可·罗维里,艾丁·拉斯蒂,丹尼尔·阿姆约特,路易吉·洛格里波,约翰·米洛波洛斯.278-288 [美国国防部]
- 智能合约验证的谓词抽象哈维尔·戈多伊,胡安·巴勃罗·加莱奥蒂,迭戈·加伯维斯基,塞巴斯蒂安·乌奇特尔.289-299 [美国国防部]
- Symboleo2SC：从法律合同规范到智能合同艾丁·拉斯蒂,丹尼尔·阿姆约特,Alireza Parvizimosaed公司,马可·罗维里,路易吉·洛格里波,阿马尔·艾哈迈德·安达,约翰·米洛波洛斯.300-310 [美国国防部]
- 区块链应用程序部署和管理的声明性建模框架卢西亚诺·巴雷西,乔瓦尼·夸特罗奇,达米安·安德鲁·坦布里,卢卡·特拉奇亚诺.311-321 [美国国防部]
- 量化问题和解决方案空间之间的可变性不匹配马克·亨茨,奇科·桑德曼,托马斯·图姆,伊娜·谢弗.322-333 [美国国防部]
- 模块化语言产品线：一种图形转换方法胡安·德拉拉,埃丝特·格拉,保罗·波托尼.334-344 [美国国防部]
- 用EVEREST验证铁路网络模型乔·马丁斯,何塞·M·丰塞卡0002,拉斐尔·科斯塔,何塞·克里萨克·坎波斯,阿尔西诺库尼亚,努诺·马塞多,何塞·N·奥利维拉.345-355 [美国国防部]
- 游戏软件工程中的错误定位：进化模拟以定位视频游戏软件模型中的错误罗德里戈·卡萨马约尔,洛伦娜·阿塞加,方济各·佩雷斯,卡洛斯·塞蒂纳.356-366 [美国国防部]
- 一种特定于域的语言，用于物联网边缘到云解决方案的基于模拟的测试贾丽,希瓦·内贾蒂,梅赫达德·萨贝扎德,迈克尔·麦卡伦.367-378 [美国国防部]
- 汽车系统分析的综合框架亚历山德罗·西马蒂,萨拉·科尔菲尼,卢卡·克里斯托福雷蒂,马可·迪纳塔莱,阿尔贝托·格里乔,斯特凡诺·普里,斯特凡诺·托内塔.379-389 [美国国防部]