David Come

Analyse de la qualité de code via une approche logique et application à la robotique. (Analysis of source code quality through a logic-based technique and application to robotics)

David Come, 2019 .

Source Code Analysis with a Temporal Extension of First-Order Logic

David Doose, Julien Brunel, David Come, 2018, SBMF.

Improving Code Quality in ROS Packages Using a Temporal Extension of First-Order Logic

David Doose, Julien Brunel, David Come, 2018, 2018 Second IEEE International Conference on Robotic Computing (IRC).

Improving code quality in ROS packages using a temporal extension of first-order logic

David Doose, Julien Brunel, David Come, 2018, Encycl. Semantic Comput. Robotic Intell..