普里塔姆·罗伊
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [j5] 普里塔姆·罗伊 , Subhankar贝拉 , 沙申克·古普塔 , Archan S.Majumdar公司 :
非马尔科夫量子信道下的设备相关量子安全直接通信。 量子信息处理。 23 ( 5 ) : 170 ( 2024 ) 2022 【j4】 普里塔姆·罗伊 , 萨加尔·查基 :
通过一致性验证实现硬件等效性检查的高覆盖率。 形式方法系统。 设计。 60 ( 三 ) : 329-349 ( 2022 )
2010 – 2019
2019 [第11条] 普里塔姆·罗伊 , 萨加尔·查基 , Pankaj Chauhan公司 :
高覆盖率协议等效性检查。 日期 2019 : 462-467 2016 [第10条] 何彦升 , Pankaj Chauhan公司 , 普里塔姆·罗伊 , 阿兰·米什琴科 , 罗伯特·K·布雷顿 :
用于单词级模型检查的高效的未解释函数抽象和精化。 FMCAD公司 2016 : 65-72 2013 [j3] 普里扬卡·罗伊 , 普里塔姆·罗伊 , 阿比吉特·查克拉巴蒂 :
将混合蛙跳算法与遗传算法相结合,用于求解具有阀点效应的经济负荷调度问题。 申请。 软计算。 13 ( 11 ) : 4244-4252 ( 2013 ) 2011 [注2] 普里塔姆·罗伊 , 纳塔拉詹·尚卡尔 :
SimCheck:Simulink的合同型系统。 因诺夫。 系统。 柔和。 工程师。 7 ( 2 ) : 73-83 ( 2011 ) 【c9】 普里塔姆·罗伊 , 保罗·塔布阿达 , 鲁帕克·马朱姆达尔 :
Pessoa 2.0:用于网络物理系统的控制器合成工具。 高速列车控制中心 2011 : 315-316 [i3] 克里什南杜·查特吉 , 卢卡·德·阿尔法罗 , 普里塔姆·罗伊 :
具有折扣和长期平均目标的随机游戏的放大镜抽象。 CoRR公司 abs/1107.2132 ( 2011 ) 2010 [j1] 卢卡·德·阿尔法罗 , 普里塔姆·罗伊 :
通过三值抽象求精解决游戏。 Inf.计算。 208 ( 6 ) : 666-676 ( 2010 ) 【c8】 普里塔姆·罗伊 , 纳塔拉詹·尚卡尔 :
SimCheck:Simulink的表达式类型系统。 NASA形式方法 2010 : 149-160 [i2] 普里塔姆·罗伊 :
通过模块化三值抽象精化的软件接口构建。 CoRR公司 abs/1004.5382 ( 2010 ) [i1] 普里塔姆·罗伊 , 保罗·塔布阿达 , 鲁帕克·马朱姆达尔 :
网络物理系统的安全保证控制器综合。 CoRR公司 abs/1010.5665 ( 2010 )
2000 – 2009
2008 【c7】 普里塔姆·罗伊 , 大卫·帕克 , 格钦·诺曼 , 卢卡·德·阿尔法罗 :
马尔可夫决策过程中的符号放大镜提取。 QEST公司 2008 : 103-112 2007 【c6】 卢卡·德·阿尔法罗 , 普里塔姆·罗伊 :
马尔可夫决策过程的放大镜抽象。 腔静脉 2007 : 325-338 【c5】 卢卡·德·阿尔法罗 , 普里塔姆·罗伊 :
通过三值抽象优化解决游戏。 CONCUR公司 2007 : 74-89 【c4】 约翰内斯·海伦德 , 里斯托·塞尔格 , 玛格斯·维恩斯 , 普里塔姆·罗伊 :
适应未来:现实世界计算的可扩展性。 RTSS系统 2007 : 105-118 2006 【c3】 B.托马斯·阿德勒 , 卢卡·德·阿尔法罗 , 莱安德罗·迪亚斯·达席尔瓦 , 马可·费拉 , Axel Legay公司 , 维什瓦纳斯·拉曼 , 普里塔姆·罗伊 :
Ticc:界面兼容性和组合工具。 腔静脉 2006 : 59-62 【c2】 玛格斯·维恩斯 , 普里塔姆·罗伊 , 科林·坎贝尔 :
通过强化学习进行在线测试。 命运/RV 2006 : 240-253 2005 [c1] 卢卡·德·阿尔法罗 , 莱安德罗·迪亚斯·达席尔瓦 , 马可·费拉 , Axel Legay公司 , 普里塔姆·罗伊 , 玛丽亚·索里亚 :
社交界面。 FroCoS公司 2005 : 81-105
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)