Nabendu Chaki

University of Calcutta

Papers

5

Total Citations

20

H-Index

2

About

No biography available yet.

Research Focus

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

Key Achievements

2
H-Index
5
Papers
20
Total Citations
4
Avg Citations/Paper
🏆 Most Cited Paper
Static analysis techniques for robotics software verification
11 citations · 2013
📈 Most Prolific Year: 2023 (2 Papers)
🤝 Key Collaborators: 8
🏛 Institutions: University of Calcutta

Top Papers

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

Key Collaborators

ACAgostino Cortesi5 shared papersRBRaunak Bag3 shared papersRCRituparna Chaki2 shared papersMRMandira Roy1 shared papersNDNovarun Deb1 shared papersMRMandira Roy1 shared papersKSKhalid Saeed1 shared papersPFPietro Ferrara1 shared papers
Not generated yet