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
- Tartanoglu F, Issarny V, Romanovsky A, Levy N. Coordinated Forward Error Recovery for Web Services. School of Computing Science. 2002. School of Computing Science Technical Report Series 786 (download PDF).
- Owen DJ, Ezhilchelvan PD. Verifiable Fault-Tolerant Transformation of a Real-Time Legacy System. School of Computing Science. 2002. School of Computing Science Technical Report Series 785 (download PDF).
- Cacitti, L., Besnard, D.Interface changes generating accidents. A schema-based approach of negative transfer. School of Computing Science. 2002. School of Computing Science Technical Report Series 784 (download PDF).
- Di Marzo Serugendo G, Romanovsky A. Designing Fault-Tolerant Mobile Systems. School of Computing Science. 2002. School of Computing Science Technical Report Series 783 (download PDF).
- Anderson T, Feng M, Riddle S, Romanovsky A. Protective Wrapper Development: A Case Study. School of Computing Science. 2002. School of Computing Science Technical Report Series 781 (download PDF).
- de C Guerra PA, Rubira CMF, Romanovsky A, de Lemos R. Integrating COTS Software Components into Dependable Software Architectures. School of Computing Science. 2002. School of Computing Science Technical Report Series 780 (download PDF).
- Romanovsky A, Fabre JC, Issarny V, Jones C, Levy N, Marsden E, Periorellis P, Rodriguez M, Tartanoglu F, Welch I. Further Results on Architectures and Dependability Mechanisms for Dependable SoSs. School of Computing Science. 2002. School of Computing Science Technical Report Series 779 (download PDF).
- Khomenko V, Koutny M, Yakovlev A. Detecting State Coding Conflicts in STG Unfoldings Using SAT. School of Computing Science. 2002. School of Computing Science Technical Report Series 778 (download PDF).
- Lee PA, Phillips C. An Assessment of C++ as an Introductory Teaching Language. School of Computing Science. 2002. School of Computing Science Technical Report Series 777 (download PDF).
- Besnard, D., Greathead, D.A coginitve approach to safe violations. School of Computing Science. 2002. School of Computing Science Technical Report Series 776 (download PDF).
- Neves,N. F., Veríssimo, P.Complete Specification of APIs and Protocols for the MAFTIA Middleware. School of Computing Science. 2002. School of Computing Science Technical Report Series 775 (download PDF).
- Oliveras, C.S.Systems, Advisory Systems and Safety. School of Computing Science. 2002. School of Computing Science Technical Report Series 774 (download PDF).
- Madalinski A, Bystrov A, Yakovlev A. ICU: A tool for Identifying State Coding Conflicts using STG unfoldings. School of Computing Science. 2002. School of Computing Science Technical Report Series 773 (download PDF).
- Udeye, T. and C. Phillips. PAJAMA - An Objected-Oriented Package for Parallel Matrix Computations. School of Computing Science. 2002. School of Computing Science Technical Report Series 772 (download PDF).
- B.N. Rossiter and M.A. Heather. Anticipatory Adjointness of E-Science Computation on the Grid. School of Computing Science. 2002. School of Computing Science Technical Report Series 771 (download PDF).
- Jones C, Romanovsky A, Welch I. A Structured Approach to Handling On-Line Interface Upgrades. School of Computing Science. 2002. School of Computing Science Technical Report Series 770 (download PDF).
- Kleijn HCM, Koutny M. Process Semantics of General Inhibitor Nets. School of Computing Science. 2002. School of Computing Science Technical Report Series 769 (download PDF).
- Madalinski A, Bystrov A, Yakovlev A. Visualisation of Coding Conflicts in Asynchronous Circuit Design. School of Computing Science. 2002. School of Computing Science Technical Report Series 768 (download PDF).
- Alfoudari S, Steggles LJ. Formalizing Design Patterns: A Case Study of the Iterator Pattern. School of Computing Science. 2002. School of Computing Science Technical Report Series 767 (download PDF).
- Patino-Martinez M, Jimenez-Peris R, Romanovsky A. Bridging the Gap between Hardware and Software Fault Tolerance. School of Computing Science. 2002. School of Computing Science Technical Report Series 766 (download PDF).
- Romanovsky A, Periorellis P, Zorzo AF. On Structuring Integrated Web Applications for Fault Tolerance. School of Computing Science. 2002. School of Computing Science Technical Report Series 765 (download PDF).
- Alijareh, S. and B.N. Rossiter. Modelling Collaboration in Trusted Multi-agency Environment. School of Computing Science. 2002. School of Computing Science Technical Report Series 764 (download PDF).
- Khomenko V, Koutny M. Branching Processes of High-Level Petri Nets. School of Computing Science. 2002. School of Computing Science Technical Report Series 763 (download PDF).
- Lawrie AT, Jones CB. Goal-Diversity in the Design of Dependable Computer-Based Systems. School of Computing Science. 2002. School of Computing Science Technical Report Series 762 (download PDF).
- Yakovlev A, Furber SB, Krenz R. Design, Analysis and Implementation of a Self-Timed Duplex Communication System. School of Computing Science. 2002. School of Computing Science Technical Report Series 761 (download PDF).
- Arief LB, Bosio D, Gacek C, Rouncefield M. Dependability Issues in Open Source Software - DIRC Project Activity 5 Final Report. School of Computing Science. 2002. School of Computing Science Technical Report Series 760 (download PDF).
- Devillers R, Klaudel M, Koutny M, Pommereau F. Asynchronous Box Calculus. School of Computing Science. 2002. School of Computing Science Technical Report Series 759 (download PDF).
- Burton. J.Compositional Verification of a Network of CSP Processes: Using FDR2 to Verify Refinement in the Event of Interface Difference. School of Computing Science. 2002. School of Computing Science Technical Report Series 758 (download PDF).
- Burton J, Koutny M, Pappalardo G. Relating Communicating Processes with Different Interfaces. School of Computing Science. 2002. School of Computing Science Technical Report Series 757 (download PDF).
- Henderson, N. and S. Paynter. The Formal Classification and Verification of Simpson's 4-slot Asynchronous Communication Mechanism. School of Computing Science. 2002. School of Computing Science Technical Report Series 756 (download PDF).
- Watson P. Databases and The Grid. School of Computing Science. 2002. School of Computing Science Technical Report Series 755 (download PDF).
- Steggles LJ. Algebraic Prototyping Tools for Petri Nets with Time. School of Computing Science. 2002. School of Computing Science Technical Report Series 722 (download PDF).