EEMCS

Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. and Timmer, M. (2012) A linear process-algebraic format with data for probabilistic automata. Theoretical Computer Science, 413 (1). pp. 36-57. ISSN 0304-3975 *** ISI Impact 0,838 ***

Stoelinga, M.I.A. and Timmer, M. (2012) Preface. In: Proceedings of the 17th Dutch Testing Day: Testing Evolvability, 29 Nov 2011, Enschede, The Netherlands. pp. 3-3. CTIT Workshop Proceedings Series (WP12-01). Centre for Telematics and Information Technology, University of Twente. ISSN 0929-0672

Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2012) Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version). Technical Report TR-CTIT-12-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2012) Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation. In: Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012), 25 Mar 2012, Tallinn, Estonia. pp. 73-87. Electronic Proceedings in Theoretical Computer Science 80. Open Publishing Association. ISSN 2075-2180

Sijtema, M. and Stoelinga, M.I.A. and Belinfante, A.F.E. and Marinelli, L. (2011) Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost. In: 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, 29-30 Aug 2011, Trento, Italy. pp. 117-133. Lecture Notes in Computer Science 6959. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-24430-8

Stoelinga, M.I.A. (2011) Model- en risicogebaseerd testen voeren boventoon op Nederlandse Testdag. Bits en chips, 113 (15). pp. 14-15. ISSN 1879-6443

Stoelinga, M.I.A. and Timmer, M. (2011) Efficiënt zoeken in grote tekstbestanden. Nieuwe Wiskrant, 30 (4). pp. 35-38. ISSN 0928-7167

Timmer, M. and Brinksma, H. and Stoelinga, M.I.A. (2011) Model-Based Testing. In: Software and Systems Safety: Specification and Verification. NATO Science for Peace and Security Series D: Information and Communication Security 30. IOS Press, Amsterdam, pp. 1-32. ISSN 1874-6268 ISBN 978-1-60750-710-9

Timmer, M. and Stoelinga, M.I.A. and van de Pol, J.C. (2011) Confluence Reduction for Probabilistic Systems. In: Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, 26 Mar - 3 Apr 2011, Saarbrücken, Germany. pp. 311-325. Lecture Notes in Computer Science 6605. Springer Verlag. ISBN 978-3-642-19834-2

Haverkort, B.R.H.M. and Kuntz, G.W.M. and Remke, A.K.I. and Roolvink, S. and Stoelinga, M.I.A. (2010) Evaluating Repair Strategies for a Water-Treatment Facility using Arcade. In: 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN), 28 June - 1 July 2010, Chicago, IL, USA. pp. 419-424. IEEE Computer Society. ISBN 978-1-4244-7499-8

Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. and Timmer, M. (2010) A linear process-algebraic format for probabilistic systems with data (extended version). Technical Report TR-CTIT-10-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. and Timmer, M. (2010) A linear process-algebraic format for probabilistic systems with data. In: Application of Concurrency to System Design, Tenth International Conference on, 21-25 Jun 2010, Braga, Portugal. pp. 213-222. IEEE Computer Society. ISSN 1550-4808 ISBN 978-0-7695-4066-5

Timmer, M. and van de Pol, J.C. and Stoelinga, M.I.A. (2010) Confluence reduction for probabilistic systems. In: Proceedings of the 2nd Young Researchers Workshop on Concurrency Theory, 4 Sep 2010, Paris, France. pp. 87-90. Eindhoven University of Technology. ISBN not assigned

Timmer, M. and Stoelinga, M.I.A. and van de Pol, J.C. (2010) Confluence Reduction for Probabilistic Systems (extended version). Technical Report 1011.2314, ArXiv e-prints.

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,216 ***

Neuhausser, M. and Stoelinga, M.I.A. and Katoen, J.P. (2009) Delayed Nondeterminism in Continuous-Time Markov Decision Processes. In: Foundations of Software Science and Computational Structures. Lecture Notes in Computer Science 5504. Springer Verlag, Berlin, pp. 364-379. ISSN 0302-9743 ISBN 978-3-642-00595-4

Roolvink, S. and Remke, A.K.I. and Stoelinga, M.I.A. (2009) Dependability and Survivability Evaluation of a Water Distribution Process with Arcade. In: 9th International Workshop on Performability of Computer and Communication Systems, 17-18 Sept, 2009, Eger, Hungary. pp. 4-7. PMCCS 2009. Budapest University of Technology and Economics. ISBN not assigned

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

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,864 ***

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

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

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

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 3,375 ***

Brandán Briones, L. and Brinksma, H. and Stoelinga, M.I.A. (2006) A Semantic Framework for Test Coverage. In: Automated Technology for Verification and Analysis, 23-26 Oct 2006. pp. 399-414. Lecture Notes in Computer Science 4218. Springer Verlag. ISBN 978-3-540-47237-7

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.

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,838 ***

de Alfaro, L. and Faella, M. and Henzinger, T.A. and Majumdar, R. and Stoelinga, M.I.A. (2004) Model Checking Discounted Temporal Properties. In: Proc. 10th Int'l Conf. on tools and algorithms for the construction and analysis of systems, March 29 - April 2, 2004, Barcelona, Spain. pp. 77-92. Lecture Notes in Computer Science 2988. Springer. ISBN 978-3-540-21299-7

de Alfaro, L. and Faella, M. and Stoelinga, M.I.A. (2004) Linear and Branching Metrics for Quantitative Transition Systems. In: Proc. 31st Int'l Colloq. on Automata, Languages and Programming (ICALP04), July 12-16, 2004, Turku, Finland. pp. 97-109. Lecture Notes in Computer Science 3142. Springer. ISBN 978-3-540-22849-3