BHDL: Circuit Design in B. - Ammar Aljer; Philippe Devienne; Sophie Tison; Jean-Louis Boulanger; Georges Mariano (ACSD, 2003)

Reuse of SML module system for the B language. - Dorian Petit; Vincent Poirriez; Georges Mariano (FDL, 2004)

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

The B Method and the Component-Based Approach. - Dorian Petit; Vincent Poirriez; Georges Mariano (Trans. SDPS, 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)

A Method to Model Guidelines for Developing Railway Safety-Critical Systems With Uml. - Dieu Donné Okalas Ossami; Jean-Marc Mota; Laurent Thiry; Jean-Marc Perronne; Jean-Louis Boulanger; Georges Mariano (ICSOFT (SE), 2007)

Generating Test Scenarios Based on Real-World Traces for ERTMS Telecommunication Subsystem Evaluation. - Patrick Sondi; Marion Berbineau; Mohamed Kassab; Georges Mariano (Nets4Cars/Nets4Trains, 2013)