缺少摘要。
- 如何成为一名有道德的技术专家莫舍·瓦尔迪.1-6 [doi]
- 走向负责任的人工智能系统:安全和可信弗朗西斯科·埃雷拉.7-11 [doi]
- 基于机器学习的嵌入式系统环境温度预测塞尔玛·拉赫曼,马蒂亚斯·奥劳森,卡洛·维图奇,Ioannis Avgoulesa公司.12-25 [doi]
- 一种联合学习算法开发范式米罗斯拉夫·波波维奇,马尔科-波波维奇,伊万·卡斯特兰,Miodrag Djukic公司,伊利亚·巴西切维奇.26-41 [doi]
- 基于故障注入测试框架的机器学习数据适用性和性能测试马纳尔·拉哈尔,贝斯顿·S·艾哈迈德,豪尔根·萨缪尔森.42-59 [doi]
- IDPP:Pyrus中的不平衡数据集管道阿曼迪普·辛格,奥尔加·明格特.60-69 [doi]
- 网络物理系统测试用例生成的Uppaal学习荣古.70-74 [doi]
- 软件测试中断言的文献综述马苏梅·塔罗米拉德,每个Runeson.75-96 [doi]
- 基于FPGA的对等工业网络链路加密弗洛里安·斯普朗,蒂贝里乌·塞塞莱亚努.97-114 [doi]
- 使用CSP对MQTT-SN通信进行形式化和验证魏琳,Sini Chen先生,朱慧彪.115-132 [doi]
- 基于声学分类的传感器与雷达系统融合检测公路隧道环境尼古拉·斯托伊科夫,菲利普·蒂尔纳尼克,亚历山大·卢科维奇.133-152 [doi]
- Uppaal SMC、ns-3和MATLAB/Simulink的比较分析穆罕默德·纳伊姆,米歇尔·阿尔巴诺,金·古德斯特兰·拉森,布莱恩·尼尔森.153-169 [doi]
- 使用自动机学习对NFC握手示例上的通信协议进行符合性评估斯特凡·马克斯坦纳,马尔扬·西尔贾尼,米凯尔·舍丁.170-190 [doi]
- 语言驱动工程中基于LLM的系统迁移丹尼尔·布什,亚历山大·班茨克,伯恩哈德·斯特芬.191-200 [doi]
- 综合可理解的策略彼得·贝克曼.201-204 [doi]
- ReProInspect:用于改进PCBA AOI的可复制缺陷数据集框架艾哈迈德·雷扎伊,约翰内斯·瑙,德特勒夫·斯特里特弗特,约格·尚巴赫(Jörg Schambach),托多·万格洛夫.205-214 [doi]
- 网络物理生态系统:建模和验证Manuela-Luminita Bujorianu公司.215-230 [doi]
- 将工业4.0方案中的物联网基础设施与资产管理外壳集成斯文·埃里克·杰罗斯切夫斯基,约翰·克里斯坦,米莲娜·詹特根,马克斯·格扎纳.231-234 [doi]
- 实现Hammock-EFL方法的软件包(正在进行中)Moshe Goldstein公司,奥伦·埃利泽0001.235-238 [doi]
- 基于ROS 2的周期系统动态优先级调度卢卡斯·约翰内斯·达斯特,萨阿德·穆贝.239-243 [doi]
- 自治系统中神经网络的连续集成布鲁诺·斯特芬,乔纳斯·佐伦,乌特库·帕萨奇,菲奥娜·库尔曼,Hendrik Weißenfels公司.244-253 [doi]
- 构建动态鲁棒分布式系统的数字孪生框架蒂贝里乌·塞塞莱亚努,宁雄0001,爱德华·保罗·伊诺乌,克里斯蒂娜·谢卡莱努.254-258 [doi]
- 用于训练的深度学习模型的简单端到端计算机辅助检测管道阿里·泰穆尔·卡拉曼,托马斯·弗罗丁,迪米特里奥斯·通帕纳基斯,米凯尔·弗里登福克,克里斯蒂安·杰米姆·古斯塔夫森,托比亚斯·斯约布隆.259-262 [doi]
- Spiking神经网络中Astrocyte集成动态函数交换穆拉特·伊西克,卡约德·伊纳达格博.263-273 [doi]
- 联邦学习通用算法的正确编排:CSP中的形式化和验证伊万·普罗基克,西尔维娅·吉勒赞,西蒙娜·卡斯特罗维奇,米罗斯拉夫·波波维奇,马尔科-波波维奇,伊万·卡斯特兰.274-288 [doi]
- CareProfSys-结合机器学习和虚拟现实构建一个有吸引力的青年求职推荐系统:技术细节和实验数据玛丽亚·尤利安娜·达斯卡鲁,安德烈·塞尔吉乌·邦巴恰,Ioan-Alexandru Bratosin公司,尤利娅·克里斯蒂娜·斯坦尼察,康斯坦塔·尼科莱塔·博迪亚.289-298 [doi]