Meenakshi D'Souza公司
人员信息
隶属关系: 印度班加罗尔IIITB
其他同名人员
B.梅纳克西 0001 — 印度钦奈斯里·赛拉姆工程学院电气与电子工程系 (还有1个) B.梅纳克西 0003 -印度班加罗尔印度科学院 B.米纳克希 0004 -印度班加罗尔塔塔基础研究所
优化列表
2020年-今天
2024 [公元40年] S.R.纳加拉克希米 , Meenakshi D'Souza公司 :
基于覆盖标准的物联网应用测试。 ICDCIT公司 2024 : 101-116 2023 [公元39年] 苏洛坎·奈克 , Meenakshi D'Souza公司 :
使用Petri网在微服务中进行故障检测。 佩特里PNSE 网络 2023 [公元38年] 贝斯·普拉尔 , 普雷蒂·马拉卡尔 , Meenakshi D'Souza公司 , 赫曼吉·K·卡普尔 , 优格什·西蒙汉 , 伊尔凯·阿提塔斯 , 马诺哈尔·斯瓦米纳坦 :
CCGRID 2023:包容性和归属的整体方法。 CCGrid公司 2023 : 684-685 [公元37年] 阿梅娜·阿什拉夫 , Meenakshi D'Souza公司 :
工业机器人多任务程序中的静态数据竞赛检测。 ICDCIT公司 2023 : 51-66 [公元36年] 苏洛坎·奈克 , Meenakshi D'Souza公司 :
使用Petri网检测微服务中的故障。 国际标准化委员会 2023 : 17:1-17:5 2022 [j5] 比迪莎·乔杜里 , Meenakshi D'Souza公司 , 贾纳基·斯里尼瓦桑 :
将失踪的女性带回印度:印度工程院校的女性CS教育。 Commun公司。 ACM公司 65 ( 11 ) : 65-67 ( 2022 ) [公元35年] 瓦尔沙·苏雷什 , 雷卡·R·派 , Deepak D'Souza公司 , Meenakshi D'Souza公司 , 苏吉特·库马尔·查克拉巴蒂 :
周期程序的静态竞争检测。 员工持股计划 2022 : 290-316 [e4] Saurabh蒂瓦里 , 桑杰·乔杜里 , 尚查尔·K·罗伊 , Meenakshi D'Souza公司 , 里查·夏尔马 , 洛夫·库马尔 :
ISEC 2022:第15届软件工程创新会议,印度甘地那加,2022年2月24-26日。 ACM公司 2022 ,国际标准图书编号 978-1-4503-9618-9 [目录] 2021 【j4】 雷卡·R·派 , 阿比谢克·辛格 , Deepak D'Souza公司 , Meenakshi D'Souza公司 , 普拉蒂巴·普拉卡什 :
用于检测RTOS内核中高级竞争的静态分析。 形式方法系统。 设计。 58 ( 1-2 ) : 294-321 ( 2021 ) [公元34年] 库马尔·阿比纳夫 , 维贾亚·沙瓦尼 , 阿尔帕娜·杜比 , Meenakshi D'Souza公司 , 尼提什·巴德瓦杰 , Sakshi Jain公司 , 维努·阿罗拉 :
RepairNet:用于自动程序修复的上下文序列到序列网络。 AIED(1) 2021 : 3-15 [公元33年] 阿里特拉·博米克 , Meenakshi D'Souza公司 , G.斯里尼瓦萨·拉加万 :
LipBaB:计算ReLU网络的精确Lipschitz常数。 ICANN(4) 2021 : 151-162 [公元32年] 阿比谢克·辛格 , Meenakshi D'Souza公司 , 阿尔沙德·易卜拉欣 :
使用UPPAAL模型检查器对安全关键RTOS的ARINC 653合规性进行一致性测试。 囊 2021 : 1807-1814 [i2] 阿里特拉·博米克 , Meenakshi D'Souza公司 , G.斯里尼瓦萨·拉加万 :
LipBaB:计算ReLU网络的精确Lipschitz常数。 CoRR公司 abs/2105.05495 ( 2021 ) [i1] 罗摩克里希南·拉曼 , Meenakshi D'Souza公司 :
复杂产品设计决策的知识价值流框架。 CoRR公司 abs/2105.07444 ( 2021 ) 2020 [公元31年] 阿梅娜·阿什拉夫 , Meenakshi D'Souza公司 , 拉乌尔·杰特利 :
基于覆盖标准的工业机器人测试。 案例 2020 : 16-21 [公元30年] P.Ezudheen先生 , 扎赫拉·拉希米·阿夫扎尔 , 帕维思拉·普拉巴卡 , Deepak D'Souza公司 , Meenakshi D'Souza公司 :
验证采样控制系统的频带收敛性。 非金融市场 2020 : 329-349 [电子3] 当文雄(Dang Van Hung) , Meenakshi D'Souza公司 :
分布式计算和互联网技术——第16届国际会议,2020年ICDCIT,印度布巴内斯瓦尔,2020年1月9日至12日,会议记录。 计算机科学课堂讲稿 11969, 施普林格 2020 ,国际标准图书编号 978-3-030-36986-6 [目录]
2010 – 2019
2019 [j3] 罗摩克里希南·拉曼 , Meenakshi D'Souza公司 :
复杂系统和系统间体系结构设计决策的决策学习框架。 系统。 工程师。 22 ( 6 ) : 538-560 ( 2019 ) [公元29年] 苏洛坎·奈克 , Meenakshi D'Souza公司 :
基于隐马尔可夫模型的物联网WiFi直接设备高效节能方法。 通讯录 2019 : 565-567 [公元28年] 阿比谢克·辛格 , 雷卡·R·派 , Deepak D'Souza公司 , Meenakshi D'Souza公司 :
用于检测RTOS内核中高级竞争的静态分析。 FM公司 2019 : 337-353 [公元27年] Meenakshi D'Souza公司 , Rajanikanth Nagaraj喀什 :
航空电子自适应软件:走向正式验证和确认。 ICDCIT公司 2019 : 3-23 [c26] 维贾亚·沙瓦尼 , 库马尔·阿比纳夫 , 阿尔帕娜·杜比 , Sakshi Jain公司 , 维努·阿罗拉 , Meenakshi D'Souza公司 :
FrAppLe:学徒学习框架。 国际标准化委员会 2019 : 26分26秒5 [公元25年] 尼丁·巴蒂亚 , Meenakshi D'Souza公司 , 苏吉特·库马尔·查克拉巴蒂 :
在Coq中形式化GPU指令集体系结构。 国际标准化委员会 2019 : 28:1-28:5 [公元24年] Meenakshi D'Souza公司 , 苏巴吉特·罗伊 :
ISEC 2019年博士研讨会。 国际标准化委员会 2019 : 30:1-30:3 2018 【c23】 阿维吉特·曼达尔 , 德维娜·莫汉 , 拉乌尔·杰特利 , Sreeja Nair公司 , Meenakshi D'Souza公司 :
领域特定语言的通用静态分析框架。 ETFA公司 2018 : 27日至34日 [公元22年] 阿比谢克·辛格 , Meenakshi D'Souza公司 , 阿尔沙德·易卜拉欣 :
安全关键ARINC653兼容RTOS中数据跟踪的正式验证。 ICACCI公司 2018 : 1273-1279 【c21】 帕拉尼·库马尔 , Meenakshi D'Souza公司 , 黛布拉塔·达斯 :
大规模物联网架构中节能的高效异常检测方法。 ICDCIT公司 2018 : 256-262 [公元20年] 格雷西·菲利普 , 瓦尔沙·苏雷什 , Meenakshi D'Souza公司 :
使用AADL系统架构模型进行安全验证。 国际标准化委员会 2018 : 7:1-7:10 [第19条] 罗摩克里希南·拉曼 , Meenakshi D'Souza公司 :
演化复杂SoS的成熟架构(Architecture)设计决策学习框架。 SoSE公司 2018 : 350-357 2017 [注2] Swarup Kumar Mohalik公司 , 拉马穆尔西·巴德里纳特 , 马赫什·巴布·贾亚拉曼 , Meenakshi D'Souza公司 :
智能自适应系统(DIAS)发展方面研讨会:与第十届软件工程会议(ISEC)创新合作,印度斋浦尔。 ACM SIGSOFT软件。 工程注释 42 ( 4 ) : 25-27 ( 2017 ) [第18条] Rajanikanth Nagaraj喀什 , Meenakshi D'Souza公司 , 科亚尔卡·拉曼·基肖尔 :
结合航空电子系统中可靠自适应软件的分析、仿真测试所获得的形式化方法和措施。 计算机 2017 : 137-142 [第17条] 帕拉尼·库马尔 , Meenakshi D'Souza公司 :
设计了一种基于隐马尔可夫模型的物联网功耗感知方法。 通讯录 2017 : 580-581 [第16条] 希勒姆·帕特尔 , 纳格什·提卡尔 , Meenakshi D'Souza公司 :
下一代智能手机的方法级功耗估计和优化。 ICACCI公司 2017 : 1010-1016 [第15条] Dhinakar Kalyanasundaram公司 , Meenakshi D'Souza公司 :
安全移动平台的静态漏洞分析。 国际标准化委员会 2017 : 195-201 [第14条] Swarup Kumar Mohalik公司 , Meenakshi D'Souza公司 , 马赫什·巴布·贾亚拉曼 :
智能自适应系统(DIAS)的发展方面。 国际标准化委员会 2017 : 221-222 [第13条] 阿维吉特·曼达尔 , 拉乌尔·杰特利 , Meenakshi D'Souza公司 , Sreeja Nair公司 :
用于工业机器人应用的静态分析器。 ISSRE研讨会 2017 : 24-27 [第12条] 罗摩克里希南·拉曼 , Meenakshi D'Souza公司 :
用于构建复杂系统的基于知识的决策框架。 囊 2017 : 1147-1153 [第11条] 梅蒂莉·迪万 , Meenakshi D'Souza公司 :
物联网通信协议建模和验证框架。 设置 2017 : 266-280 2016 [第10条] Rajanikanth Nagaraj喀什 , Meenakshi D'Souza公司 , S.Kumar Baghel公司 , 尼廷·库尔卡尼 :
在航空电子自适应软件中使用学习整合自适应性:案例研究。 ICACCI公司 2016 : 220-229 [c9] Rajanikanth Nagaraj喀什 , Meenakshi D'Souza公司 , S.Kumar Baghel公司 , 尼丁·库尔卡尼 :
航空电子自适应软件的形式化验证:案例研究。 国际标准化委员会 2016 : 163-169 [电子2] 阿图尔·库马尔 , 维奈·库尔卡尼 , Y.Raghu Reddy(拉胡·雷迪) , Meenakshi D'Souza公司 , Swarup Mohalik公司 , 马赫什·巴布·贾亚拉曼 :
第二届建模研讨会(ModSym)和自适应自治系统软件架构研讨会(SAAAS)的联合会议记录,与第九届印度软件工程会议(ISEC 2016)于2016年2月18日在印度果阿举行。 CEUR研讨会记录 1561, CEUR-WS.org公司 2016 [目录] 2013 【c8】 Meenakshi D'Souza公司 , Teodor Knapik公司 :
验证消息序列结构。 ICDCIT公司 2013 : 171-182 2012 【c7】 斯里尼瓦萨·戈帕尔 , Meenakshi D'Souza公司 :
通过使用基于案例的推理和组合估计方法提高估计精度。 国际标准化委员会 2012 : 75至78 [第1页] 纳米特·查图尔维迪 , 阿提什·达塔·乔杜里 , Meenakshi Balasubramanian语 :
使用有限状态自动机的分散物理访问控制框架。 自动机理论的现代应用 2012 : 171-192 [电子1] 阿比克·罗伊乔杜里 , Meenakshi D'Souza公司 :
计算理论——2012年ICTAC第九届国际学术讨论会,印度班加罗尔,2012年9月24日至27日。 诉讼程序。 计算机科学课堂讲稿 7521, 施普林格 2012 ,国际标准图书编号 978-3-642-32942-5 [目录]
2000 – 2009
2007 【c6】 Meenakshi Balasubramanian语 , 阿比谢克·巴特纳加 , 纳米特·查图尔维迪 , 阿提什·达塔·乔杜里 , 阿鲁尔·加内什 :
分散访问控制框架。 亚洲CCS 2007 : 93-104 2006 【c5】 B.梅纳克西 , 阿比谢克·巴特纳加 , 苏迪帕·罗伊 :
用于将Simulink模型转换为模型检查器的输入语言的工具。 ICFEM公司 2006 : 606-620 【c4】 Meenakshi Balasubramanian语 , 纳米特·查图尔维迪 , 阿提什·达塔·乔杜里 , 阿鲁尔·加内什 :
基于上下文的普适计算应用程序的快速原型框架。 SUTC(1) 2006 : 306-311 2004 [j1] B.梅纳克西 , 拉马斯瓦米·拉马努贾姆 :
关于分层消息传递系统的推理。 计算。 语言系统。 结构。 30 ( 3-4 ) : 171-206 ( 2004 ) 2003 【c3】 B.梅纳克西 , 拉马斯瓦米·拉马努贾姆 :
关于分层消息传递系统的推理。 VMCAI公司 2003 : 268-282 2001 【c2】 P.马都苏丹 , B.梅纳克西 :
超越消息序列图。 FSTTCS公司 2001 : 256-267 2000 【c1】 B.梅纳克西 , 拉马斯瓦米·拉马努贾姆 :
关于有限状态环境中消息传递的推理。 ICALP公司 2000 : 487-498