Christopher S. Timperley

Carnegie Mellon University

13H指数

60论文数

469被引数

收录论文 6

发表时间

ROSpec: A Domain-Specific Language for ROS-Based Robot Software ROSpec: 一种面向ROS基础机器人软件的领域特定语言

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL

IF2.8

2025-10-01

PREAI

Canelas, Paulo; Schmerl, Bradley; Fonseca, Alcides; Timperley, Christopher S.

Vulnerability Repair via Concolic Execution and Code Mutations 基于符号执行和代码变异的漏洞修复

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2024-12-06

OAAI

Shariffdeen, R; Timperley, CS; Noller, Y; Le Goues, C; Roychoudhury, A

ROBUST: 221 bugs in the Robot Operating System

EMPIRICAL SOFTWARE ENGINEERING

IF3.6

2024-03-23

OAAI

Timperley, Christopher S.; van der Hoorn, Gijs; Santos, Andre; Deshpande, Harshavardhan; Wasowski, Andrzej

Mithra: Anomaly Detection as an Oracle for Cyberphysical Systems Mitra: 异常检测作为网络物理系统的Oracle

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2022-11-01

PREAI

Afzal, Afsoon; Le Goues, Claire; Timperley, Christopher Steven

Understanding and improving artifact sharing in software engineering research

EMPIRICAL SOFTWARE ENGINEERING

IF3.6

2021-05-11

OAAI

Timperley, Christopher S.; Herckis, Lauren; Le Goues, Claire; Hilton, Michael

Model-Based Adaptation for Robotics Software

IEEE SOFTWARE

IF3

2019-03-01

PREAI

Aldrich, Jonathan; Garlan, David; Kaestner, Christian; Le Goues, Claire; Mohseni-Kabir, Anahita; Ruchkin, Ivan; Samuel, Selva; Schmerl, Bradley; Timperley, Christopher; Veloso, Manuela; Voysey, Ian; Biswas, Joydeep; Guha, Arjun; Holtz, Jarrett; Camara, Javier; Jamshidi, Pooyan

研究方向