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, Kinniment DJ, Yakovlev A. Priority Arbiters. Department of Computing Science. 1999. Department of Computing Science Technical Report Series 687 (download PDF).
- Xia F, Yakovlev A, Bystrov A, Koelmans AM, Kinniment DJ, Shang D. An Asynchronous Communication Mechanism Using Self-timed Circuits. Department of Computing Science. 1999. Department of Computing Science Technical Report Series 686 (download PDF).
- Romanovsky A. An Exception Handling Framework for N-Version programming in Object Oriented Systems. Department of Computing Science. 1999. Department of Computing Science Technical Report Series 684 (download PDF).
- Romanovsky A. Faulty Version Recovery in Object-Oriented N-Version Programming. Department of Computing Science. 1999. Department of Computing Science Technical Report Series 679 (download PDF).
- Zorzo AF, Stroud RJ. A Distributed Object-Oriented Framework for Dependable Multiparty Interactions. Department of Computing Science. 1999. Department of Computing Science Technical Report Series 671 (download PDF).
- R. de Lemos and A. Saeed. Validating Formal Verification using Safety Analysis Techniques. Department of Computing Science. 1999. Department of Computing Science Technical Report Series 668 (download PDF).
- A.F. Zorzo. A Production Cell Controlled by Dependable Multiparty Interactions. Department of Computing Science. 1999. Department of Computing Science Technical Report Series 667 (download PDF).
- Popov P, Romanovsky A, Strigini L. Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science. Department of Computing Science. 1999. Department of Computing Science Technical Report Series 666 (download PDF).
- Shrivastava SK, Ezhilchelvan PD. Enhancing Replica Management Services to Cope with Group Failures. Department of Computing Science. 1999. Department of Computing Science Technical Report Series 665 (download PDF).
- S. Merad, R. de Lemos and T. Anderson. Dynamic Selection of Software Components in the Face of Changing Requirements. Department of Computing Science. 1999. Department of Computing Science Technical Report Series 664 (download PDF).
- E. Tramontana and R. de Lemos. A Reflective Approach for Describing Cooperation between Objects. Department of Computing Science. 1999. Department of Computing Science Technical Report Series 663 (download PDF).
- Xu J, Randell B, Romanovsky A, Stroud RJ, Zorzo AF, Canver E, von Henke F. Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. Department of Computing Science. 1999. Department of Computing Science Technical Report Series 662 (download PDF).
- Romanovsky A. Class Diversity Support in Object-Oriented Languages. Department of Computing Science. 1999. Department of Computing Science Technical Report Series 661 (download PDF).
- Holt, C.M.Exceptions and Eventflow. Department of Computing Science. 1999. Department of Computing Science Technical Report Series 660 (download PDF).
- Romanovsky A, Ezhilchelvan PD. Engineering Look-ahead in Distributed Conversations. Department of Computing Science. 1999. Department of Computing Science Technical Report Series 659 (download PDF).
- Watson P, Parastatidis S. The NIP Parallel Object-Oriented Computational Model. Department of Computing Science. 1999. Department of Computing Science Technical Report Series 658 (download PDF).
- Yakovlev A, Kinniment DJ, Xia F. FIFO Buffer with Real-Time Interface. Department of Computing Science. 1999. Department of Computing Science Technical Report Series 649 (download PDF).
- Benjamin R, Gladman B, Randell B. Protecting IT Systems from Cyber Crime. Department of Computing Science. 1999. Department of Computing Science Technical Report Series 631 (download PDF).