Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008
Number of items: 49.

2015

Hartmanns, Arnd and Timmer, Mark (2015) Sound statistical model checking for MDP using partial order and confluence reduction. International journal on software tools for technology transfer, 17 (4). pp. 429-456. ISSN 1433-2779

2014

Guck, Dennis and Hatefi, Hassan and Hermanns, Holger and Katoen, Joost-Pieter and Timmer, Mark (2014) Analysis of timed and long-run objectives for Markov automata. Logical methods in computer science, 10 (3). p. 17. ISSN 1860-5974

Guck, Dennis and Timmer, Mark and Blom, Stefan (2014) Extending Markov Automata with State and Action Rewards. In: 12th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, 12-13 April 2014, Grenoble, France.

Guck, Dennis and Timmer, Mark and Hatefi, Hassan and Ruijters, Enno and Stoelinga, Mariëlle (2014) Modelling and analysis of Markov reward automata (extended version). [Report]

Guck, Dennis and Timmer, Mark and Hatefi, Hassan and Ruijters, Enno and Stoelinga, Mariëlle (2014) Modelling and analysis of Markov reward automata. In: 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, 3-7 November 2014, Sydney, NSW, Australia (pp. pp. 168-184).

Hansen, Henri and Timmer, Mark (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

Hek, Geertje M. and Timmer, Mark (2014) In de verdediging: Efficient modelling, generation and analysis of Markov automata. Nieuw Archief voor Wiskunde, 15 (1). pp. 25-26. ISSN 0028-9825

Timmer, Mark (2014) Efficient Modelling, Generation and Analysis of Markov Automata. Bulletin of the European Association for Theoretical Computer Science, 112 . pp. 139-140. ISSN 0252-9742

Timmer, Mark (2014) Community of Learners: samen met vakcollega's werken aan didactiekverbetering. De Lerarenagenda 2013-2020, 2014 .

Timmer, Mark (2014) Community of Learners (2): samen met vakcollega's op zoek naar een betere introductie van telproblemen. De Lerarenagenda 2013-2020, 2014 .

Timmer, Mark (2014) Community of Learners (3): wat leert de docent nu eigenlijk? De Lerarenagenda 2013-2020, 2014 .

Verhoef, N.C. and Timmer, M. (2014) Wiskundeonderwijs in het licht van het PWN-visiedocument 2025. In: Workshop Wolters-Noordhoff, 26 november 2014, Ede.

2013

Guck, Dennis and Hatefi, Hassan and Hermanns, Holger and Katoen, Joost-Pieter and Timmer, Mark (2013) Modelling, reduction and analysis of Markov automata (extended version). [Report]

Guck, Dennis and Hatefi, Hassan and Hermanns, Holger and Katoen, Joost-Pieter and Timmer, Mark (2013) Modelling, reduction and analysis of Markov automata. In: 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, 27-30 August 2013, Buenos Aires, Argentina (pp. pp. 55-71).

Hartmanns, A. and Timmer, M. (2013) On-the-Fly Confluence Detection for Statistical Model Checking. In: 5th International Symposium on NASA Formal Methods, NFM 2013, 14-16 May 2013, Moffett Field, CA, USA (pp. pp. 337-351).

Hartmanns, Arnd and Timmer, Mark (2013) On-the-fly confluence detection for statistical model checking (extended version). [Report]

Hartmanns, Arnd and Timmer, Mark (2013) On-the-fly confluence detection for statistical model checking. In: 11th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, 23-24 March 2013, Rome, Italy.

Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2013) Divergent Quiescent Transition Systems (extended version). [Report]

Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2013) Divergent quiescent transition systems. In: 7th International Conference on Tests and Proofs, TAP 2013, 18-19 June 2013, Budapest, Hungary (pp. pp. 214-231).

Timmer, M. and Pol, J.C. van de and Stoelinga, M.I.A. (2013) Confluence reduction for Markov automata (extended version). [Report]

Timmer, Mark (2013) Efficient modelling, generation and analysis of Markov automata. thesis.

Timmer, Mark and Pol, Jaco van de and Stoelinga, Mariëlle (2013) Confluence reduction for Markov automata. In: 11th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, 23-24 March 2013, Rome, Italy.

Timmer, Mark and Pol, Jaco van de and Stoelinga, L.A. (2013) Confluence reduction for Markov automata. In: 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, 29-31 August 2013, Buenos Aires, Argentina (pp. pp. 243-257).

Verhoef, Nellie and Timmer, Mark (2013) Lesson study - deel 3. Ervaringen bij de introductie van periodieke bewegingen. Euclides, 88 (4). pp. 173-176. ISSN 0165-0394

2012

Hansen, Henri and Timmer, Mark (2012) Why Confluence is More Powerful than Ample Sets in Probabilistic and Non-Probabilistic Branching Time. In: 10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2012, 31 March - 1 April 2012, Tallinn, Estonia.

Stokkink, Gerjan and Timmer, Mark and Stoelinga, Mariëlle (2012) Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version). [Report]

Stokkink, Gerjan and Timmer, Mark and Stoelinga, Mariëlle (2012) Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation. In: 7th Workshop on Model-Based Testing, MBT 2012, 25 March 2012, Tallinn, Estonia (pp. pp. 73-87).

Timmer, M. and Verhoef, N.C. (2012) Increasing insightful thinking in analytic geometry. Nieuw archief voor wiskunde, 13 (3). 2 - 4. ISSN 0028-9825

Timmer, Mark and Jeurnink, Gerard A.M. and Verhoef, Nellie C. (2012) Analytische meetkunde door een synthetische bril. In: 18e Nationale Wiskunde Dagen, 3-4 Februari 2012, Noordwijkerhout (pp. p. 44).

Timmer, Mark and Katoen, Joost-Pieter and Pol, Jaco van de and Stoelinga, Mariëlle (2012) Efficient Modelling and Generation of Markov Automata. In: 10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, 31 March - 1 April 2012, Tallinn, Estonia.

Timmer, Mark and Katoen, Joost-Pieter and Pol, Jaco van de and Stoelinga, Mariëlle (2012) Efficient Modelling and Generation of Markov Automata (extended version). [Report]

Timmer, Mark and Katoen, Joost-Pieter and Pol, Jaco van de and Stoelinga, Mariëlle (2012) Efficient Modelling and Generation of Markov Automata. In: 23rd International Conference on Concurrency Theory, CONCUR 2012, September 4-7, 2012, Newcastle upon Tyne, UK (pp. pp. 364-379).

2011

Alberink, Martin and Muijlwijk, Heleen and Timmer, Mark (2011) De sinus: van meetkundige definitie naar analytisch begrip. Euclides, 86 (6). pp. 250-252. ISSN 0165-0394

Hansen, Henri and Timmer, Mark (2011) Confluence versus Ample Sets in Probabilistic Branching Time. In: 3rd Young Researchers Workshop on Concurrency Theory, 10 Sep 2011, Aachen, Germany.

Katoen, Joost-Pieter and Pol, Jaco van de and Stoelinga, Mariëlle and Timmer, Mark (2011) A linear process-algebraic format with data for probabilistic automata. Theoretical Computer Science, 413 (1). pp. 36-57. ISSN 0304-3975

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

Stoelinga, Mariëlle and Timmer, Mark , eds. (2011) Proceedings of the 17th Dutch Testing Day: Testing Evolvability. CTIT Workshop Proceedings Series, WP12-01 (WP12-01). University of Twente, Centre for Telematics and Information Technology, Enschede, the Netherlands.

Timmer, Mark (2011) SCOOP: A Tool for SymboliC Optimisations Of Probabilistic Processes. In: 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011, September 5-8, 2011, Aachen, Germany.

Timmer, Mark and Brinksma, Ed and Stoelinga, Mariëlle (2011) Model-based Testing. In: Software and Systems Safety: Specification and Verification. NATO Science for Peace and Security Series - D: Information and Communication Security . IOS Press, Amsterdam.

Timmer, Mark and Stoelinga, Mariëlle and Pol, Jaco van de (2011) Confluence Reduction for Probabilistic Systems. In: 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, 26 March - 3 April 2011, Saarbrücken, Germany (pp. pp. 311-325).

2010

Katoen, Joost-Pieter and Pol, Jaco van de and Stoelinga, Mariëlle and Timmer, Mark (2010) A linear process-algebraic format for probabilistic systems with data (extended version). [Report]

Katoen, Joost-Pieter and Pol, Jaco van de and Stoelinga, Mariëlle and Timmer, Mark (2010) A linear process algebraic format for probabilistic systems with data. In: Tenth International Conference on Application of Concurrency to System Design, ACSD 2010, 21-25 June 2010, Braga, Portugal (pp. pp. 213-222).

Timmer, Mark and Pol, Jaco van de and Stoelinga, Mariëlle (2010) Confluence reduction for probabilistic systems. In: 2nd Young Researchers Workshop on Concurrency Theory, 4 September 2010, Paris, France (pp. pp. 87-90).

Timmer, Mark and Stoelinga, Mariëlle and Pol, Jaco van de (2010) Confluence Reduction for Probabilistic Systems (extended version). [Report]

2009

Pol, Jaco van de and Timmer, Mark (2009) State Space Reduction of Linear Processes using Control Flow Reconstruction. [Report]

Pol, Jaco van de and Timmer, Mark (2009) State Space Reduction of Linear Processes Using Control Flow Reconstruction. In: 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, October 14-16, 2009, Macao SAR, China (pp. pp. 54-68).

Stoelinga, Mariëlle and Timmer, Mark (2009) Interpreting a Successful Testing Process: Risk and Actual Coverage. [Report]

Stoelinga, Mariëlle and Timmer, Mark (2009) Interpreting a Successful Testing Process: Risk and Actual Coverage. In: Third IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE, 29-31 July 2009, Tianjin, China (pp. pp. 251-258).

2008

Timmer, Mark (2008) Actual Test Coverage for Embedded Systems. In: 14th Dutch Testing Day, 29 November 2008, Utrecht, The Netherlands (pp. pp. 8-9).

This list was generated on Wed May 4 05:27:27 2016 CEST.