Search Results - Crouzen, Pepijn

  • Showing 1 - 9 results of 9
Refine Results
  1. 1
    On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models

    On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models by Andreychenko, Aleksandr, Crouzen, Pepijn, Mikeev, Linar, Wolf, Verena

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis

    A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis by Boudali, Hichem, Crouzen, Pepijn, Stoelinga, Mariëlle

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains

    Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains by Boudali, H., Crouzen, P., Stoelinga, M.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Aggregation Ordering for Massively Compositional Models

    Aggregation Ordering for Massively Compositional Models by Crouzen, Pepijn, Hermanns, Holger

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Bounded Fairness for Probabilistic Distributed Algorithms

    Bounded Fairness for Probabilistic Distributed Algorithms by Crouzen, Pepijn, Hahn, Ernst Moritz, Hermanns, H., Dhama, A., Theel, O., Wimmer, R., Braitling, B., Becker, B.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Applying formal methods to gossiping networks with mCRL and groove

    Applying formal methods to gossiping networks with mCRL and groove by Crouzen, Pepijn, van de Pol, Jaco, Rensink, Arend

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems

    Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems by Wimmer, Ralf, Braitling, Bettina, Becker, Bernd, Hahn, Ernst Moritz, Crouzen, Pepijn, Hermanns, Holger, Dhama, Abhishek, Theel, Oliver

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models

    On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models by Andreychenko, Aleksandr, Crouzen, Pepijn, Mikeev, Linar, Wolf, Verena

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework

    Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework by Boudali, Hichem, Crouzen, Pepijn, Haverkort, Boudewijn R., Kuntz, Matthias, Stoelinga, Mariëlle

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: