Nabendu Chaki

University of Calcutta

论文数

5

总引用数

20

H-Index

2

关于

暂无简介。

研究焦点

Computer science5 · 20 次引用
Software engineering3 · 17 次引用
Engineering3 · 17 次引用
Artificial intelligence3 · 16 次引用
Software system2 · 15 次引用
Software2 · 15 次引用
Programming language2 · 15 次引用
Control flow1 · 11 次引用
Abstract interpretation1 · 11 次引用
Model checking1 · 11 次引用
Database1 · 11 次引用
Data flow diagram1 · 11 次引用

主要成就

2
H 指数
5
论文
20
总引用数
4
篇均引用
🏆 最高被引论文
Static analysis techniques for robotics software verification
11 次引用 · 2013
📈 最高产年份: 2023 (2 论文)
🤝 主要合作者: 8
🏛 所属机构: University of Calcutta

代表论文

  1. 1
    Static analysis techniques for robotics software verification
    11 次引用 · 2013
  2. 2
    SCARS: Suturing wounds due to conflicts between non‐functional requirements in autonomous and robotic systems
    4 次引用 · 2023
  3. 3
    Advanced Computing and Systems for Security
    2 次引用 · 2020
  4. 4
    Eliciting context-oriented NFR constraints and conflicts in robotic systems
    2 次引用 · 2023
  5. 5
    Contextual Correlation Inference in Multi-fleet Robotic Systems
    1 次引用 · 2025

主要合作者

ACAgostino Cortesi5 篇合著论文RBRaunak Bag3 篇合著论文RCRituparna Chaki2 篇合著论文MRMandira Roy1 篇合著论文NDNovarun Deb1 篇合著论文MRMandira Roy1 篇合著论文KSKhalid Saeed1 篇合著论文PFPietro Ferrara1 篇合著论文
尚未生成