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

• Payne RJ, Fitzgerald JS. Evaluation of Architectural Frameworks Supporting Contract-based Specification. School of Computing Science. 2010. School of Computing Science Technical Report Series 1233 (download PDF).
• Gamble C, Riddle S. Dependability Metadata Acquisition and Assessment: A State of the Art Survey. School of Computing Science. 2010. School of Computing Science Technical Report Series 1232 (download PDF).
• Khomenko V, Mokhov A. An Algorithm for Direct Construction of Complete Merged Processes. School of Computing Science. 2010. School of Computing Science Technical Report Series 1231 (download PDF).
• Coleman JW. Extending Computational Tree Logic with Relations and Undefinedness. School of Computing Science. 2010. School of Computing Science Technical Report Series 1230 (download PDF).
• Coleman JW. A Rely/Guarantee Reasoning Framework using Computational Tree Logic. School of Computing Science. 2010. School of Computing Science Technical Report Series 1229 (download PDF).
• Bryans JW. Developing a Consensus Algorithm using Stepwise Refinement. School of Computing Science. 2010. School of Computing Science Technical Report Series 1228 (download PDF).
• Hiden H, Watson P, Woodman S, Leahy D. e-Science Central: Cloud-based e-Science and its application to chemical property modeling. School of Computing Science. 2010. School of Computing Science Technical Report Series 1227 (download PDF).
• Grotsev D, Iliasov A, Romanovsky A. Formal Stepwise Development of Scalable and Reliable Multiagent Systems. School of Computing Science. 2010. School of Computing Science Technical Report Series 1226 (download PDF).
• Chen Y, Gorbenko A, Kharchenko V, Romanovsky A. Measuring and Dealing with the Uncertainty of SOA Solutions. School of Computing Science. 2010. School of Computing Science Technical Report Series 1225 (download PDF).
• Pierce K, Plat N, Wolff S. Proceedings of the 8th Overture Workshop. School of Computing Science. 2010. School of Computing Science Technical Report Series 1224 (download PDF).
• Zeng W, Parkin S, van Moorsel A. Digital Rights Management. School of Computing Science. 2010. School of Computing Science Technical Report Series 1223 (download PDF).
• Mihoob A, Molina-Jimenez C, Shrivastava S. A Case for Consumer-centric Resource Accounting Models. School of Computing Science. 2010. School of Computing Science Technical Report Series 1222 (download PDF).
• Machulak M, Moren L, van Moorsel A. Design and Implementation of User-Managed Access Framework for Web 2.0 Applications. School of Computing Science. 2010. School of Computing Science Technical Report Series 1221 (download PDF).
• Jones CB, Lovert MJ. Semantic Models for a Logic of Partial Functions. School of Computing Science. 2010. School of Computing Science Technical Report Series 1220 (download PDF).
• Arief B, Coleman J, Greathead D. How Paranoid Are You?: Issues in Location Information of Ambient Systems. School of Computing Science. 2010. School of Computing Science Technical Report Series 1219 (download PDF).
• Larsen PG, Fitzgerald JS, Wolff S. Are Formal Methods Ready for Agility? A Reality Check. School of Computing Science. 2010. School of Computing Science Technical Report Series 1218 (download PDF).
• Suresh V, Blythe PT, Hill G, Sampson E. Intelligent Infrastructure for Testing and Evaluation of Electric Vehicle Performance. School of Computing Science. 2010. School of Computing Science Technical Report Series 1217 (download PDF).
• Grov G, Jones CB. AI4FM: A new project seeking challenges!. School of Computing Science. 2010. School of Computing Science Technical Report Series 1216 (download PDF).
• Khomenko V. Logic Decomposition of Asynchronous Circuits Using STG Unfoldings. School of Computing Science. 2010. School of Computing Science Technical Report Series 1215 (download PDF).
• Mortimer D, Cook N. A Declarative Approach to Configuring Business-to-Business Conversations. School of Computing Science. 2010. School of Computing Science Technical Report Series 1214 (download PDF).
• Fitzgerald J, Gorm Larsen P, Pierce KG, Verhoef M, Wolff S. Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. School of Computing Science. 2010. School of Computing Science Technical Report Series 1213 (download PDF).
• Mace J C, Parkin SE, van Moorsel A. A Collaborative Ontology Development Tool for Information Security Managers. School of Computing Science. 2010. School of Computing Science Technical Report Series 1212 (download PDF).
• Mace, J.C.Printer Identification Techniques and Their Privacy Implications. School of Computing Science. 2010. School of Computing Science Technical Report Series 1211 (download PDF).
• Jones CB, Grov G, Bundy A. Ideas for a high-level proof strategy language. School of Computing Science. 2010. School of Computing Science Technical Report Series 1210 (download PDF).
• Parkin S, van Moorsel A, Inglesant P, Sasse MA. A Stealth Approach to Usable Security: Helping IT Security Managers to Identify Workable Security Solutions. School of Computing Science. 2010. School of Computing Science Technical Report Series 1209 (download PDF).
• Alekeish K, Ezhilchelvan P. Consensus in Sparse, Mobile Ad-hoc Networks. School of Computing Science. 2010. School of Computing Science Technical Report Series 1208 (download PDF).
• Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A, Varpaaniemi K, Ilic D, Latvala T. Developing Mode-Rich Satellite Software by Refinement in Event B. School of Computing Science. 2010. School of Computing Science Technical Report Series 1207 (download PDF).
• Cala J, Watson P. Automatic Software Deployment in the Azure Cloud. School of Computing Science. 2010. School of Computing Science Technical Report Series 1206 (download PDF).
• Grotsev, D., Iliasov, A., Romanovsky, A.Formal Stepwise Development of Scalable and Reliable Multiagent Systems. School of Computing Science. 2010. School of Computing Science Technical Report Series 1205 (download PDF).
• Yassin Kassab R, van Moorsel A. Predicting Compliance of WSLA Contracts Using Automated Model Creation. School of Computing Science. 2010. School of Computing Science Technical Report Series 1204 (download PDF).
• El Ahmad AS, Yan J. Colour, usability and security: a case study. School of Computing Science. 2010. School of Computing Science Technical Report Series 1203 (download PDF).
• Andrews Z, McIver A, Meinicke L, Morgan C. Probabilistic Aspects of Flash Filestores. School of Computing Science. 2010. School of Computing Science Technical Report Series 1202 (download PDF).
• Bryans JW, Wei W. Formal Analysis of BPMN models using Event-B. School of Computing Science. 2010. School of Computing Science Technical Report Series 1201 (download PDF).
• Randell B. Newcastle’s French Connection. School of Computing Science. 2010. School of Computing Science Technical Report Series 1200 (download PDF).
• MSc ITEC students, 2009-10. A Comparative Study of System Designs for distributed file processing. School of Computing Science. 2010. School of Computing Science Technical Report Series 1199 (download PDF).
• Students of MSc SDIA 2008-09. Designing a Distributed File-Processing System Using Amazon Web Services. School of Computing Science. 2010. School of Computing Science Technical Report Series 1198 (download PDF).
• Redmill, F.ALARP Explored. School of Computing Science. 2010. School of Computing Science Technical Report Series 1197 (download PDF).
• Machulak MP, Maler EL, Catalano D, van Moorsel A. User-Managed Access to Web Resources. School of Computing Science. 2010. School of Computing Science Technical Report Series 1196 (download PDF).
• Koutny M, Pietkiewicz-Koutny M. Synthesis of General Petri Nets with Localities. School of Computing Science. 2010. School of Computing Science Technical Report Series 1195 (download PDF).
• Mazzara, M.Issues about the Adoption of Formal Methods for Dependable Composition of Web Services. School of Computing Science. 2010. School of Computing Science Technical Report Series 1193 (download PDF).
• Mazzara, M., Bhattacharyya, A. On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems. School of Computing Science. 2010. School of Computing Science Technical Report Series 1192 (download PDF).
• Machulak M, van Moorsel A. Architecture and Protocol for User-Controlled Access Management in Web 2.0 Applications. School of Computing Science. 2010. School of Computing Science Technical Report Series 1191 (download PDF).
• Randell B. Reminiscences of Whetstone ALGOL. School of Computing Science. 2010. School of Computing Science Technical Report Series 1190 (download PDF).
• Khomenko V. A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes. School of Computing Science. 2010. School of Computing Science Technical Report Series 1189 (download PDF).
• Lopatkin I, Iliasov A, Romanovsky A. On Fault Tolerance Reuse during Refinement. School of Computing Science. 2010. School of Computing Science Technical Report Series 1188 (download PDF).
• M. Jastram, L.Laibinis, F. Lösch, M. Mazzara (Eds.). Proceedings of the First Deploy Technical Workshop. School of Computing Science. 2010. School of Computing Science Technical Report Series 1187 (download PDF).
• Jones CB, Pierce KG. Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. School of Computing Science. 2010. School of Computing Science Technical Report Series 1186 (download PDF).
• Jones CB, Pierce KG. What Can the pi-calculus Tell Us About the Mondex Purse System?. School of Computing Science. 2010. School of Computing Science Technical Report Series 1185 (download PDF).
• Colquhoun J, Watson P. Query Matching in a BitTorrent-Based P2P Database System. School of Computing Science. 2010. School of Computing Science Technical Report Series 1184 (download PDF).
• Colquhoun J, Watson P. A P2P Database Server Based on BitTorrent. School of Computing Science. 2010. School of Computing Science Technical Report Series 1183 (download PDF).
• Alekeish K, Ezhilchelvan P. Consensus in sparse, Mobile Ad-hoc Networks. Computing Laboratory. . Computing Laboratory Technical Report Series (download PDF).