Sylvain Baro

According to our database, Sylvain Baro authored at least 4 papers between 2003 and 2017.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2017

Automatic train supervision for a CBTC suburban railway line using multiobjective optimization.

Juliette Pochet, Sylvain Baro, Guillaume Sandou

Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

2003

Conception et implémentation d'un système d'aide à la spécification et à la preuve de programmes ML.

Sylvain Baro

PhD thesis, 2003

Introduction to PAF!, a Proof Assistant for ML Programs Verification.

Sylvain Baro

Proceedings of the Types for Proofs and Programs, International Workshop, 2003

Un système X Raisonner formellement sur les programmes ML.

Sylvain Baro, Pierre Manoury

Proceedings of the Journées francophones des langages applicatifs (JFLA'03), 2003