Author

Georges Mariano

Observed names: G. Mariano, Mariano, G., Mariano, Georges

Observed institutions: Université de Technologie de Compiègne, Hôpital Louis-Mourier, Heuristics and Diagnostics for Complex Systems, Assistance Publique – Hôpitaux de Paris, Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux

OpenAlex ID: A5003352943

Formal Methods Applied to Complex Systems

2014 · Boulanger, Jean‐louis, Aljer, Ammar, et al. · Wiley eBooks · 17

BRILLANT: an open source and XML-based platform for rigourous software development

2005 · S. Colin, D. Petit, et al. · IEEE International Conference on Software Engineering and Formal Methods (SEFM) · 12

BHDL: circuit design in B

2004 · A. Aljer, P. Devienne, et al. · International Conference on Application of Concurrency to System Design (ACSD) · 11

A Method to Model Guidelines for Developing Railway Safety-critical Systems With Uml

2007 · D. D. Okalas Ossami, J.-M. Mota, et al. · International Conference on Software Technologies (ICSOFT) · 9

From UML to B – a level crossing case study

2006 · J.-L. Boulanger, P. Bon, et al. · WIT transactions on the built environment · 8

PDF

Duration Calculus: A Real-Time Semantic for B

2005 · Samuel Colin, Georges Mariano, et al. · Lecture notes in computer science · 7

The B Method and the Component-based Approach

2004 · Dorian Petit, Vincent Poirriez, et al. · Journal of Integrated Design and Process Science · 7

Ontology for complex railway systems application to ERTMS/ETCS system

2013 · Hoinaru, Olimpia, Mariano, Georges, et al. · HAL · 6

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

2013 · Patrick Sondi, Marion Berbineau, et al. · Lecture notes in computer science · 6

Assessment and certification of safety critical software

2003 · E.M. El Koursi, G. Mariano · World Automation Congress (WAC) · 6

Formalization of Digital Circuits Using the B Method

2002 · J-L. Boulanger, Ammar Aljer, et al. · HAL · 6

BRILLANT: an open source platform for B

2010 · Samuel Colin, Dorian Petit, et al. · HAL · 4

An ontology for the ERTMS/ETCS

2014 · Hoinaru, Olimpia, Gransart, Christophe, et al. · HAL · 1

Coq, l'alpha et l'omega de la preuve pour B ?

2009 · Colin, Samuel, Mariano, Georges · HAL · 1

Reuse of SML module system for the B language.

2004 · Dorian Petit, Vincent Poirriez, et al. · 1

Duration calculus: A real-time semantic for B

2004 · Samuel Colin, Georges Mariano, et al. · 1

Evaluation de logiciels critiques développés par la méthode B : une approche quantitative

1997 · Georges Mariano · 1

Virtual lab based on co-simulation to include impairments of wireless telecommunication such as GSM-R in the evaluation of ERTMS

2014 · Sondi, Patrick, Berbineau, Marion, et al. · HAL

Formal Framework for Hardware Safety Requirement Verification

2008 · Jerome Rocheteau, Jean-Louis Boulanger, et al. · International Conference on Information and Communication Technologies: From Theory to Applications (ICTTA)

B/hdl, an experiment to formalizing hardware by software formals specifications

2002 · Boulanger, Jean--Louis, Aljer, Ammar, et al. · HAL

Conception sure de circuit basée sur la notion de propriété

2001 · Aljer, Ammar, Mariano, Georges, et al. · HAL

Assessment of safety critical software: application of method B

1998 · El-Miloudi El Koursi, Georges Mariano · Recherche - Transports - Securite (French)

Works count: 27

Citation count: 104

H-index: 7

I10-index: 3