Pierre Virelizier

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 3

Top Topics

Deterministic Finite Automaton

Linear Temporal Logic

Temporal Epistemic

Reactive Systems

Top Venues

Publications

Mathilde Machin, Estelle Saez, Pierre Virelizier, Xavier de Bossoreille
Modeling Functional Allocation in AltaRica to Support MBSE/MBSA Consistency. IMBSA (2019)
Tatiana Prosvirnova, Estelle Saez, Christel Seguin, Pierre Virelizier
Handling Consistency Between Safety and System Models. IMBSA (2017)
Alexandre Albore, Silvano Dal-Zilio, Guillaume Infantes, Christel Seguin, Pierre Virelizier
A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica. IMBSA (2017)
Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels
Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples. HASE (2010)
Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels
Model checking flight control systems: The Airbus experience. ICSE Companion (2009)