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

• Bystrov A, Yakovlev A. Synthesis of Asynchronous Circuits with Predictable Latency. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 754 (download PDF).
• Cook NO, Shrivastava SK, Wheater SM. Distributed Object Middleware to Support Dependable Information Sharing between Organisations. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 753 (download PDF).
• Burton J, Koutny M, Pappalardo G, Pietkiewicz-Koutny M. Compositional Development in the Event of Interface Difference. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 752 (download PDF).
• F. Al-Humaidan and B.N. Rossiter. A Taxonomy and Evaluation for Systems Analysis Methodologies in a Workflow Context: Structured Systems Analysis Design Method (SSADM), Unified Modelling Language (UML), Unified Process, Soft Systems Methodology (SSM) and Organisation Process Modelling (O. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 751 (download PDF).
• Kinniment DJ, Maevsky OV, Bystrov A, Russell G, Yakovlev A. On-Chip structures for Timing Measurement and Test. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 750 (download PDF).
• Powell D, Stroud RJ, Adelsbach A, Alessandri D, Cachin C, Creese S, Dacier M, Deswarte Y, Kursawe K, Laprie JC, Pfitzmann B, Randell B, Riordan J, Veríssimo P, Waidner M. Conceptual Model and Architecture. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 749 (download PDF).
• Parastatidis S. Run-time Support for Parallel Object-Oriented Computing. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 748 (download PDF).
• Maevsky O, Kinniment DJ, Yakovlev A, Bystrov A. Analysis of the Oscillation Problem in Tri-Flops. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 747 (download PDF).
• Jones CB, Killijian M-O, Kopetz H, Marsden E, Moffat N, Paulitsch M, Powell D, Randell B, Romanovsky A, Stroud RJ. Revised Version of DSoS Conceptual Model. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 746 (download PDF).
• Besnard, D. and A.T. Lawrie. Bridging Industrial Design and Software Engineering Through Constraints Identification, Solution Space Optimisation and Reuse.. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 745 (download PDF).
• Bystrov A, Koutny M, Yakovlev A. Visualisation of Partial Order Models in VLSI Design Flow. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 744 (download PDF).
• Bystrov A, Yakovlev A. Asynchronous Circuit Synthesis by Direct Mapping: Interfacing to Environment. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 743 (download PDF).
• Molina C, Marshall LF. Untraceability of Mobile Internet Users. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 742 (download PDF).
• Khomenko V, Koutny M, Vogler W. Canonical Prefixes of Petri-Net Unfoldings. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 741 (download PDF).
• Jones CB. On the Search for Tractable Ways of Reasoning about Programs. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 740 (download PDF).
• Avizienis A, Laprie J-C, Randell B. Fundamental Concepts of Dependability. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 739 (download PDF).
• Welch I, Armstrong JM, Cachin C, Correia M, Costes A, Miranda H, Neves NF, Neves NM, Poritz JA, Randell B, Rodrigues L, Stroud RJ, Veríssimo P, Waidner M. First Specification of APIs and Protocols for the MAFTIA Middleware. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 738 (download PDF).
• Gacek C, Lawrie T, Arief LB. The Many Meanings Of Open Source. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 737 (download PDF).
• Khomenko V, Koutny M, Yakovlev A. Detecting State Coding Conflicts in STGs Using Integer Programming. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 736 (download PDF).
• Romanovsky A, Sanden B. Except for Exception Handling. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 735 (download PDF).
• N. Henderson. Introducing Real-time Interactions. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 734 (download PDF).
• Heljanko K, Khomenko V, Koutny M. Parallelisation of the Petri Net Unfolding Algorithm. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 733 (download PDF).
• Romanovsky A. Looking Ahead in Atomic Actions with Exception Handling. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 732 (download PDF).
• Arief B, Speirs N. A UML Tool for an Automatic Generation of Simulation Programs. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 731 (download PDF).
• Popov P, Riddle S, Romanovsky A, Strigini L. On Systematic Design of Protectors for Employing OTS Items. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 730 (download PDF).
• S. Aljareh and B.N. Rossiter. Towards Security in Multi-agency Clinical Information Services. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 729 (download PDF).
• Molina C, Marshall LF. Anonymous and Confidential Communications from an IP Addressless Computer. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 728 (download PDF).
• Molina C, Marshall LF. True Anonymity Without Mixes. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 727 (download PDF).
• Koutny M, Khomenko V. An Efficient Algorithm for Unfolding Petri Nets. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 726 (download PDF).
• Zamli KZ, Lee PA. Taxonomy of Process Modeling Languages. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 725 (download PDF).
• Romanovsky A. Exception Handling in Component-Based System Development. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 724 (download PDF).
• Ezhilchelvan PD, Shrivastava SK, Little MC. A Model and Architecture for Conducting Hierarchically Structured Auctions. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 723 (download PDF).
• Steggles, L.J.Algebraic Prototyping Tools for Petri Nets with Time. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 722 (download PDF).
• P. Veríssimo and F. Neves. Service and Protocol Architecture for the MAFTIA Middleware. Department of Computing Science. 2001. Department of Computing Science Technical Report Series 721 (download PDF).