Author Publications

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

2014

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]

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? [Software]

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, 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).

Timmer, Mark and Verhoef, Nellie (2012) Increasing insightful thinking in analytic geometry. Nieuw Archief voor Wiskunde, 5/13 (3). pp. 217-219. ISSN 0028-9825

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 Mon Sep 15 05:16:23 2014 CEST.