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

Technical Reports 2013

Number of items: 21.

Amighi, A. and Blom, S.C.C. and Huisman, M. (2013) Resource protection using atomics: patterns and verifications. Technical Report TR-CTIT-13-10, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Amighi, A. and Blom, S.C.C. and Huisman, M. and Mostowski, W.I. and Zaharieva-Stojanovski, M. (2013) Formal specifications for Java’s synchronisation classes. Technical Report TR-CTIT-13-18, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Arnold, F. and Belinfante, A.F.E. and Van der Berg, F.I. and Guck, D. and Stoelinga, M.I.A. (2013) DFTCalc: a tool for efficient fault tree analysis (extended version). Technical Report TR-CTIT-13-13, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Arnold, F. and Pieters, W. and Stoelinga, M.I.A. (2013) Quantitative penetration testing with item response theory (extended version). Technical Report TR-CTIT-13-20, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Asveld, P.R.J. (2013) Queneau Numbers - Recent Results and a Bibliography. Technical Report TR-CTIT-13-16, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Belinfante, A.F.E. and Rensink, A. (2013) Publishing Your Prototype Tool on the Web: PUPTOL, a Framework. Technical Report TR-CTIT-13-15, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Blom, S.C.C. and Huisman, M. (2013) Witnessing the elimination of magic wands. Technical Report TR-CTIT-13-22, Centre for Telematics and Information Technology, University of Twente , Enschede . ISSN 1381-3625
Blom, S.C.C. and Huisman, M. and Mihelcic, M. (2013) Specification and verification of GPGPU programs. Technical Report TR-CTIT-13-21, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Hartmanns, A. and Timmer, M. (2013) On-the-fly confluence detection for statistical model checking (extended version). Technical Report TR-CTIT-13-04, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Hoeksma, R.P. and Manthey, B. and Uetz, M.J. (2013) Decomposition algorithm for the single machine scheduling polytope. Technical Report TR-CTIT-13-25, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Huisman, M. and Mihelcic, M. (2013) Specification and Verification of GPGPU programs using Permission-based Separation logic. Technical Report TR-CTIT-13-12, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Huq, M.R. and Wombacher, A. and Mileo, A. (2013) Data Provenance Inference in Logic Programming: Reducing Effort of Instance-driven Debugging. Technical Report TR-CTIT-13-11, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Ionita, D. and Hartel, P.H. and Pieters, W. and Wieringa, R.J. (2013) Current established risk assessment methodologies and tools. Technical Report TR-CTIT-14-04, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Junger, M. and Montoya Morales, A.L. and Hartel, P.H. and Karemaker, M. (2013) Modus operandi onderzoek naar door informatie en communicatie technologie (ICT) gefaciliteerde criminaliteit. Technical Report TR-CTIT-13-07, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Keijl, E. and Klaassen, R. and op den Akker, H.J.A. (2013) The influence of locative media on social information sharing: a review. Technical Report TR-CTIT-13-05, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Skutella, M. and Sviridenko, M. and Uetz, M.J. (2013) Stochastic scheduling on unrelated machines. Technical Report TR-CTIT-13-09, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2013) Divergent Quiescent Transition Systems (extended version). Technical Report TR-CTIT-13-08, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Timmer, M. and van de Pol, J.C. and Stoelinga, M.I.A. (2013) Confluence reduction for Markov automata (extended version). Technical Report TR-CTIT-13-14, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Wevers, L. and Huisman, M. and de Keijzer, A. (2013) Parallel transaction processing in functional languages, towards practical functional databases. Technical Report TR-CTIT-13-06, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Wieringa, R.J. and van Eck, P.A.T. and Mylopoulos, J. (2013) Requirements Engineering Conferences: wither industry tracks? Unabridged version with a track history of the RE Conferences. Technical Report TR-CTIT-13-19, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Zhu, Zhemin and Hiemstra, D. and Apers, P.M.G. and Wombacher, A. (2013) Closed form maximum likelihood estimator of conditional random fields. Technical Report TR-CTIT-13-03, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

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