S.拉梅什 0001
人员信息
附属： 印度孟买印度理工学院
其他同名人员
优化列表
2000 – 2009
2007 
[公元27年] Ajith K.约翰 , 巴比塔·夏尔马 , A.K.巴塔查吉 , S.D.Dhodapkar公司 , S.拉梅什 :
MISRA C程序中运行时错误的检测：一种演绎方法。 SAFECOMP公司 2007 : 491-504 2006 [公元12年] 曼加拉·戈瑞·南达 , S.拉梅什 :
使用Java应用程序对多线程程序进行跨过程切片。 ACM事务处理。 程序。 语言系统。 28 ( 6 ) : 1088-1144 ( 2006 ) [公元26年] 普兰达尔·巴杜里 
, S.拉梅什 :
同步接口的合成。 ACSD系统 2006 : 208-216 2004 [公元25年] 维贾伊·德席尔瓦 , S.拉梅什 , Arcot Sowmya公司 :
同步协议自动机：SoC通信架构建模和验证框架。 日期 2004 : 390-395 [公元24年] 安巴尔·加德卡里 , S.拉梅什 , 鲁宾·A·帕雷基 :
CESC：SoC规范和验证的可视化形式。 ACM大湖区超大规模集成电路研讨会 2004 : 354-357 [c23] S.拉梅什 , 阿迪蒂亚·拉杰夫·库尔卡尼 , 维拉杰·卡马特 :
同步反应式程序的切片工具。 ISSTA公司 2004 : 217-220 [公元22年] 维杰·德席尔瓦 , S.拉梅什 , Arcot Sowmya公司 :
故障包装上的桥接：自动界面合成。 超大型积体电路设计 2004 : 189-194 2003 [公元11年] 巴比塔·夏尔马 , S.D.Dhodapkar公司 , S.拉梅什 :
用于C程序正式验证的断言检查环境（ACE）。 Reliab公司。 工程系统。 安全。 81 ( 三 ) : 281-290 ( 2003 ) 【c21】 曼加拉·戈瑞·南达 , S.拉梅什 :
多线程Java程序的指针分析。 囊 2003 : 1068-1075 [公元20年] 阿斯夫·伊克巴尔 , A.K.巴塔查吉 , S.D.Dhodapkar公司 , S.拉梅什 :
分布式反应系统的可视化建模与验证。 SAFECOMP公司 2003 : 22-34 [第19条] 阿迪蒂亚·拉杰夫·库尔卡尼 , S.拉梅什 :
反应式程序的静态切片。 SCAM公司 2003 : 98-107 2002 [第18条] Partha S.Roop公司 , Arcot Sowmya公司 , S.拉梅什 :
k时间强制模拟：IP重用的形式化验证技术。 ICCD公司 2002 : 50-55 [第17条] 巴比塔·夏尔马 , S.D.Dhodapkar公司 , S.拉梅什 :
C程序形式验证的断言检查环境（ACE）。 SAFECOMP公司 2002 : 284-295 [第16条] 维诺德·加纳帕西 , S.拉梅什 :
切片同步反应式程序。 ETAPS时的SLAP 2002 : 50-64 2001 [公元10年] Partha S.Roop公司 , Arcot Sowmya公司 , S.拉梅什 :
强制模拟：一种在嵌入式系统中自动重用组件的技术。 ACM事务处理。 设计自动。 选举人。 系统。 6 ( 4 ) : 602-628 ( 2001 ) [公元9年] 斯里达尔·伊耶 , S.拉梅什 :
分摊：一种对并发面向对象程序进行有效可达性分析的技术。 IEEE传输。 软件工程。 27 ( 11 ) : 1037-1056 ( 2001 ) [第15条] Partha S.Roop公司 , Arcot Sowmya公司 , S.拉梅什 :
同步程序基于组件开发的一种形式化方法。 ASP-DAC公司 2001 : 421-424 2000 [j8] R.K.Shyamasundar先生 , S.拉梅什 :
反应式规范的语言：同步与异步。 Int.J.找到。 计算。 科学。 11 ( 2 ) : 283-314 ( 2000 ) [第14条] Partha S.Roop公司 , Arcot Sowmya公司 , S.拉梅什 :
通过强制仿真实现的自动部件自适应。 ACAC公司 2000 : 74-81 [第13条] 曼加拉·戈瑞·南达 , S.拉梅什 :
切片并发程序。 ISSTA公司 2000 : 180-190 [第12条] 帕塔S.罗普 , Arcot Sowmya公司 , S.拉梅什 :
使用强制模拟的自动组件匹配。 超大型积体电路设计 2000 : 64-69
1990 – 1999
1999 [j7] S.拉梅什 :
实施沟通反应过程。 并行计算。 25 ( 6 ) : 703-727 ( 1999 ) [第11条] S.拉梅什 , 普兰达尔·巴杜里 :
使用Esterel工具验证流水线处理器设计：案例研究。 腔静脉 1999 : 84-95 1998 [j6] S.拉梅什 , Chandrashekar M.Shetty先生 :
抢占状态下不可能同步。 并行过程。 莱特。 8 ( 1 ) : 111-120 ( 1998 ) [j5] Arcot Sowmya公司 , S.拉梅什 :
用时序逻辑扩展状态图。 IEEE传输。 软件工程。 24 ( 三 ) : 216-231 ( 1998 ) [c10] 斯里达尔·伊耶 , S.拉梅什 :
分摊：一种对并发面向对象程序进行有效可达性分析的技术。 高性能计算机 1998 : 124-131 1997 【c9】 斯里达尔·伊耶 , S.拉梅什 :
并发面向对象程序可达性分析的工具套件。 亚太经合组织 1997 : 160- 【c8】 萨米尔·马哈扬 , S.拉梅什 :
并发逻辑程序设计和pi微积分。 ICLP公司 1997 : 411 1996 【j4】 S.拉梅什 , Bommadevara N.Srinivas公司 :
完井的直接表征。 西奥。 计算。 科学。 154 ( 2 ) : 379-385 ( 1996 ) 1994 【c7】 R.K.Shyamasundar先生 , S.拉梅什 :
反应式规范的语言：同步与异步。 FTRTFT公司 1994 : 621-640 【c6】 R.K.Shyamasundar先生 , S.拉梅什 :
分层CRP程序的语义和验证。 混合动力系统 1994 : 436-461 1993 【c5】 杰拉德·贝瑞 , S.拉梅什 , R.K.Shyamasundar先生 :
沟通被动过程。 POPL公司 1993 : 85-98 1992 [j3] 乔泽夫·胡曼 , S.拉梅什 , 威廉·德罗弗 :
状态图的组合公理化。 西奥。 计算。 科学。 101 ( 2 ) : 289-335 ( 1992 ) 【c4】 S.拉梅什 :
高阶通信系统的完全抽象语义。 MFCS公司 1992 : 463-471 1990 [注2] S.拉梅什 :
关于模块证明系统的完备性。 信息处理。 莱特。 36 ( 4 ) : 195-201 ( 1990 )
1980 – 1989
1987 【c3】 S.拉梅什 :
带有输出保护的CSP的一种新的高效实现。 ICDCS系统 1987 : 266-273 【c2】 S.拉梅什 :
多进程同步的一种新的高效实现。 第（2）部分 1987 : 387-401 1985 【c1】 S.拉梅什 , S.L.Mehndiratta公司 :
分布式计算系统的一类新的高级程序。 FSTTCS公司 1985 : 42-72 1983 [j1] S.拉梅什 , S.L.Mehndiratta公司 :
现场垃圾收集器的活性特性——一个证明。 信息处理。 莱特。 17 ( 4 ) : 189-195 ( 1983 )
合著者索引
