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
- Hao F, Clarke D. How to Delete a Secret. School of Computing Science. 2012. School of Computing Science Technical Report Series 1364 (download PDF).
- Jackson D, Olivier P. Panopticon: A Parallel Video Overview Technique. School of Computing Science. 2012. School of Computing Science Technical Report Series 1362 (download PDF).
- Koutny M, Mikulski L, Pietkiewicz-Koutny M. A Taxonomy of Persistent and Nonviolent Steps. School of Computing Science. 2012. School of Computing Science Technical Report Series 1361 (download PDF).
- Jones C. A specification for ACMs. School of Computing Science. 2012. School of Computing Science Technical Report Series 1360 (download PDF).
- Sharp C, Morgan G. Towards Removing the Concurrency Control Bottleneck. School of Computing Science. 2012. School of Computing Science Technical Report Series 1358 (download PDF).
- Kleijn J, Koutny M, Pietkiewicz-Koutny M, Rozenberg G. Membrane Systems and Petri Net Synthesis. School of Computing Science. 2012. School of Computing Science Technical Report Series 1356 (download PDF).
- Ishikawa F, Romanovsky A. Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B. School of Computing Science. 2012. School of Computing Science Technical Report Series 1355 (download PDF).
- Iliasov A, Romanovsky A. The SafeCap toolset for improving railway capacity while ensuring its safety. School of Computing Science. 2012. School of Computing Science Technical Report Series 1354 (download PDF).
- Missier P, Woodman S, Hiden H, Watson P. Provenance and data differencing for workflow reproducibility analysis. School of Computing Science. 2012. School of Computing Science Technical Report Series 1353 (download PDF).
- Iliasov A, Romanovsky A. SAFECAP domain language for reasoning about safety and capacity. School of Computing Science. 2012. School of Computing Science Technical Report Series 1352 (download PDF).
- Romanovsky A. Deployment of Formal Methods in Industry: the Legacy of the FP7 ICT DEPLOY Integrated Project. School of Computing Science. 2012. School of Computing Science Technical Report Series 1351 (download PDF).
- Romanovsky A, Warwick J. Newcastle Experience of Coordinating the FP7 DEPLOY Integrated Project. School of Computing Science. 2012. School of Computing Science Technical Report Series 1350 (download PDF).
- Fernandes J, Koutny M, Pietkiewicz-Koutny M, Sokolov D, Yakovlev A. Step Persistence in the Design of GALS Systems. School of Computing Science. 2012. School of Computing Science Technical Report Series 1349 (download PDF).
- Khomenko V. Poster Session at The Newcastle Connection 2012. School of Computing Science. 2012. School of Computing Science Technical Report Series 1348 (download PDF).
- Fitzgerald J, Mak T, Romanovsky A, Yakovlev A. Workshop Proceedings: Trustworthy Cyber-Physical Systems. School of Computing Science. 2012. School of Computing Science Technical Report Series 1347 (download PDF).
- Andrews Z, Fitzgerald J, Payne R, Romanovsky A. Fault Modelling for Systems of Systems. School of Computing Science. 2012. School of Computing Science Technical Report Series 1346 (download PDF).
- Plat N, Ballegaard Nielsen C, Riddle S. Proceedings of the 10th Overture Workshop. School of Computing Science. 2012. School of Computing Science Technical Report Series 1345 (download PDF).
- Muccini H, Romanovsky A. Architecting Fault Tolerant Systems. School of Computing Science. 2012. School of Computing Science Technical Report Series 1343 (download PDF).
- Ciobanu G, Koutny M, Steggles J. A Timed Mobility Semantics based on Rewriting Strategies. School of Computing Science. 2012. School of Computing Science Technical Report Series 1341 (download PDF).
- Mazzara M, Biselli L, Greco PP, Marraffa A, Qamar N, De Nicola S. Social networks and collective intelligence: A return to the Agora. School of Computing Science. 2012. School of Computing Science Technical Report Series 1340 (download PDF).
- Jones CB. Abstraction as a unifying link for formal approaches to concurrency. School of Computing Science. 2012. School of Computing Science Technical Report Series 1339 (download PDF).
- Fitzgerald J, Bryans J, Payne R. A Formal Model-based Approach to Engineering Systems-of-Systems. School of Computing Science. 2012. School of Computing Science Technical Report Series 1338 (download PDF).
- Hayes IJ, Jones CB, Colvin RJ. Refining rely-guarantee thinking. School of Computing Science. 2012. School of Computing Science Technical Report Series 1334 (download PDF).
- Fitzgerald J, Pierce K, Gamble C. A Rigorous Approach to the Design of Resilient Cyber-physical Systems through Co-Simulation. School of Computing Science. 2012. School of Computing Science Technical Report Series 1331 (download PDF).
- Aidarov K, Ezhilchelvan P, Mitrani I. Energy-aware management of customer streams. School of Computing Science. 2012. School of Computing Science Technical Report Series 1330 (download PDF).
- Suresh V, Blythe PT, Hill G, Huebner Y, Robinson A. Effects of Electric Vehicle Deployment on Energy Demand and CO2 Emission. School of Computing Science. 2012. School of Computing Science Technical Report Series 1328 (download PDF).
- Missier P, Belhajjame K. A PROV encoding for provenance analysis using deductive rules. School of Computing Science. 2012. School of Computing Science Technical Report Series 1327 (download PDF).
- Missier P, Randell B, Koutny M. Modelling Provenance using Structured Occurrence Networks. School of Computing Science. 2012. School of Computing Science Technical Report Series 1326 (download PDF).
- Suresh V, Ezhilchelvan P, Watson P. Scalable and Responsive Event Processing in the Cloud. School of Computing Science. 2012. School of Computing Science Technical Report Series 1324 (download PDF).
- Meyer R, Khomenko V, Huchting R. A Polynomial Translation of pi-Calculus (FCP) to Safe Petri Nets. School of Computing Science. 2012. School of Computing Science Technical Report Series 1323 (download PDF).
- Abouzaid F, Mullins J, Mazzara M, Dragoni N. Modelling and Analysis of Dynamic Reconfiguration in BP-calculus. School of Computing Science. 2012. School of Computing Science Technical Report Series 1322 (download PDF).
- Ingram C, Riddle S. Using Early Stage Project Data to Predict Change-Proneness. School of Computing Science. 2012. School of Computing Science Technical Report Series 1321 (download PDF).
- Payne R, Bryans J. Modelling the Major Incident Procedure Manual: A System of Systems Case Study. School of Computing Science. 2012. School of Computing Science Technical Report Series 1320 (download PDF).
- Goulding D, Smith R, Clark L, Ushaw G, Morgan G. Real-time ambient occlusion on the Playstation 3. School of Computing Science. 2012. School of Computing Science Technical Report Series 1319 (download PDF).
- Mihoob A, Molina-Jimenez C, Shrivastava S. Consumer-centric Resource Accounting in the Cloud. Computing Laboratory. . Computing Laboratory Technical Report Series 1318 (download PDF).
- Gmehlich R, Grau K, Jackson M, Jones C, Loesch F, Mazzara M. Towards a Formalism-Based Toolkit for Automotive Applications. School of Computing Science. 2012. School of Computing Science Technical Report Series 1317 (download PDF).
- Phithakkitnukoon S, Leong TW, Smoreda Z, Olivier P. Weather Effects on Mobile Social Interaction: A case study of mobile phone users in Lisbon, Portugal. School of Computing Science. 2012. School of Computing Science Technical Report Series 1315 (download PDF).
- Jones CB, Lovert MJ, Steggles LJ. Towards a Mechanisation of a Logic that Copes with Partial Terms. School of Computing Science. 2012. School of Computing Science Technical Report Series 1314 (download PDF).
- Hao F, Clarke D. Security Analysis of a Multi-Factor Authenticated Key Exchange Protocol. School of Computing Science. 2012. School of Computing Science Technical Report Series 1312 (download PDF).
- Hao F, Randell B, Clarke D. Self-Enforcing Electronic Voting. School of Computing Science. 2012. School of Computing Science Technical Report Series 1311 (download PDF).
- Jones CB, Lovert MJ, Steggles LJ. A Semantic Analysis of Logics that Cope with Partial Terms. School of Computing Science. 2012. School of Computing Science Technical Report Series 1310 (download PDF).
- Mazzara M, Jones C, Iliasov A. Lessons from DEPLOYment. School of Computing Science. 2012. School of Computing Science Technical Report Series 1309 (download PDF).