Duration Calculus: A Real-Time Semantic for B. - Samuel Colin; Georges Mariano; Vincent Poirriez (ICTAC, 2004)

BRILLANT : An Open Source and XML-based platform for Rigourous Software Development. - Samuel Colin; Dorian Petit; Vincent Poirriez; Jérôme Rocheteau; Rafael Marcano; Georges Mariano (SEFM, 2005)

Contribution à l'intégration de temporalité au formalisme B : Utilisation du calcul des durées en tant que sémantique temporelle pour B. - Samuel Colin (2006)

Trustworthy Interface Compliancy: Data Model Adaptation Using B Refinement. - Samuel Colin; Arnaud Lanoix; Jeanine Souquières (FESCA@ETAPS, 2007)

Towards Validating a Platoon of Cristal Vehicles Using CSP||B. - Samuel Colin; Arnaud Lanoix; Olga Kouchnarenko; Jeanine Souquières (AMAST, 2008)

Using CSP||B Components: Application to a Platoon of Vehicles. - Samuel Colin; Arnaud Lanoix; Olga Kouchnarenko; Jeanine Souquières (FMICS, 2008)

Développement formel par composants Assemblage et vérification à l'aide de B. - Arnaud Lanoix; Samuel Colin; Jeanine Souquières (Tech. Sci. Informatiques, 2008)

Relaxing B Sharing Restrictions within CSP||B. - Arnaud Lanoix; Olga Kouchnarenko; Samuel Colin; Vincent Poirriez (SC@TOOLS, 2012)

Bouncing Oil Droplets, de Broglie's Quantum Thermostat, and Convergence to Equilibrium. - Mohamed Hatifi; Ralph Willox; Samuel Colin; Thomas Durt (Entropy, 2018)