Newcastle University

Technical Reports

Year: 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1986 1985 1984 1983 1982 1981 1980 1979 1978 1977 1976 1975 1974 1973 1972 1971 1970 1969

• Glaser H, Millard I, Anderson T, Andrews Z, Fitzgerald J, Randell B. A Knowledge Base for Dependability and Security Research. School of Computing Science. 2008. School of Computing Science Technical Report Series 1132 (download PDF).
• Bryans J, Fitzgerald J, Romanovsky A, Roth A. Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. School of Computing Science. 2008. School of Computing Science Technical Report Series 1131 (download PDF).
• Sulaiman A N, Olivier P, Heslop P. TangiSoft: A Tangible Direct-Touch Tabletop Keyboard. School of Computing Science. 2008. School of Computing Science Technical Report Series 1130 (download PDF).
• Thomas, N.Using ODEs from PEPA models to derive asymptotic solutions for a class of closed queueing networks. School of Computing Science. 2008. School of Computing Science Technical Report Series 1129 (download PDF).
• Thomas, N.Mean value analysis for a class of PEPA models. School of Computing Science. 2008. School of Computing Science Technical Report Series 1128 (download PDF).
• Yan J, Salah El Ahmad A. Is cheap labour behind the scene? - Low-cost automated attacks on Yahoo CAPTCHAs. School of Computing Science. 2008. School of Computing Science Technical Report Series 1127 (download PDF).
• Smith J, Watson P. Concurrent Management of Composite Services According to Response Time SLAs. School of Computing Science. 2008. School of Computing Science Technical Report Series 1126 (download PDF).
• Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A. Patterns for Refinement Automation. School of Computing Science. 2008. School of Computing Science Technical Report Series 1125 (download PDF).
• Payne RJ. RPL: A Policy Language For Dynamic Reconfiguration. School of Computing Science. 2008. School of Computing Science Technical Report Series 1124 (download PDF).
• Laibinis L, Troubitsyna E, Iliasov A, Romanovsky A. Formal development of cooperative exception handling for mobile agent systems. School of Computing Science. 2008. School of Computing Science Technical Report Series 1123 (download PDF).
• Gorbenko A, Kharchenko V, Tarasyuk O, Chen Y, Romanovsky A. The Threat of Uncertainty in Service-Oriented Architecture. School of Computing Science. 2008. School of Computing Science Technical Report Series 1122 (download PDF).
• Bhattacharyya A, Fitzgerald JS. Development of a Formalism for Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems: A Technical Diary. School of Computing Science. 2008. School of Computing Science Technical Report Series 1121 (download PDF).
• Koutny M, Randell B. Structured Occurrence Nets: A formalism for aiding system failure prevention and analysis techniques. School of Computing Science. 2008. School of Computing Science Technical Report Series 1120 (download PDF).
• Kleijn J, Koutny M. A Petri Net Model for Membrane Systems with Dynamic Structure. School of Computing Science. 2008. School of Computing Science Technical Report Series 1119 (download PDF).
• Kleijn J, Koutny M. Steps and Coverability in Inhibitor Nets. School of Computing Science. 2008. School of Computing Science Technical Report Series 1118 (download PDF).
• Kleijn J, Koutny M. Petri Nets and Membrane Computing. School of Computing Science. 2008. School of Computing Science Technical Report Series 1117 (download PDF).
• Chen, Y.WS-Mediator for Improving Dependability of Service Composition. School of Computing Science. 2008. School of Computing Science Technical Report Series 1116 (download PDF).
• Strano M, Molina-Jimenez C, Shrivastava S. A Rule-based Notation to Specify Executable Electronic Contracts. School of Computing Science. 2008. School of Computing Science Technical Report Series 1115 (download PDF).
• Ryan PYA. Prêt à Voter with Paillier Encryption - extended journal version. School of Computing Science. 2008. School of Computing Science Technical Report Series 1114 (download PDF).
• Zhang H, van Moorsel A. Evaluation of P2P Algorithms for Probabilistic Trust Inference in a Web of Trust. School of Computing Science. 2008. School of Computing Science Technical Report Series 1113 (download PDF).
• Zhao, Y., Thomas, N.Efficient solutions of a PEPA model of key distribution centre with a cost function. School of Computing Science. 2008. School of Computing Science Technical Report Series 1112 (download PDF).
• Devlin M, Drummond S, Phillips C, Marshall L. Improving Assessment in Software Engineering Student Team Projects. School of Computing Science. 2008. School of Computing Science Technical Report Series 1111 (download PDF).
• Devlin M, Phillips C, Marshall L. Organised Chaos - Learning Outcomes from trialling Active Learning Methods in Computing Science. School of Computing Science. 2008. School of Computing Science Technical Report Series 1110 (download PDF).
• Sulaiman A N, Olivier P, Heslop P. TangiSoft: Designing a Tangible Direct-Touch Tabletop Keyboard. School of Computing Science. 2008. School of Computing Science Technical Report Series 1109 (download PDF).
• Coleman, J. W. Expression Decomposition in a Rely/Guarantee Context. School of Computing Science. 2008. School of Computing Science Technical Report Series 1108 (download PDF).
• Chaum D, Carback R, Clark J, Essex A, Popoveniuc S, Rivest R L, Ryan PYA, Shen E, Sherman AT. Scantegrity II: End-to-End Verifiability for Optical Scan Election Systems using Invisible Ink Confirmation Codes. School of Computing Science. 2008. School of Computing Science Technical Report Series 1107 (download PDF).
• Yassin Kassab R, van Moorsel A. Mapping WSLA on Reward Constructs in Möbius. School of Computing Science. 2008. School of Computing Science Technical Report Series 1106 (download PDF).
• Castor Filho F, Romanovsky A, Rubira CMF. Improving the Reliability of Cooperative Concurrent Systems with Exception Flow Analysis. School of Computing Science. 2008. School of Computing Science Technical Report Series 1105 (download PDF).
• Chen Y, Romanovsky A. Mediating Web Services for Dependability. School of Computing Science. 2008. School of Computing Science Technical Report Series 1104 (download PDF).
• Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A. Guided Formal Development: Patterns for Modelling and Refinement. School of Computing Science. 2008. School of Computing Science Technical Report Series 1103 (download PDF).
• Kleijn J, Koutny M. CHINA 2008 (Concurrency metHods: Issues aNd Applications). School of Computing Science. 2008. School of Computing Science Technical Report Series 1102 (download PDF).
• Coles R, Griffin J, Johnson H, Monahan B, Parkin S, Pym D, Sasse A, van Moorsel A. Trust Economics Feasibility Study. School of Computing Science. 2008. School of Computing Science Technical Report Series 1101 (download PDF).
• Khomenko V, Meyer R. Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete. School of Computing Science. 2008. School of Computing Science Technical Report Series 1100 (download PDF).
• Fitzgerald JS, Larsen PG, Sahara S. Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop. School of Computing Science. 2008. School of Computing Science Technical Report Series 1099 (download PDF).
• Bryans J, Fitzgerald J. Proceedings of Formal Aspects of Virtual Organisations 2008. School of Computing Science. 2008. School of Computing Science Technical Report Series 1098 (download PDF).
• Selvarajah K, Tully A, Blythe PT. Zigbee for intelligent transport system applications. School of Computing Science. 2008. School of Computing Science Technical Report Series 1097 (download PDF).
• Katramados I, Barlow A, Selvarajah K, Shooter C, Tully A, Blythe P T. Heterogeneous sensor integration for intelligent transport systems. School of Computing Science. 2008. School of Computing Science Technical Report Series 1096 (download PDF).
• Gacek, C.AA – A Software Architecture Aware Environment for Dependable Systems. School of Computing Science. 2008. School of Computing Science Technical Report Series 1095 (download PDF).
• Strano M, Molina-Jimenez C, Shrivastava S. A Model for Checking Contractual Compliance of Business Operations. School of Computing Science. 2008. School of Computing Science Technical Report Series 1094 (download PDF).
• Yan J, Salah El Ahmad A. A Low-cost Attack on a Microsoft CAPTCHA. School of Computing Science. 2008. School of Computing Science Technical Report Series 1093 (download PDF).
• Andreou M, van Moorsel A. COTraSE: Connection Oriented Traceback in Switched Ethernet. School of Computing Science. 2008. School of Computing Science Technical Report Series 1092 (download PDF).
• Bryans JW, Fitzgerald JS, Greathead D, Jones CB, Payne RJ. A Dynamic Coalitions Workbench: Final Report. School of Computing Science. 2008. School of Computing Science Technical Report Series 1091 (download PDF).
• Cooper DE, Ezhilchelvan PD, Mitrani I. A Real World Evaluation of Encounter Gossip. School of Computing Science. 2008. School of Computing Science Technical Report Series 1090 (download PDF).
• Colquhoun J, Watson P. A Peer-to-Peer Database Server based on BitTorrent. School of Computing Science. 2008. School of Computing Science Technical Report Series 1089 (download PDF).
• Smith J, Watson P. Towards Concurrent SLA-based Management in a Composite Service Data Centre. School of Computing Science. 2008. School of Computing Science Technical Report Series 1088 (download PDF).
• Sulaiman A. N., Olivier P.Attribute Gates. School of Computing Science. 2008. School of Computing Science Technical Report Series 1087 (download PDF).
• Banks R, Khomenko V, Steggles J. A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks. School of Computing Science. 2008. School of Computing Science Technical Report Series 1086 (download PDF).
• Bell M, Suresh V, Watson P, Blythe P. UTMC Compliant Database to Support Technologies of the Future. School of Computing Science. 2008. School of Computing Science Technical Report Series 1085 (download PDF).
• Mukherjee A, Watson P. On using Virtual Machines for Adaptive Distributed Query Processing in Grids. School of Computing Science. 2008. School of Computing Science Technical Report Series 1084 (download PDF).
• Coleman, J. W.Constructing a Tractable Reasoning Framework upon a Fine-Grained Structural Operational Semantics. School of Computing Science. 2008. School of Computing Science Technical Report Series 1083 (download PDF).
• von Arnim A, Arief B, Fusée A. Cooperative Road Sign and Traffic Light Using Near Infrared Identification and Zigbee Smartdust Technologies. School of Computing Science. 2008. School of Computing Science Technical Report Series 1082 (download PDF).
• Parkin SE, Yassin-Kassab R, van Moorsel A. The Impact of Unavailability on the Effectiveness of Enterprise Information Security Technologies. School of Computing Science. 2008. School of Computing Science Technical Report Series 1081 (download PDF).
• Darondeau P, Koutny M, Pietkiewicz-Koutny M, Yakovlev A. Synthesis of Nets with Step Firing Policies. School of Computing Science. 2008. School of Computing Science Technical Report Series 1080 (download PDF).
• Gacek C, Gamble C. Mismatch Avoidance in Web Services Based Software Architectures. School of Computing Science. 2008. School of Computing Science Technical Report Series 1079 (download PDF).
• Gacek C, Gamble C. Minimal Web Services Style — Architectural Style Description and Example Instantiation. School of Computing Science. 2008. School of Computing Science Technical Report Series 1078 (download PDF).
• Gacek, C., Giese, H., Hadar, E.Friends or Foes? – A Conceptual Analysis of Self-Adaptation and IT Change Management. School of Computing Science. 2008. School of Computing Science Technical Report Series 1077 (download PDF).
• Mukherjee, A.Exploiting Dynamic Deployment in a Distributed Query Processor for the Grid. School of Computing Science. 2008. School of Computing Science Technical Report Series 1076 (download PDF).
• Iliasov, A.Refinement Patterns. School of Computing Science. 2008. School of Computing Science Technical Report Series 1075 (download PDF).
• Iliasov A, Romanovsky A. Refinement Patterns for Fault Tolerant Systems. School of Computing Science. 2008. School of Computing Science Technical Report Series 1074 (download PDF).
• Hao F, Ryan PYA. Password Authenticated Key Exchange by Juggling. School of Computing Science. 2008. School of Computing Science Technical Report Series 1073 (download PDF).
• Ryan PYA. The Code d'Azur and Phoenix Ciphers-A Note on a New Class of Block Ciphers Based on Matrix Transposition. School of Computing Science. 2008. School of Computing Science Technical Report Series 1072 (download PDF).
• Lundin D, Ryan PYA. Human readable paper verification of Pret a Voter. School of Computing Science. 2008. School of Computing Science Technical Report Series 1071 (download PDF).
• Pitsilis, G. K.Choosing Reputable Resources in Unstructured Peer-to-Peer Networks using Trust Overlays. School of Computing Science. 2008. School of Computing Science Technical Report Series 1070 (download PDF).
• Araujo R, Ryan PYA. Improving Farnel, Threeballot, and Randell-Ryan Voting Schemes. School of Computing Science. 2008. School of Computing Science Technical Report Series 1069 (download PDF).
• Mukherjee A, Watson P. Exploiting Dynamic Deployment in a Distributed Query Processor for the Grid. School of Computing Science. 2008. School of Computing Science Technical Report Series 1068 (download PDF).
• He Y, Tully A. Query Processing for Mobile Wireless Sensor Networks: State-of-the-art and Research Challenges. School of Computing Science. 2008. School of Computing Science Technical Report Series 1067 (download PDF).
• Ezhilchelvan P. Responsive Fault-Tolerant Computing in the era of Terascale Integration – State of Art Report. School of Computing Science. 2008. School of Computing Science Technical Report Series 1066 (download PDF).
• Tariq, Q. I.Design and Performance Analysis of Fail-Signal Based Consensus Protocols for Byzantine Faults. School of Computing Science. 2008. School of Computing Science Technical Report Series 1065 (download PDF).
• Meyer R, Khomenko V, Strazny T. A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. School of Computing Science. 2008. School of Computing Science Technical Report Series 1064 (download PDF).