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
- Andrews Z, Bryans J, Fitzgerald J, Hughes J, Payne R, Pierce K, Riddle S. Modelling and Refinement of the MONDEX Electronic Purse in VDM. School of Computing Science. 2011. School of Computing Science Technical Report Series 1308 (download PDF).
- Mokhov A, Khomenko V, Alekseyev A, Yakovlev A. Algebra of Parametrised Graphs. School of Computing Science. 2011. School of Computing Science Technical Report Series 1307 (download PDF).
- Ehrenfeucht A, Kleijn J, Koutny M, Rozenberg G. Qualitative and Quantitative Aspects of a Model for Processes Inspired by the Functioning of the Living Cell. School of Computing Science. 2011. School of Computing Science Technical Report Series 1305 (download PDF).
- Bryans J, Koutny M, Mu C. Towards Quantitative Analysis of Opacity. School of Computing Science. 2011. School of Computing Science Technical Report Series 1304 (download PDF).
- Ciobanu G, Koutny M. PerTiMo: A Model of Spatial Migration with Safe Access Permissions. School of Computing Science. 2011. School of Computing Science Technical Report Series 1303 (download PDF).
- James K, Lycett SJ, Wipat A, Hallinan JS. Multiple Gold Standards Address Bias in Functional Network Integration. School of Computing Science. 2011. School of Computing Science Technical Report Series 1302 (download PDF).
- Missier P, Ludäscher B, Dey S, Wang M, McPhillips T, Bowers S, Agun M, Altintas I. Golden-Trail: Retrieving the Data History that Matters from a Comprehensive Provenance Repository. School of Computing Science. 2011. School of Computing Science Technical Report Series 1300 (download PDF).
- Sharp C, Morgan G. A Many Systems Interpretation of Concurrency Control. School of Computing Science. 2011. School of Computing Science Technical Report Series 1299 (download PDF).
- Kleijn J, Koutny M, Pietkiewicz-Koutny M, Rozenberg G. Step Semantics of Boolean Nets. School of Computing Science. 2011. School of Computing Science Technical Report Series 1298 (download PDF).
- Kleijn J, Koutny M, Pietkiewicz-Koutny M. Regions of Petri Nets with a/sync Connections. School of Computing Science. 2011. School of Computing Science Technical Report Series 1297 (download PDF).
- Duan Z, Klaudel H, Koutny M. ITL Semantics of Composite Petri Nets. School of Computing Science. 2011. School of Computing Science Technical Report Series 1296 (download PDF).
- Ehrenfeucht A, Kleijn J, Koutny M, Rozenberg G. Relevance of Entities in Reaction Systems. School of Computing Science. 2011. School of Computing Science Technical Report Series 1295 (download PDF).
- Kleijn J, Koutny M. Causality in Extensions of Petri Nets. School of Computing Science. 2011. School of Computing Science Technical Report Series 1294 (download PDF).
- van der Vlugt S, Kleijn J, Koutny M. Coverability and Inhibitor Arcs: an example. School of Computing Science. 2011. School of Computing Science Technical Report Series 1293 (download PDF).
- Ciobanu G, Koutny M. Timed Mobility in Process Algebra and Petri Nets. School of Computing Science. 2011. School of Computing Science Technical Report Series 1292 (download PDF).
- Ciobanu G, Koutny M. Timed Migration and Interaction with Access Permissions. School of Computing Science. 2011. School of Computing Science Technical Report Series 1291 (download PDF).
- Kleijn J, Koutny M. Causality in Structured Occurrence Nets. School of Computing Science. 2011. School of Computing Science Technical Report Series 1290 (download PDF).
- Kleijn J, Koutny M. The Mutex Paradigm of Concurrency. School of Computing Science. 2011. School of Computing Science Technical Report Series 1289 (download PDF).
- Koutny M, Pietkiewicz-Koutny M. Synthesis Problem for Petri Nets with Localities. School of Computing Science. 2011. School of Computing Science Technical Report Series 1288 (download PDF).
- Kleijn J, Koutny M. Membrane Systems with Qualitative Evolution Rules. School of Computing Science. 2011. School of Computing Science Technical Report Series 1287 (download PDF).
- Kleijn J, Koutny M. Mutex Causality in Processes and Traces of General Elementary Nets. School of Computing Science. 2011. School of Computing Science Technical Report Series 1286 (download PDF).
- Kleijn J, Koutny M. Localities in Systems with a/sync Communication. School of Computing Science. 2011. School of Computing Science Technical Report Series 1285 (download PDF).
- Kleijn J, Koutny M, Rozenberg G. Petri Nets for Biologically Motivated Computing. School of Computing Science. 2011. School of Computing Science Technical Report Series 1284 (download PDF).
- Phithakkitnukoon S, Smoreda Z, Olivier P. Socio-geography of Human Mobility: A study using longitudinal mobile phone data. School of Computing Science. 2011. School of Computing Science Technical Report Series 1283 (download PDF).
- Velykiene R, Jones CB. A Fast Track Analysis of ICT Constraints on Evolving Physical Infrastructure. School of Computing Science. 2011. School of Computing Science Technical Report Series 1282 (download PDF).
- Konios A. Ambient Systems and Taxonomy Approaches. School of Computing Science. 2011. School of Computing Science Technical Report Series 1281 (download PDF).
- Pierce K, Fitzgerald J, Gamble C. Modelling Faults and Fault Tolerance Mechanisms in a Paper Pinch Co-model. School of Computing Science. 2011. School of Computing Science Technical Report Series 1280 (download PDF).
- Abdelsadiq A, Molina-Jimenez C, Shrivastava S. A High-Level Model-Checking Tool for Verifying Electronic Contracts. School of Computing Science. 2011. School of Computing Science Technical Report Series 1279 (download PDF).
- El Ahmad AS, Yan J, Tayara M. The Robustness of Google CAPTCHAs. School of Computing Science. 2011. School of Computing Science Technical Report Series 1278 (download PDF).
- van Moorsel A, Emms M, Rendall G, Arief B. Digital Strategy for the Social Inclusion of Survivors of Domestic Violence. School of Computing Science. 2011. School of Computing Science Technical Report Series 1277 (download PDF).
- Madalinski A, Khomenko V. Predictability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings. School of Computing Science. 2011. School of Computing Science Technical Report Series 1276 (download PDF).
- Hayes IJ, Burns A, Dongol B, Jones CB. Comparing Models of Nondeterministic Expression Evaluation. School of Computing Science. 2011. School of Computing Science Technical Report Series 1273 (download PDF).
- Bendisposto J, Jones C, Leuschel M, Romanovsky A, (eds). Proceedings of the 11th International Workshop on Automated Verification of Critical Systems. School of Computing Science. 2011. School of Computing Science Technical Report Series 1272 (download PDF).
- Watson P. A Multi-Level Security Model for Partitioning Workflows over Federated Clouds. School of Computing Science. 2011. School of Computing Science Technical Report Series 1271 (download PDF).
- Steggles LJ. Abstracting Asynchronous Multi-Valued Networks: An Initial Investigation. School of Computing Science. 2011. School of Computing Science Technical Report Series 1269 (download PDF).
- Hao F, Kreeger MN. Every Vote Counts: Ensuring Integrity in Large-Scale DRE-based Electronic Voting. School of Computing Science. 2011. School of Computing Science Technical Report Series 1268 (download PDF).
- Ezhilchelvan P. Near Certain Multicast Delivery Guarantees Amidst Perturbations in Computer Clusters. School of Computing Science. 2011. School of Computing Science Technical Report Series 1267 (download PDF).
- Hao F. On Robust Key Agreement Based on Public Key Authentication. School of Computing Science. 2011. School of Computing Science Technical Report Series 1266 (download PDF).
- Abouzaid F, Bhattacharyya A, Dragoni N, Fitzgerald JS, Mazzara M, Zhou M. A Case Study of Workflow Reconfiguration: Design, Modelling, Analysis and Implementation. School of Computing Science. 2011. School of Computing Science Technical Report Series 1265 (download PDF).
- Fitzgerald JS, Larsen PG, Pierce KG, Verhoef MHG. A Formal Approach to Collaborative Modelling and Co-simulation for Embedded Systems. School of Computing Science. 2011. School of Computing Science Technical Report Series 1264 (download PDF).
- Farj K, Speirs N, Chen Y. A Fault Injection Method for Testing Dependable Web Service Systems. School of Computing Science. 2011. School of Computing Science Technical Report Series 1263 (download PDF).
- Gorbenko A, Kharchenko V, Tarasyuk O, Romanovsky A. Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions. School of Computing Science. 2011. School of Computing Science Technical Report Series 1262 (download PDF).
- Lopatkin I, Iliasov A, Romanovsky A, Prokhorova Y, Troubitsyna E. Patterns for Representing FMEA in Formal Specification of Control Systems. School of Computing Science. 2011. School of Computing Science Technical Report Series 1261 (download PDF).
- Mihoob A, Molina-Jimenez C, Shrivastava S. Consumer Side Resource Accounting in the Cloud. School of Computing Science. 2011. School of Computing Science Technical Report Series 1259 (download PDF).
- Suresh V, Ezhilchelvan P, Watson P, Pham C, Jackson D, Olivier P. Distributed Event Processing For Activity Recognition. School of Computing Science. 2011. School of Computing Science Technical Report Series 1258 (download PDF).
- Ingram C, Riddle S. Linking Software Design Metrics to Component Change-Proneness. School of Computing Science. 2011. School of Computing Science Technical Report Series 1257 (download PDF).
- Abdullah J, van Moorsel A. Uncertainty and Uncertainty Tolerance in Service Provisioning. School of Computing Science. 2011. School of Computing Science Technical Report Series 1253 (download PDF).
- Colquhoun J, Devlin M, Marshall L. SHAPE your CLASS: Improving the Lecture Experience. School of Computing Science. 2011. School of Computing Science Technical Report Series 1252 (download PDF).
- Suresh V, Ezhilchelvan P, Watson P. Scalable and Responsive Event Processing in the Cloud. School of Computing Science. 2011. School of Computing Science Technical Report Series 1251 (download PDF).
- Payne RJ, Fitzgerald JS. Contract-Based Interface Specification Language for Functional and Non-Functional Properties. School of Computing Science. 2011. School of Computing Science Technical Report Series 1250 (download PDF).
- Gamble C, Riddle S. Dependability Explicit Metadata: Experimental Results and Research Issues. School of Computing Science. 2011. School of Computing Science Technical Report Series 1249 (download PDF).
- Gamble C, Riddle S. Dependability Explicit Metadata: Extended Report on Properties, Policies and Exemplary Application to Case Studies. School of Computing Science. 2011. School of Computing Science Technical Report Series 1248 (download PDF).
- Missier P. Incremental workflow improvement through analysis of its data provenance. School of Computing Science. 2011. School of Computing Science Technical Report Series 1247 (download PDF).
- Mace JC, van Moorsel A, Watson P. The Case for Dynamic Security Solutions in Public Cloud Workflow Deployments. School of Computing Science. 2011. School of Computing Science Technical Report Series 1246 (download PDF).
- Yassin Kassab R, van Moorsel A. Formal Mapping of WSLA Contracts on Stochastic Models. School of Computing Science. 2011. School of Computing Science Technical Report Series 1245 (download PDF).
- Kleijn J, Koutny M, Rozenberg G. Modelling Reaction Systems with Petri Nets. School of Computing Science. 2011. School of Computing Science Technical Report Series 1244 (download PDF).
- Randell B. Occurrence Nets Then and Now: The Path to Structured Occurrence Nets. School of Computing Science. 2011. School of Computing Science Technical Report Series 1243 (download PDF).
- Watson P, Leahy D, Cala J, Sykora V, Hiden H, Woodman S, Taylor M, Searson D. Cloud Computing for Chemical Activity Prediction. School of Computing Science. 2011. School of Computing Science Technical Report Series 1242 (download PDF).
- Stahl F, Parkin SE, van Moorsel A. Cooperative Information Security Knowledge: Content Validation and incentives to contribute. School of Computing Science. 2011. School of Computing Science Technical Report Series 1241 (download PDF).
- Pakhira A, Andras P. Validation of Network Analysis Methods Applied in the Context of Dynamic Analysis of Software Systems. School of Computing Science. 2011. School of Computing Science Technical Report Series 1240 (download PDF).
- Pakhira A, Andras P. Dynamic network analysis of software systems. School of Computing Science. 2011. School of Computing Science Technical Report Series 1239 (download PDF).
- Zeng W, van Moorsel A. Quantitative Evaluation of Enterprise DRM Technology. School of Computing Science. 2011. School of Computing Science Technical Report Series 1238 (download PDF).
- Misirli G, Hallinan JS, Pocock M, Cockell SJ, Weile J, Wipat A. BacillOndex: An Integrated Data Resource for Systems and Synthetic Biology. School of Computing Science. 2011. School of Computing Science Technical Report Series 1237 (download PDF).
- Mazzara M, Abouzaid F, Dragoni N, Bhattacharyya A. Design, Modelling and Analysis of a Workflow Reconfiguration. School of Computing Science. 2011. School of Computing Science Technical Report Series 1236 (download PDF).
- Weile J, Pocock M, Cockell SJ, Lord P, Dewar JM, Holstein E, Wilkinson D, Lydall D, Hallinan J, Wipat A. Customisable views on semantically integrated networks for systems biology. School of Computing Science. 2011. School of Computing Science Technical Report Series 1235 (download PDF).
- Lopatkin I, Iliasov A, Romanovsky A. Rigorous Development of Dependable Systems using Fault Tolerance Views. School of Computing Science. 2011. School of Computing Science Technical Report Series 1234 (download PDF).