Shmuel Katz先生
人员信息
附属： Technion-以色列海法以色列理工学院
优化列表
2010 – 2019
2016 
[j35] 辛西娅·迪森菲尔德 , Shmuel Katz先生 :
在基于事件的分层系统中开发和验证响应规范。 LNCS事务。 模块。 作曲。 1 : 41-79 ( 2016 ) 2015 [公元34年] 迪玛·埃伦博根 , Shmuel Katz先生 , 奥弗·斯特里赫曼 
:
证明双方终止。 形式方法系统。 设计。 47 ( 2 ) : 204-229 ( 2015 ) 2014 [公元59年] 史蒂文·特·布林克 , 索马里马拉库蒂 , 克里斯托夫·博基什 , 洛德维克·伯格曼 , 梅赫迈特·阿克西特 , Shmuel Katz先生 :
能源感知软件模块化设计的工具支持方法。 囊 2014 : 1206-1212 2013 [公元58年] 史蒂文·特·布林克 , 克里斯托夫·博基什 , Lodewijk Bergmans公司 , 索马里马拉库蒂 , 穆罕默德·阿克西特 , Shmuel Katz先生 :
导出资源利用的最小模型。 GIBSE@AOSD 2013 : 15-18 [公元57年] 辛西娅·迪森菲尔德 , Shmuel Katz先生 :
事件检测器和响应的规范和验证。 AOSD公司 2013 : 121-132 2012 [公元33年] Shmuel Katz先生 , 大卫·费特尔森 :
通用防方面环境。 国际期刊软件。 技术工具。 Transf公司。 14 ( 1 ) : 41-52 ( 2012 ) [公元56年] 辛西娅·迪森菲尔德 , Shmuel Katz先生 :
仔细看一下方面的干扰与合作。 AOSD公司 2012 : 107-118 [c55] 迪玛·埃伦博根 , Shmuel Katz先生 , 奥弗·斯特里赫曼 :
证明程序的相互终止。 海法核查会议 2012 : 24-39 [电子5] Shmuel Katz先生 , 加里·利文斯 , Hidehiko Masuhara先生 :
第十一届面向方面语言基础研讨会论文集，FOAL 2012，波茨坦，德国，2012年3月25-30日。 ACM公司 2012 ，国际标准图书编号 978-1-4503-1099-4 [目录] 2011 [公元54年] 克里斯托夫·博基什 , 索马里马拉库蒂 , 梅赫迈特·阿克西特 , Shmuel Katz先生 :
使方面自然：事件和组成。 AOSD公司 2011 : 285-300 [公元53年] 辛西娅·迪森菲尔德 , Shmuel Katz先生 :
事件和观察员的组成验证：（摘要）。 FOAL公司 2011 : 1-5 [第52条] Antti Jääskeläinen , 米卡·卡塔拉 , Shmuel Katz先生 , 海基·维塔宁 :
安全关键系统的验证：使用现代模型检查工具的案例研究报告。 SSV公司 2011 : 44-56 [电子4] Shmuel Katz先生 , 米拉·梅齐尼 , 克里斯塔·施万宁格 , 沃特·乔森 :
面向方面软件开发汇刊VIII。 计算机科学课堂讲稿 6580, 施普林格 2011 ，国际标准图书编号 978-3-642-22030-2 [目录] 2010 [公元32年] 马克斯·戈德曼 , 艾米莉亚·卡茨 , Shmuel Katz先生 :
MAVEN：模块化方面验证和干扰分析。 形式方法系统。 设计。 37 ( 1 ) : 61-92 ( 2010 ) [第51条] 塞利姆·西拉奇 , 索马里马拉库蒂 , Shmuel Katz先生 , 梅赫迈特·阿克西特 :
检查UML模型和实现之间的对应关系。 RV汽车 2010 : 198-213 [公元50年] 艾米莉亚·卡茨 , Shmuel Katz先生 :
处理共享方面连接点的规范优化用户查询。 SEFM公司 2010 : 73-82 [电子3] Shmuel Katz先生 , 米拉·梅齐尼 , Jörg Kienzle公司 :
面向方面软件开发汇刊VII-面向方面建模的常见案例研究。 计算机科学课堂讲稿 6210, 施普林格 2010 ，国际标准图书编号 978-3-642-16085-1 [目录]
2000 – 2009
2009 [公元31年] 艾丽斯·莱因哈特斯·伯杰 , 多夫·多里 , Shmuel Katz先生 :
在系统分析和设计中重用半指定的行为模型。 柔和。 系统。 模型。 8 ( 2 ) : 221-234 ( 2009 ) 【j30】 Ruzanna Chitchyan公司 , 约翰·法布里 , Shmuel Katz先生 , 阿伦德·伦辛克 :
依赖性和与方面的相互作用专题编辑。 LNCS事务。 面向方面的软件。 开发。 5 : 133-134 ( 2009 ) [c49] 奥伦·米沙利 , Shmuel Katz先生 :
HighspectJ框架。 ACP4IS@AOSD 2009 : 19-24 [公元48年] 艾米莉亚·卡茨 , Shmuel Katz先生 :
强侵入方面的模块化验证。 语言：从形式到自然 2009 : 128至147 [公元47年] 艾米莉亚·卡茨 , Shmuel Katz先生 :
强侵袭性方面的模块化验证：总结。 FOAL公司 2009 : 7-12 [公元46年] 叶夫根妮亚·阿尔佩林·蒂默曼 , Shmuel Katz先生 :
方面系统属性的数据流分析。 海法核查会议 2009 : 87-101 [e2] 奥尔娜·格伦伯格 , 迈克尔·卡明斯基 , Shmuel Katz先生 , Shuly Wintner公司 :
语言：从形式到自然，献给尼西姆·弗朗切斯65岁生日之际的散文。 计算机科学课堂讲稿 5533, 施普林格 2009 ，国际标准图书编号 978-3-642-01747-6 [目录] [电子1] Shmuel Katz先生 , 哈罗德·奥斯舍 , 罗伯特·B·法国 , 让-马克·杰泽克尔 :
面向方面软件开发学报VI，面向方面和模型驱动工程专刊。 计算机科学课堂讲稿 5560, 施普林格 2009 ，国际标准图书编号 978-3-642-03763-4 [目录] 2008 [公元45年] Shmuel Katz先生 :
方面和形式方法。 FM公司 2008 : 1-11 [c44] 艾米莉亚·卡茨 , Shmuel Katz先生 :
方面之间干扰的增量分析。 FOAL公司 2008 : 29-38 [公元43年] 奥伦·米沙利 , 耶尔·杜宾斯基 , Shmuel Katz先生 :
用于测试驱动开发的TDD指南培训和指导工具。 XP（极限编程） 2008 : 63-72 2007 [公元29年] 米卡·卡塔拉 , Shmuel Katz先生 :
面向方面软件设计的关注体系结构视图。 柔和。 系统。 模型。 6 ( 三 ) : 247-265年 ( 2007 ) [公元28年] 奥尔娜·格伦伯格 , Shmuel Katz先生 :
VeriTech：一个在模型描述符号之间进行转换的框架。 国际期刊软件。 技术工具。 Transf公司。 9 ( 2 ) : 119-132 ( 2007 ) [公元42年] 马克斯·戈德曼 , Shmuel Katz先生 :
MAVEN：模块化方面验证。 TACAS公司 2007 : 308-322 2006 [公元27年] 约翰·布里肖 , Ruzanna Chitchyan公司 , 西奥班·克拉克 , 埃利·德亨特 , 亚历山德罗·加西亚 , 迈克尔·豪普特 , 沃特·乔森 , Shmuel Katz先生 , 雅克·诺伊 , 阿韦斯·拉希德 , 马里奥·苏德霍尔特 :
面向方面软件开发的示范课程。 IEEE软件。 23 ( 6 ) : 53-61 ( 2006 ) [公元26年] Shmuel Katz先生 :
方面类别和时间属性类。 LNCS事务。 面向方面的软件。 开发。 1 : 106-134 ( 2006 ) [公元41年] 奥伦·米沙利 , Shmuel Katz先生 :
使用方面支持软件过程：XP over Eclipse。 AOSD公司 2006 : 169-179 [公元40年] Shmuel Katz先生 :
使用方面和形式化方法的严格容错。 RODIN手册 2006 : 226-240 2005 [公元25年] 艾丽斯·莱因哈特斯·伯杰 , 多夫·多里 , Shmuel Katz先生 :
代码移动和迁移建模：OPM/Web方法。 国际网络工程技术杂志。 2 ( 1 ) : 6-28 ( 2005 ) [公元39年] 艾米莉亚·卡茨 , Shmuel Katz先生 :
验证基于场景的方面规范。 FM公司 2005 : 432-447 2004 [公元38年] Shmuel Katz先生 , 阿韦斯·拉希德 :
从面向方面系统的方面要求到证明义务。 重新 2004 : 48至57 2003 [公元24年] 马塞洛·西曼 , Shmuel Katz先生 :
叠加和面向方面编程。 计算。 J。 46 ( 5 ) : 529-541 ( 2003 ) [公元23年] 马塞洛·格鲁斯曼 , Shmuel Katz先生 :
方便计算证明方法的机械化证明环境。 形式方法系统。 设计。 23 ( 2 ) : 115-142 ( 2003 ) [公元37年] 米卡·卡塔拉 , Shmuel Katz先生 :
各方面的建筑视图。 AOSD公司 2003 : 1-10个 [公元36年] Shmuel Katz先生 , 马塞洛·西曼 :
使用模型检查进行方面验证。 验证：理论与实践 2003 : 373-394 [公元35年] 马塞洛·格鲁斯曼 , Shmuel Katz先生 :
模型检查与基于场景的规范的一致性。 CAV汽车 2003 : 328-340 2002 [公元22年] 艾丽斯·莱因哈特斯·伯杰 , 多夫·多里 , Shmuel Katz先生 :
OPM/Web-用于开发Web应用程序的对象过程方法论。 安。柔。 工程师。 13 ( 1-4 ) : 141-161 ( 2002 ) [公元34年] 马塞洛·西曼 , Shmuel Katz先生 :
分布式系统的叠加演算。 AOSD公司 2002 : 28至40 [公元33年] 艾丽斯·莱因哈特斯·伯杰 , 多夫·多里 , Shmuel Katz先生 :
在OPM/We中打开组件设计的重用。 COMPSAC公司 2002 : 19-26 [公元32年] Shmuel Katz先生 , 奥尔娜·格伦伯格 :
翻译模型和规范的框架。 国际单项体育联合会 2002 : 145-164 [公元31年] 卡特琳娜·科伦布拉特 , 奥尔娜·格伦伯格 , Shmuel Katz先生 :
文本转换系统和Petri网之间的转换。 国际单项体育联合会 2002 : 339-359 2001 [c30] 马塞洛·格鲁斯曼 , Shmuel Katz先生 :
将有限前缀的内存一致性扩展到无限计算。 CONCUR公司 2001 : 411-425 [公元29年] 艾丽斯·莱因哈特斯·伯杰 , 多夫·多里 , Shmuel Katz先生 :
使用OPM/Web开发Web应用程序。 DIWeb（数字互联网） 2001 : 47至61 [公元28年] Shmuel Katz先生 :
模型和规范之间的忠实翻译。 失效模式与后果 2001 : 419-434
1990 – 1999
1999 [公元21年] 泽夫·科林 , 里娜·德希特 , Shmuel Katz先生 :
自稳定分布式约束满足。 别致。 J.西奥。 计算。 科学。 1999 ( 1999 ) [公元20年] Shmuel Katz先生 , 希勒尔·米勒 :
通过充分利用不可见过渡节省空间。 形式方法系统。 设计。 14 ( 三 ) : 311-332 ( 1999 ) [公元27年] 马塞洛·格鲁斯曼 , Shmuel Katz先生 :
计算等价性的机械化证明。 CAV汽车 1999 : 354-367 [公元26年] Shmuel Katz先生 , 约瑟夫·吉尔 :
方面和重叠。 ECOOP研讨会 1999 : 308-309 1997 [公元25年] Shmuel Katz先生 , 帕特里克·林肯 , 约翰·拉什比 :
低超限时间触发组成员身份。 WDAG公司 1997 : 155-169 1996 [公元24年] 希勒尔·米勒 , Shmuel Katz先生 :
通过充分利用不可见过渡节省空间。 CAV汽车 1996 : 336至347 【c23】 Shmuel Katz先生 :
时态逻辑中使用全局等价证明的精化。 验证中的偏序方法 1996 : 59-78 1994 [公元19年] 加迪·塔本费尔德 , Shmuel Katz先生 , 什洛莫·莫兰 :
不可能导致出现多个故障进程。 Inf.计算。 113 ( 2 ) : 173-198 ( 1994 ) [公元22年] Shmuel Katz先生 :
ISTL的全局等效性证明。 国际刑事法庭 1994 : 17-29 【c21】 约翰·霍华德 , Shmuel Katz先生 :
对账。 PODC公司 1994 : 14-21 1993 [公元18年] Shmuel Katz先生 , 肯尼斯·J·佩里 :
消息传递系统的自稳定扩展。 分布式计算。 7 ( 1 ) : 17-26 ( 1993 ) [公元17年] Shmuel Katz先生 :
分布式系统的叠加控制结构。 ACM事务处理。 程序。 语言系统。 15 ( 2 ) : 337-356 ( 1993 ) 1992 [公元16年] Shmuel Katz先生 , 多龙·A·贝利德 :
使用代表性交错序列验证分布式程序。 分布式计算。 6 ( 2 ) : 107-120 ( 1992 ) [公元15年] Shmuel Katz先生 , 多龙·A·贝利德 :
使用折叠定义条件独立性。 西奥。 计算。 科学。 101 ( 2 ) : 337-359 ( 1992 ) 1991 [公元14年] 马丁·阿巴迪 , 博文阿尔卑斯山 , Krzysztof R.Apt公司 , 尼西姆·弗朗西兹 , Shmuel Katz先生 , 莱斯利·兰伯特 , 弗雷德·施耐德 :
保护生命：关于“从方法论角度看安全和生命”的评论。 信息处理。 莱特。 40 ( 三 ) : 141-142 ( 1991 ) [公元20年] 泽夫·科林 , 里娜·德希特 , Shmuel Katz先生 :
分布式约束满足的可行性。 国际JCAI 1991 : 318-324 [第19条] 多龙·A·贝利德 , Shmuel Katz先生 , 阿米尔·普努利 :
在时序逻辑中指定和证明可串行性。 低收入国家 1991 : 232-244 1990 [j13] Shmuel Katz先生 , 多龙·A·贝利德 :
交错集时序逻辑。 西奥。 计算。 科学。 75 ( 三 ) : 263-287 ( 1990 ) [公元12年] German S.Goldszmidt先生 , 沙乌拉·耶米尼 , Shmuel Katz先生 :
并发程序的高级语言调试。 ACM事务处理。 计算。 系统。 8 ( 4 ) : 311-336 ( 1990 ) [第18条] Shmuel Katz先生 , 伊拉·福曼 , 迈克尔·布道者 :
分布式系统的语言结构。 编程概念和方法 1990 : 73-100 [第17条] Shmuel Katz先生 , 肯尼思·佩里 :
消息传递系统的自稳定扩展。 PODC公司 1990 : 91-101
1980 – 1989
1989 [公元11年] 加迪·塔本费尔德 , Shmuel Katz先生 , 什洛莫·莫兰 :
分布式计算中的初始失败。 国际J并行程序。 18 ( 4 ) : 255-276 ( 1989 ) [j10] 迈克尔·布道者 , 尼西姆·弗朗西兹 , Shmuel Katz先生 :
进程间通信和同步的多方交互。 IEEE传输。 软件工程。 15 ( 11 ) : 1417-1426 ( 1989 ) [第16条] 加迪·塔本费尔德 , Shmuel Katz先生 , 什洛莫·莫兰 :
不可能导致出现多个错误进程（初步版本）。 FSTTCS公司 1989 : 109-120 1988 [公元9年] Krzysztof R.Apt公司 , 尼西姆·弗朗西兹 , Shmuel Katz先生 :
评估分布式编程语言的公平性。 分布式计算。 2 ( 4 ) : 226-241 ( 1988 ) [j8] 奥里特·巴鲁克 , Shmuel Katz先生 :
CSP编程的部分解释模式。 科学。 计算。 程序。 10 ( 1 ) : 1-18 ( 1988 ) [第15条] German S.Goldszmidt先生 , Shmuel Katz先生 , 沙乌拉·耶米尼 :
并发语言的交互式黑盒调试。 并行和分布式调试研讨会 1988 : 271-282 [第14条] Shmuel Katz先生 , 多龙·A·贝利德 :
一种有效的并行和分布式程序验证方法。 REX研讨会 1988 : 489-507 1987 [j7] 尼西姆·弗朗西兹 , Shmuel Katz先生 :
公平性和控制谓词公理。 国际J并行程序。 16 ( 4 ) : 263-278 ( 1987 ) [j6] Shmuel Katz先生 , 奥德·什穆埃利 :
用于动态循环预防的协作分布式算法。 IEEE传输。 软件工程。 13 ( 5 ) : 540-552 ( 1987 ) [第13条] Shmuel Katz先生 , 查尔斯·里希特 , Khe-Sing The公司 :
巴黎：一个重新使用部分解释的模式的系统。 ICSE公司 1987 : 377-386 [第12条] Shmuel Katz先生 , 多龙·A·贝利德 :
交错集时序逻辑（初步版本）。 PODC公司 1987 : 178-190 [第11条] Krzysztof R.Apt公司 , 尼西姆·弗朗西兹 , Shmuel Katz先生 :
评估分布式编程语言的公平性。 POPL公司 1987 : 189-198 [第10条] Shmuel Katz先生 , 多龙·A·贝利德 :
交错设置时间逻辑。 规范中的时态逻辑 1987 : 21-43 1986 [j5] 奥尔娜·格伦伯格 , 尼西姆·弗朗西兹 , Shmuel Katz先生 :
公平终止的完整规则。 J.计算。 系统。 科学。 33 ( 三 ) : 313-332 ( 1986 ) 【c9】 Shmuel Katz先生 , 加迪·塔本费尔德 :
流程知识：定义和证明方法（初版）。 PODC公司 1986 : 249-262 1985 【c8】 尼西姆·弗朗西兹 , 奥尔娜·格伦伯格 , Shmuel Katz先生 , 阿米尔·普努利 :
证明Prolog程序的终止。 程序逻辑 1985 : 89-105 1984 【c7】 奥尔娜·格伦伯格 , 尼西姆·弗朗西兹 , Shmuel Katz先生 :
通信过程终止失败。 PODC公司 1984 : 254-265 1983 【c6】 奥尔娜·格伦伯格 , 尼西姆·弗朗西兹 , Shmuel Katz先生 :
强公平终止的竞争证明规则。 程序逻辑 1983 : 257-278 1981 【c5】 Shmuel Katz先生 , 鲁斯·齐默尔曼 :
开发数据表示的咨询系统。 国际JCAI 1981 : 1030-1036 1980 【j4】 Shmuel Katz先生 , 劳伦斯·里斯曼 , 迈克尔·罗德 :
构建线性规划模型的系统。 IBM系统。 J。 19 ( 4 ) : 505-520 ( 1980 )
1970 – 1979
1978 [j3] Shmuel Katz先生 :
使用不变量进行程序优化。 IEEE传输。 软件工程。 4 ( 5 ) : 378-389 ( 1978 ) 1977 【c4】 斯坦利·罗森申 , Shmuel Katz先生 :
数据结构表示的选择。 人工智能与编程语言 1977 : 147-154 1976 [注2] Shmuel Katz先生 , 佐哈尔·曼纳 :
程序的逻辑分析。 Commun公司。 ACM公司 19 ( 4 ) : 188-206 ( 1976 ) 【c3】 Shmuel Katz先生 :
使用不变量进行程序优化。 ECI公司 1976 : 第287页至第309页 1975 [j1] Shmuel Katz先生 , 佐哈尔·曼纳 :
进一步了解终止。 信息学报 5 : 333-352 ( 1975 ) 【c2】 Shmuel Katz先生 , 佐哈尔·曼纳 :
实现程序的自动调试。 可靠的软件 1975 : 143-155年 1973 【c1】 Shmuel Katz先生 , 佐哈尔·曼纳 :
程序验证的启发式方法。 国际JCAI 1973 : 500-512
合著者索引
