Source Code Analysis with a Temporal Extension of First-Order Logic. - David Come; Julien Brunel; David Doose (SBMF, 2018)

Improving code quality in ROS packages using a temporal extension of first-order logic. - David Come; Julien Brunel; David Doose (Encycl. Semantic Comput. Robotic Intell., 2018)

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)