M.Raj Mohan先生
人员信息
优化列表
2010 – 2019
2019 【c7】 阿莫尔·瓦坎卡 , 帕里托什·K·潘迪亚 , 拉杰·莫汉·马特普拉克尔 :
DCSynth:具有软需求的引导反应合成。 VSTTE公司 2019 : 124-142 [i3] 阿莫尔·瓦坎卡 , 帕里托什·K·潘迪亚 , 拉杰·莫汉·马特普拉克尔 :
DCSYNTH:具有软需求的引导反应合成工具。 CoRR公司 abs/1903.03991 ( 2019 ) 2017 【c6】 拉杰·莫汉·马特普拉克尔 , 帕里托什·K·潘迪亚 , 阿莫尔·瓦坎卡 :
离散时间微积分中时序图要求的形式化。 SEFM公司 2017 : 253-268 [i2] 拉杰·莫汉·马特普拉克尔 , 帕里托什·K·潘迪亚 , 阿莫尔·瓦坎卡 :
离散时间微积分中时序图要求的形式化。 CoRR公司 abs/1705.04510 ( 2017 ) [i1] 阿莫尔·瓦坎卡 , 帕里托什·K·潘迪亚 , 拉杰·莫汉·马特普拉克尔 :
DCSYNTH:具有鲁棒控制器和屏蔽合成软需求的引导反应合成。 CoRR公司 abs/1711.01823 ( 2017 ) 2014 【c5】 帕特里夏·鲍耶 , 尼古拉斯·马基 , 拉杰·莫汉·马特普拉克尔 :
LTL平均值。 CONCUR公司 2014 : 266-280 2012 【c4】 Deepak D'Souza公司 , 拉杰·莫汉·马特普拉克尔 :
一种用于LTL的组合层次监控自动机构造。 ICTAC公司 2012 : 16-29 【p1】 Fabrice骑士 , Deepak D'Souza公司 , 拉杰·莫汉·马特普拉克尔 , 帕维思拉·普拉巴卡 :
信号上的自动机和逻辑。 自动机理论的现代应用 2012 : 555-584 2010 【c3】 苏梅什·迪瓦卡兰 , Deepak D'Souza公司 , 拉杰·莫汉·马特普拉克尔 :
时态逻辑中的冲突容忍规范。 国际标准化委员会 2010 : 103-110 【c2】 苏梅什·迪瓦卡兰 , Deepak D'Souza公司 , M.Raj Mohan先生 :
度量时态逻辑中的冲突容忍实时规范。 时间 2010 : 35-42
2000 – 2009
2009 [j1] Fabrice骑士 , Deepak D'Souza公司 , M.Raj Mohan先生 , 帕维思拉·普拉巴卡 :
有限变化函数上的自动机和逻辑。 Ann.纯粹应用。 日志。 161 ( 三 ) : 324-336 ( 2009 ) 2005 【c1】 Deepak D'Souza公司 , M.Raj Mohan先生 :
最终定时自动机。 FSTTCS公司 2005 : 322-334