Search Results - Haverkort, B. R.

Refine Results
  1. 1
    Model checking for performability

    Model checking for performability by BAIER, C., HAHN, E. M., HAVERKORT, B. R., HERMANNS, H., KATOEN, J.-P.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Evaluating repair strategies for a water-treatment facility using Arcade

    Evaluating repair strategies for a water-treatment facility using Arcade by Haverkort, B R, Kuntz, M, Remke, A, Roolvink, S, Stoelinga, M I A

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Sensitivity and uncertainty analysis of Markov-reward models

    Sensitivity and uncertainty analysis of Markov-reward models by Haverkort, B.R., Meeuwissen, A.M.H.

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Model Checking Markov Chains with Actions and State Labels

    Model Checking Markov Chains with Actions and State Labels by Baier, C., Cloth, L., Haverkort, B.R., Kuntz, M., Siegle, M.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes

    Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes by Baier, Christel, Hermanns, Holger, Katoen, Joost-Pieter, Haverkort, Boudewijn R.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Parallel and Distributed Methods in Verification

    Parallel and Distributed Methods in Verification by Cerna, I., Haverkort, B. R.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  7. 7
    Architectural dependability evaluation with Arcade

    Architectural dependability evaluation with Arcade by Boudali, H., Crouzen, P., Haverkort, B.R., Kuntz, M., Stoelinga, M.I.A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Probabilistic evaluation for the analytical solution of large Markov models: Algorithms and tool support

    Probabilistic evaluation for the analytical solution of large Markov models: Algorithms and tool support by Van Moorsel, AAD P.A., Haverkort, B.R.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Fitting world-wide web request traces with the EM-algorithm

    Fitting world-wide web request traces with the EM-algorithm by El Abdouni Khayari, Rachid, Sadre, Ramin, Haverkort, Boudewijn R.

    Published in Performance evaluation
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Suboptimal Intake of Nutrients after Esophagectomy with Gastric Tube Reconstruction

    Suboptimal Intake of Nutrients after Esophagectomy with Gastric Tube Reconstruction by Haverkort, Elizabeth B., MSc, RD, Binnekade, Jan M., PhD, RN, de Haan, Rob J., PhD, RN, Busch, Olivier R.C., PhD, MD, van Berge Henegouwen, Mark I., PhD, MD, Gouma, Dirk J., PhD, MD

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    The performability manager

    The performability manager by Franken, L.J.N., Haverkort, B.R.

    Published in IEEE network
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    Development of a Smart Grid Simulation Environment

    Development of a Smart Grid Simulation Environment by Delamare, J., Bitachon, B., Peng, Z., Wang, Y., Haverkort, B.R., Jongerden, M.R.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    On the use of model checking techniques for dependability evaluation

    On the use of model checking techniques for dependability evaluation by Haverkort, B.R., Hermanns, H., Katoen, J.-P.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    Introduction to the special section on petri nets and performance models

    Introduction to the special section on petri nets and performance models by Ciardo, G., German, R., Haverkort, B.R.

    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    The pseudo-self-similar traffic model: application and validation

    The pseudo-self-similar traffic model: application and validation by El Abdouni Khayari, Rachid, Sadre, Ramin, Haverkort, Boudewijn R., Ost, Alexander

    Published in Performance evaluation
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    Performability modelling tools and techniques

    Performability modelling tools and techniques by Haverkort, Boudewijn R., Niemegeers, Ignas G.

    Published in Performance evaluation
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    Probabilistic evaluation for the analytical solution of large Markov models : Algorithms and tool support: Performance modeling and reliability analysis

    Probabilistic evaluation for the analytical solution of large Markov models : Algorithms and tool support: Performance modeling and reliability analysis by VAN MOORSEL, A. P. A, HAVERKORT, B. R

    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Performance and dependability techniques and tools

    Performance and dependability techniques and tools by Haverkort, Boudewijn R., Harper, Rick

    Published in Performance evaluation
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Performance evaluation of multicast communication in packet-switched networks

    Performance evaluation of multicast communication in packet-switched networks by Schuba, Marko, Haverkort, Boudewijn R., Schneider, Gaby

    Published in Performance evaluation
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  20. 20
    Steady-state analysis of infinite stochastic Petri nets: comparing the spectral expansion and the matrix-geometric method

    Steady-state analysis of infinite stochastic Petri nets: comparing the spectral expansion and the matrix-geometric method by Haverkort, B.R., Ost, A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: