EEMCS

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

EEMCS EPrints Service


Research Project: Quasimodo: Quantitative System Properties in Model-Driven-Design of Embedded Systems
Home Policy Brochure Browse Search User Area Contact Help

2014

Hansen, H. and Timmer, M. (2014) A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time. Theoretical computer science, 538. pp. 103-123. ISSN 0304-3975 *** ISI Impact 0,49 ***

2013

Timmer, M. (2013) Efficient Modelling, Generation and Analysis of Markov Automata. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 13-261 ISBN 978-90-365-0592-5

2012

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

2011

Hansen, H. and Timmer, M. (2011) Confluence versus Ample Sets in Probabilistic Branching Time. In: Proceedings of the 3rd Young Researchers Workshop on Concurrency Theory, 10 Sep 2011, Aachen, Germany. École normale supérieure de Cachan. ISBN not assigned
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
Timmer, M. (2011) SCOOP: A Tool for SymboliC Optimisations Of Probabilistic Processes. In: Proceedings of the 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011, 5-8 Sep 2011, Aachen, Germany. pp. 149-150. IEEE Computer Society. ISBN 978-1-4577-0973-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

2010

Boudali, H. and Crouzen, P. and Stoelinga, M.I.A. (2010) A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis. IEEE Transactions on Dependable and Secure Computing, 7 (2). pp. 128-143. ISSN 1545-5971 *** ISI Impact 1,06 ***
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.
Xing, Jian Sheng and Theelen, B.D. and Langerak, R. and van de Pol, J.C. and Tretmans, G.J. and Voeten, J.P.M. (2010) From POOSL to UPPAAL: Transformation and Quantitative Analysis. In: Application of Concurrency to System Design, Tenth International Conference on, 21-25 Jun 2010, Braga, Portugal. pp. 47-56. IEEE Computer Society. ISSN 1550-4808 ISBN 978-0-7695-4066-5
Xing, Jian Sheng and Theelen, B.D. and Langerak, R. and van de Pol, J.C. and Tretmans, G.J. and Voeten, J.P.M. (2010) UPPAAL in Practice: Quantitative Verication of a RapidIO Network. In: ISoLA 2010 - 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, 18-20 Oct 2010, Amirandes, Heraclion, Crete. pp. 160-174. Lecture Notes in Computer Science 6416. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-16560-3

2009

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 ***
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) 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
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