Research output per year
Research output per year
- 19 results
Search results
-
2017
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/Report › Report › Other research output
File7 Citations (Scopus)99 Downloads (Pure) -
2016
A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications (extended version)
Ahmad, W., Yildiz, B. M., Rensink, A. & Stoelinga, M., Sept 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 23 p. (CTIT Technical Report Series; no. TR-CTIT-16-09)Research output: Book/Report › Report › Professional
Open AccessFile143 Downloads (Pure) -
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/Report › Report › Professional
File111 Downloads (Pure) -
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/Report › Report › Professional
File167 Downloads (Pure) -
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/Report › Report › Professional
Open AccessFile3647 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/Report › Report › Professional
Open AccessFile61 Downloads (Pure) -
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/Report › Report › Other research output
File96 Downloads (Pure) -
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/Report › Report › Professional
File16 Citations (Scopus)357 Downloads (Pure) -
2013
Confluence reduction for Markov automata (extended version)
Timmer, M., van de Pol, J. & 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/Report › Report › Professional
Open AccessFile75 Downloads (Pure) -
DFTCalc: a tool for efficient fault tree analysis (extended version)
Arnold, F., Belinfante, A., 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/Report › Report › Professional
File299 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/Report › Report › Academic
Open AccessFile42 Downloads (Pure) -
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/Report › Report › Professional
File271 Downloads (Pure) -
2012
Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification
Ngo, M. T., Stoelinga, M. & 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/Report › Report › Professional
Open AccessFile159 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/Report › Report › Academic
File80 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/Report › Report › Academic
Open AccessFile47 Downloads (Pure) -
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/Report › Report › Academic
File89 Downloads (Pure) -
2009
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/Report › Report › Academic
File5 Citations (Scopus)142 Downloads (Pure) -
2006
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/Report › Report › Professional
File14 Citations (Scopus)131 Downloads (Pure) -
A Testing Scenario for Probabilistic Processes
Cheung, L., Stoelinga, M. & Vaandrager, F., Jan 2006, Nijmegen: Radboud University. 49 p. (ICIS Technical Report; no. R06002)Research output: Book/Report › Report › Professional
Open AccessFile97 Downloads (Pure)