• 204 Citations
  • 9 h-Index
20052019
If you made any changes in Pure these will be visible here soon.

Research Output 2005 2019

2011
122 Downloads (Pure)

De sinus: van meetkundige definitie naar analytisch begrip

Alberink, M. J., Muijlwijk, H. & Timmer, M., May 2011, In : Euclides. 86, 6, p. 250-252 3 p.

Research output: Contribution to journalArticleProfessional

Open Access
File
20 Downloads (Pure)

Efficiënt zoeken in grote tekstbestanden

Stoelinga, M. I. A. & Timmer, M., Jun 2011, In : Nieuwe wiskrant. 30, 4, p. 35-38 4 p.

Research output: Contribution to journalArticleProfessional

Open Access
File
74 Downloads (Pure)

Model-Based Testing

Timmer, M., Brinksma, H. & Stoelinga, M. I. A., Apr 2011, Software and Systems Safety: Specification and Verification. Broy, M., Leuxner, C. & Hoare, C. A. R. (eds.). Amsterdam: IOS Press, p. 1-32 32 p. (NATO Science for Peace and Security Series D: Information and Communication Security; vol. 30, no. 30).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

File
11 Citations (Scopus)
36 Downloads (Pure)

SCOOP: A Tool for SymboliC Optimisations Of Probabilistic Processes

Timmer, M., Sep 2011, Proceedings of the 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011. Palamidessi, C. & Riska, A. (eds.). Los Alamitos, USA: IEEE Computer Society, p. 149-150 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2010
5 Citations (Scopus)
115 Downloads (Pure)

A linear process-algebraic format for probabilistic systems with data

Katoen, J. P., van de Pol, J. C., Stoelinga, M. I. A. & Timmer, M., Jun 2010, Application of Concurrency to System Design, Tenth International Conference on. Gomes, L., Khomenko, V. & Fernandes, J. M. (eds.). Los Alamitos: IEEE Computer Society Press, p. 213-222 10 p. 10.1109/ACSD.2010.18

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
23 Downloads (Pure)

A linear process-algebraic format for probabilistic systems with data (extended version)

Katoen, J. P., van de Pol, J. C., Stoelinga, M. I. A. & Timmer, M., 7 Apr 2010, Enschede: Centre for Telematics and Information Technology (CTIT). 18 p. (CTIT Technical Report Series; no. TR-CTIT-10-11)

Research output: Book/ReportReportAcademic

File
32 Downloads (Pure)

Confluence reduction for probabilistic systems

Timmer, M., van de Pol, J. C. & Stoelinga, M. I. A., Sep 2010, Proceedings of the 2nd Young Researchers Workshop on Concurrency Theory. Eindhoven, The Netherlands: Eindhoven University of Technology, p. 87-90 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
10 Downloads (Pure)

Confluence Reduction for Probabilistic Systems (extended version)

Timmer, M., Stoelinga, M. I. A. & van de Pol, J. C., 10 Nov 2010, Ithaca, NY, USA: ArXiv e-prints, 28 p.

Research output: Working paperProfessional

Open Access
File
2009
2 Citations (Scopus)
30 Downloads (Pure)

Interpreting a Successful Testing Process: Risk and Actual Coverage

Stoelinga, M. I. A. & Timmer, M., 7 May 2009, Enschede: Centre for Telematics and Information Technology (CTIT). 24 p. (CTIT Technical Report Series; no. TR-CTIT-09-17)

Research output: Book/ReportReportAcademic

File

Interpreting a Successful Testing Process: Risk and Actual Coverage

Stoelinga, M. I. A. & Timmer, M., Jul 2009, Proceedings of the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE). Chin, W. N. & Qin, S. (eds.). Los Alamitos: IEEE Computer Society, p. 251-258 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Testing
7 Downloads (Pure)

Probabilistic specifications with data types

Katoen, J. P., van de Pol, J., Stoelinga, M. & Timmer, M., 5 Nov 2009. 1 p.

Research output: Contribution to conferencePosterOther research output

Open Access
File
12 Citations (Scopus)
40 Downloads (Pure)

State Space Reduction of Linear Processes using Control Flow Reconstruction

van de Pol, J. C. & Timmer, M., 23 Jun 2009, Enschede: Centre for Telematics and Information Technology (CTIT). 25 p. (CTIT Technical Report Series; no. TR-CTIT-09-24)

Research output: Book/ReportReportAcademic

File
14 Downloads (Pure)

State Space Reduction of Linear Processes Using Control Flow Reconstruction

van de Pol, J. C. & Timmer, M., 13 Oct 2009, Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings. Liu, Z. & Ravn, A. P. (eds.). Berlin: Springer, p. 54-68 15 p. (Lecture Notes in Computer Science; vol. 5799).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Flow control
Process control
Specifications
Data flow analysis
Static analysis
2008
11 Downloads (Pure)

Actual Test Coverage for Embedded Systems

Timmer, M., 27 Nov 2008, p. 8-9. 2 p.

Research output: Contribution to conferenceAbstractProfessional

File
Embedded systems
Testing
Black-box testing
3 Downloads (Pure)

Evaluating and Predicting Actual Test Coverage

Timmer, M., 24 Jun 2008, Enschede: University of Twente. 133 p.

Research output: Book/ReportReportOther research output

Open Access
File
Semantics
Testing
Statistical Models
2006
4 Citations (Scopus)
28 Downloads (Pure)

How to Identify the Speed Limiting Factor of a TCP Flow

Timmer, M., de Boer, P-T. & Pras, A., 3 Apr 2006, Proceedings of the 4th IEEE/IFIP Workshop on End-to-End Monitoring Techniques and Services (E2EMON). Al-Shaer, E., Pras, A. & Brownlee, N. (eds.). Piscataway: IEEE, p. 17-24 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Internet
2005
35 Downloads (Pure)

How to identify the speed limiting factor of a TCP flow

Timmer, M., 19 Sep 2005, Enschede: University of Twente. 76 p.

Research output: Book/ReportReportOther research output

Open Access