Nicolas Stouls (LSR - IMAG)

Identifiers

• name variant Nicolas Stouls (LSR - IMAG) 0.60 · backfill

Papers (3)

1. G\'en\'eSyst : G\'en\'eration d'un syst\`eme de transitions \'etiquet\'ees \`a partir d'une sp\'ecification B \'ev\'enementiel cs.SE · 2010 · author #3
2. GeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties. cs.LO · 2010 · author #3
3. Security Policy Enforcement Through Refinement Process cs.CR · 2010 · author #1

Mentions

• 1004.2178 #3 · backfill · confidence 0.70 Nicolas Stouls (LSR - IMAG)
• 1004.1472 #3 · backfill · confidence 0.70 Nicolas Stouls (LSR - IMAG)
• 1004.1460 #1 · backfill · confidence 0.70 Nicolas Stouls (LSR - IMAG)

Frequent Coauthors

• Marie-Laure Potet (LSR - IMAG) 2 shared papers
• Didier Bert (LSR - IMAG) 1 shared papers
• IMAG) 1 shared papers
• Marie-Laure Potet (LSR - IMAG 1 shared papers
• Xavier Morselli (LSR - IMAG) 1 shared papers