Showing 1 - 4 results of 4 for search 'Picaronny, C', query time: 0.02s Refine Results
  1. 1
    Importance Sampling for Model Checking of Continuous Time Markov Chains

    Importance Sampling for Model Checking of Continuous Time Markov Chains by Barbot, B, Haddad, S, Picaronny, C

    Published 2015
    Conference item
  2. 2
    Coupling and Importance Sampling for Statistical Model Checking

    Coupling and Importance Sampling for Statistical Model Checking by Barbot, B, Haddad, S, Picaronny, C

    Published 2012
    Conference item
  3. 3
    Échantillonnage préférentiel pour le model checking statistique

    Échantillonnage préférentiel pour le model checking statistique by Barbot, B, Haddad, S, Picaronny, C

    Published 2011
    Conference item
  4. 4
    Rare Event Handling in Signalling Cascades

    Rare Event Handling in Signalling Cascades by Barbot, B, Haddad, S, Heiner, M, Picaronny, C

    Published 2014
    Conference item

Search Tools: