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

Technical Reports 2014

Number of items: 12.

Ahmad, W. and de Groote, E. and Hölzenspies, P.K.F. and Stoelinga, M.I.A. and van de Pol, J.C. (2014) Resource-constrained optimal scheduling of synchronous dataflow graphs via timed automata. Technical Report TR-CTIT-13-17, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Guck, D. and Timmer, M. and Hatefi, H and Ruijters, E.J.J. and Stoelinga, M.I.A. (2014) Modelling and analysis of Markov reward automata (extended version). Technical Report TR-CTIT-14-06, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Ionita, D. and Koenen, S. K. and Wieringa, R.J. (2014) Modelling telecom fraud with e3value. Technical Report TR-CTIT-14-11, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
de Jong, J. and Uetz, M.J. (2014) The sequential price of anarchy for atomic congestion games. Technical Report TR-CTIT-14-09, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Kegel, R.H.P. and Wieringa, R.J. (2014) Persuasive technologies: a systematic literature review and application to PISA. Technical Report TR-CTIT-14-07, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Khelghati, S.M. and van Keulen, M. and Hiemstra, D. (2014) Designing A General Deep Web Access Approach Based On A Newly Introduced Factor; Harvestability Factor (HF). Technical Report TR-CTIT-14-08, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
van Rijswijk-Deij, R.M. and Sperotto, A. and Pras, A. (2014) Large-scale DNS and DNSSEC data sets for network security research. Technical Report TR-CTIT-14-13, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Ruijters, E.J.J. and Stoelinga, M.I.A. (2014) Fault Tree Analysis: A survey of the state-of-the-art in modeling, analysis and tools. Technical Report TR-CTIT-14-14, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Vriezekolk, E. (2014) Testing reliability of raster - report of experiment with Kerckhoffs students. Technical Report TR-CTIT-14-05, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Wanders, B. and van Keulen, M. and van der Vet, P.E. (2014) Uncertain groupings: probabilistic combination of grouping data. Technical Report TR-CTIT-14-12, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Wevers, L. and Hofstra, M. and Tammens, M. and Huisman, M. and van Keulen, M. (2014) Towards Online and Transactional Relational Schema Transformations. Technical Report TR-CTIT-14-10, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Zaharieva-Stojanovski, M. and Huisman, M. (2014) Verifying Class Invariants in Concurrent Programs. Technical Report TR-CTIT-14-01, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

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