EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Research Project: MOQS: Modeling and Analysis of QoS of Component-Based Designs
Home Policy Brochure Browse Search User Area Contact Help

2009

Bakshi, R. and Cloth, L. and Fokkink, W.J. and Haverkort, B.R.H.M. (2009) 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. ISBN 978-0-7695-3808-2
Boudali, H. and Nijmeijer, A.P. and Stoelinga, M.I.A. (2009) DFTSim: A Simulation Tool for Extended Dynamic Fault Trees. In: Proceedings of the 42nd Annual Simulation Symposium (ANSS 2009), March 22-27, 2009, San Diego. 31. Society for Modeling and Simulation International. ISBN 9781565553262
Boudali, H. and Sözer, H. and Stoelinga, M.I.A. (2009) Architectural Availability Analysis of Software Decomposition for Local Recovery. In: Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 8-10 July 2009, Shanghai, China. pp. 14-22. IEEE Computer Society. ISBN 978-0-7695-3758-0
De Alfaro, L. and Faella, M. and Stoelinga, M.I.A. (2009) Linear and Branching System Metrics. IEEE transactions on software engineering, 35 (2). pp. 258-273. ISSN 0098-5589 *** ISI Impact 2,59 ***
Stoelinga, M.I.A. (2009) Compositional dependability modeling using arcade. (Invited) In: Proceedings of the 8th international workshop on Specification and verification of component-based systems (SAVCBS 2009), 25 August 2009, Amsterdam, The Netherlands. pp. 1-2. ACM. ISBN 978-1-60558-680-9
Stoelinga, M.I.A. and Timmer, M. (2009) Interpreting a Successful Testing Process: Risk and Actual Coverage. Technical Report TR-CTIT-09-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Stoelinga, M.I.A. and Timmer, M. (2009) Interpreting a Successful Testing Process: Risk and Actual Coverage. In: Proceedings of the Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29 Jul - 31 Jul 2009, Tianjin, China. pp. 251-258. IEEE Computer Society. ISBN 978-0-7695-3757-3

2008

de Alfaro, L. and Majumdar, R. and Raman, V. and Stoelinga, M.I.A. (2008) Game Refinement Relations and Metrics. Logical Methods in Computer Science, 4 (3). 7. ISSN 1860-5974 *** ISI Impact 0,44 ***
Bakhshi, R. and Cloth, L. and Fokkink, W.J. and Haverkort, B.R.H.M. (2008) Mean-field analysis for the evaluation of gossip protocols. ACM SIGMETRICS performance evaluation review, 36 (3). pp. 32-39. ISSN 0163-5999
Bohnenkamp, H.C. and Stoelinga, M.I.A. (2008) Quantitative Testing. In: Proceedings of the 7th ACM International conference on Embedded software, October 19-24, 2008, Georgia, Atlanta. pp. 227-236. ACM. ISBN 978-1-60558-468-3
Boudali, H. and Crouzen, P. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and Stoelinga, M.I.A. (2008) Architectural dependability evaluation with Arcade. In: Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, June 24-27, Anchorage, USA. pp. 512-521. IEEE Computer Society. ISBN 978-1-4244-2397-2
Boudali, H. and Crouzen, P. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and Stoelinga, M.I.A. (2008) Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework. In: Proceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31, 2008 - April 3, 2008, Belfast, UK. pp. 243-248. IEEE Computer Society. ISBN 978-0-7695-3139-7
Boudali, H. and Crouzen, P. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and Stoelinga, M.I.A. (2008) Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models. (Invited) In: Proceedings of the second workshop on foundations of interface theories (FIT), April 10, 2008, Budapest, Hungary. pp. 5-10. University of Aalborg. ISBN not assigned
Boudali, H. and Montani, S. (2008) Guest Editorial: Special session on Bayesian networks in dependability. Reliability Engineering & System Safety, 93 (7). pp. 921-921. ISSN 0951-8320 *** ISI Impact 1,90 ***
Cloth, L. and Haverkort, B.R.H.M. (2008) 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. ISBN 978-0-7695-3360-5
Faella, M. and Legay, A. and Stoelinga, M.I.A. (2008) Model checking Quantitative Linear Time Logic. In: Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008), March 29-30, 2008, Budapest, Hungary. pp. 61-77. Electronic Notes in Theoretical Computer Science 220 (3). Elsevier. ISSN 1571-0661
Jansen, D.N. and Katoen, J.P. and Oldenkamp, M. and Stoelinga, M.I.A. and Zapreev, I.S. (2008) How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. In: Hardware and Software: Verification and Testing, Proceedings of the Third International Haifa Verification Conference, HVC 2007, 23-25 Oct 2007, Haifa, Israel. pp. 69-85. Lecture Notes in Computer Science 4899. Springer Verlag. ISBN 978-3-540-77964-3
Remke, A.K.I. and Haverkort, B.R.H.M. and Heijenk, G.J. and Cloth, L. (2008) Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks. In: Analytical and Stochastic Modeling Techniques and Application, 04-06 Jun 2008, Nicosia, Cyprus. pp. 279-294. Lecture Notes in Computer Science 5055. Springer. ISSN 0302-9743 ISBN 978-3-540-68980-5
Timmer, M. (2008) Actual Test Coverage for Embedded Systems. In: Proceedings of the 14th Dutch Testing Day, 29 Nov 2008, Utrecht, The Netherlands. pp. 8-9. Valori. ISBN not assigned

2007

de Alfaro, L. and Majumdar, R. and Raman, V. and Stoelinga, M.I.A. (2007) Game Relations and Metrics. In: Twenty-Second Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2007), 10–14 July 2007, Wroclav, Poland. pp. 99-108. IEEE Computer Society. ISBN 0-7695-2908-9
Baier, C. and Cloth, L. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and Siegle, M. (2007) Model Checking Markov Chains with Actions and State Labels. IEEE transactions on software engineering, 33 (4). pp. 209-224. ISSN 0098-5589 *** ISI Impact 2,59 ***
Boudali, H. and Crouzen, P. and Stoelinga, M.I.A. (2007) A compositional reliability and availability evaluation tool. In: ARTIST workshop: Tool Platforms for Embedded Systems Modeling, Analysis and Validation. Presented at the 19th International conference on Computer Aided Verification, July 1-2, 2007, Berlin, Germany. ARTIST2 Network of Excellence on Embedded Systems Design. ISBN not assigned
Boudali, H. and Crouzen, P. and Stoelinga, M.I.A. (2007) A compositional semantics for Dynamic Fault Trees in terms of Interactive Markov Chains. In: 5th International Symposium on Automated Technology for Verification and Analysis (ATVA'07), October 22-25, 2007, Tokyo, Japan. pp. 441-456. Lecture Notes in Computer Science 4762. Springer. ISSN 0302-9743 ISBN 978-3-540-75595-1
Boudali, H. and Crouzen, P. and Stoelinga, M.I.A. (2007) Dynamic Fault Tree analysis using Input/Output Interactive Markov Chains. In: Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 25-28 June 2007, Edinburgh, UK. pp. 708-717. IEEE Computer Society. ISBN 0-7695-2855-4
Boudali, H. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and Stoelinga, M.I.A. (2007) Best of Three Worlds: Towards Sound Architectural Dependability Models. In: 8th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS), September 20-21, 2007, Edinburgh, UK. pp. 45-49. Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672
Cheung, L. and Stoelinga, M.I.A. and Vaandrager, F.W. (2007) A testing scenario for probabilistic processes. Journal of the Association for Computing Machinery, 54 (6). 29:1-29:45. ISSN 0004-5411 *** ISI Impact 2,37 ***
Cloth, L. and Haverkort, B.R.H.M. and Jongerden, M.R. (2007) Computing Battery Lifetime Distributions. In: Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007), 25-28 Jun 2007, Edinburgh, UK. pp. 780-789. IEEE Computer Society. ISBN 978-0-7695-2855-7
Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L. (2007) CSL model checking algorithms for QBDs. Theoretical computer science, 382 (1). pp. 24-41. ISSN 0304-3975 *** ISI Impact 0,49 ***

2006

Brandán Briones, L. and Brinksma, H. and Stoelinga, M.I.A. (2006) A Semantic Framework for Test Coverage. Technical Report TR-CTIT-06-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Chatterjee, K. and de Alfaro, L. and Faella, M. and Henzinger, T.A. and Majumdar, R. and Stoelinga, M.I.A. (2006) Quantitative Compositional Reasoning. In: Third International Conference on the Quantitative Evaluation of Systems (QEST'06), 11-14 Sep 2006, Riverside, California. pp. 179-189. IEEE Computer Society. ISBN 0769526659
Cheung, L. and Stoelinga, M.I.A. and Vaandrager, F.W. (2006) A Testing Scenario for Probabilistic Processes. Technical Report ICIS-R06002, Radboud University Nijmegen, Nijmegen.
Cloth, L. and Haverkort, B.R.H.M. (2006) Five Performability Algorithms. A Comparison. In: MAM 2006: Markov Anniversary Meeting, 12-14 Jun 2006, Charleston, SC, USA. pp. 39-54. Boson Books. ISBN 1 932482 34 2
Cloth, L. and Haverkort, B.R.H.M. and Jongerden, M.R. (2006) Evaluation of Battery Lifetimes using Inhomogeneous Markov Reward Models. Technical Report TR-CTIT-06-58, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L. (2006) A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks. In: Third International Conference on the Quantitative Evaluation of Systems, 11-14 Sept 2006, Riverside, CA. pp. 63-72. IEEE Computer Society. ISBN 0769526659
Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L. (2006) Uniformization with Representatives - comprehensive transient analysis of infinite-state QBDs. In: First International Conference on Performance Evaluation Methodologies and Tools, 10 Oct 2006, Pisa, Italy. 7. ACM. ISBN 1-59593-506-1
Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L. (2006) Bottlenecks in Two-Hop Ad Hoc Networks - Dividing Radio Capacity in a Smart Way. In: Stochastic Performance Models for Resource Allocation in Communication Systems, 8-10 Nov 2006, Amsterdam, the Netherlands. pp. 23-26. Centrum voor Wiskunde en Informatica. ISBN not assigned

2005

de Alfaro, L. and Faella, M. and Henzinger, T.A. and Majumdar, R. and Stoelinga, M.I.A. (2005) Model Checking Discounted Temporal Properties. Theoretical computer science, 345 (1). pp. 139-170. ISSN 0304-3975 *** ISI Impact 0,49 ***