Marc Sango

According to our database, Marc Sango authored at least 5 papers between 2012 and 2022.

Collaborative distances:

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

2022

Modeling and vulnerability analysis of interdependent railway and power networks: Application to British test systems.

Andrea Bellè, Zhiguo Zeng, Carole Duval, Marc Sango, Anne Barros

Reliab. Eng. Syst. Saf., 2022

2016

MBSE and MBSA with Capella and Safety Architect Tools.

Marc Sango, Frédérique Vallée, Anne-Catherine Vié, Jean-Luc Voirin, Xavier Leroux, Véronique Normand

Proceedings of the Complex Systems Design & Management, 2016

2015

Traceability of Concerns and Observer-Based Verification for Railway Safety-Critical Software. (Traçabilité des Exigences et Vérification par Observateurs pour les Logiciels Critiques des Systèmes Ferroviaires).

Marc Sango

PhD thesis, 2015

2014

Component-Based Modeling and Observer-Based Verification for Railway Safety-Critical Applications.

Marc Sango, Laurence Duchien, Christophe Gransart

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2012

Maximal and Compositional Pattern-Based Loop Invariants.

Maria-Virginia Aponte, Pierre Courtieu, Yannick Moy, Marc Sango

Proceedings of the FM 2012: Formal Methods, 2012