卡尔·梅恩克
人员信息
优化列表
2020年–今天
2024 [公元11年] 天元 , 赵宣 , 刘瑞(Rui Liu) , 羌余 , 朱西禅 , 舒旺(Shu Wang) , 卡尔·梅恩克 :
考虑交通环境的复杂城市交叉口驾驶意图识别与速度预测。 IEEE传输。 智力。 运输。 系统。 25 ( 5 ) : 4470-4488 ( 2024 ) 2023 [公元37年] 长谷川台 , 海伦娜·阿维德森 , 尼科尔斯·图扎罗夫斯基 , 卡尔·梅恩克 , Rachael V.糖 , 阿拉文德·阿肖克·奈尔 :
用于细胞图形建模和预测的基于边缘的图形神经网络。 IPMI公司 2023 : 265-277 2022 [公元10年] 阿拉文德·阿肖克·奈尔 , 海伦娜·阿维德森 , 豪尔赫·加蒂卡五世。 , 尼科尔斯·图扎罗夫斯基 , 卡尔·梅恩克 , Rachael V.糖 :
用于绘制口腔粘膜组织结构拓扑图的图形神经网络框架。 BMC生物信息。 23 ( 1 ) : 506 ( 2022 ) [电子7] 劳拉·科瓦奇 , 卡尔·梅恩克 :
测试和证明——第16届国际会议,TAP 2022,作为STAF 2022的一部分,于2022年7月5日在法国南特举行,会议记录。 计算机科学课堂讲稿 13361, 施普林格 2022 ,国际标准图书编号 978-3-031-09826-0 [目录] 2021 [公元36年] 卡尔·梅恩克 :
主动机器学习测试自动驾驶。 ICST研讨会 2021 : 286 [公元35年] 卡尔·梅恩克 , 霍贾特·科斯洛夫杰尔迪 :
用例测试:一种受约束的主动机器学习方法。 STAF处的TAP 2021 : 3-21 [i7] 卡尔·梅恩克 :
代码覆盖和测试自动化:最新技术。 CoRR公司 abs/2108.11723 ( 2021 ) 2020 [公元34年] 阿拉文德·阿肖克·奈尔 , 阿维吉特·罗伊 , 卡尔·梅恩克 :
funcGNN:程序相似性的图形神经网络方法。 环境与社会管理局 2020 : 10:1-10:11 [公元33年] 霍贾特·科斯洛夫杰尔迪 , 哈米德·内马蒂 , 卡尔·梅恩克 :
时空模型——使用图形查询检查网络物理系统。 STAF处的TAP 2020 : 59-79 [i6] 阿拉文德·阿肖克·奈尔 , 阿维吉特·罗伊 , 卡尔·梅恩克 :
funcGNN:程序相似性的图形神经网络方法。 CoRR公司 abs/2007.12239 ( 2020 )
2010 – 2019
2019 [公元32年] 阿拉文德·阿肖克·奈尔 , 卡尔·梅恩克 , Sigrid Eldh公司 :
利用突变体,使用机器学习自动预测变形关系。 MaLTeSQuE@ESEC公司 /SIGSOFT FSE公司 2019 : 1-6 2018 [公元31年] 阿梅尔·本纳丘(Amel Bennaceur) , 卡尔·梅恩克 :
软件分析的机器学习:模型、方法和应用。 用于动态软件分析的机器学习 2018 : 3-49 [公元30年] 卡尔·梅恩克 :
基于学习的测试:最新进展和未来展望。 用于动态软件分析的机器学习 2018 : 53-73 [公元29年] 卡尔·梅恩克 , 阿梅尔·本纳丘(Amel Bennaceur) :
软件工程的机器学习:模型、方法和应用。 ICSE(配套卷) 2018 : 548-549 [公元28年] 霍贾特·科斯洛夫杰尔迪 , 卡尔·梅恩克 , 安德烈亚斯·拉斯穆森 :
虚拟化故障注入测试:一种机器学习方法。 ICST公司 2018 : 297-308 [公元27年] 卡尔·伯根汉姆 , 卡尔·梅恩克 , 费边·斯特罗姆 :
车辆排协调紧急制动协议的定量安全性分析。 ISoLA(3) 2018 : 386-404 [公元26年] 霍贾特·科斯洛夫杰尔迪 , 卡尔·梅恩克 :
使用空间和时间需求对自治系统进行基于学习的测试。 ASE的质量 2018 : 6-15 [电子6] 阿梅尔·本纳丘(Amel Bennaceur) , 雷内·哈内尔 , 卡尔·梅恩克 :
动态软件分析的机器学习:潜力和局限——16172年国际达格斯图尔研讨会,德国达格斯图城堡,2016年4月24日至27日,修订论文。 计算机科学课堂讲稿 11026, 施普林格 2018 ,国际标准图书编号 978-3-319-96561-1 [目录] 2017 [公元25年] 卡尔·梅恩克 :
基于学习的网络物理系统对系统的测试:一项排成研究。 重铬酸钾 2017 : 135-151 [公元24年] 霍贾特·科斯洛夫杰尔迪 , 卡尔·梅恩克 , 安德烈亚斯·拉斯穆森 :
安全关键型汽车应用的基于学习的测试。 IMBSA公司 2017 : 197-211 2016 [c23] 福尔克·豪瓦尔 , 卡尔·梅恩克 , 安德烈亚斯·劳什 :
学习系统:软件产品中的机器学习和基于学习的软件系统分析——2016年ISoLA专题。 ISoLA(2) 2016 : 651-654 [i5] 阿梅尔·本纳丘(Amel Bennaceur) , 迪米特拉·吉安娜科波卢 , 雷内·哈内尔 , 卡尔·梅恩克 :
动态软件分析的机器学习:潜力和局限(Dagstuhl研讨会16172)。 达格斯图尔报告 6 ( 4 ) : 161-173 ( 2016 ) 2015 [公元9年] Peter Y.H.Wong(彼得·黄) , 理查德·布贝尔 , 弗兰克·S·德·波尔 , 米盖尔·戈梅斯·扎马洛亚 , Stijn de Gouw公司 , 雷内·哈内尔 , 卡尔·梅恩克 , Muddassar Azam Sindhu公司 :
测试抽象行为规范。 国际期刊软件。 工具技术。 Transf公司。 17 ( 1 ) : 107-119 ( 2015 ) [公元22年] 卡尔·梅恩克 , 彼得·尼坎德 :
分布式微服务架构的基于学习的测试:正确性和故障注入。 SEFM研讨会 2015 : 3-10 2013 【c21】 卡尔·梅恩克 , Muddassar A.信度 :
LBTest:一种基于学习的反应系统测试工具。 ICST公司 2013 : 447-454 [公元20年] 雷锋 , 西蒙·隆德马克 , 卡尔·梅恩克 , 肥牛 , Muddassar A.信度 , Peter Y.H.Wong(彼得·黄) :
基于学习的测试案例研究。 图片集 2013 : 164-179 2012 [第19条] 卡尔·梅恩克 , 尼尔·沃尔金肖 :
基于模型的测试和模型推断。 ISoLA(1) 2012 : 440-443 [第18条] 卡尔·梅恩克 , 肥牛 :
扩展Mealy自动机的一种增量学习算法。 ISoLA(1) 2012 : 488-504 [i4] 卡尔·梅恩克 , Muddassar A.信度 :
确定性Kripke结构最小化的n log n算法。 CoRR公司 abs/1205.5928 ( 2012 ) [i3] Muddassar A.信度 , 卡尔·梅恩克 :
IDS:有限自动机的增量学习算法。 CoRR公司 腹肌/1206.2691 ( 2012 ) 2011 [第17条] 少林胡 , 王晓峰 , 卡尔·梅恩克 , 华江欧阳 :
动态过程采样数据序列中异常值的容差拟合与在线诊断。 AICI(3) 2011 : 195-203 [第16条] 卡尔·梅恩克 , 肥牛 , Muddassar A.信度 :
基于学习的软件测试:教程。 ISoLA研讨会 2011 : 200-219 [第15条] 卡尔·梅恩克 , 肥牛 :
使用术语重写技术对反应系统进行基于学习的测试。 图片集 2011 : 97-114 [第14条] 卡尔·梅恩克 , Muddassar A.信度 :
基于增量学习的无功系统测试。 攻丝@工具 2011 : 134-151 2010 [第13条] 卡尔·梅恩克 :
CGE:一种用于Mealy自动机的顺序学习算法。 ICGI公司 2010 : 148-162 [第12条] 卡尔·梅恩克 , 肥牛 :
基于学习的数值软件单元测试方法。 图片集 2010 : 221-235
2000 – 2009
2007 [j8] 少林胡 , 卡尔·梅恩克 , 陈如山 , 欧阳华江 :
部分变系数线性模型参数的迭代估计。 国际期刊申请。 数学。 计算。 科学。 17 ( 2 ) : 179-187 ( 2007 ) 2006 [第11条] 卡尔·梅恩克 :
黑盒软件测试的随机理论。 献给约瑟夫·戈根的散文 2006 : 578-595 2004 [c10] 卡尔·梅恩克 :
使用函数近似对函数正确性进行自动黑盒测试。 ISSTA公司 2004 : 143-153 2003 [j7] 卡尔·梅恩克 :
高阶方程的证明理论:保守性,正规形式和项重写。 J.计算。 系统。 科学。 67 ( 1 ) : 127-173 ( 2003 ) 2001 [j6] 卡尔·梅恩克 , L.J.Steggles律师事务所 :
使用流代数的数据流和脉动算法的正确性。 信息学报 38 ( 1 ) : 45-88 ( 2001 ) 2000 【c9】 卡尔·梅恩克 :
使用命题SAT解算器为MSC生成验证和测试用例。 山姆 2000 : 203-
1990 – 1999
1998 [电子5] 帕拉米德斯猫 , 休·格拉泽 , 卡尔·梅恩克 :
1998年9月16日至18日,意大利比萨ALP’98与第七届国际会议联合举行的第十届国际研讨会《声明性程序设计原则》(Principles of Declarative Programming)。 计算机科学课堂讲稿 1490, 施普林格 1998 ,国际标准图书编号 3-540-65012-1 [目录] 1997 [j5] 卡尔·梅恩克 :
高阶代数规格说明表示幂的完备性定理。 J.计算。 系统。 科学。 54 ( 三 ) : 502-519 ( 1997 ) [电子4] 迈克尔·哈纳斯 , 简·希林 , 卡尔·梅恩克 :
代数和逻辑编程,第六届国际联合会议,ALP’97-HOA’97,英国南安普敦,1997年9月3-5日,会议记录。 计算机科学课堂讲稿 1298, 施普林格 1997 ,国际标准图书编号 3-540-63459-2 [目录] 1996 【j4】 彼得罗·科西乌琴科 , 卡尔·梅恩克 :
论高阶代数规范化方法的威力。 Inf.计算。 124 ( 1 ) : 85-101 ( 1996 ) [j3] 卡尔·梅恩克 :
代数规格说明的拓扑方法。 西奥。 计算。 科学。 166 ( 1&2 ) : 263-290 ( 1996 ) [电子3] 吉尔斯·道克 , 简·海林 , 卡尔·梅恩克 , 伯恩哈德·莫勒 :
《高阶代数、逻辑和术语重写》,第二届国际研讨会,1995年9月21日至22日,德国帕德博恩,1995年HOA'95,论文集。 计算机科学课堂讲稿 1074, 施普林格 1996 ,国际标准图书编号 3-540-61254-8 [目录] 1995 【c8】 卡尔·梅恩克 :
用于规范、模拟和测试的高阶等式逻辑。 HOA公司 1995 : 124-143 1994 [注2] 卡尔·梅恩克 :
本原递归的递归二阶初始代数规范。 信息学报 31 ( 4 ) : 329-340 ( 1994 ) 【c7】 卡尔·梅恩克 :
代数规格说明的拓扑方法。 罗盘/ADT 1994 : 368-388 [电子2] 伊贡·博格尔 , 尤里·古雷维奇 , 卡尔·梅恩克 :
1993年9月13日至17日,英国斯旺西CSL’93计算机科学逻辑第七次研讨会,论文选。 计算机科学课堂讲稿 832, 施普林格 1994 ,国际标准图书编号 3-540-58277-0 [目录] [电子1] 简·海林 , 卡尔·梅恩克 , 伯恩哈德·莫勒 , 托比亚斯·尼普科 :
《高阶代数、逻辑和术语重写》,第一届国际研讨会,1993年9月23日至24日,荷兰阿姆斯特丹,HOA'93,论文集。 计算机科学课堂讲稿 816, 施普林格 1994 ,国际标准图书编号 3-540-58233-9 [目录] 1993 【c6】 B.M.赫恩 , 卡尔·梅恩克 :
ATLAS:一种用于代数规范的类型化语言。 HOA公司 1993 : 146-168 【c5】 卡尔·梅恩克 , L.J.Steggles律师事务所 :
高阶代数中的规格说明与验证:卷积的一个案例研究。 HOA公司 1993 : 189-222 [i2] B.M.赫恩 , 卡尔·梅恩克 :
ATLAS:用于代数规范的类型化语言。 慕尼黑TU Forschungsberichte TUM一9330 : 1-21 ( 1993 ) [i1] 卡尔·梅恩克 :
代数规范的拓扑方法。 慕尼黑TU Forschungsberichte TUM一9331 : 1-32 ( 1993 ) 1992 [j1] 卡尔·梅恩克 :
高等类型的泛代数。 西奥。 计算。 科学。 100 ( 2 ) : 385-417 ( 1992 ) 【c4】 卡尔·梅恩克 :
重写术语和类型的代数语义。 CTRS公司 1992 : 1-20 1991 【c3】 卡尔·梅恩克 :
抽象类型和组合子的等式规范。 CSL公司 1991 : 257-271 1990 【c2】 卡尔·梅恩克 :
高等类型的泛代数。 ADT公司 1990 : 185-203