Mark Timmer

	2012
10		Gerjan Stokkink, Mark Timmer, Mariëlle Stoelinga: Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation MBT 2012: 73-87
9		Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer: A linear process-algebraic format with data for probabilistic automata. Theor. Comput. Sci. 413(1): 36-57 (2012)
	2011
8		Mark Timmer: SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes. QEST 2011: 149-150
7		Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol: Confluence Reduction for Probabilistic Systems. TACAS 2011: 311-325
6		Mark Timmer, Ed Brinksma, Mariëlle Stoelinga: Model-Based Testing. Software and Systems Safety - Specification and Verification 2011: 1-32
	2010
5		Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer: A Linear Process-Algebraic Format for Probabilistic Systems with Data. ACSD 2010: 213-222
4		Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol: Confluence Reduction for Probabilistic Systems (extended version) CoRR abs/1011.2314: (2010)
	2009
3		Jaco van de Pol, Mark Timmer: State Space Reduction of Linear Processes Using Control Flow Reconstruction. ATVA 2009: 54-68
2		Mariëlle Stoelinga, Mark Timmer: Interpreting a Successful Testing Process: Risk and Actual Coverage. TASE 2009: 251-258
	2006
1		Mark Timmer, Pieter-Tjerk de Boer, Aiko Pras: How to Identify the Speed Limiting Factor of a TCP Flow. E2EMON 2006: 17-24

Coauthor Index

1	Pieter-Tjerk de Boer	[1]
2	Ed Brinksma	[6]
3	Joost-Pieter Katoen	[5] [9]
4	Jaco van de Pol	[3] [4] [5] [7] [9]
5	Aiko Pras	[1]
6	Mariëlle Stoelinga	[2] [4] [5] [6] [7] [9] [10]
7	Gerjan Stokkink	[10]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page