Georges Mariano

Publication Activity (10 Years)

Years Active: 2003-2013
Publications (10 Years): 0

Top Topics

Empirical Evaluation

Top Venues

Nets4Cars/Nets4Trains

Publications

Patrick Sondi, Marion Berbineau, Mohamed Kassab, Georges Mariano
Generating Test Scenarios Based on Real-World Traces for ERTMS Telecommunication Subsystem Evaluation. Nets4Cars/Nets4Trains (2013)
Dieu Donné Okalas Ossami, Jean-Marc Mota, Laurent Thiry, Jean-Marc Perronne, Jean-Louis Boulanger, Georges Mariano
A Method to Model Guidelines for Developing Railway Safety-Critical Systems With Uml. ICSOFT (SE) (2007)
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)
Dorian Petit, Vincent Poirriez, Georges Mariano
The B Method and the Component-Based Approach. Trans. SDPS 8 (1) (2004)
Dorian Petit, Vincent Poirriez, Georges Mariano
Reuse of SML module system for the B language. FDL (2004)
Samuel Colin, Georges Mariano, Vincent Poirriez
Duration Calculus: A Real-Time Semantic for B. ICTAC (2004)
Ammar Aljer, Philippe Devienne, Sophie Tison, Jean-Louis Boulanger, Georges Mariano
BHDL: Circuit Design in B. ACSD (2003)