Un système X Raisonner formellement sur les programmes ML. - Sylvain Baro; Pierre Manoury (JFLA, 2003)

Introduction to PAF!, a Proof Assistant for ML Programs Verification. - Sylvain Baro (TYPES, 2003)

Conception et implémentation d'un système d'aide à la spécification et à la preuve de programmes ML. - Sylvain Baro (2003)

Automatic train supervision for a CBTC suburban railway line using multiobjective optimization. - Juliette Pochet; Sylvain Baro; Guillaume Sandou (ITSC, 2017)