Cyrille Jegourel

Identifiers

• name variant Cyrille Jegourel 0.60 · backfill

Papers (3)

1. Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems cs.SY · 2015 · author #2
2. Distributed Verification of Rare Properties using Importance Splitting Observers cs.LO · 2015 · author #1
3. Measuring Global Similarity between Texts cs.CL · 2014 · author #4

Mentions

• 1504.06660 #2 · arxiv_oai · confidence 0.70 Cyrille Jegourel
• 1504.06660 #2 · backfill · confidence 0.70 Cyrille Jegourel
• 1502.01838 #1 · backfill · confidence 0.70 Cyrille Jegourel
• 1403.4024 #4 · backfill · confidence 0.70 Cyrille Jegourel

Frequent Coauthors

• Axel Legay 3 shared papers
• Ezio Bartocci 1 shared papers
• Fabrizio Biondi 1 shared papers
• Kenan Kalajdzic 1 shared papers
• Kevin Corre 1 shared papers
• Louis-Marie Traonouez 1 shared papers
• Radu Grosu 1 shared papers
• Scott A. Smolka 1 shared papers
• Sean Sedwards 1 shared papers
• Simon Kongsh{\o}j 1 shared papers
• Uli Fahrenberg 1 shared papers