托马斯·诺尔 0001
人员信息
附属: 德国亚琛RWTH大学
其他同名人员
托马斯·诺尔 0002 -西班牙巴塞罗那,Escola Superior de Müsica de Catalunya 托马斯·诺尔 0003 -德国马尔堡马尔堡大学
其他同名人员
优化列表
2020年–今天
2022 [公元65年] Ira Fesefeldt公司 , Joost-Pieter Katoen公司 , 托马斯·诺尔 :
走向并行定量分离逻辑。 CONCUR公司 2022 : 25:1-25:24 [公元64年] 凯文·巴茨 , 伊拉·费塞费尔特 , 马文·詹森 , Joost-Pieter Katoen公司 , 弗洛里安·凯勒 , 克里斯托夫·马蒂亚 , 托马斯·诺尔 :
定量分离逻辑中蕴涵检查的基础。 员工持股计划 2022 : 57-84 [公元63年] 菲利普·伯杰 , 威布克·伦泽 , 托马斯·诺尔 , 西蒙·肖顿 , 托尔斯滕·比克 , 马里奥·菲茨 , 巴斯蒂安·科格尔 :
通过《采矿集》分析铁路基础设施的容量瓶颈。 飞行管理信息系统 2022 : 121-133 [电子1] 海伦·博尔克·赫曼斯 , Joost-Pieter Katoen公司 , 克劳斯标志 , 斯特凡·科瓦列夫斯基 , 托马斯·诺尔 , 沃尔夫冈·托马斯 :
50 Jahre Studiengang Informatik and der RWTH公司。 RWTH Aachen,Fachgruppe Informatik in der Fakultät für Mathematik,Informatik und Naturwissenschaften,德国 2022 [i7] 凯文·巴茨 , 伊拉·费塞费尔特 , 马文·詹森 , Joost-Pieter Katoen公司 , 弗洛里安·科勒 , 克里斯托夫·马蒂亚 , 托马斯·诺尔 :
定量分离逻辑中蕴涵检查的基础(扩展版)。 CoRR公司 abs/2201.11464 ( 2022 ) [i6] 伊拉·费塞费尔特 , Joost-Pieter Katoen公司 , 托马斯·诺尔 :
走向并行定量分离逻辑。 CoRR公司 abs/2207.02822 ( 2022 ) 2021 [公元62年] Ira Fesefeldt公司 , 克里斯托夫·马蒂亚 , 托马斯·诺尔 , 约翰内斯·舒尔特 :
超边缘替换文法向后汇合的自动检查和完成。 国际燃气轮机 2021 : 283-293 [第61条] 萨沙·穆勒 , 阿德琳·乔丹 , 安德烈亚斯·格恩特 , 托马斯·诺尔 :
非确定性动态故障树的模块化方法。 SAFECOMP公司 2021 : 243-257 [公元60年] 亚历山大·霍本 , 托马斯·诺尔 :
概率程序调试器。 SEFM公司 2021 : 282-289 2020 [公元14年] 萨沙·穆勒 , 莉安娜·米凯利安 , 安德烈亚斯·格恩特 , 托马斯·诺尔 :
从故障树中综合和优化FDIR恢复策略。 科学。 计算。 程序。 196 : 102478 ( 2020 ) [j13] 蒂姆·兰格 , 马丁·诺瓦厄(Martin R.Neuhäußer) , 托马斯·诺尔 , Joost-Pieter Katoen公司 :
IC3软件模型检查。 国际期刊软件。 技术工具。 Transf公司。 22 ( 2 ) : 135-161 ( 2020 ) [i5] 克里斯托弗·布里克斯 , 托马斯·诺尔 :
Debona:解耦合边界网络分析,用于更紧的边界和更快的对抗稳健性证明。 CoRR公司 abs/2006.09040 ( 2020 )
2010 – 2019
2019 [公元12年] 萨沙·穆勒 , 安德烈亚斯·格恩特 , 托马斯·诺尔 :
从非确定性动态故障树综合故障检测、隔离和恢复策略。 J.航空公司。 信息系统。 16 ( 2 ) : 52-60 ( 2019 ) [公元11年] 凯文·巴茨 , 本杰明·卢西安·卡明斯基 , Joost-Pieter Katoen公司 , 克里斯托夫·马蒂亚 , 托马斯·诺尔 :
定量分离逻辑:一种推理概率指针程序的逻辑。 程序。 ACM计划。 语言。 三 ( POPL公司 ) : 34:1-34:29 ( 2019 ) [公元59年] 米哈拉·西希雷亚努 , 胡安·安东尼奥·纳瓦罗·佩雷斯 , 安德烈·里巴尔琴科 , Nikos Gorogannis公司 , 半径Iosif , 安德鲁·雷诺兹 , Cristina塞尔维亚人 , 延斯·卡特兰 , 克里斯托夫·马蒂亚 , 托马斯·诺尔 , 弗洛里安·祖勒格 , 魏恩甘钦 , 广乐路 , Quang-Trung Ta公司 , Ton-Chanh Le公司 , Thanh-Toan Nguyen先生 , 萧成国 , 米查尔·塞浦路斯 , 亚当·罗加列维奇 , 托马斯·沃伊纳 , 康斯坦丁埃纳 , Ondrej Lengál , 冲高 , 吴志林 :
SL-COMP:分离逻辑解算器的竞争。 塔卡斯(3) 2019 : 116-132 [公元58年] 马可·波扎诺 , 哈罗德·布鲁因杰斯 , 亚历山德罗·西马蒂 , Joost-Pieter Katoen公司 , 托马斯·诺尔 , 斯特凡诺·托内塔 :
罗盘3.0。 TACAS(1) 2019 : 379-385 2018 [公元57年] 汉娜·阿恩特 , 克里斯蒂娜·詹森 , Joost-Pieter Katoen公司 , 克里斯托夫·马蒂亚 , 托马斯·诺尔 :
让这张图表成为你的见证 验证Java指针程序的见证人。 CAV(2) 2018 : 3-11 [公元56年] 丹尼尔·施梅尔 , 朱利安·比宁 , 奥斯卡·索里亚·达斯曼 , 托马斯·诺尔 , 克劳斯·韦尔 :
现实世界软件的符号生命分析。 CAV(2) 2018 : 447-466 [公元55年] 莉安娜·米凯利安 , 萨沙·穆勒 , 安德烈亚斯·格恩特 , 托马斯·诺尔 :
从故障树综合和优化FDIR恢复策略。 FTSCS公司 2018 : 37-54 [公元54年] 延斯·卡特兰 , 克里斯托夫·马蒂亚 , 托马斯·诺尔 , 弗洛里安·祖勒格 :
Harrsh:关于符号堆分离逻辑的统一推理工具。 LPAR(研讨会和短文) 2018 : 23-36 [公元53年] 汉娜·阿恩特 , 克里斯蒂娜·詹森 , 克里斯托夫·马蒂亚 , 托马斯·诺尔 :
超越上下文自由的基于图形的形状分析。 塞夫姆 2018 : 271-286 [第52条] 蒂姆·兰格 , 弗雷德里克·普林斯 , 马丁·诺瓦厄(Martin R.Neuhäußer) , 托马斯·诺尔 , Joost-Pieter Katoen公司 :
改进软件IC3中的泛化。 自旋蛋白 2018 : 85-102 【d1】 丹尼尔·施梅尔 , 朱利安·勃宁 , 奥斯卡·索里亚·达斯特曼 , 托马斯·诺尔 , 克劳斯·韦尔 :
CAV 2018论文的人工制品:现实世界软件的符号生命分析。 泽诺多 , 2018 [i4] 凯文·巴茨 , 本杰明·卢西安·卡明斯基 , Joost-Pieter Katoen公司 , 克里斯托夫·马蒂亚 , 托马斯·诺尔 :
定量分离逻辑。 CoRR公司 abs/1802.10467 ( 2018 ) 2017 [第51条] 克里斯蒂娜·詹森 , 延斯·卡特兰 , 克里斯托夫·马蒂亚 , 托马斯·诺尔 , 弗洛里安·祖勒格 :
符号堆分离逻辑鲁棒性的统一推理。 员工持股计划 2017 : 611-638 [公元50年] 托马斯·诺尔 , 路易斯·瓦赫梅斯特 :
分析MILS-AADL规范中的加密请求信息流。 MILS(故障指示灯) 2017 [i3] 汉娜·阿恩特 , 克里斯蒂娜·詹森 , 克里斯托夫·马蒂亚 , 托马斯·诺尔 :
超越上下文自由的堆抽象。 CoRR公司 abs/1705.03754 ( 2017 ) [i2] 玛丽克·赫斯曼 , 托马斯·诺尔 , Makoto Tatsuta公司 :
指针程序的分析和验证(NII Shonan会议2017-14)。 NII Shonan会议。 代表。 2017 ( 2017 ) 2016 [i1] 克里斯蒂娜·詹森 , 延斯·卡特兰 , 克里斯托夫·马蒂亚 , 托马斯·诺尔 , 弗洛里安·祖勒格 :
符号堆分离逻辑鲁棒性的统一推理。 CoRR公司 abs/1610.07041 ( 2016 ) 2015 [公元10年] 乔纳森·海宁 , 克里斯蒂娜·詹森 , Joost-Pieter Katoen公司 , 托马斯·诺尔 :
Juggrnaut:使用图形语法抽象无限堆结构。 形式方法系统。 设计。 47 ( 2 ) : 159-203 ( 2015 ) [公元9年] 乔纳森·海宁 , 克里斯蒂娜·詹森 , Joost-Pieter Katoen公司 , 托马斯·诺尔 :
使用图形语法验证指针程序。 科学。 计算。 程序。 97 : 157-162 ( 2015 ) [公元49年] 克里斯托夫·马蒂亚 , 克里斯蒂娜·詹森 , 托马斯·诺尔 :
树状语法和分离逻辑。 阿普拉斯 2015 : 90-108 [公元48年] 蒂姆·兰格 , Martin R.Neuhäußer先生 , 托马斯·诺尔 :
控制流自动机上的IC3软件模型检查。 FMCAD公司 2015 : 97-104 [公元47年] 凯文·范德波尔 , 托马斯·诺尔 :
MILS-AADL规范的安全类型检查。 HiPEAC的MILS 2015 2014 [j8] 马可·波扎诺 , 亚历山德罗·西马蒂 , Joost-Pieter Katoen公司 , 卡氏帕纳吉奥蒂斯 , 康斯坦蒂诺斯·莫科斯 , 越南元 , 托马斯·诺尔 , 巴特·波斯玛 , 马可·罗维里 :
使用正式方法进行航天器早期设计验证。 Reliab公司。 工程系统。 安全。 132 : 20-35 ( 2014 ) [公元46年] 越南元 , 本杰明·比特纳 , Joost-Pieter Katoen公司 , 托马斯·诺尔 :
使用面向成分的插值进行成分分析。 FACS公司 2014 : 68-85 [公元45年] 托马斯·诺尔 :
航空航天系统的安全性、可靠性和性能分析。 FTSCS公司 2014 : 17-31 [公元44年] 克里斯蒂娜·詹森 , 托马斯·诺尔 :
为指针程序生成基于抽象图的过程摘要。 国际燃气轮机 2014 : 49-64 [公元43年] 克里斯蒂娜·詹森 , 弗洛里安·戈贝 , 托马斯·诺尔 :
为指针操作程序的符号执行生成归纳谓词。 国际燃气轮机 2014 : 65-80 [公元42年] 迪米特里·博伦德 , 哈罗德·布鲁因杰斯 , 塞巴斯蒂安·荣格斯 , 延斯·卡特兰 , 越南元 , 托马斯·诺尔 :
实时随机模型的统计模型检查陷阱综述。 ISoLA(2) 2014 : 177-192 [公元41年] Joost-Pieter Katoen公司 , 托马斯·诺尔 , 托马斯·桑顿 , 迪尔克·塞弗特 , 郝武 :
计算服务器的性能分析——利用新GSPN语义的案例研究。 MMB/DFT公司 2014 : 57-72 [第1页] Joost-Pieter Katoen公司 , 越南元 , 托马斯·诺尔 :
基于模型的航天器系统工程中的形式化验证方法。 基于建模与仿真的系统工程手册 2014 : 339-376 2013 [公元40年] Joost-Pieter Katoen公司 , 托马斯·诺尔 , 郝武 , 托马斯·桑顿 , 迪尔克·塞弗特 :
基于模型的汽车控制系统能量优化。 日期 2013 : 761-766 [公元39年] 蒂姆·兰格 , 马丁·诺瓦厄(Martin R.Neuhäußer) , 托马斯·诺尔 :
加快可编程逻辑控制器代码的安全验证。 海法核查会议 2013 : 44-60 [公元38年] 伯恩哈德·恩恩 , 越南元 , 托马斯·诺尔 :
AADL模型失效影响的表征。 SAFECOMP公司 2013 : 241-252 [公元37年] 马库斯·巴尔斯 , 克里斯蒂娜·詹森 , 托马斯·诺尔 :
格雷巴赫范式的增量构造。 TASE公司 2013 : 165-168 2012 [公元36年] 卡迈勒·巴拉卡特 , 斯特凡·科瓦列夫斯基 , 托马斯·诺尔 :
在Pi-Calculus中建模时间行为的本地方法。 TASE公司 2012 : 253-256 2011 [j7] 马可·波扎诺 , 亚历山德罗·西马蒂 , Joost-Pieter Katoen公司 , 越南元 , 托马斯·诺尔 , 马可·罗维里 :
扩展AADL模型的安全性、可靠性和性能分析。 计算。 J。 54 ( 5 ) : 754-775 ( 2011 ) [公元35年] 克里斯蒂娜·詹森 , 乔纳森·海宁 , Joost-Pieter Katoen公司 , 托马斯·诺尔 :
超边缘替换文法的局部Greibach范式。 拉丁美洲旅游协会 2011 : 323-335 2010 [公元34年] 马可·波扎诺 , 亚历山德罗·西马蒂 , Joost-Pieter Katoen公司 , 越南元 , 托马斯·诺尔 , 马可·罗维里 , 拉尔夫·威默 :
AADL的模型检查器。 CAV汽车 2010 : 562-565 [公元33年] 越南元 , 托马斯·诺尔 , 马克斯·奥登布雷特 :
模型检查的切片AADL规范。 NASA形式方法 2010 : 217-221 [公元32年] 约格·布劳尔 , 托马斯·诺尔 , 巴斯蒂安·施利希 :
使用硬件和软件的抽象解释对微控制器代码进行区间分析。 范围 2010 : 三 [公元31年] 沃尔克·卡明 , 托马斯·诺尔 :
使用八边形和可满足性进行循环优化。 SSV公司 2010
2000 – 2009
2009 [公元30年] 巴斯蒂安·施利希 , 托马斯·诺尔 , 约格·布劳尔 , 卢卡斯·布鲁奇 :
减少模型检查嵌入式软件的中断处理程序执行。 海法核查会议 2009 : 5-20 [公元29年] 马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·罗维里 , Joost-Pieter Katoen公司 , 越南元 , 托马斯·诺尔 :
可靠系统的协同设计:一种基于组件的建模语言。 记忆码 2009 : 121-130 [公元28年] 马可·波扎诺 , 亚历山德罗·西马蒂 , Joost-Pieter Katoen公司 , 越南元 , 托马斯·诺尔 , 马可·罗维里 :
关键嵌入式系统的基于模型的协同设计。 ACES-MB@MoDELS公司 2009 [公元27年] 马可·波扎诺 , 亚历山德罗·西马蒂 , Joost-Pieter Katoen公司 , 越南元 , 托马斯·诺尔 , 马可·罗维里 :
COMPASS方法:航空航天系统的正确性、建模和性能。 SAFECOMP公司 2009 : 173-186 [公元26年] 马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·罗维里 , Joost-Pieter Katoen公司 , 越南元 , 托马斯·诺尔 :
aadl模型的验证和性能评估。 ESEC/SIGSOFT FSE 2009 : 285-286 [公元25年] 乔纳森·海宁 , 托马斯·诺尔 , 斯特凡·里格 :
Juggrnaut:无边界堆结构的图形语法抽象。 TTSS公司 2009 : 93-107 2008 [公元24年] 托马斯·诺尔 , 斯特凡·里格 :
验证动态指针操作线程。 FM公司 2008 : 84-99 [c23] 斯特凡·里格 , 托马斯·诺尔 :
通过超边缘替换提取复杂数据结构。 国际燃气轮机 2008 : 69-83 [公元22年] Gerlind Herberich公司 , 巴斯蒂安·施利希 , 卡斯滕·韦斯 , 托马斯·诺尔 :
证明中断处理的有效抽象的正确性。 SSV公司 2008 : 133-150 【c21】 Lars Helge Haß , 托马斯·诺尔 :
减少重写理论状态空间的等式抽象。 WRLA公司 2008 : 139-154 2007 [公元20年] 托马斯·诺尔 , 巴斯蒂安·施利希 :
模型检查嵌入式系统汇编代码中的延迟不确定性。 海法核查会议 2007 : 185-201 [第19条] 托马斯·诺尔 , 斯特凡·里格 :
组合变换以优化线性代码。 ICTAC公司 2007 : 425-439 2006 [j6] 克劳斯标志 , 托马斯·诺尔 :
用严格信息编译递归函数定义的代数正确性证明。 信息学报 43 ( 1 ) : 1-43 ( 2006 ) [j5] 托马斯·诺尔 , 斯特凡·里格 :
重新修订了直线代码的优化。 软件技术——趋势 26 ( 2 ) ( 2006 ) [第18条] 香查尔·库马尔·罗伊 , 托马斯·诺尔 , 巴纳尼·罗伊 , 詹姆斯·科迪 :
通过pi-calculus翻译实现Erlang程序的自动验证。 Erlang研讨会 2006 : 38-50 [第17条] Martin R.Neuhäußer先生 , 托马斯·诺尔 :
Maude核心Erlang程序的抽象和模型检查。 WRLA公司 2006 : 147-163 2005 【j4】 马丁·勒克 , 托马斯·诺尔 , 佩迪塔·史蒂文斯 , 米夏埃尔·韦伯 :
验证工具的函数编程语言:标准ML和Haskell的比较。 国际期刊软件。 技术工具。 Transf公司。 7 ( 2 ) : 184-194 ( 2005 ) [第16条] 托马斯·诺尔 , 香查尔·库马尔·罗伊 :
在像素中建模Erlang。 Erlang研讨会 2005 : 72-77 2003 [j3] 拉尔斯·奥克·弗雷德伦德 , 迪莉安·古罗夫 , 托马斯·诺尔 , Mads大坝 , 托马斯艺术 , 根纳迪·楚格诺夫 :
ERLANG的验证工具。 国际期刊软件。 技术工具。 Transf公司。 4 ( 4 ) : 405-420 ( 2003 ) [第15条] 托马斯·诺尔 :
模型检查Erlang程序的等式抽象。 SVV@ICLP 2003 : 145-162 2002 [第14条] Benedikt Bollig公司 , 马丁·勒克 , 托马斯·诺尔 :
通用常规MSC语言。 FoSSaCS公司 2002 : 52-66 2001 [注2] 托马斯·诺尔 , 海科·福格勒 :
高阶属性树传感器的普遍性。 理论计算。 系统。 34 ( 1 ) : 45-75 ( 2001 ) [第13条] 马丁·勒克 , 托马斯·诺尔 :
Truth/SLC——并发系统的并行验证平台。 CAV汽车 2001 : 255-259 [第12条] 拉尔斯·奥克·弗雷德伦德 , 迪利安·古罗夫 , 托马斯·诺尔 :
Erlang代码的半自动验证。 ASE公司 2001 : 319-323 [第11条] 托马斯·诺尔 , 拉尔斯·奥克·弗雷德伦德 , 迪利安·古罗夫 :
Erlang验证工具。 TACAS公司 2001 : 582-586 [c10] 托马斯·诺尔 :
Erlang的重写逻辑实现。 LDTA@ETAPS(预计到达时间) 2001 : 206-224 2000 【c9】 托马斯艺术 , 托马斯·诺尔 :
验证通用Erlang Client-Server实现。 国际单项体育联合会 2000 : 37-52 【c8】 马丁·勒克 , 托马斯·诺尔 :
重写逻辑作为通用验证工具的框架。 WRLA公司 2000 : 121-137
1990 – 1999
1999 【c7】 托马斯·诺尔 :
团队重写并发模型中的一致性。 CONCUR公司 1999 : 478-493 【c6】 马丁·勒克 , 托马斯·诺尔 :
规范语言实现的快速原型。 IEEE快速系统原型国际研讨会 1999 : 60-65 1998 【c5】 阿洛伊斯·克诺尔 , 克里斯蒂安·阿滕施密特 , 约阿希姆·比斯库普 , 汉斯·马丁·布吕特根 , 英戈·格勒克纳 , 斯文·哈特伦普夫 , 赫尔曼·赫尔比格 , 克里斯蒂安·海宁 , 莱因哈德·吕琳 , 博克哈德·莫尼恩 , 托马斯·诺尔 , 诺伯特·森森 :
多媒体文档语义评估和基于内容检索的集成方法。 ECDL公司 1998 : 409-428 【c4】 亚当·阿尔贝拉克(Adam Albayrak) , 托马斯·诺尔 :
程序方案的WHILE层次是无限的。 FoSSaCS公司 1998 : 35-47 【c3】 马丁·兰格 , 马丁·勒克 , 托马斯·诺尔 , 斯蒂芬·托比 :
Truth-并发系统的验证平台。 系统规范、开发和验证的工具支持 1998 : 150-159 1995 【b1】 托马斯·诺尔 :
克拉森应用程序程序mschema und ihre Berechnungstärke。 德国亚琛RWTH大学, 振动筛 1995 ,国际标准图书编号 978-3-8265-1093-9 ,第1-154页 1994 [j1] 托马斯·诺尔 , 海科·福格勒 :
自顶向下分析与非循环属性文法的同时求值。 芬丹。 信息学 20 ( 4 ) : 285-332 ( 1994 ) 【c2】 托马斯·诺尔 :
关于Call-by-Name和Call-by-Value的一阶等价性。 CAAP公司 1994 : 246-260 1993 【c1】 安德烈亚·金德勒 , 托马斯·诺尔 , 伯恩哈德·斯特芬 :
命令式程序的分层并行化。 产品开发计划 1993 : 178-184