Laurent Rioux (Thales Research

Identifiers

• name variant Laurent Rioux (Thales Research 0.60 · backfill

Papers (1)

1. Formal Safety and Security Assessment of an Avionic Architecture with Alloy cs.SE · 2014 · author #4

Mentions

• 1405.1113 #4 · backfill · confidence 0.70 Laurent Rioux (Thales Research

Frequent Coauthors

• Anthony Faucogney (All4Tec) 1 shared papers
• France) 1 shared papers
• Fr\'ed\'erique Vall\'ee (All4Tec) 1 shared papers
• Julien Brunel (ONERA 1 shared papers
• St\'ephane Paul (Thales Research 1 shared papers
• Technology) 1 shared papers
• Toulouse 1 shared papers