Samuel Colin

Publication Activity (10 Years)

Years Active: 2004-2018
Publications (10 Years): 1

Top Topics

Soft Constraints

Constraint Satisfaction Problems

Stochastic Approximation

Quantum Computation

Top Venues

University of Valenciennes and Hainaut-Cambresis, France (PHD)

Education History

University of Valenciennes and Hainaut-Cambresis, France

PHD

Publications

Mohamed Hatifi, Ralph Willox, Samuel Colin, Thomas Durt
Bouncing Oil Droplets, de Broglie's Quantum Thermostat, and Convergence to Equilibrium. Entropy 20 (10) (2018)
Arnaud Lanoix, Olga Kouchnarenko, Samuel Colin, Vincent Poirriez
Relaxing B Sharing Restrictions within CSP||B. SC@TOOLS (2012)
Samuel Colin, Arnaud Lanoix, Jeanine Souquières
Trustworthy Interface Compliancy: Data Model Adaptation Using B Refinement. Electron. Notes Theor. Comput. Sci. 203 (7) (2009)
Arnaud Lanoix, Samuel Colin, Jeanine Souquières
Développement formel par composants Assemblage et vérification à l'aide de B. Tech. Sci. Informatiques 27 (8) (2008)
Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières
Towards Validating a Platoon of Cristal Vehicles Using CSP||B. AMAST (2008)
Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières
Using CSP||B Components: Application to a Platoon of Vehicles. FMICS (2008)
Samuel Colin, Dorian Petit, Vincent Poirriez, Jérôme Rocheteau, Rafael Marcano, Georges Mariano
BRILLANT : An Open Source and XML-based platform for Rigourous Software Development. SEFM (2005)
Samuel Colin, Georges Mariano, Vincent Poirriez
Duration Calculus: A Real-Time Semantic for B. ICTAC (2004)