塞巴斯蒂安·南兹
人员信息
附属: 瑞士苏黎世ETH
优化列表
2010 – 2019
2017 [j8] 阿列克谢·科列斯尼琴科 , 克里斯托弗·波斯基特 , 塞巴斯蒂安·南兹 :
SafeGPU:面向对象语言的基于合同和库的GPGPU。 计算。 语言系统。 结构。 48 : 68-88 ( 2017 ) 2015 [公元27年] 阿列克谢·科列斯尼琴科 , 克里斯托弗·波斯基特 , 塞巴斯蒂安·南兹 , 贝特朗·梅耶 :
基于合同的通用GPU编程。 GPCE公司 2015 : 75-84 [公元26年] 塞巴斯蒂安·南兹 , 卡洛·福里亚 :
Rosetta代码中编程语言的比较研究。 ICSE(1) 2015 : 778-788 [公元25年] 斯科特·韦斯特 , 塞巴斯蒂安·南兹 , 贝特朗·梅耶 :
高效合理的面向对象并发。 PPoPP(PPoPP) 2015 : 273-274 [公元24年] 斯科特·韦斯特 , 塞巴斯蒂安·南兹 , 贝特朗·梅耶 :
高效合理的面向对象并发。 ESEC/SIGSOFT FSE 2015 : 734-744 2014 【c23】 本杰明·莫兰迪 , 塞巴斯蒂安·南兹 , 贝特朗·梅耶 :
安全高效的消息传递并发数据共享。 协调 2014 : 99-114 [i10] 斯科特·韦斯特 , 塞巴斯蒂安·南兹 , 贝特朗·梅耶 :
高效合理的面向对象并发。 CoRR公司 abs/1405.7153 ( 2014 ) [第九章] 米沙埃尔·席尔 , 塞巴斯蒂安·南兹 , 贝特朗·梅耶 :
使用共享所有权动态检查安全并发内存访问。 CoRR公司 abs/1407.1245 ( 2014 ) [i8] 塞巴斯蒂安·南兹 , 卡洛·福里亚 :
Rosetta代码中编程语言的比较研究。 CoRR公司 abs/1409.0252 ( 2014 ) [i7] 阿列克谢·科列斯尼琴科 , 克里斯托弗·波斯基特 , 塞巴斯蒂安·南兹 , 贝特朗·梅耶 :
基于契约的通用GPU编程。 CoRR公司 abs/1410.6685 ( 2014 ) 2013 [j7] 塞巴斯蒂安·南兹 , Faraz Torshizi公司 , 米歇拉·佩德罗尼 , 贝特朗·梅耶 :
设计一项用于比较并发编程语言可用性的实证研究。 Inf.软件。 Technol公司。 55 ( 7 ) : 1304-1315 ( 2013 ) [j6] 卡洛·福里亚 , 塞巴斯蒂安·南兹 :
工具欧洲2012特别章节。 J.对象技术。 12 ( 三 ) ( 2013 ) [公元22年] 本杰明·莫兰迪 , 米沙埃尔·席尔 , 塞巴斯蒂安·南兹 , 贝特朗·梅耶 :
原型化并发模型。 ACSD系统 2013 : 170-179 【c21】 本杰明·莫兰迪 , 斯科特·韦斯特 , 塞巴斯蒂安·南兹 , 哈桑·戈玛 :
使用行为设计模式的并发面向对象开发。 ECSA公司 2013 : 25-32 [公元20年] 塞巴斯蒂安·南兹 , 斯科特·韦斯特 , 凯·索尔斯·达席尔维拉(Kaue Soares da Silveira) , 贝特朗·梅耶 :
多核语言的可用性和性能基准测试。 电子安全管理系统 2013 : 183-192 [第19条] 塞巴斯蒂安·南兹 , 斯科特·韦斯特 , 凯·索尔斯·达席尔维拉(Kaue Soares da Silveira) :
检查并行编程中的专家差距。 欧洲-保时捷 2013 : 434-445 [第18条] 米沙埃尔·席尔 , 塞巴斯蒂安·南兹 , 贝特朗·梅耶 :
在并发模型中处理并行性。 缪斯帕特 2013 : 37-48 [第17条] 阿列克谢·科列斯尼琴科 , 塞巴斯蒂安·南兹 , 贝特朗·梅耶 :
如何取消任务。 MUSEPAT公司 2013 : 61-72 [i6] 塞巴斯蒂安·南兹 , 斯科特·韦斯特 , 凯·索尔斯·达席尔维拉(Kaue Soares da Silveira) :
多核语言的可用性和性能基准测试。 CoRR公司 abs/1302.2837 ( 2013 ) [i5] 米沙埃尔·席尔 , 塞巴斯蒂安·南兹 , 贝特朗·梅耶 :
在并发模型中处理并行性。 CoRR公司 abs/1308.0938 ( 2013 ) 2012 [j5] 本杰明·莫兰迪 , 塞巴斯蒂安·南兹 , 贝特朗·梅耶 :
SCOOP计划的性能分析。 J.系统。 柔和。 85 ( 11 ) : 2519-2530 ( 2012 ) [第16条] 本杰明·莫兰迪 , 塞巴斯蒂安·南兹 , 贝特朗·梅耶 :
谁应对异步异常负责? 亚太经合组织 2012 : 462-471 [第15条] 斯科特·韦斯特 , 塞巴斯蒂安·南兹 , 贝特朗·梅耶 :
并发程序的恶魔测试。 ICFEM公司 2012 : 478-493 [第14条] 本杰明·莫兰迪 , 塞巴斯蒂安·南兹 , 贝特朗·梅耶 :
异步异常可以过期吗? WEH@ICSE公司 2012 : 4-6 [电子2] 卡洛·福里亚 , 塞巴斯蒂安·南兹 :
对象、模型、组件、模式——第50届国际会议,2012年工具,捷克共和国布拉格,2012年5月29日至31日。 诉讼程序。 计算机科学讲义 7304, 施普林格 2012 ,国际标准图书编号 978-3-642-30560-3 [目录] [i4] 本杰明·莫兰迪 , 斯科特·韦斯特 , 塞巴斯蒂安·南兹 , 哈桑·戈玛 :
使用行为设计模式的并发面向对象开发。 CoRR公司 abs/1212.5491 ( 2012 ) 2011 【j4】 弗莱明·尼尔森 , 塞巴斯蒂安·南兹 , 汉内·里斯·尼尔森 :
并发行为的模式抽象。 ACM事务处理。 计算。 日志。 12 ( 三 ) : 18:1-18:40 ( 2011 ) [第13条] 塞巴斯蒂安·南兹 , Faraz Torshizi公司 , 米歇拉·佩德罗尼 , 贝特朗·梅耶 :
并发教学语言的实证评估:方法和应用。 CSEE&T公司 2011 : 477-481 [第12条] 塞巴斯蒂安·南兹 , Faraz Torshizi公司 , 米歇拉·佩德罗尼 , 贝特朗·梅耶 :
设计一项用于比较并发编程语言可用性的实证研究。 电子安全管理系统 2011 : 325-334 [e1] 塞巴斯蒂安·南兹 :
软件工程的未来。 施普林格 2011 ,国际标准图书编号 978-3-642-15186-6 [目录] [i3] 本杰明·莫兰迪 , 塞巴斯蒂安·南兹 , 贝特朗·梅耶 :
SCOOP编程模型的全面操作语义。 CoRR公司 abs/1101.1038 ( 2011 ) [i2] 本杰明·莫兰迪 , 塞巴斯蒂安·南兹 , 贝特朗·梅耶 :
并发SCOOP程序的记录重放调试。 CoRR公司 abs/1111.1170 ( 2011 ) 2010 [j3] 塞巴斯蒂安·南兹 , 弗莱明·尼尔森 , 汉内·里斯·尼尔森 :
拓扑相关广播网络的静态分析。 Inf.计算。 208 ( 2 ) : 117-139 ( 2010 ) [注2] 莫里茨·Y·贝克尔 , 塞巴斯蒂安·南兹 :
状态修改授权策略的逻辑。 ACM事务处理。 信息系统。 安全。 13 ( 三 ) : 20:1-20:28 ( 2010 ) [第11条] 斯科特·韦斯特 , 塞巴斯蒂安·南兹 , 贝特朗·梅耶 :
面向对象编程模型中防止死锁的模块化方案。 ICFEM公司 2010 : 597-612 [第10条] 加内什·拉马纳桑 , 本杰明·莫兰迪 , 斯科特·韦斯特 , 塞巴斯蒂安·南兹 , 贝特朗·梅耶 :
从行为规范派生并发控制软件。 IROS公司 2010 : 1994-1999 【c9】 本杰明·莫兰迪 , 塞巴斯蒂安·南兹 , 贝特朗·梅耶 :
SCOOP的正式参考。 LASER暑期学校 2010 : 89-157 [i1] 塞巴斯蒂安·南兹 , 法拉兹·托尔希齐 , 米歇拉·佩德罗尼 , 贝特朗·梅耶 :
两种面向对象并发编程语言可用性的比较研究。 CoRR公司 abs/1011.6047 ( 2010 )
2000 – 2009
2009 【c8】 Jens Chr.公司。 哥斯克森 , 塞巴斯蒂安·南兹 :
无线网络的移动性模型和行为等效性。 协调 2009 : 106-122 2008 [c7] 莫里茨·Y·贝克尔 , 塞巴斯蒂安·南兹 :
绑架在声明授权政策中的作用。 PADL(PADL) 2008 : 84-99 【c6】 塞巴斯蒂安·南兹 , 弗莱明·尼尔森 , 汉内·里斯·尼尔森 :
并发行为的模式抽象。 SAS公司 2008 : 159-173 【c5】 塞巴斯蒂安·南兹 , Terkel K.Tolstrup公司 :
面向目标的服务组合。 SC@ETAPS(预计到达时间) 2008 : 109-124 2007 【c4】 塞巴斯蒂安·南兹 , 弗莱明·尼尔森 , 汉内·里斯·尼尔森 :
广播网络的拓扑相关抽象。 CONCUR公司 2007 : 226-240 【c3】 莫里茨·Y·贝克尔 , 塞巴斯蒂安·南兹 :
状态修改授权策略的逻辑。 ESORICS公司 2007 : 203-218 2006 【b1】 塞巴斯蒂安·南兹 :
移动自组织网络的规范和安全分析。 英国伦敦帝国理工学院, 2006 [j1] 塞巴斯蒂安·南兹 , 克里斯·汉金 :
移动无线网络的安全分析框架。 西奥。 计算。 科学。 367 ( 1-2 ) : 203-227 ( 2006 ) 2004 【c2】 马丁·威尔莫瑟 , 托比亚斯·尼普科 , 格温·克莱因 , 塞巴斯蒂安·南兹 :
原型验证携带代码。 IFIP TCS 2004 : 333-347 【c1】 塞巴斯蒂安·南兹 , 克里斯·汉金 :
Ad-Hoc网络的形式化安全分析。 FOSAD的VODCA 2004 : 195-213