Georges Mariano

According to our database, Georges Mariano authored at least 7 papers between 2003 and 2013.

Collaborative distances:

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

2013

Generating Test Scenarios Based on Real-World Traces for ERTMS Telecommunication Subsystem Evaluation.

Patrick Sondi, Marion Berbineau, Mohamed Kassab, Georges Mariano

Proceedings of the Communication Technologies for Vehicles, 5th International Workshop, 2013

2007

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

Proceedings of the ICSOFT 2007, 2007

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

The B Method and the Component-Based Approach.

Dorian Petit, Vincent Poirriez, Georges Mariano

Trans. SDPS, 2004

Duration Calculus: A Real-Time Semantic for B.

Samuel Colin, Georges Mariano, Vincent Poirriez

Proceedings of the Theoretical Aspects of Computing, 2004

Reuse of SML module system for the B language.

Dorian Petit, Vincent Poirriez, Georges Mariano

Proceedings of the Forum on specification and Design Languages, 2004

2003

BHDL: Circuit Design in B.

Ammar Aljer, Philippe Devienne, Sophie Tison, Jean-Louis Boulanger, Georges Mariano

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003