CTIT University of Twente
Research Business & Innovation Publications About CTIT Intranet

Technical Reports 2009

Number of items: 51.

Abelmann, L. and Tas, N.R. and Berenschot, J.W. and Elwenspoek, M.C. (2009) Self assembled three-dimensional nonvolatile memories. Technical Report TR-CTIT-09-29, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Aly, R.B.N. and Hiemstra, D. (2009) A Simulator for Concept Detector Output. Technical Report TR-CTIT-09-40, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Asveld, P.R.J. (2009) Permuting Operations on Strings: Their Permutations and Their Primes. Technical Report TR-CTIT-09-26, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Asveld, P.R.J. (2009) Some Families of Permutations and Their Primes. Technical Report TR-CTIT-09-27, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Blom, S.C.C. and van de Pol, J.C. (2009) Distributed Branching Bisimulation Minimization by Inductive Signatures. Technical Report TR-CTIT-09-37, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Blom, S.C.C. and van de Pol, J.C. and Weber, Michael (2009) Bridging the Gap between Enumerative and Symbolic Model Checkers. Technical Report TR-CTIT-09-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bodenstaff, L. and Wombacher, A. and Reichert, M. and Jaeger, M.C. (2009) Analyzing Impact Factors on Composite Services. Technical Report TR-CTIT-09-19, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bolzoni, D. and Etalle, S. and Hartel, P.H. (2009) Panacea: Automating Attack Classification for Anomaly-based Network Intrusion Detection Systems. Technical Report TR-CTIT-09-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van den Broek, G. and ten Hoeve, S. and Moreira Moura, G.C. and Pras, A. (2009) SNMP Trace Analysis: Results of Extra Traces. Technical Report TR-CTIT-10-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Camacho, J. and de Boer, P.T. and Remke, A.K.I. (2009) Survivability of SCADA Control Loop. Technical Report TR-CTIT-09-46, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Ciraci, S. and Havinga, W.K. and Akşit, M. and Bockisch, C.M. and van den Broek, P.M. (2009) A graph-based aspect interference detection approach for UML-based aspect-oriented models. Technical Report TR-CTIT-09-39, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van Cleeff, A. and Pieters, W. and Wieringa, R.J. (2009) Security Implications of Virtualization: A Literature Study. Technical Report TR-CTIT-09-25, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Dimkov, T. and Pieters, W. and Hartel, P.H. (2009) Portunes: generating attack scenarios by finding inconsistencies between security policies in the physical, digital and social domain. Technical Report TR-CTIT-09-15, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Dimkov, T. and Pieters, W. and Hartel, P.H. (2009) Two methodologies for physical penetration testing using social engineering. Technical Report TR-CTIT-09-48, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Eckartz, S.M. and Daneva, M. and Wieringa, R.J. and van Hillegersberg, J. (2009) A conceptual framework for ERP benefit classification: Results of a literature review. Technical Report TR-CTIT-09-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Evers, S. and Fokkinga, M.M. and Apers, P.M.G. (2009) Inference Optimization using Relational Algebra. Technical Report TR-CTIT-09-38, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Gong, Zheng and Hartel, P.H. and Nikova, S.I. and Zhu, Bo (2009) TuLP: A Family of Secure and Practical Message Authentication Codes for Body Sensor Networks. Technical Report TR-CTIT-09-32, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hartel, P.H. (2009) On the Cost and Benefits of Building a High-Quality Institutional Repository. Technical Report TR-CTIT-09-07, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van Hoesel, L.F.W. and Havinga, P.J.M. (2009) Analysis of a Self-organizing Algorithm for Time Slot Selection in Schedule-based Medium Access. Technical Report TR-CTIT-09-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van Hoesel, L.F.W. and Havinga, P.J.M. (2009) Distributed Coverage Area Reporting for Wireless Sensor Networks. Technical Report TR-CTIT-09-16, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van Hoesel, L.F.W. and Havinga, P.J.M. (2009) Design of Combined Coverage Area Reporting and Geo-casting of Queries for Wireless Sensor Networks. Technical Report TR-CTIT-09-49, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hordijk, W.T.B. and Ponisio, M.L. and Wieringa, R.J. (2009) Structured Review of the Evidence for Effects of Code Duplication on Software Quality. Technical Report TR-CTIT-09-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Ibraimi, L. and Asim, M. and Petkovic, M. (2009) Secure Management of Personal Health Records by Applying Attribute-Based Encryption. Technical Report TR-CTIT-09-41, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Ibraimi, L. and Petkovic, M. and Nikova, S.I. and Hartel, P.H. and Jonker, W. (2009) Mediated Ciphertext-Policy Attribute-Based Encryption and its Application (extended version). Technical Report TR-CTIT-09-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Jones, V.M. and Gay, V. and Leijdekkers, P. (2009) Body sensor networks for Mobile Health Monitoring: Experience in Europe and Australia. Technical Report TR-CTIT-09-43, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Li, Chen and Reichert, M. and Wombacher, A. (2009) What are the Problem Makers: Discovering the Most Frequently Changed Activities in Adaptive Processes. Technical Report TR-CTIT-09-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Li, Chen and Reichert, M. and Wombacher, A. (2009) A Heuristic Approach for Discovering Reference Models by Mining Process Model Variants. Technical Report TR-CTIT-09-08, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Li, Chen and Reichert, M. and Wombacher, A. (2009) Representing Block-structured Process Models as Order Matrices: Basic Concepts, Formal Properties, Algorithms. Technical Report TR-CTIT-09-47, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Li, R.M. (2009) The State-of-the-arts in Focused Search. Technical Report TR-CTIT-09-28, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Marincic, J. and Mader, A.H. and Wieringa, R.J. (2009) A Handbook Supporting Model-Driven Software Development - a Case Study. Technical Report TR-CTIT-09-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
de Mol, M.J. and Zimakova, M.V. (2009) A GROOVE Solution for the BPMN to BPEL Model Transformation. Technical Report TR-CTIT-09-31, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Morali, A. and Zambon, Emmanuele and Etalle, S. and Wieringa, R.J. (2009) CRAC: Confidentiality Risk Analysis and IT-Architecture Comparison of Business Networks (extended version). Technical Report TR-CTIT-09-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Nasution, S. and Hartel, P.H. and Suryana, N. and Azman, N. and Shahib, S. (2009) Trust Level and Routing Selection for Mobile Agents in a Smart Home (Extended version). Technical Report TR-CTIT-09-36, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Ordelman, R.J.F. and Huijbregts, M.A.H. and de Jong, F.M.G. (2009) Unravelling the Voice of Willem Frederik Hermans: an Oral History Indexing Case Study. Technical Report TR-CTIT-05-72, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Panse, F. and van Keulen, M. and de Keijzer, A. and Ritter, N. (2009) Duplicate Detection in Probabilistic Data. Technical Report TR-CTIT-09-44, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Pieters, W. (2009) Combatting electoral traces: the Dutch tempest discussion and beyond. Technical Report TR-CTIT-09-21, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Pieters, W. (2009) Reve{a,i}ling the risks: a phenomenology of information security Technical Report TR-CTIT-09-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Pieters, W. and van Cleeff, A. (2009) The precautionary principle in a world of digital dependencies. Technical Report TR-CTIT-09-23, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Pieters, W. and Tang, Qiang (2009) Data is key: introducing the data-based access control paradigm. Technical Report TR-CTIT-09-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van de Pol, J.C. and Timmer, M. (2009) State Space Reduction of Linear Processes using Control Flow Reconstruction. Technical Report TR-CTIT-09-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. and Zambon, Eduardo (2009) A Type Graph Model for Java Programs. Technical Report TR-CTIT-09-01, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. and Zimakova, M.V. (2009) Flow Diagram Decomposition Using Graph Transformations. Technical Report TR-CTIT-09-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Saffarian, M. and Tang, Qiang and Jonker, W. and Hartel, P.H. (2009) Dynamic User Role Assignment in Remote Access Control. Technical Report TR-CTIT-09-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Sedghi, S. and van Liesdonk, P. and Doumen, J.M. and Hartel, P.H. and Jonker, W. (2009) Adaptively Secure Computationally Efficient Searchable Symmetric Encryption. Technical Report TR-CTIT-09-13, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van Sinderen, M.J. and Pras, A. and Haverkort, B.R.H.M. and Apers, P.M.G. and Hartel, P.H. and van de Pol, J.C. and Nijholt, A. and Wieringa, R.J. and Havinga, P.J.M. and Akşit, M. (2009) Research Self-Evaluation 2003-2008, Computer Science Department, University of Twente. Technical Report Number UNSPECIFIED, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Stoelinga, M.I.A. and Timmer, M. (2009) Interpreting a Successful Testing Process: Risk and Actual Coverage. Technical Report TR-CTIT-09-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Swartjes, I.M.T. and Theune, M. (2009) Late commitment: virtual story characters that can frame their world. Technical Report TR-CTIT-09-18, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Tigelaar, A.S. and Hiemstra, D. (2009) Query-Based Sampling using Only Snippets. Technical Report TR-CTIT-09-42, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Veldman, I. (2009) Compression of Probabilistic XML documents. Technical Report TR-CTIT-09-20, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Zambon, Eduardo and Rensink, A. (2009) Using Graph Transformations and Graph Abstractions for Software Verification. Technical Report TR-CTIT-10-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Zambon, Emmanuele and Etalle, S. and Wieringa, R.J. and Hartel, P.H. (2009) Architecture-based Qualitative Risk Analysis for Availability of IT Infrastructures. Technical Report TR-CTIT-09-35, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

This list was generated on Thu Nov 20 21:52:02 CET 2014.