Static program analysis

Top Researchers

Agostino Cortesi

Institution: —

Pietro Ferrara

Institution: —

Nabendu Chaki

Institution: —

David Noever

Institution: —

Kevin Williams

Institution: —

R. Young Chul Kim

Institution: —

Kento Koike

Institution: —

Takahito Tomoto

Institution: —

Bo Kyung Park

Institution: —

Byungkook Jeon

Institution: —

Static analysis techniques for robotics software verification

Agostino Cortesi, Pietro Ferrara, Nabendu Chaki

Citations: 11 • 2013

Chatbots As Fluent Polyglots: Revisiting Breakthrough Code Snippets

David Noever, Kevin Williams

Citations: 7 • 2023

Improvement Practices in the Performance of a CPS Multiple-Joint Robotics Simulator

Bo Kyung Park, Byungkook Jeon, R. Young Chul Kim

Citations: 3 • 2019

A Knowledge Sharing Platform for Learning from Others’ Code

Shintaro Maeda, Kento Koike, Takahito Tomoto

Citations: 2 • 2022

Software Quality Assessment for Robot Operating System

Mohannad Alhanahnah

Citations: 2 • 2020