|
Click on a project in the table below for all publications registered to that project.
Project AFM7: MOQS: Modeling and Analysis of QoS for Component-Based Designs
2009
- A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis. H. Boudali, P. Crouzen, and M.I.A. Stoelinga. IEEE Transactions on Dependable and Secure Computing, 2009.
- Availability Analysis of Software Decomposition for Local Recovery. H. Boudali, H. Sozer and M.I.A. Stoelinga. Proceedings SSIRI'09.
- DFTSim: A Simulation Tool for Extended Dynamic Fault Trees. H. Boudali, A. Nijmeijer, and M. Stoelinga. Proceedings of the 42nd Annual Simulation Symposium (ANSS), 2009.
- Linear and Branching System Metrics. L. de Alfaro and M. Faella and M.I.A. Stoelinga. IEEE Transactions on Software Engineering'09, 2009.
- J.P. Katoen, M. Neuhäusser, M.I.A. Stoelinga (2009). Delayed nondeterminism in CTMDPs.
- Bakshi, R. and Cloth, L. and Fokkink, W. and Haverkort, B.R.H.M. Mean-Field Analysis for the Evaluation of Gossip Protocols. In: IEEE Sixth International Conference on the Quantitative Evaluation of Systems, (QEST '09), 13-16 Sept 2009, Budapest, Hungary. pp. 247-256. IEEE Computer Society Press. ISBN 978-0-7695-3808-2
2008
- Bakhshi, R. and Cloth, L. and Fokkink, W. and Haverkort, B.R.H.M. Mean-field analysis for the evaluation of gossip protocols. ACM SIGMETRICS performance evaluation review, 36 (3). pp. 32-39, 2008. ISSN 0163-5999
- Cloth, L. and Haverkort, B.R.H.M. The performability tool P'ility. In: Proceedings of the 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008, 14-17 Sep 2008, St. Malo, France. pp. 117-118. IEEE Computer Society Press. ISBN 978-0-7695-3360-5
- P Crouzen, H. Boudali, B.R.H.M. Haverkort, Dipl. Inf. G.W.M. Kuntz, M.I.A. Stoelinga (2008). Architectural dependability evaluation with Arcade. pp. 243-248.
- P Crouzen, H. Boudali, B.R.H.M. Haverkort, Dipl. Inf. G.W.M. Kuntz, M.I.A. Stoelinga (2008). Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework.
- R Majumdar, V Raman, L de Alfaro, M.I.A. Stoelinga (2008). Game Refinement Relations and Metrics.
- H.C. Bohnenkamp, M.I.A. Stoelinga (2008). Quantitative Testing. pp. 227-236. ISSN 9781605605715.
- S. Montani, H. Boudali (2008). Guest Editorial: Special session on Bayesian networks in dependability.
- M Faella, A Legay, M.I.A. Stoelinga (2008). Model checking Quantitative Linear Time Logic.
- G.J. Heijink, L. Cloth, B.R.H.M. Haverkort, A.K.I. Remke (2008). Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks.
- R. Bakhshi, W. Fokkink, L. Cloth, B.R.H.M. Haverkort (2008). Mean-field analysis for the evaluation of gossip protocols.
- L. Cloth (2008). The performability tool P'ility.
- L. de Alfaro, R. Majumdar, V. Raman, M.I.A. Stoelinga (2008). Game Refinement Relations and Metrics.
2007
- C. Baier, L. Cloth, B.R. Haverkort, M. Kuntz, and M. Siegle. Model Checking Markov Chains with Actions and State Labels. In: forthcoming in IEEE TSE, 2007
- Remke, Anne, Haverkort, Boudewijn R., and Cloth, Lucia. CSL model checking algorithms for QBDs. In: Theoretical Computer Science (volume 382, pages 24-41), 2007 Note: doi:10.1016/j.tcs.2007.05.007
- Yang, Y, Haverkort, B.R., and Heijenk, G.J. A Centralized Feedback Control Model for Resource Management in Wireless Networks. In: Proceedings og the 8th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 2007), 2007 Note: to appear
- Boudali, H., Haverkort, B.R., Kuntz, M., and Stoelinga, M. Best of Three Worlds: Towards Sounds Architectural Dependability Models. In: Proceedings og the 8th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 2007), 2007 Note: to appear
- Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, and Mariëlle Stoelinga. Game Relations and Metrics. In: LICS '07: Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science (pages 99-108), IEEE Computer Society, 2007
- Hichem Boudali, Pepijn Crouzen, and Mariëlle Stoelinga. A Compositional Semantics for Dynamic Fault Tree Analysis in terms of Interactive Markov Chains. In: Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA'07) (pages 708-717), LNCS, Springer, 2007
- Cloth, Lucia, Haverkort, Boudewijn R., and Jongerden, Marijn. Computing Battery Lifetime Distributions. In: Proceedings of the 37th International Conference on Dependable Systems and Networks (DSN'07) (pages 780-789), 2007 Note: doi:10.1109/DSN.2007.26
- Hichem Boudali, Pepijn Crouzen, and Mariëlle Stoelinga. Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains. In: The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, UK, Proceedings (pages 708-717), IEEE Computer Society, 2007
2006
- L. Brandán Briones, E. Brinksma, and M.I.A. Stoelinga. A Semantic Framework for Test Coverage. In: Proceedings ATVA, 2006
- K. Chatterjee, L. de Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M.I.A. Stoelinga. Quantitative Compositional Reasoning. In: Proceedings of QEST, 2006
- A. Remke, B.R. Haverkort, and L. Cloth. A Versatile Infinite-State Markov Reward Model to Study Bottlenecks in 2-Hop Ad Hoc Networks. In: Proceedings of QEST, 2006
- L. Cloth and B.R. Haverkort. Five Performability Algorithms: A Comparison. In: Proceedings Markov Anniversary Meeting, 2006
|
