Pierre Virelizier

According to our database, Pierre Virelizier authored at least 5 papers between 2009 and 2019.

Collaborative distances:

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

2019

Modeling Functional Allocation in AltaRica to Support MBSE/MBSA Consistency.

Mathilde Machin, Estelle Saez, Pierre Virelizier, Xavier de Bossoreille

Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019

2017

Handling Consistency Between Safety and System Models.

Tatiana Prosvirnova, Estelle Saez, Christel Seguin, Pierre Virelizier

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica.

Alexandre Albore, Silvano Dal-Zilio, Guillaume Infantes, Christel Seguin, Pierre Virelizier

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

2010

Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples.

Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels

Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

2009

Model checking flight control systems: The Airbus experience.

Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels

Proceedings of the 31st International Conference on Software Engineering, 2009