CPSIOT周2023: 美国德克萨斯州圣安东尼奥
2023年网络物理系统和物联网周会议录,CPS-IoT 2023周研讨会,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。 ACM公司 2023
第七届ACM/IEEE安全物联网研讨会(SafeThings)
奥纳特·孔格尔 , 塔贾娜·罗辛 , 巴里斯·阿克桑利 :
对手-HD:安全工业物联网的超维计算对手攻击设计。 1-6 乔斯·韦策尔 , 丹尼尔·里卡多·多斯·桑托斯 , 穆罕默德·加法里 :
关键基础设施骨干中的设计不安全。 7-12 Arup Kumar Sarker公司 , Khairul Islam先生 , 袁田 , 杰弗里·福克斯 :
MVAM:物联网信任计算对内存的多变体攻击。 13-18 加布里埃尔·A·莫拉莱斯 , 亚当·比内克·帕里什 , 帕特里克·詹金斯 , 洛基·斯莱文 :
使用链路级流对加密流量进行协议识别物联网设备分类。 19-24 罗伯特·卡斯特 , 迪玛 :
用于远程汽车软件验证的数字阴影。 25-30 群松 , 芮坛 , 王建平 :
基于机器学习的高效个性化驾驶员行为建模。 31-36 齐布佐·乌克布 , Hoda Mehrpouyan公司 :
使用CoVeriTeam对PLC程序进行合作验证:实现可靠和安全的工业控制系统。 37-42 杨培一 , 杰凡 , 紫策伟 , 李浩谦 , 杜乐 , 袁田 :
语音助理的可用家长控制。 43-48 郭亚南 , 佐藤隆美 , 曹玉龙 , 齐·阿尔弗雷德·陈 , 程跃强 :
自适应巡航控制系统的对抗性攻击。 49-54 亚伦·T·金夫 , Chijung Jung先生 , 凯琳(Kai Lin) , 马歇尔·克莱伯恩 , 弗努·苏亚 :
HackWrt:基于网络流量的手写窃听。 55-60
第六届网络物理系统和物联网基准测试研讨会(CPS-IoTBench)
利奥·博特勒 , 康拉德·迪沃尔德 , 凯·罗默 :
改进UWB收发器中基于信号强度的距离估计。 61-66 郭温达辛 , 安舒尔·潘迪 , 莫妮卡·普拉卡什 , 马丁·安德烈奥尼·洛佩兹 , 迈克尔·巴德利 :
物联网设备测距Wi-Fi FTM的基准测试和安全考虑。 67-71 马西耶·马特拉塞克 , 马特乌斯·巴纳泽克 , Wojciech Ciszewski公司 , 康拉德·伊瓦尼基 :
FrankenTrace:ARM Cortex-M SoC的低成本、循环级别、广泛适用的程序执行跟踪。 72-77 斯托克尔 , 马库斯·加拉赫 , 卡洛·阿尔贝托·博阿诺 , 凯·罗默 :
将非直瞄分类和纠错技术应用于超宽带系统:经验教训和建议。 78-83
CPS和物联网设计自动化第五次研讨会(DESTION)
华斯卡·桑切斯 , 布里兰·希塔吉 :
信令Social-Cyber操作的软件反思。 84-85 马修·尼斯 , 马修·本廷 , 丹尼尔·B·工作 , 乔纳森·斯普林克尔 :
异构CAV车队的中间件。 86-91 盛俊瑜 , Inigo Incer公司 , 瓦尔米克·帕布 , Anwesha Chattoraj酒店 , 埃里克·文 , 丹尼尔·弗雷蒙特 , 安库尔·梅塔 , 阿尔贝托·桑吉奥瓦尼·文森特利 , 尚卡·萨斯特里 , 桑吉特·塞希亚 :
共生CPS设计——通过迭代优化进行空间探索。 92-99 徐文卓 , 诺埃利亚·格兰德·古铁雷斯 , 克里斯托弗·麦库姆 :
MegaFlow2D:计算流体动力学模拟中机器学习超分辨率的参数数据集。 100-104 Anwesha Chattoraj酒店 , 埃里克·文 , 田中佑昌 , 吉利安·纳尔德里安·潘蒂格 , 丹尼尔·弗雷蒙特 , 安库尔·梅塔 :
通过选择性经验评估解决机器人设计过程中的模拟不一致问题。 105-113 亚当·科布 :
hamiltorch:一个基于PyTorch的哈密尔顿蒙特卡罗图书馆。 114-115 哈什·瓦尔丹 , 佩特尔·沃尔盖西 , 威尔·赫奇科克 , Janos Sztipanovits公司 :
水下机器人船体设计的约束贝叶斯优化。 116-121 希曼舒·内马 , 哈蒙九 , 托马斯·罗斯 :
CPS协同仿真的可重用网络仿真。 122-129 阿里·伊尔马克·奥兹达格利 , 佩特尔·沃尔盖西 , Xenofon D.Koutsoukos公司 :
使用物理引导学习的代理建模。 130-135 桑贾伊·纳拉因 , 达纳·切 , 普拉纳夫·伊耶 , 艾米丽·马克 , 里卡多·瓦尔迪兹 , 朱曼丽 , 尼拉杰·K·贾 , 詹姆·费萨克(Jaime F.Fisac) , 徐恺(Kai-Chieh Hsu) , Prerit Terway公司 , 基肖尔·波奇拉朱 , 布伦丹·J·恩格洛 , 埃米尔·皮茨 , 肖恩·鲁尼 , 黄叶伟(Yewei Huang) :
AIMED:以人工智能为中介的设计探索:一份经验报告。 136-140
智能城市数据驱动和智能网络物理系统(DI-CPS)第三次研讨会
李天一 , 夏田·洛根森 , 拉斐尔·斯特恩 :
评估破坏性事件对城市流动性的影响:新冠肺炎期间芝加哥出租车的案例研究。 141-145 肖恩·戴伊 , 郝旭 :
大型电动汽车智能分布式充电控制:一种多簇平均场博弈方法。 146-151 Gergely Zachár :
大规模轨迹数据集的可视化。 152-157 拉胡尔·巴达尼 :
混合自治中自动车辆控制器模型的合成和部署方法。 158-163 亚历克斯·理查森 , 马修·沃尔特·尼斯 , 马特·邦廷 , 乔纳森·W·李 , 拉胡尔·巴达尼 , 丹尼尔·B·工作 , 乔纳森·斯普林克尔 :
异构CAV机队基于LTE的运行时数据共享体系结构分析。 164-169 芮坛 , 罗文杰 :
AIoT中基于物理的机器学习模型泛化:机遇与挑战。 170-176
第二届实时和智能Gent边缘计算国际研讨会(RAGE)
马特·斯宾塞 , 马泰奥·玛丽亚·安德烈奥齐 :
软件定义系统中的实时可移植性。 177-178 迈克尔·Pöhnl , 克里斯蒂安·埃尔茨基 , 托拜厄斯·布拉斯 :
基于共享内存的无锁队列:安全关键边缘设备上快速可靠通信的关键。 179-184 雷纳托·曼库索 , 沙欣·鲁兹霍什 , 丹尼斯·霍纳特 , Ju Hyoung Mun村 , 塔里库尔·伊斯兰·帕蓬 , 马诺斯·阿萨纳索利斯 :
软件型平台。 185-191 玛西娅·库纳·罗查 , 埃尼奥·瓦康塞洛斯·菲略 , 费尔南多·阿尔维斯 , 塞尔吉奥·佩纳 , 佩德罗·桑托斯 , 爱德华多·托瓦尔 :
关键网络物理系统应用的WSSL实现。 192-197 安德烈斯·梅扎 , 瑞恩·卡斯特纳 :
安全SoC访问控制策略的自动生成、验证和排名。 198-202 贾里德·霍尔 , 乔·斯文特克 :
DRAEC:用于在CPS-IoT系统中实施操作策略的自适应边缘计算框架。 203-208 关林秋 , 盖·艾希勒 , 比鲁克·塞尤姆 , 卢卡·卡洛尼 :
EigenEdge:使用RISC-V和硬件加速器在边缘执行实时软件。 209-214 邹杰 , 戴晓天 , 约翰·麦克德米德 :
自治系统中混合临界调度的条件和推理感知优雅退化。 215-220 丹尼尔·奥利维拉 , 陈伟凡 , 桑德罗·平托 , 雷纳托·曼库索 :
调查和缓解对低端多核微控制器的争议。 221-226 浙江 , 戴晓天 , 赵帅(Shuai Zhao) , 冉伟 , 伊恩·格雷 :
用于减少争用和增强可预测性的多核实时片上网络I/O系统。 227-233 尼科洛·博尔吉奥利 , 林氏宣潘 , 费德里科·阿罗莫洛 , 亚历山德罗·比昂迪 , 乔治·布塔佐 :
边缘设备上基于实时数据包的入侵检测。 234-240 艾萨克·桑切斯·利尔 , 埃拉吉·萨奇卜 , 伊里达·沙拉里 , 阿克塞尔·扬奇 , 西尔维娅·克鲁格 , 马蒂亚斯·奥尼尔斯 :
CNN的腰围收紧:分布式物联网实施中Tiny YOLOv3的案例研究。 241-246 张一敏 , 巴里基苏·阿苏尔巴 , 努诺·舒马赫 , 萨里奥·德索萨 , 佩德罗·苏托 , 路易斯·阿尔梅达 , 佩德罗·桑托斯 , 努诺·马丁斯 , 乔安娜·索萨 :
使用Node-RED实现和部署物联网入侵检测的ML管道。 247-253 拉蒂夫·U·汗 , 莫森·圭扎尼 , Choong Seon Hong先生 :
无线网络的资源优化分层分割联合学习。 254-259
第二届ACM智能声学系统与应用国际研讨会(IASA)
尹丽(音) , Rajalakshmi Nandakumar公司 :
智能设备中用于并发超声波传感和音乐播放的认知缩放混音器。 260-265 张岳(音) , Shiwei Fang公司 , 卡洛斯·鲁伊斯·多明格斯 , 胡志璋 , Shubham Rohal公司 , 潘世嘉 :
使用稀疏负载感应增强基于振动的客户-产品交互识别。 266-271 紫衣轩 , 刘铭(音) , 聂京平 , 赵明辉 , 斯蒂芬·夏 , 蒋晓凡 :
CaNRun:使用智能手机对跑步机进行非接触、基于声学的节奏估计。 272-277 纳库尔·加格 , Harshvardhan C.Takawale公司 , 杨白 , 伊尔塔扎·沙希德 , 尼鲁帕姆·罗伊 :
用于低功率声事件检测的结构辅助频谱传感。 278-284 刘传弼 , 阿尼什·纳西普尔 , 安德鲁·凯梅克利斯 , 露西·宋 , 罗伯特·利坎瓦 :
带有Xblock的支持空间音频的智能扬声器——一种适用于自由移动用户的姿势自适应串音消除算法。 285-291
第一届全民公共安全未来研讨会(FUPUSE4ALL)
斯科特·莱格伍德 , 杰克·刘易斯 , 杰弗里·卡尔霍夫 , 齐朱 , 马修·惠特洛克 , 朱莉娅·切伦 :
公共安全扩展现实研究试验台的技术开发。 292-296 尼科尔·哈奇 , 沃尔特·马格努森 , 简涛 :
努力建立基于数字双胞胎的公共安全测试平台。 297-299 埃文格洛斯·马卡基斯 , 安东·唐纳 , 朱莫克·奥卢米德 , 詹姆斯·温特巴顿 , 米歇尔·韦特瓦尔德 :
STF 623在应急通信网络恢复和准备中的工作早期观点。 300-301 米歇尔·亚历山德罗斯·库蒂斯 , 乔治·西洛里斯 , 迈克尔·巴蒂斯塔托斯 , Anastasios Kourtis公司 , 阿尔伯托斯·马卡基斯 :
利用分散群计算的应急通信。 302-306 斯特凡诺·莫莫损失 , 内利奥·卡乔 , 弗雷德里科·洛佩斯 :
公共安全场景中多级互操作性的区块链策略。 307-312
以时间为中心的反应式软件(TCRS)第一次研讨会
马丁·洛斯特罗 , 爱德华·A·李 , 斯蒂芬·爱德华兹 , 大卫·布洛曼 :
反应式软件的逻辑时间。 313-318 法比安·塞隆 , 杜米特鲁·波托普·布图卡鲁 , 罗伯特·德西蒙 , 达米安·查布罗 , 阿米拉·梅特尼 :
基于同步逻辑执行时间的PsyC语义基础。 319-324 苏西米塔·塔德帕利 , 吴传豪 , 希伦·D·帕特尔 :
PASoC:一个可预测的富含加速器的SoC。 325-330 二岭雷尼莫果冻 , 林少凯 , 彼得·多诺万 , 查德利亚·杰拉德 , 王一韦 , 马丁·洛斯特罗 , 爱德华·A·李 , 马丁·斯科贝尔 :
InterPRET:一种时间可预知的多核处理器。 331-336 亚历山大·舒尔兹·罗森加滕 , 莱因哈德·冯·汉克斯利登 , 马丁·洛斯特罗 , 爱德华·A·李 , 索鲁什·巴泰尼 :
通过Lingua Franca建立Polyglot模态模型。 337-342 亨利克·奥斯塔 , 盖尔·马蒂森 :
在分布式实时系统中限制端到端的执行时间:在通用语言中论证确定性网络的情况。 343-348 叶尤金(Eugene Yip) , 马修·M·Y·郭 :
LetSynchronise:用于分析和优化逻辑执行时间系统的开放源代码框架。 349-354 再见,吉尔·军 , Dongha Kim公司 , 马丁·洛斯特罗 , Hokeun Kim公司 :
使用时间同步物联网平台的可靠事件检测。 355-360 许约翰(John Hui) , 斯蒂芬·爱德华兹 :
Lua中的稀疏同步编程。 361-366
城市基础设施和网络系统(AFL)运营中衔接学习和算法公平的第一次研讨会
智能农业数据分析创新研讨会(iDASA)
科尔顿·基思 :
生物喷气燃料供应链网络设计中计算成本高的混合整数规划的神经网络解决方案。 373-377 大卫·韩 :
互联、数据驱动的精准农业和智能农业系统的大数据分析、数据科学、ML&AI:挑战和未来方向。 378-384 安东尼·曼努埃尔·莫拉莱斯·巴达约兹 , 内维尔·埃利赫 , April Diederich公司 , 埃利奥特·萨德勒 , 茉莉花手套 , Manoj Nizampatnam公司 , 特洛伊以色列 , 安德鲁·王 , 张磊 , 安妮特·贝斯尼利安 , 安德烈亚斯·乔治 , 朱莉·米勒 , 姜薰飞 , 李冰冰 :
天文耕耘机:基于机器视觉和多传感器融合的太空农业自主生长系统。 385-390 大卫·埃尔南德斯·科勒 :
随机冷食供应链(CFSC)设计。 391-394
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)