Jean Quilbeuf

Identifiers

• name variant Jean Quilbeuf 0.60 · backfill

Papers (2)

1. Verification of interlocking systems using statistical model checking cs.SE · 2016 · author #4
2. Security policies for distributed systems cs.CR · 2013 · author #1

Mentions

• 1310.3723 #1 · backfill · confidence 0.70 Jean Quilbeuf

Frequent Coauthors

• Axel Legay 1 shared papers
• Christophe Limbree 1 shared papers
• Denis Bytschkow 1 shared papers
• Georgeta Igna 1 shared papers
• Harald Ruess 1 shared papers
• Louis-Marie Traonouez 1 shared papers
• Pierre Schaus 1 shared papers
• Quentin Cappart 1 shared papers