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

Research Output 2005 2019

Filter
Report
2014
15 Downloads (Pure)

Modelling and analysis of Markov reward automata (extended version)

Guck, D., Timmer, M., Hatefi, H., Ruijters, E. J. J. & Stoelinga, M. I. A., 2014, Enschede: Centre for Telematics and Information Technology (CTIT). 35 p. (CTIT Technical Report Series; no. TR-CTIT-14-06)

Research output: Book/ReportReportProfessional

File
Costs
Flavors
Repair
Energy utilization
Data storage equipment
2013
18 Downloads (Pure)

Confluence reduction for Markov automata (extended version)

Timmer, M., van de Pol, J. C. & Stoelinga, M. I. A., Jun 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 26 p. (CTIT Technical Report Series; no. TR-CTIT-13-14)

Research output: Book/ReportReportProfessional

File
12 Downloads (Pure)

Divergent Quiescent Transition Systems (extended version)

Stokkink, W. G. J., Timmer, M. & Stoelinga, M. I. A., Mar 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 39 p. (CTIT Technical Report Series; no. TR-CTIT-13-08)

Research output: Book/ReportReportAcademic

File
13 Downloads (Pure)

Modelling, Reduction and Analysis of Markov Automata (extended version)

Guck, D., Hatefi, H., Hermanns, H., Katoen, J. P. & Timmer, M., 30 May 2013, Ithaca, NY, USA: Cornell University. 27 p.

Research output: Book/ReportReportAcademic

File
12 Downloads (Pure)

On-the-fly confluence detection for statistical model checking (extended version)

Hartmanns, A. & Timmer, M., Mar 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 18 p. (CTIT Technical Report Series; no. TR-CTIT-13-04)

Research output: Book/ReportReportAcademic

File
Model checking
Random processes
Explosions
Statistical methods
Simulators
2012
17 Downloads (Pure)

Efficient Modelling and Generation of Markov Automata (extended version)

Timmer, M., Katoen, J. P., van de Pol, J. C. & Stoelinga, M. I. A., 11 Jun 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 35 p. (CTIT Technical Report Series; no. TR-CTIT-12-16)

Research output: Book/ReportReportAcademic

File
13 Downloads (Pure)

Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version)

Stokkink, G., Timmer, M. & Stoelinga, M., 1 Feb 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 25 p. (CTIT Technical Report Series; no. TR-CTIT-12-05)

Research output: Book/ReportReportAcademic

Open Access
File
Testing
Chemical analysis
2010
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
2009
1 Citation (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
12 Citations (Scopus)
38 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
2008
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
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