CTIT University of Twente
Research Business & Innovation About CTIT Research Calls Looking for a job? Intranet

Technical Reports 2016

Number of items: 10.

Abbasi, A. (2016) Ghost in the PLC: stealth on-the-fly manipulation of programmable logic controllers’ I/O. Technical Report TR-CTIT-16-02, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Ahmad, W. and Jongerden, M.R. and Stoelinga, M.I.A. and van de Pol, J.C. (2016) Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata (extended version). Technical Report TR-CTIT-16-03, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Ahmad, W. and Yildiz, B.M. and Rensink, A. and Stoelinga, M.I.A. (2016) A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications (extended version). Technical Report TR-CTIT-16-09, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Berrada, G. and van Keulen, M. and de Keijzer, A. (2016) Evidence combination for incremental decision-making processes. Technical Report CTIT-TR-16-01, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
ter Braak, T.D. and Smit, G.J.M. and Hölzenspies, P.K.F. (2016) Dynamic Resource Allocation. Technical Report TR-CTIT-16-08, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Huisman, M. and Monahan, R. and Müller, P. and Poll, E. (2016) VerifyThis 2016: A Program Verification Competition. Technical Report TR-CTIT-16-07, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
de Jong, J. and Klimm, M. and Uetz, M.J. (2016) Efficiency of equilibria in uniform matroid congestion games. Technical Report TR-CTIT-16-04, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Kurtin, P. and Bekooij, M.J.G. (2016) Appendix to Temporal analysis of static priority preemptive scheduled cyclic streaming applications using CSDF models. Technical Report TR-CTIT-16-10, Centre for Telematics and Information Technology, University of Twente, Enschede, The Netherlands. ISSN 1381-3625
Nguyen, Dong-Phuong and Demeester, T. and Trieschnigg, R.B. and Hiemstra, D. (2016) Resource Selection for Federated Search on the Web. Technical Report TR-CTIT-16-12, Centre for Telematics and Information Technology, University of Twente, Enschede, The Netherlands. ISSN 1381-3625
Vriezekolk, E. (2016) Technical Report on Raster field test at a Water Board. Technical Report TR-CTIT-16-06, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

This list was generated on Fri Dec 2 07:23:29 CET 2016.