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
- de Lemos R, Romanovsky A. Coordinated Atomic Actions in Modelling Objects Cooperation. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 620 (download PDF).
- Romanovsky A, Xu J, Randell B. Exception Handling in Object-Oriented Real-Time Distributed Systems. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 618 (download PDF).
- Fitzgerald JS, Jones CB. Proof in the Analysis of a Model of a Tracking System. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 617 (download PDF).
- Fitzgerald JS. A Proof of Satisfiability in Mukherjee and Stavridou's Ammunition Control System. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 616 (download PDF).
- Kinniment DJ, Gao B, Yakovlev A, Xia F. Towards Asynchronous A-D Conversion. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 615 (download PDF).
- Kondratyev A, Cortadella J, Kishinevsky M, Lavagno L, Taubin A, Yakovlev A. Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 614 (download PDF).
- Pietkiewicz-Koutny M. Morphisms for Inhibitor Nets and Related Transition Systems. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 613 (download PDF).
- Xu J, Romanovsky A, Randell B. Coordinated Exception Handling in Distributed Object Systems: from Model to System Implementation. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 612 (download PDF).
- J. Haveman. Transaction Decomposition: Refinement of Timing Constraints. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 611 (download PDF).
- Lloyd L, Heron K, Koelmans AM, Yakovlev A. Asynchronous Microprocessors: From High Level Model to FPGA Implementation. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 610 (download PDF).
- Barcellos AMP, Ezhilchelvan PD. An End-to-End Reliable Multicast Protocol Using Polling for Scaleability. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 609 (download PDF).
- Romanovsky A, Zorzo AF. A Distributed Coordinated Atomic Action Scheme. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 608 (download PDF).
- J. Haveman, S. Paynter and J.M. Armstrong. A Transaction Model for Real-Time Systems. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 607 (download PDF).
- S. Pearson and M. Rowlands. Airbus Traceability Case Study. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 606 (download PDF).
- M.R. Strens and J. Chudge. Using Responsibility Modeling To Match Organizational Change To Changes In The Systems Development Process. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 605 (download PDF).
- Kinniment DJ, Yakovlev A, Gao B. MetaStable Behaviour in Arbiter Circuits. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 604 (download PDF).
- Steggles LJ. Parameterised Higher-Order Algebraic Specifications. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 603 (download PDF).
- Black D, Ezhilchelvan PD, Shrivastava SK. Determining the Last Membership of a Process Group after a Total Failure. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 602 (download PDF).
- Little MC, Shrivastava SK, Caughey SJ, Ingham DB. Constructing Reliable Web Applications Using Atomic Actions. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 601 (download PDF).
- Romanovsky A. A Study of Atomic Action Schemes Intended for Standard Ada. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 600 (download PDF).
- Holt, C.M.Alterable Visual Languages. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 599 (download PDF).
- Cepin M, de Lemos R, Mavko B, Riddle S, Saeed A. An Object-Based Approach to Modelling and Analysis of Failure Properties. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 598 (download PDF).
- Randell B, Xu J, Zorzo AF. Software Fault Tolerance in Object-Oriented Systems: Approaches, Implementation and Evaluation. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 597 (download PDF).
- Xu J, Romanovsky A, Randell B. Co-ordinated Exception Handling in Distributed Object-Oriented Systems: Improved Algorithm, Correctness and Implementation. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 596 (download PDF).
- Randell B, Romanovsky A, Stroud RJ, Xu J, Zorzo AF. Co-ordinated Atomic Actions: From Concept to Implementation. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 595 (download PDF).
- Xu J, Randell B. The t/(n-1)-VP Approach to Fault-Tolerant Software. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 594 (download PDF).
- J. Xu, F. Di Giandomenico, A. Bondavalli and S. Chiaradonna. Definition and Evaluation of Adaptive Fault-Tolerant Architectures in a Distributed Computing Environment. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 593 (download PDF).
- Ingham DB, Caughey SJ, Little MC. Supporting Highly Manageable Web Services. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 592 (download PDF).
- Ingham DB, Caughey SJ, Little MC. Fixing the "Broken-link" Problem: The W3Objects Approach. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 591 (download PDF).
- Ingham DB, Little MC, Caughey SJ, Shrivastava SK. W3Objects: Bringing Object-Oriented Technology to the Web. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 590 (download PDF).
- J. Wang, A. Saeed and R. de Lemos. Subjective Safety Analysis for Software Development. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 589 (download PDF).
- R.C. Sugden and I.N. Purves. Decision Support Paradigms for Prescribing in General Practice - Lessons from the PRODIGY Trials. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 588 (download PDF).
- F. Al-Harbi and B.N. Rossiter. The Effect of the Iraqi Invasion on Organisations in Kuwait: A Study into Disaster Recovery Plans. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 587 (download PDF).
- Romanovsky A, Mitchell SE, Wellings AJ. On Programming Atomic Actions in Ada 95. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 586 (download PDF).
- Hesketh M, Koutny M. An Axiomatisation of Duplication Equivalence in the Petri Box Calculus. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 585 (download PDF).
- Chu HD, Dobson JE. SITE: A Statistics-based Integrated Test Environment. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 584 (download PDF).
- Chu, H.D.An Evaluation Scheme of Software Testing Techniques. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 583 (download PDF).
- Ezhilchelvan PD, Brasileiro FV, Speirs NA. A Timeout Based Message Ordering Protocol for a Lightweight Software Implementation of TMR Systems. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 582 (download PDF).
- Brasileiro FV, Ezhilchelvan PD, Shrivastava SK, Speirs NA. Implementing Fail-Silent Nodes for Distributed Systems. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 581 (download PDF).
- S. Tao. Fault Injection Testing of Software Implemented Fault Tolerance Mechanisms of Distributed Systems. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 580 (download PDF).
- Little MC, Shrivastava SK. Using Application Specific Knowledge for Configuring Object Replicas. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 579 (download PDF).
- Wheater SM, Little MC. The Design and Implementation of a Framework for Configurable Software. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 578 (download PDF).
- C.M. Angus. Constructing Configurable Applications by Combining Monads. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 577 (download PDF).
- C.M. Angus. Numerical Software Development with Functional Languages. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 576 (download PDF).
- Anisimov N, Koutny M. Compositional Petri Nets in Protocol Engineering. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 575 (download PDF).
- M.A. Heather and B.N. Rossiter. Unifying Theory for Content Self-awareness in Distributed Multimedia Publishing. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 574 (download PDF).
- Lloyd L, Yakovlev A, Koelmans AM. A 2-Phase Asynchronous Event Driven Buffer with Completion Detection Signalling. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 573 (download PDF).
- Semenov A, Yakovlev A. Contextual Net Unfolding and Asynchronous System Verification. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 572 (download PDF).
- Tikhomirova NV, Shturtz IV, Romanovsky A. Object-Oriented Approach to State Restoration by Reversion in Fault Tolerant Systems. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 571 (download PDF).
- L. Lloyd. An Open Question - Will the Properties of Electromigration and Thermomigration have an Adverse Effect on the Future of Asynchronous Logic Design?. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 570 (download PDF).
- J Wang, A. Saeed and R. de Lemos. Subjective Safety Analysis of Safety Requirements Specifications. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 569 (download PDF).
- R. de Lemos and J. G. Hall. ERTL: An Extension to RTL for Requirements Analysis for Hybrid Systems. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 568 (download PDF).
- S. Pearson and A. Saeed. Information Structures for Traceability for Dependable Avionic Systems. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 567 (download PDF).
- Semenov A, Yakovlev A, Pastor E, Pena MA, Cortadella J, Lavagno L. Partial Order Based Approach to Synthesis of Speed-Independent Circuits. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 566 (download PDF).
- Semenov A, Yakovlev A, Pastor E, Pena MA, Cortadella J. Synthesis of Speed Independent Circuits from STG-unfolding Segment. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 565 (download PDF).
- Chu HD, Dobson JE. FAST: A Framework for Automating Statistics-Based Testing. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 564 (download PDF).
- Mitrani I, Yakovlev A. Tree Arbiter With Nearest-Neighbour Scheduling. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 563 (download PDF).
- Carrion C, Yakovlev A. Design and Evaluation of Two Asynchronous Token Ring Adapters. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 562 (download PDF).
- Romanovsky A, Randell B, Stroud RJ, Xu J, Zorzo AF. Implementing Synchronous Co-ordinated Atomic Actions Based on Forward Error Recovery. Department of Computing Science. 1997. Department of Computing Science Technical Report Series 561 (download PDF).
- Bryans J, Schneider S. Mechanical Verification of the full Needham-Schroeder Public Key Protocol. Computing Laboratory. . Computing Laboratory Technical Report Series (download PDF).