No photo of Mariëlle Ida Antoinette Stoelinga

Mariëlle Ida Antoinette Stoelinga

dr.

20042018
If you made any changes in Pure these will be visible here soon.

Research Output 2004 2018

Filter
Report
2017
1 Citations

Rare event simulation for dynamic fault trees

Ruijters, E. J. J., Reijsbergen, D. P., de Boer, P-T. & Stoelinga, M. I. A., 10 Mar 2017, Enschede: Centre for Telematics and Information Technology (CTIT). 14 p. (CTIT technical report series; no. TR-CTIT-17-02)

Research output: Book/ReportReportOther research output

File
2016

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications (extended version)

Ahmad, W., Yildiz, B. M., Rensink, A. & Stoelinga, M. I. A., Sep 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 23 p. (CTIT Technical Report Series; no. TR-CTIT-16-09)

Research output: Book/ReportReportProfessional

File

Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata (extended version)

Ahmad, W., Jongerden, M. R., Stoelinga, M. I. A. & van de Pol, J. C., 15 Apr 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 33 p. (CTIT Technical Report Series; no. TR-CTIT-16-03)

Research output: Book/ReportReportProfessional

File
2015

Green computing: power optimisation of VFI-based real-time multiprocessor dataflow applications (extended version)

Ahmad, W., Holzenspies, P. K. F., Stoelinga, M. I. A. & van de Pol, J. C., 24 Jun 2015, Enschede: Centre for Telematics and Information Technology (CTIT). 32 p. (CTIT Technical Report Series; no. TR-CTIT-15-04)

Research output: Book/ReportReportProfessional

File
2014

Fault Tree Analysis: A survey of the state-of-the-art in modeling, analysis and tools

Ruijters, E. J. J. & Stoelinga, M. I. A., 2 Dec 2014, Enschede: Centre for Telematics and Information Technology (CTIT). 36 p. (CTIT Technical Report Series; no. TR-CTIT-14-14)

Research output: Book/ReportReportProfessional

File

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

Resource-constrained optimal scheduling of SDF graphs via timed automata (extended version)

Ahmad, W., de Groote, R., Holzenspies, P. K. F., Stoelinga, M. I. A. & van de Pol, J. C., 21 Jan 2014, Enschede, the Netherlands: Centre for Telematics and Information Technology (CTIT). 32 p. (CTIT technical reports; no. TR-CTIT-13-17)

Research output: Book/ReportReportOther research output

File
10 Citations

Resource-constrained optimal scheduling of synchronous dataflow graphs via timed automata

Ahmad, W., de Groote, R., Holzenspies, P. K. F., Stoelinga, M. I. A. & van de Pol, J. C., 21 Jan 2014, Enschede: Centre for Telematics and Information Technology (CTIT). 32 p. (CTIT Technical Report Series; no. TR-CTIT-13-17)

Research output: Book/ReportReportProfessional

File
2013

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

DFTCalc: a tool for efficient fault tree analysis (extended version)

Arnold, F., Belinfante, A., van der Berg, F., van der Berg, F. I., Guck, D. & Stoelinga, M. I. A., Jun 2013, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT Technical Report Series; no. TR-CTIT-13-13)

Research output: Book/ReportReportProfessional

File

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

Quantitative penetration testing with item response theory (extended version)

Arnold, F., Pieters, W. & Stoelinga, M. I. A., Oct 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 11 p. (CTIT Technical Report Series; no. TR-CTIT-13-20)

Research output: Book/ReportReportProfessional

File
2012

Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification

Ngo, M. T., Stoelinga, M. I. A. & Huisman, M., 12 Dec 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 19 p. (CTIT Technical Report Series; no. TR-CTIT-13-01)

Research output: Book/ReportReportProfessional

File

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

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

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 Citations

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
2006
10 Citations

A Semantic Framework for Test Coverage

Brandan Briones, L., Brinksma, E. & Stoelinga, M., 10 Dec 2006, Enschede: Centre for Telematics and Information Technology (CTIT). 31 p. (CTIT Technical Report Series; no. 06-24)

Research output: Book/ReportReportProfessional

File

A Testing Scenario for Probabilistic Processes

Cheung, L., Stoelinga, M. I. A. & Vaandrager, F. W., Jan 2006, Nijmegen: Radboud University Nijmegen. 49 p. (ICIS; no. R06002)

Research output: Book/ReportReportProfessional

File