Samuel Colin

According to our database, Samuel Colin authored at least 9 papers between 2004 and 2018.

Collaborative distances:

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

2018

Bouncing Oil Droplets, de Broglie's Quantum Thermostat, and Convergence to Equilibrium.

Mohamed Hatifi, Ralph Willox, Samuel Colin, Thomas Durt

Entropy, 2018

2012

Relaxing B Sharing Restrictions within CSP||B.

Arnaud Lanoix, Olga Kouchnarenko, Samuel Colin, Vincent Poirriez

Proceedings of the Software Composition - 11th International Conference, 2012

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

Using CSP||B Components: Application to a Platoon of Vehicles.

Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

Towards Validating a Platoon of Cristal Vehicles Using CSP||B.

Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Trustworthy Interface Compliancy: Data Model Adaptation Using B Refinement.

Samuel Colin, Arnaud Lanoix, Jeanine Souquières

Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, 2007

2006

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

PhD thesis, 2006

2005

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

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

2004

Duration Calculus: A Real-Time Semantic for B.

Samuel Colin, Georges Mariano, Vincent Poirriez

Proceedings of the Theoretical Aspects of Computing, 2004