Newcastle University

Dependability Publications

Publications

• Fitzgerald JS, Pierce KG, Larsen PG, Verhoef MHG. A Formal Approach to Collaborative Modelling and Co-simulation for Embedded Systems. Mathematical Structures in Computer Science 2013. In Press.
• Hayes IJ, Jones CB, Colvin RJ. Refining rely-guarantee thinking. Formal Aspects of Computing 2013. Submitted.
• Laibinis L, Troubitsyna E, Iliasov A, Romanovsky A. Formal Approach to Ensuring Interoperability of Mobile Agents. In: Alencar, P; Cowan. D, ed. Handbook of Research on Mobile Software Engineering: Design Implementation and Emergent Applications. Hershey, Pennsylvania, USA: IGI Global, 2012, pp.442-462.
• Mazzara M, Jones C, Iliasov A. Lessons from DEPLOYment. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1309.
• Hao F, Clarke D. Security Analysis of a Multi-Factor Authenticated Key Exchange Protocol. Newcastle upon Tyne: Newcastle University, 2012. School of Computing Science Technical Report Series 1312.
• Zhao R, Selvarajah K, Speirs NA. Tools for Building Context Aware and Secure Pervasive Computing Applications. In: 2nd International Conference on Pervasive and Embedded Computing and Communication Systems. 2012, Rome, Italy.
• Jones CB, Lovert MJ, Steggles LJ. Towards a Mechanisation of a Logic that Copes with Partial Terms. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1314.
• Abouzaid F, Bhattacharyya A, Dragoni N, Fitzgerald JS, Mazzara M, Zhou M. A Case Study of Workflow Reconfiguration: Design, Modelling, Analysis and Implementation. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1265.
• Velykiene R, Jones CB. A Fast Track Analysis of ICT Constraints on Evolving Physical Infrastructure. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1282.
• Farj K, Speirs N, Chen Y. A Fault Injection Method for Testing Dependable Web Service Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1263.
• Fitzgerald JS, Larsen PG, Pierce KG, Verhoef MHG. A Formal Approach to Collaborative Modelling and Co-simulation for Embedded Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1264.
• Li F, Pienkowski D, van Moorsel A, Smith C. A Holistic Framework for Trust in Online Transactions. International Journal of Management Reviews 2011, 13(2), 218–235.
• Riddle S, Keshlaf AAA. An Empirical Study of Web and Distributed Software Risks from Three Perspectives: Project, Process and Product. In: Sixth International Conference on Internet Monitoring and Protection. 2011, St Maarten, The Netherlands Antilles.
• Larsen PG, Fitzgerald JS, Wolff S. Are Formal Methods Ready for Agility? A Reality Check. In: FM + AM 2010: Second International Workshop on Formal Methods and Agile Methods. 2011, Pisa (Italy): Bonner Köllen Verlag.
• Selvarajah K, Zhao R, Speirs NA. Building Smart Space Applications with PErvasive Computing in Embedded Systems (PECES) Middleware. Global Science and Technology Forum: Journal on Computing 2011, 1(4), 22.
• Yan J, El Ahmad AS. Captcha Robustness: A Security Engineering Perspective. Computer 2011, 44(2), 54-60.
• Hayes IJ, Burns A, Dongol B, Jones CB. Comparing Models of Nondeterministic Expression Evaluation. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1273.
• Payne RJ, Fitzgerald JS. Contract-Based Interface Specification Language for Functional and Non-Functional Properties. Newcastle University: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1250.
• Stahl F, Parkin SE, van Moorsel A. Cooperative Information Security Knowledge: Content Validation and incentives to contribute. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1241.
• Jones CB, Lloyd JL, ed. Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday. Berlin: Springer, 2011.
• Bryans JW. Developing a Consensus Algorithm using Stepwise Refinement. In: 13th International Conference on Formal Engeneering Methods. 2011, Durham, UK: Springer.
• Thomson RG, Beyer F, Colquhoun J, Critchley J, Eccles M, Faye M, Lambert M, van Moorsel A, Penn L, Prentice M, Sugden B, Wood V. Development and usability testing of a shared decision support tool for cardiovascular risk reduction in primary care. In: 6th International Shared Decision Making Conference. 2011, Maastricht, Netherlands.
• Zhao R, Selvarajah K, Speirs NA. Development Tools for Pervasive Computing in Embedded Systems (PECES) Middle ware. In: International Conference on Wireless Information Networks and Systems (WINSYS). 2011, Seville, Spain.
• van Moorsel A, Emms M, Rendall G, Arief B. Digital Strategy for the Social Inclusion of Survivors of Domestic Violence. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1277.
• Jones CB, Pierce KG. Elucidating concurrent algorithms via layers of abstraction and reification. Formal Aspects of Computing 2011, 23(3), 289-306.
• Iliasov A, Laibinis L, Troubitsyna E, Romanovsky A. Formal Derivation of a Distributed Program in Event B. In: 13th International Conference on Formal Engineering Methods (ICFEM). 2011, Durham, UK: Springer.
• Grotsev D, Iliasov A, Romanovsky A. Formal Stepwise Development of Scalable and Reliable Multiagent Systems. In: Petre, L; Sere, K; Troubitsyna, E, ed. Dependability and Computer Engineering: Concepts for Software-Intensive Systems. Hershey, PA: IGI Global, 2011, pp.58-74.
• Payne RJ, Fitzgerald JS. Interface Contracts for Architectural Specification and Assessment: a SysML Extension. In: Workshop on Dependable Systems of Systems. 2011, York, UK.
• Ingram C, Riddle S. Linking Software Design Metrics to Component Change-Proneness. In: 2nd International Workshop on Emerging Trends in Software Metrics (WeTSOM 2011). 2011, Honolulu, Hawaii, USA: ACM Press.
• Ingram C, Riddle S. Linking Software Design Metrics to Component Change-Proneness. Newcastle upon Tyne: School of Computing Science, The University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1257.
• Ingram C, Riddle S. Linking software design metrics to component change-proneness. In: 2nd International Workshop on Emerging Trends in Software Metrics (WeTSOM 2011) at IEEE International Conference on Software Engineering (ICSE). 2011, Honolulu, Hawaii: ACM Press.
• Chen Y, Gorbenko A, Kharchenko V, Romanovsky A. Measuring and Dealing with the Uncertainty of SOA Solutions. In: Cardellini, V; Casalicchio, E; Branco, K; Estrella, J; Monaco, F, ed. Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions. Pennsylvania, USA: IGI Global, 2011, pp.265-294.
• Andrews Z, Bryans J, Fitzgerald J, Hughes J, Payne R, Pierce K, Riddle S. Modelling and Refinement of the MONDEX Electronic Purse in VDM. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1308.
• Randell B. Occurrence Nets Then and Now: The Path to Structured Occurrence Nets. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1243.
• Hao F. On Robust Key Agreement Based on Public Key Authentication. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1266.
• Lopatkin I, Iliasov A, Romanovsky A, Prokhorova Y, Troubitsyna E. Patterns for Representing FMEA in Formal Specification of Control Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1261.
• Lopatkin I, Iliasov A, Romanovsky A, Prokhorova Y, Troubitsyna Y. Patterns for Representing FMEA in Formal Specification of Control Systems. In: 13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011. 2011, Boca Raton, Florida, USA: IEEE.
• Bendisposto J, Jones C, Leuschel M, Romanovsky A, (eds). Proceedings of the 11th International Workshop on Automated Verification of Critical Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1272.
• Zeng W, van Moorsel A. Quantitative Evaluation of Enterprise DRM Technology. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1238.
• Bryans J, Fitzgerald JS, McCutcheon T. Refinement-based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations. In: 12th IFIP Working Conference on Virtual Enterprises. 2011, Sao Paulo, Brazil: Springer.
• Romanovsky A, Vardanega T, ed. Reliable Software Technologies - Ada-Europe 2011. Proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Netherlands: Springer, 2011.
• Lopatkin I, Iliasov A, Romanovsky A. Rigorous Development of Dependable Systems using Fault Tolerance Views. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1234.
• Lopatkin I, Iliasov A, Romanovsky A. Rigorous Development of Dependable Systems using Fault Tolerance Views. In: 22nd IEEE International Symposium on Software Reliability Engineering (ISSRE). 2011, Hiroshima, Japan: IEEE.
• Jones CB, Lovert MJ. Semantic Models for a Logic of Partial Functions. International Journal of Software and Informatics 2011, 5(1-2, part I), 55-76.
• Bryans J, Koutny M, Mu C. Towards Quantitative Analysis of Opacity. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1304.
• Gorbenko A, Kharchenko V, Tarasyuk O, Romanovsky A. Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1262.
• Gorbenko A, Kharchenko V, Tarasyuk O, Romanovsky A. Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions. In: Third International Workshop on Software Engineering for Resilient Systems (SERENE). 2011, Geneva, Switzerland: Springer.
• Grov G, Jones CB. AI4FM: A new project seeking challenges!. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1216.
• Zhu B, Yan J, Li Q, Yang C, Liu J, Xu N, Yi M, Cai K. Attacks and design of image recognition CAPTCHAs. In: Proceedings of the ACM Conference on Computer and Communications Security. 2010, Chicago, Illinois, USA: ACM Press.
• Fitzgerald J, Gorm Larsen P, Pierce KG, Verhoef M, Wolff S. Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1213.
• Yan J. Collusion detection in online bridge. In: Proceedings of the National Conference on Artificial Intelligence. 2010, Atlanta, Georgia, USA: Association for the Advancement of Artificial Intelligence.
• El Ahmad AS, Yan J. Colour, usability and security: a case study. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1203.
• Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A, Varpaaniemi K, Ilic D, Latvala T. Developing Mode-Rich Satellite Software by Refinement in Event B. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1207.
• Charlton T, Devlin M, Marshall L, Drummond S. Encouraging Interaction and Status Awareness in Undergraduate Software Engineering Projects: The Role of Social Networking Services. In: IEEE Engineering Education. 2010, Madrid, Spain: Universidad Politecnica de Madrid.
• Bryans JW, Wei W. Formal Analysis of BPMN models using Event-B. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1201.
• Garcia A, Romanovsky A, Issarny V. Guest Editors' Introduction to the Special Section on Exception Handling: From Requirements to Software Maintenance. IEEE Transactions on Software Engineering 2010, 36(2), 147-149.
• Jones CB, Grov G, Bundy A. Ideas for a high-level proof strategy language. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1210.
• Di Marzo Serugendo G, Fitzgerald J, Romanovsky A. MetaSelf – An Architecture and a Development Method for Dependable Self-* Systems. In: 25th annual ACM Symposium on Applied Computing. 2010, Sierre, Switzerland: ACM.
• Harrison MD, Massink M. Modelling interactive experience, function and performance in ubiquitous systems. In: Electronic Notes in Theoretical Computer Science: 4th International Workshop on the Practical Application of Stochastic Modelling (PASM). 2010, Imperial College, London: Elsevier.
• Randell B. Newcastle’s French Connection. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1200.
• Lopatkin I, Iliasov A, Romanovsky A. On Fault Tolerance Reuse during Refinement. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1188.
• Bryans JW, Fitzgerald JS, Romanovsky A, Roth A. Patterns for Modelling Time and Consistency in Business Information Systems. In: 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS). 2010, Oxford, UK: IEEE.
• Randell B. Reminiscences of Whetstone ALGOL. Resurrection 2010, (50), 14-22.
• Randell B. Reminiscences of Whetstone ALGOL. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1190.
• Keshlaf AA, Riddle S. Risk Management for Web and Distributed Software Development Projects. In: 5th International Conference on Internet Monitoring and Protection (ICIMP). 2010, Barcelona, Spain: IEEE Computer Society.
• Massink M, Harrison MD, Latella D. Scalable Analysis of Collective Behaviour in Smart Service Systems. In: 25th annual ACM Symposium on Applied Computing. 2010, Sierre, Switzerland: ACM.
• Jones CB, Pierce KG. Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1186.
• Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A, Varpaaniemi K, Ilic D, Latvala T. Supporting Reuse in Event B Development: Modularisation Approach. In: Abstract State Machines, Alloy, B and Z: Second International Conference (ABZ). 2010, Orford, QC, Canada: Springer.
• Larsen PG, Battle N, Ferreira M, Fitzgerald J, Lausdahl K, Verhoef M. The Overture Initiative Integrating Tools for VDM. Software Engineering Notes 2010, 35(1), 1-6.
• Salah El Ahmad A, Yan J, Marshall L. The robustness of a new CAPTCHA. In: Proceedings of the third European Workshop on System Security (EUROSEC). 2010, Paris, France: ACM Press.
• Jones CB, Pierce KG. What Can the pi-calculus Tell Us About the Mondex Purse System?. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1185.
• Selvarajah K, Speirs N. Workshop on Pervasive Computing and Cooperative Environments in a Global Context. In: Ambient Intelligence: 1st International Joint Conference (AmI 2010). 2010, Malaga, Spain: Springer-Verlag.
• Silva JL, Campos JC, Harrison MD. An Infrastructure for Experience Centered Agile Prototyping of Ambient Intelligence. In: EICS'09. Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems. 2009, Pittsburgh, Pennsylvania, USA: ACM.
• Yan J, Randell B. An Investigation of Cheating in Online Games. IEEE Security & Privacy 2009, 7(3), 37-44.
• Devlin M, Phillips C, Marshall L. Assessment in Software Engineering- Towards a new Framework for Group Projects. In: Proceedings of the ICEE & ICEER 2009 Korea International Conference on Engineering Education and Research. 2009, Seoul, Korea: Se Yung Lim, Korea University of Technology and Education.
• Chen Y, Romanovsky A, Gorbenko A, Kharchenko V, Mamutov S, Tarasyuk O. Benchmarking Dependability of a System Biology Application. In: 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS). 2009, Potsdam, Germany: IEEE Computer Society.
• Chen Y, Gorbenko A, Kharchenko V, Mamutov S, Romanovsky A, Tarasyuk O. Benchmarking Dependability of a System Biology Application. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1136.
• Jones CB, Pierce KG. Elucidating Concurrent Algorithms via Layers of Abstraction and Reification. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1166.
• Harrison MD, Massink M, Latella D. Engineering Crowd Interaction within Smart Environments. In: ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS). 2009, Pittsburgh, Pennsylvania, USA: ACM.
• Woodcock J, Larsen PG, Bicarregui J, Fitzgerald J. Formal Methods: Practice and Experience. ACM Computing Surveys 2009, 41(4), 1-36.
• Bryans J, Fitzgerald JS, Romanovsky A, Roth A. Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. In: 14th IEEE International Conference on Engineering of Complex Computer Systems. 2009, Potsdam, Germany: IEEE.
• Capozucca A, Guelfi N, Pelliccione P, Romanovsky A, Zorzo AF. Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study. Journal of Systems and Software 2009, 82(2), 207-228.
• Jones CB. From Problem Frames to HJJ (and its known unknowns). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1163.
• Castor F, Romanovsky A, Rubira CMF. Improving reliability of cooperative concurrent systems with exception flow analysis. Journal of Systems and Software 2009, 82(5), 874-890.
• Bicarregui JC, Fitzgerald JS, Larsen PG, Woodcock JCP. Industrial Practice in Formal Methods: A Review. In: FM 2009: Formal Methods: Second World Congress. 2009, Eindhoven, The Netherlands: Springer-Verlag.
• Campos JC, Harrison MD. Interaction Engineering Using the IVY Tool. In: EICS'09. Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems. 2009, Pittsburgh, PA, USA: ACM.
• Larsen PG, Fitzgerald J, Wolff S. Methods for the Development of Distributed Real-Time Embedded Systems using VDM. International Journal of Software and Informatics 2009, 3(2), 305-341.
• Wolf S, Fitzgerald J, Gorm Larsen P. Methods for the Development of Distributed Real-Time Embedded Systems using VDM. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1164.
• Dotti FL, Iliasov A, Ribeiro L, Romanovsky A. Modal Systems: Specification, Refinement and Realisation. In: Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods (ICFEM). 2009, Rio de Janeiro, Brazil: Springer-Verlag.
• Fitzgerald J, Larsen PG. Modelling Systems: Practical Tools and Techniques in Software Engineering. Cambridge, UK: Cambridge University Press, 2009.
• Bryans J W, Fitzgerald J S, Romanovsky A, Roth A. Patterns for Modelling Time and Consistency in Business Information Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1178.
• Larsen PG, Fitzgerald JS, Riddle S. Practice-oriented courses in formal methods using VDM++. Formal Aspects of Computing 2009, 21(3), 245-257.
• Bryans JW, Fitzgerald JS. Proceedings of Formal Aspects of Virtual Organisations 2009. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1176.
• Bryans J, Fitzgerald J, ed. Proceedings of the Second Workshop on Formal Aspects of Virtual Organisations. Eindhoven, The Netherlands. 3 November 2009. Australia: Open Publishing Association, 2009.
• Gorbenko A, Kharchenko V, Mamutov S, Tarasyuk O, Chen Y, Romanovsky A. Real Distribution of Response Time Instability in Service-Oriented Architecture. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1182.
• Randell B, Koutny M. Structured Occurence Nets: A formalism for aiding system failure prevention and analysis techniques. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1162.
• Koutny M, Randell B. Structured Occurrence Nets: A formalism for aiding system failure prevention and analysis techniques. Fundamenta Informaticae 2009, 97(1-2), 41-91.
• Randell B, Koutny M. Structured Occurrence Nets: Incomplete, contradictory and uncertain failure evidence. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1170.
• Iliasov A, Romanovsky A, Dotti FL. Structuring Specifications with Modes. In: Proceedings of the Fourth Latin-American Symposium on Dependable Computing (LADC). 2009, Joao Pessoa, Brazil: IEEE Computer Society.
• Jones CB. The role of auxiliary variables in the formal development of concurrent programs. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1179.
• Devlin M, Phillips C, Marshall L. Web 2.0, Technology Ownership and e-Learning in Computing Science. In: 4th International Conference on e-Learning. 2009, University of Toronto, Canada: Academic Publishing Limited.
• Pierce KG. [PhD Thesis] Enhancing the Usability of Rely-Guarantee Conditions for Atomicity Refinement. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009.
• Bryans JW, Fitzgerald JS, Greathead D, Jones CB, Payne RJ. A Dynamic Coalitions Workbench: Final Report. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1091.
• Massink M, Latella D, ter Beek MH, Harrison MD, Loreti M. A Fluid Flow Approach to Usability Analysis of Multi-user Systems. In: Engineering Interactive Systems: Second Conference on Human-Centered Software Engineering, HCSE 2008 and 7th International Workshop on Task Models and Diagrams (TAMODIA). 2008, Pisa, Italy: Springer.
• Glaser H, Millard I, Anderson T, Andrews Z, Fitzgerald J, Randell B. A Knowledge Base for Dependability and Security Research. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1132.
• Lobato C, Garcia A, Romanovsky A, Lucena C. An aspect-oriented software architecture for code mobility. Software: Practice and Experience 2008, 38(13), 1365-1392.
• Harrison MD, Sujan M-A, ed. Computer Safety, Reliability, and Security: 27th International Conference (SAFECOMP). 22-25 September 2008. Newcastle upon Tyne, UK. Berlin, Germany: Springer-Verlag, 2008.
• Harrison M, Campos JC, Doherty G, Loer K. Connecting Rigorous System Analysis to Experience-Centered Design. In: Law, E.L-C., Hvannberg, E.T., Cockton, G, ed. Maturing Usability: Quality in Software, Interaction and Value. Berlin: Springer, 2008, pp.56-74.
• Campos JC, Harrison MD. Considering context and users in interactive systems analysis. In: Engineering Interactive Systems 2008: Second Conference on Human-Centered Software Engineering (HCSE). 2008, Salamanca, Spain: Springer.
• Romanovsky A. DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability. Software Engineering Notes 2008, 33(6), 36.
• Bhattacharyya A, Fitzgerald JS. Development of a Formalism for Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems: A Technical Diary. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1121.
• Guelfi N, Muccini H, Pelliccione P, Romanovsky A. Engineering Fault Tolerant Systems. International Journal of Computer Systems Science and Engineering 2008, 23(5), 315-316.
• Gorbenko A, Kharchenko V, Romanovsky A, Mikhaylichenko A. Experimenting with exception propagation mechanisms in service-oriented architecture. In: Proceedings of the Fourth International Workshop on Exception Handling. Co-located with the Sixteenth ACM SIGSOFT International Symposium on the Foundations of Software Engineering. 2008, Atlanta, Georgia, USA: ACM.
• Harrison MD, Kray C, Campos JC. Exploring an option space to engineer a ubiquitous computing system. In: Electronic Notes in Theoretical Computer Science: 2nd International Workshop on Formal Methods for Interactive Systems (FMIS). 2008, Lancaster, UK: Elsevier B.V.
• Harrison MD, Kray C, Sun Z, Zhang H. Factoring user experience into the design of ambient and mobile systems. In: Engineering Interactive Systems: EIS 2007 Joint Working Conferences. 2008, Salamanca, Spain: Springer.
• Harrison M, Campos JC, Loer K. Formal analysis of interactive systems: opportunities and weaknesses. In: Cairns, P., Cox, A.L, ed. Research Methods for Human-Computer Interaction. Cambridge, UK: Cambridge University Press, 2008, pp.88-111.
• Laibinis L, Troubitsyna E, Iliasov A, Romanovsky A. Formal development of cooperative exception handling for mobile agent systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1123.
• Bryans J, Fitzgerald J, Romanovsky A, Roth A. Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1131.
• Periorellis P, Cook N, Hiden H, Conlin A, Hamilton MD, Wu J, Bryans J, Gong X, Zhu F, Smith R, Watson P, Wright AR. GOLD infrastructure for virtual organizations. Concurrency and Computation: Practice and Experience 2008, 20(11), 1273-1288.
• Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A. Guided Formal Development: Patterns for Modelling and Refinement. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1103.
• Gorbenko A, Romanovsky A, Kharehenko V. How to enhance UDDI with dependability capabilities. In: 32nd Annual IEEE International Computer Software and Applications Conference. 2008, Turku, Finland: IEEE Computer Society.
• Devlin M, Drummond S, Phillips C, Marshall L. Improving Assessment in Software Engineering Student Team Projects. In: 9th Annual Conference of the Subject Centre for Information and Computer Sciences. 2008, Liverpool Hope University, UK: Higher Education Academy, Subject Centre for ICS.
• Devlin M, Drummond S, Phillips C, Marshall L. Improving Assessment in Software Engineering Student Team Projects. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1111.
• Chen Y, Romanovsky A. Improving the dependability of web services integration. IT Professional 2008, 10(3), 29-35.
• Castor Filho F, Romanovsky A, Rubira CMF. Improving the Reliability of Cooperative Concurrent Systems with Exception Flow Analysis. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1105.
• Macedo HD, Larsen PG, Fitzgerald J. Incremental Development of a Distributed Real-Time Model of A Cardiac Pacing System using VDM. In: FM 2008: Formal Methods, 15th International Symposium on Formal Methods. 2008, Turku, Finland: Springer.
• Chen Y, Romanovsky A. Mediating Web Services for Dependability. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1104.
• Fitzgerald JS, Larsen PG, Sahara S. Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1099.
• Bryans JW, Koutny M, Mazare L, Ryan PYA. Opacity generalised to transition systems. International Journal of Information Security 2008, 7(6), 421-435.
• Devlin M, Phillips C, Marshall L. Organised Chaos - Learning Outcomes from trialling Active Learning Methods in Computing Science. In: International Conference in Engineering Education. New Challenges in Engineering Education and Research in the 21st Century. 2008, Pécs-Budapest, Hungary: Pollack Mihály Faculty of Engineering, University of Pécs.
• Devlin M, Phillips C, Marshall L. Organised Chaos - Learning Outcomes from trialling Active Learning Methods in Computing Science. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1110.
• Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A. Patterns for Refinement Automation. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1125.
• Bryans J, Fitzgerald J. Proceedings of Formal Aspects of Virtual Organisations 2008. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1098.
• Hughes JRD, Jones CB. Reasoning about programs via operational semantics: requirements for a support system. Automated Software Engineering 2008, 15(3-4), 299-312.
• Iliasov A, Romanovsky A. Refinement Patterns for Fault Tolerant Systems. In: Proceedings of the Seventh European Dependable Computing Conference (EDCC-7). 2008, Kaunas, Lithuania: IEEE Computer Society.
• Iliasov A, Romanovsky A. Refinement Patterns for Fault Tolerant Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1074.
• Jones CB. Reflections on, and predictions for, support systems for the development of programs. In: 2008 23rd IEEE/ACM International Conference on Automated Software Engineering. 2008, L'Aquila, Italy: IEEE.
• Doherty G, Campos J, Harrison MD. Resources for Situated Actions. In: Interactive Systems: Design, Specification and Verification. 15th International Workshop (DS-VIS). 2008, Kingston, Canada: Springer.
• Gilroy SW, Harrison MD. SBML: A user interface mark-up language based on interaction style. International Journal of Web Engineering and Technology 2008, 4(2), 207-234.
• Guelfi N, Muccini H, Pelliccione P, Romanovsky A, ed. SERENE '08. RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems. 17-19 November 2008. Newcastle upon Tyne, UK. New York, USA: ACM, 2008.
• Jones CB. Some Interdisciplinary Observations about Getting the "Right" Specification. In: Verified Software: Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference (VSTTE 2005). 2008, Zurich, Switzerland: Springer.
• Jones CB, Pierce KG. Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. In: Abstract State Machines, B and Z: First International Conference (ABZ 2008). 2008, London, UK: Springer-Verlag.
• Koutny M, Randell B. Structured Occurrence Nets: A formalism for aiding system failure prevention and analysis techniques. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1120.
• Campos JC, Harrison MD. Systematic analysis of control panel interfaces using formal tools. In: Interactive Systems: Design, Specification and Verification. 15th International Workshop (DS-VIS). 2008, Kingston, Canada: Springer.
• Fitzgerald JS, Jones CB. The connection between two ways of reasoning about partial functions. Information Processing Letters 2008, 107(3-4), 128-132.
• Gorbenko A, Kharchenko V, Tarasyuk O, Chen Y, Romanovsky A. The Threat of Uncertainty in Service-Oriented Architecture. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1122.
• Fitzgerald JS, Haxthausen AE, Yenigun H, ed. Theoretical Aspects of Computing (ICTAC). 5th International Colloquium. Istanbul, Turkey. 1-3 September 2008. Berlin: Springer-Verlag, 2008.
• Garcia A, Romanovsky A, Kienzle J, Dony C, Cacho N, ed. WEH '08. Proceedings of the Fourth International Workshop on Exception Handling. Co-located with the Sixteenth ACM SIGSOFT International Symposium on the Foundations of Software Engineering. 14 November 2008. Atlanta, Georgia, USA. New York, USA: ACM, 2008.
• Randell B. A computer scientist's reactions to NPfIT. Journal of Information Technology 2007, 22(3), 222-234.
• Randell B. A Computer Scientist’s Reactions to NPfIT. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1024.
• Bryans JW, Fitzgerald JS, Periorellis P. A Formal Approach to Dependable Evolution of Access Control Policies in Dynamic Collaborations. In: 37th IEEE/IFIP International Conference on Dependable Systems and Networks. 2007, Edinbugh, UK.
• Bryans JW, Fitzgerald JS, Periorellis P. A Formal Approach to Dependable Evolution of Access Control Policies in Dynamic Collaborations. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1027.
• Iliasov A, Romanovsky A, Arief B, Laibinis L, Troubitsyna E. A framework for open distributed system design. In: COMPSAC: International Computer Software and Applications Conference. 2007, Beijing, China: IEEE.
• Romanovsky A. A looming fault tolerance software crisis?. In: Software Engineering Notes: NATO Workshop on Building Robust Systems with Fallible Construction. 2007, Prague, Czech Republic: ACM.
• Di Marzo Serugendo G, Fitzgerald J, Romanovsky A, Guelfi N. A Metadata-Based Architectural Model for Dynamically Resilient Systems. In: 22nd ACM Symposium on Applied Computing. 2007, Seoul, Korea: ACM.
• Coleman JW, Jones CB. A structural proof of the soundness of rely/guarantee rules. Journal of Logic and Computation 2007, 17(4), 807-841.
• Coleman JW, Jones CB. A structural proof of the soundness of rely/guarantee rules (revised). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1029.
• Devlin M, Marshall L, Phillips C. Active Learning in Computing: Engaging Learners in a Cross-Site Team Project. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 997.
• Andras P, Lycett S. An advantage of chaotic neural dynamics. In: Proceedings of the International Joint Conference on Neural Networks (IJCNN). 2007, Orlando, Florida, USA: IEEE.
• Andras P, Herald NDJ, Charlton BG. An analysis of the dynamics of British academic science. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1006.
• de Lemos R, Gacek C, Romanovsky A, ed. Architecting Dependable Systems IV. Berlin: Springer-Verlag, 2007.
• Muccini H, Pelliccione P, Romanovsky A. Architecting Fault Tolerant Systems. In: Working IEEE/IFIP Conference on Software Architecture. 2007, Mumbai, India: IEEE Computer Society.
• Muccini H, Romanovsky A. Architecting Fault Tolerant Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1051.
• Coleman JW, Jones CB. Atomicity: A unifying concept in computer science papers from dagstuhl seminar 06121 J.UCS special issue. Journal of Universal Computer Science 2007, 13(8), 1042-1043.
• Fitzgerald JS, Larsen PG. Balancing Insight and Effort: the Industrial Uptake of Formal Methods. In: Formal Methods and Hybrid Real-Time Systems, Essays in Honour of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays. 2007, Macau SAR, China: Springer.
• Fitzgerald JS, Larsen PG. Balancing Insight and Effort: the Industrial Uptake of Formal Methods. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1031.
• Avizienis A, Laprie J-C, Randell B, Landwehr CE. Basic Concepts and Taxonomy of Dependable and Secure Computing. In: von Knop, J., Salnikov, A.A., Yaschenko. V.V, ed. A Process for Developing a Common Vocabulary in the Information Security Area. Amsterdam; Oxford: IOS Press, 2007, pp.10-51.
• Charlton BG, Andras P. Complex biological memory conceptualized as an abstract communication system – human long term memories grow in complexity during sleep and undergo selection while awake. In: Perlovsky, L., Kozma, R, ed. Neurodynamics of Cognition and Consciousness. Berlin; New York: Springer, 2007, pp.325-340.
• Gallina B, Guelfi N, Romanovsky A. Coordinated atomic actions for dependable distributed systems: The current state in concepts, semantics and verification means. In: Proceedings - International Symposium on Software Reliability Engineering, ISSRE. 2007, Trollhättan, Sweden: IEEE.
• Andras P, Wennekers T. Cortical activity pattern computation. BioSystems 2007, 87(2-3), 179-185.
• Jones CB, Hayes IJ, Jackson MA. Deriving specifications for systems that are connected to the physical world. In: Jones CB; Liu Z; Woodcock J, ed. Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays. Berlin: Springer-Verlag, 2007, pp.364-390.
• Jones CB, Hayes IJ, Jackson MA. Deriving specifications for systems that are connected to the physical world. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1045.
• Randell B, Rushby J. Distributed Secure Systems: Then and Now. In: 23rd Annual Computer Security Applications Conference, ACSAC. 2007, Miami Beach, Florida, USA: IEEE Computer Society.
• Randell B, Rushby JM. Distributed Secure Systems: Then and Now. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1052.
• Andras P, Gwyther R, Madalinski AA, Lynden SJ, Andras A, Young MP. Ecological network analysis: An application to the evaluation of effects of pesticide use in an agricultural environment. Pest Management Science 2007, 63(10), 943-953.
• Parkin SE, Andras P, Morgan G. Evolutionary optimization of parameters for distributed virtual environments. In: IEEE Congress on Evolutionary Computation (CEC). 2007, Singapore: IEEE.
• Gorbenko A, Mikhaylichenko A, Kharchenko V, Romanovsky A. Experimenting With Exception Handling Mechanisms Of Web Services Implemented Using Different Development Kits. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1010.
• Harrison M, Kray C, Campos JC. Exploring an option space to engineer a ubiquitous computing system. In: The Pre-proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS). 2007, Lancaster, UK: Queen Mary, University of London, Department of Computer Science.
• Randell B, Koutny M. Failures: Their Definition, Modelling and Analysis. In: Theoretical Aspects of Computing: 4th International Colloquium (ICTAC). 2007, Macao, China: Springer-Verlag.
• Bryans J, Fitzgerald JS. Formal Engineering of XACML Access Control Policies in VDM++. In: Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM. 2007, Boca Raton, FL, USA: Springer.
• Bryans JW, Fitzgerald JS. Formal Engineering of XACML Access Control Policies in VDM++. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1028.
• Jones CB, Liu Z, Woodcock J, ed. Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays. Berlin: Springer-Verlag, 2007.
• Di Marzo Serugendo G, Fitzgerald JS, Romanovsky A, Guelfi N. Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1018.
• Wennekers T, Ay N, Andras P. High-resolution multiple-unit EEG in cat auditory cortex reveals large spatio-temporal stochastic interactions. BioSystems 2007, 89(1-3), 190-197.
• Chen Y, Romanovsky A. Improving Service Availability without Improving Availability of Individual Services. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1025.
• Macedo HD, Larsen PG, Fitzgerald J. Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System using VDM. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1059.
• Devlin M, Phillips C, Marshall L. Making Computing Science Students More Employable with Problem-Based Learning and Cross-Site Teamwork. In: International Conference on Engineering Education and Research (iCEER). 2007, Melbourne, Australia: International Network for Engineering and Education Research.
• Devlin M, Phillips C, Marshall L. Making Computing Science Students More Employable with Problem-Based Learning and Cross-Site TeamWork. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1055.
• Thimbleby H, Harrison M. Names and Reference in User Interfaces. In: People and Computers XXI. HCI...but not as we know it. 2007, University of Lancaster, UK: British Computer Society.
• Gorbenko A, Kharchenko V, Romanovsky A. On composing Dependable Web Services using undependable web components. International Journal of Simulation and Process Modelling 2007, 3(1-2), 45-54.
• Iliasov A, Romanovsky A, Arief B, Laibinis L, Troubitsyna E. On rigorous design and implementation of fault tolerant ambient systems. In: 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC 2007. 2007, Santorini Island, Greece: Institute of Electrical and Electronics Engineers.
• Butler M, Jones CB, Romanovsky A, Troubitsyna E. Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1032.
• Andrews Z, Fitzgerald J, Verhoef M. Resilience Modelling Through Discrete Event and Continuous Time Co-Simulation. In: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks. 2007, Edinburgh, UK.
• Andrews Z, Fitzgerald J, Verhoef M. Resilience Modelling Through Discrete Event and Continuous Time Co-Simulation. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1020.
• Andras P, Herald NDJ, Charlton BG. Science production in top 20 UK universities is catching-up with the US universities. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1053.
• Kaiser M, Martin R, Andras P, Young MP. Simulation of robustness against lesions of cortical networks. European Journal of Neuroscience 2007, 25(10), 3185-3192.
• Choren R, Garcia A, Giese H, Romanovsky A, ed. Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications. Berlin: Springer-Verlag, 2007.
• Pelliccione P, Muccini H, Guelfi N, Romanovsky A, ed. Software Engineering of Fault Tolerant Systems. New Jersey; London: World Scientific Publishing, 2007.
• Jones CB. Splitting atoms safely. Theoretical Computer Science 2007, 375(1-3), 109-119.
• Fitzgerald JS, Jones CB. The Connection between Two Ways of Reasoning about Partial Functions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1044.
• Anderson T, Andrews ZH, Fitzgerald JS, Randell B, Glaser H, Millard IC. The ReSIST Resilience Knowledge Base. In: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). 2007, Edinburgh, UK: IEEE Computer Society.
• Anderson T, Andrews ZH, Fitzgerald JS, Randell B, Glaser H, Millard IC. The ReSIST Resilience Knowledge Base. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1021.
• Fitzgerald JS. The Typed Logic of Partial Functions and the Vienna Development Method. In: Bjorner, D; Henson, MC, ed. Logics of Specification Languages. Berlin: Springer, 2007, pp.453-487.
• Jones CB, Liu Z, Woodcock J, ed. Theoretical Aspects of Computing - ICTAC 2007. 4th International Colloquium, Macao, China, September 26-28, 2007. Berlin: Springer, 2007.
• Fitzgerald JS, Larsen PG. Triumphs and Challenges for the Industrial Application of Model-Oriented Formal Methods. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 999.
• Jones CB. Understanding programming language concepts via operational semantics. In: 4th International Colloquium on Theoretical Aspects of Computing (ITAC 2007): Training School on Domain Modeling and the Duration Calculus. 2007, Shanghai, China: Springer.
• Jones CB. Understanding programming language concepts via Operational Semantics. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1046.
• Bryans J, Fitzgerald J. Validating Access Control Policies for Virtual Organisations. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1054.
• Romanovsky A. A Looming Fault Tolerance Software Crisis?. Newcastle upon Tyne: School of Computing Science, Newcastle University, 2006. School of Computing Science Technical Report Series 991.
• Lobato C, Garcia A, Lucena C, Romanovsky A. A modular implementation framework for code mobility. In: 3rd international conference on Mobile Technology, Applications & Systems (Mobile '06). 2006, Bangkok, Thailand: ACM.
• Andras P, Ha HN. A Scientific Document Management System for Neuroscience. In: Fifteenth Annual Computational Neuroscience Meeting (CNS*2006). 2006, Edinburgh: National Institute of Mental Health.
• Coleman JW, Jones CB. A structural proof of the soundness of rely/guarantee rules. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 987.
• Devlin M, Marshall L, Phillips C. Active Learning in Computing: Engaging Learners in a Cross-Site Team Project. In: SOLSTICE Conference 2006. 2006, Edge Hill, Ormskirk: Edge Hill Centre for Excellence in Teaching and Learning.
• Dony C, Knudsen JL, Romanovsky A, Tripathi A, ed. Advanced Topics in Exception Handling Techniques. Berlin: Springer-Verlag, 2006.
• Loer K, Harrison MD. An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation. Automated Software Engineering 2006, 13(4), 469-496.
• de Lemos R, Gacek C, Romanovsky A. Architecting dependable systems. Journal of Systems and Software 2006, 79(10), 1359-1360.
• Capozucca A, Guelfi N, Pelliccione P, Romanovsky A, Zorzo A. CAA-DRIP: a framework for implementing Coordinated Atomic Actions. In: 17th International Symposium on Software Reliability Engineering (ISSRE '06). 2006, Raleigh, North Carolina: IEEE Computer Society.
• Coleman JW, Jefferson NP, Jones CB. Comments on several years of teaching of modelling programming language concepts. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 978.
• Harrison MD, Kray C. Connecting rigorous system analysis to experience centred design in ambient and mobile systems. In: Workshop on Software Engineering Challenges for Ubiquitous Computing. 2006, Lancaster, UK: Lancaster University.
• Damasceno K, Cacho N, Garcia A, Romanovsky A, Lucena C. Context-Aware Exception Handling in Mobile Agent Systems: The MoCA Case. In: International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS 2006 Workshop). 2006, Shanghai, China: ACM.
• Batarfi O, Marshall L. Defining criteria for rating an entity's trustworthiness based on its certificate policy. In: 1st International Conference on Availability, Reliability and Security (ARES 2006). 2006, Vienna , Austria: IEEE.
• Sujan MA, Harrison MD, Steven A, Pearson PH, Vernon SJ. Demonstration of safety in healthcare organisations. In: 25th International Conference on Computer Safety, Reliability and Security (SAFECOMP). 2006, Gdansk, Poland: Springer.
• Di Marzo Serugendo G, Fitzgerald J, Romanovsky A, Guelfi N. Dependable Self-Organising Software Architectures - An Approach for Self-Managing Systems. London: School of Computer Science and Information Systems, Birkbeck College, 2006. BBKCS-06-05.
• Bryans JW, Fitzgerald JS, Jones CB, Mozolevsky I. Dimensions of Dynamic Coalitions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 963.
• Andras P. Extraction of an activity pattern language from EEG data. Neurocomputing 2006, 69(10-12), 1313-1316.
• Randell B, Koutny M. Failures: Their Definition, Modelling and Analysis. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 994.
• Andras P, Idowu O, Periorellis P. Fault tolerance and network integrity measures: the case of computer-based systems. In: Adaptation in Artificial and Biological Systems (AISB '06). 2006, University of Bristol, UK: Society for the Study of Artificial Intelligence and the Simulation of Behaviour.
• Choren R, Garcia A, Giese H, Leung H-F, Lucena C, Romanovsky A. Fifth workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS). In: 28th International Conference on Software Engineering. 2006, Shanghai, China: IEEE.
• Randell B. Foreword. In: Dony, C., Knudsen, J.L., Romanovsky, A., and Tripathi, A, ed. Advanced Topics in Exception Handling Techniques. Berlin: Springer, 2006, pp.vii-viii.
• Laibinis L, Iliasov A, Troubitsyna E, Romanovsky A. Formal Approach to Ensuring Interoperability of Mobile Agents. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 989.
• Bryans JW, Fitzgerald JS, Jones CB, Mozolevsky I. Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. In: Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006). 2006, Paphos, Cyprus: IEEE.
• Bryans JW, Fitzgerald JS, Jones CB, Mozolevsky I. Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 981.
• Charlton BG, Andras P. Globalization in science education: An inevitable and beneficial trend. Medical Hypotheses 2006, 66(5), 869-873.
• Periorellis P, Cook N, Hiden H, Conlin A, Hamilton MD, Wu J, Bryans J, Gong X, Zhu F, Wright A. GOLD Infrastructure for Virtual Organisations. In: UK e-Science All Hands Meeting 2006. 2006, Nottingham, UK: National e-Science Centre.
• Coleman JW, Jones CB. Guaranteeing the soundness of rely/guarantee rules. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 955.
• Gilroy SW, Harrison MD, ed. Interactive Systems: Design, Specification and Verification. 12th International Workshop (DSVIS). Newcastle upon Tyne, UK. 13-15 July 2005. Berlin; New York: Springer, 2006.
• Sujan MA, Harrison MD. Investigation of structural properties of hazard mitigation arguments. In: Safety and Reliability for Managing Risk. Proceedings of the 15th European Safety and Reliability Conference (ESREL). 2006, Estoril, Portugal: Taylor & Francis Group.
• Larsen PG, Fitzgerald JS, Riddle S. Learning by Doing: Practical Courses in Lightweight Formal Methods using VDM++. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 992.
• Monod M, Kienzle J, Romanovsky A. Looking Ahead in Open Multithreaded Transactions. In: Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC 2006). 2006, Gyeongju, Korea: IEEE Computer Society.
• Parkin S E, Andras P, Morgan G. Managing Missed Interactions in Distributed Virtual Environments. In: Virtual Environments 2006: 12th Eurographics Symposium on Virtual Environments. 2006, Lisbon, Portugal: Eurographics Association.
• Li P, Chen Y, Romanovsky A. Measuring the Dependability of Web Services for Use in e-Science Experiments. In: Service Availability: Third International Service Availability Symposium (ISAS 2006). 2006, Helsinki, Finland: Springer.
• Bryans JW, Fitzgerald JS, Periorellis P. Model Based Analysis and Validation of Access Control Policies. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 976.
• Iliasov A, Romanovsky A, Arief B, Laibinis L, Troubitsyna E. On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 993.
• Arief B, Iliasov A, Romanovsky A. On Using the CAMA Framework for Developing Open Mobile Fault Tolerant Agent Systems. In: 2006 International Workshop on Software Engineering for Large-Scale Multi-Agent Systems. 2006, Shanghai, China: ACM.
• Arief B, Iliasov A, Romanovsky A. On Using the CAMA Framework for Developing Open Mobile Fault Tolerant Agent Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 943.
• Bryans JW, Koutny M, Mazare L, Ryan PYA. Opacity generalised to transition systems. In: Formal Aspects in Security and Trust: 3rd International Workshop (FAST). 2006, Newcastle upon Tyne, UK: Springer.
• Charlton B, Andras P. Oxbridge versus the 'Ivy League' : 30 year citation trends. Oxford Magazine 2006, (255), 16-16.
• Sujan MA, Smith SP, Harrison MD. Qualitative analysis of dependability argument structure. In: Besnard, D., Gacek, C. and Jones, C.B, ed. Structure for Dependability: Computer Based Systems from an Interdisciplinary Perspective. London: Springer-Verlag, 2006, pp.269-287.
• Charlton B, Andras P. Reply to May and Harvey. Oxford Magazine 2006, (255), 18-18.
• Butler M, Jones C, Romanovsky A, Troubitsyna E, ed. Rigorous Development of Complex Fault-Tolerant Systems. Berlin: Springer-Verlag, 2006.
• Laibinis L, Troubitsyna E, Iliasov A, Romanovsky A. Rigorous Development of Fault-Tolerant Agent Systems. In: Butler, M., Jones, C., Romanovsky, A. and Troubitsyna, E, ed. Rigorous Development of Complex Fault-Tolerant Systems. Berlin: Springer-Verlag, 2006, pp.241-260.
• Jones CB. RODIN: Intermediate report on methodology. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 990.
• Garcia A, Choren R, Lucena C, Giorgini P, Holvoet T, Romanovsky A, ed. Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications. Berlin: Springer-Verlag, 2006.
• Jones CB, Hayes IJ, Jackson MA. Specifying systems that connect to the physical world. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 964.
• Besnard D, Gacek C, Jones CB, ed. Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective. London: Springer-Verlag, 2006.
• Iliasov A, Romanovsky A. Structured coordination spaces for fault tolerant mobile agents. In: Dony, C; Lindskov Knudsen, J; Romanovsky, A; Tripathi, A, ed. Advanced Topics in Exception Handling Techniques. Berlin: Springer-Verlag, 2006, pp.181-199.
• Arkley P, Riddle S, Brookes T. Tailoring Traceability Information to Business Needs. In: 14th IEEE International Requirements Engineering Conference (RE'06). 2006, Minneapolis/St Paul, Minnesota, USA: IEEE.
• Arkley P, Riddle S, Brookes T. Tailoring Traceability Information to Business Needs. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 945.
• Jones CB. The DIRC Project as the context of this book. In: Clarke, K., Hardstone, G., Rouncefield, M., Sommerville, I, ed. Trust in Technology: a Socio-Technical Perspective. Dordrecht: Springer, 2006, pp.217-221.
• Andras P. The language of cortical dynamics. In: Computational Life Sciences II: Second International Symposium (CompLife 2006). 2006, Cambridge, UK: Springer-Verlag.
• Jones CB, Randell B. The role of structure: a dependability perspective. In: Besnard, D., Gacek , C. and Jones, C.B, ed. Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective. London: Springer-Verlag, 2006, pp.3-15.
• Harrison MD, Loer K. Time as a dimension in the design and analysis of interactive systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 980.
• Becker S, Brogi A, Gorton I, Overhage S, Romanovsky A, Tivoli M. Towards an Engineering Approach to Component Adaptation. In: Architecting Systems with Trustworthy Components: International Seminar. 2006, Dagstuhl Castle, Germany: Springer-Verlag.
• Becker S, Brogi A, Gorton I, Overhage S, Romanovsky A, Tivoli M. Towards an Engineering Approach to Component Adaptation. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 939.
• Andras P, Lazarus J, Roberts G, Lynden SJ. Uncertainty and Cooperation: Analytical Results and a Simulated Agent Society. Journal of Artificial Societies and Social Simulation 2006, 9(1).
• Castor Filho F, Romanovsky A, Rubira CMF. Verification of Coordinated Exception Handling. In: Proceedings of the 2006 ACM Symposium on Applied Computing. 2006, Dijon, France: ACM.
• Jones C, O'Hearn P, Woodcock J. Verified Software: a Grand Challenge. Computer 2006, 39(4), 93-95.
• Randell B, Ryan PYA. Voting technologies and trust. IEEE Security & Privacy Magazine 2006, 4(5), 50-56.
• de Lemos R, Gacek C, Romanovsky A. Workshop on Architecting Dependable Systems (WADS). In: International Conference on Dependable Systems and Networks (DNS 2006). 2006, Philadelphia, Pennsylvania: IEEE Computer Society.
• Pitsilis G, Periorellis P, Marshall L. A policy for electing Super-nodes in unstructured P2P Networks. In: Third International Workshop on Agents and Peer-to-Peer Computing (AP2PC 2004) to be held at AAMAS 2004 Third International Joint Conference on Autonomous Agents and Multi Agent Systems. 2005, New York City, USA: Springer Verlag.
• Pitsilis G, Marshall L. A proposal for Trust-Enabled P2P Recommendation Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 910.
• Yan J, Randell B. A systematic classification of cheating in online games. In: 4th ACM SIGCOMM Workshop on Network and System Support for Games (NetGames). 2005, Hawthorne, NY, USA: ACM Press.
• Loer K, Harrison MD. Analysing user confusion in context aware mobile applications. In: Human-Computer-Interaction (INTERACT): IFIP TC13 International Conference. 2005, Rome, Italy: Springer.
• de Lemos R, Gacek C, Romanovsky A, ed. Architecting Dependable Systems III. Berlin: Springer-Verlag, 2005.
• Iliasov A, Romanovsky A. CAMA: Structured Coordination Space and Exception Propagation Mechanism for Mobile Agents. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 917.
• Abdallah AE, Jones CB, Sanders JW, ed. Communicating Sequential Processes: The First 25 Years. Symposium on the Occasion of 25 years of CSP, London, UK, July 7-8, 2004. Berlin: Springer-Verlag, 2005.
• Andras P, Lazarus J. Cooperation, Risk and the Evolution of Teamwork. In: Gold, N, ed. Teamwork: Multi-Disciplinary Perspectives. Basingstoke: Palgrave Macmillan, 2005, pp.56-77.
• Randell B. Dependability, Structure and Infrastructure. In: Kowalik, J.S., Gorski, J., Sachenko, A, ed. Cyberspace Security and Defense: Research Issues. Dordrecht; London: Springer, 2005, pp.143-160.
• Gorbenko A, Kharchenko V, Popov P, Romanovsky A. Dependable Composite Web Services with Components Upgraded Online. In: de Lemos, R., Gacek, C. and Romanovsky, A, ed. Architecting Dependable Systems III. Berlin: Springer, 2005, pp.92-121.
• Gorbenko A, Kharchenko V, Popov P, Romanovsky A. Dependable Composite Web Services with Components Upgraded Online. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 897.
• Jones CB, Randell B. Dependable Pervasive Systems. In: Mansell, R. and Collins, B.S, ed. Trust and Crime in Information Societies. Cheltenham, UK: Edward Elgar Publishing, 2005, pp.59-90.
• Romanovsky A, Dony C, Knudsen J-L, Tripathi A, ed. Developing Systems that Handle Exceptions: Proceedings of ECOOP'05 Workshop on Exception Handling in Object-Oriented Systems. 25 July 2005. Glasgow, UK. Montpellier, Hérault, France: Department of Computer Science. LIRMM. Montpellier-II University, 2005.
• Anderson T, Feng M, Riddle S, Romanovsky A. Error Recovery for a Boiler System with OTS PID Controller. In: 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005). 2005, Sedona, Arizona: IEEE.
• Iliasov A, Romanovsky A. Exception Handling in Coordination-based Mobile Environments. In: 29th Annual International Computer Software and Applications Conference (COMPSAC). 2005, Edinburgh, Scotland: IEEE.
• Andras P, Charlton BG. Faults, errors and failures in communications: A systems theory perspective on organisational structure. In: Besnard, D., Gacek, C., Jones, C.B, ed. Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective. London: Springer-Verlag, 2005, pp.189-213.
• Burton J, Jones CB. Investigating Atomicity and Observability. Journal of Universal Computer Science 2005, 11(5), 661-686.
• Burton J, Jones CB. Investigating Atomicity and Observability. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 920.
• Li P, Chen Y, Romanovsky A. Measuring the dependability of Web Services for use in e-Science experiments. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 938.
• Charlton BG, Andras P. Medical research funding may have over-expanded and be due for collapse. QJM: An International Journal of Medicine 2005, 98(1), 53-55.
• Bryans JW, Koutny M, Ryan PYA. Modelling Dynamic Opacity using Petri Nets with Silent Actions. In: Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress. 2005, Toulouse, France: Springer Verlag.
• Bryans J, Koutny M, Ryan PYA. Modelling opacity using petri nets. Electronic Notes in Theoretical Computer Science 2005, 121, 101-115.
• Charlton BG, Andras P. Modernizing UK health services: 'Short-sharp-shock' reform, the NHS subsistence economy, and the spectre of health care famine. Journal of Evaluation in Clinical Practice 2005, 11(2), 111-119.
• Andras P. Neural activity pattern systems. Neurocomputing 2005, 65-66, 531-536.
• Iliasov A, Khomenko V, Koutny M, Romanovsky A. On specification and verification of location-based fault tolerant mobile systems. In: Rigorous Engineering of Fault Tolerant Systems (REFT). 2005, Newcastle upon Tyne: Springer Berlin / Heidelberg.
• Arkley P, Riddle S. Overcoming the Traceability Benefit Problem. In: 13th IEEE International Conference on Requirements Engineering. 2005, Paris, France: IEEE Computer Society.
• Arkley P, Riddle S. Overcoming the Traceability Benefit Problem. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 906.
• Jones CB. Panelist position statement: reasoning about the design of programs. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 2005, 363(1835), 2395-2396.
• Andras P. Pattern computation in neural communication systems. Biological Cybernetics 2005, 92(6), 452-460.
• Butler M, Jones C, Romanovsky A, Troubitsyna E. Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 915.
• van der Meulen M, Riddle S, Strigini L, Jefferson N. Protective Wrapping of Off-the-Shelf Components. In: COTS-Based Software Systems: 4th International Conference (ICCBSS). 2005, Bilbao, Spain: Springer-Verlag.
• Jones CB. Reasoning about partial functions in the formal development of programs. In: 5th International Workshop on Automated Verification of Critical Systems (AVoCS 2005). 2005, University of Warwick, UK: Electronic Notes in Theoretical Computer Science: Elsevier.
• Bryans J. Reasoning about XACML policies using CSP. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 924.
• Randell B. Reminiscences of Project Y and the ACS Project. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 891.
• Coleman J, Jones C, Oliver I, Romanovsky A, Troubitsyna E. RODIN (Rigorous Open Development Environment for Complex Systems). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 896.
• Romanovsky A. RODIN - Rigorous Open Development Environment for Complex Systems. Software Engineering Notes 2005, 30(1), 2.
• Guelfi N, Reggio G, Romanovsky A, ed. Scientific Engineering of Distributed Java Applications: 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers. Berlin; New York: Springer-Verlag, 2005.
• Yan J, Randell B. Security in Computer Games: from Pong to Online Poker. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 889.
• Andras P, Charlton BG. Self-aware software - Will it become a reality?. In: Self-star properties in complex information systems: conceptual and practical foundations. Berlin: Springer, 2005, pp.229-259.
• Garcia A, Choren R, Lucena C, Romanovsky A, Holvoet T, Giorgini P. Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'05. In: 27th International Conference on Software Engineering (ICSE). 2005, St Louis, Missouri, USA: ACM.
• Choren R, Garcia A, Lucena C, Romanovsky A, ed. Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications. Berlin: Springer-Verlag, 2005.
• Jones CB. Splitting Atoms Safely. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 883.
• Jones C, Lomet D, Romanovsky A, Weikum G, Fekete A, Gaudel M-C, Korth HF, de Lemos R, Moss E, Rajwar R, Ramamritham K, Randell B, Rodrigues L. The Atomic Manifesto: a Story in Four Quarks. SIGMOD Record 2005, 34(1), 63-69.
• Jones C, Lomet D, Romanovsky A, Weikum G, Fekete A, Gaudel MC, Korth H F, de Lemos R, Moss E, Rajwar R, Ramamritham K, Randell B, Rodrigues L. The Atomic Manifesto: a Story in Four Quarks. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 886.
• Charlton BG, Andras PE. The need for a new specialist professional research system of "pure" medical science. PLoS Medicine 2005, 2(8), e285-e285.
• Andras P, Andras C. The origins of life - The 'protein interaction world' hypothesis: Protein interactions were the first form of self-reproducing life and nucleic acids evolved later as memory molecules. Medical Hypotheses 2005, 64(4), 678-688.
• Charlton BG, Andras P. Universities and social progress in modernising societies: how educational expansion has replaced socialism as an instrument of political reform. Critical Quarterly 2005, 47(1-2), 30-39.
• Gilroy SW, Harrison MD. Using interaction style to match the ubiquitous user interface to the device-to-hand. In: Engineering Human Computer Interaction and Interactive Systems. Joint Working Conferences EHCI-DSVIS 2004. 2005, Hamburg, Germany: Springer.
• Castor Filho F, Romanovsky A, Rubira CMF. Verification of Coordinated Exception Handling. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 927.
• Randell B, Ryan PYA. Voting Technologies and Trust. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 911.
• de Lemos R, Romanovsky A. Workshop on architecting dependable systems (WADS 2005). In: 27th International Conference on Software Engineering (ICSE 2005). 2005, St. Louis, Missouri: ACM.
• Choren R, Garcia A, Lucena C, Griss M, Kung D, Minsky N, Romanovsky A, ed. 26th International Conference on Software Engineering (ICSE 2004). Scotland. Third International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS'04), 24th-25th May 2004. IEE, 2004.
• Asterio de C Guerra P, Rubira CMF, Romanovsky A, de Lemos R. A Dependable Architecture for COTS-Based Software Systems using Protective Wrappers. In: de Lemos, R., Gacek, C. and Romanovsky, A, ed. Architecting Dependable Systems II. Berlin: Springer-Verlag, 2004, pp.144-166.
• Loer K, Harrison MD. A framework and supporting tool for the model-based analysis for dependable interactive systems in the context of industrial design. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 873.
• Andras P. A Model for Emergent Chaotic Order in Small Neural Networks. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 860.
• Pitsilis G, Marshall L. A Model of Trust Derivation from Evidence for Use in Recommendation Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 874.
• Ryan P, Bryans J. A Simplified Version of the Chaum Voting Scheme. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 843.
• Sandor Z, Andras P. Alternative sampling methods for estimating multivariate normal probabilities. Journal of Econometrics 2004, 120(2), 207-234.
• Loer K, Harrison MD. Analysing and modelling context in mobile systems to support design. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 876.
• Loer K, Hildebrandt M, Harrison M. Analysing dynamic function scheduling decisions. In: Johnson, C.W., Palanque, P, ed. Human Error, Safety and Systems Development. Boston; London: Kluwer Academic, 2004, pp.45-60.
• de Lemos R, Gacek C, Romanovsky A, ed. Architecting Dependable Systems II. Berlin: Springer-Verlag, 2004.
• Idowu OC, Lynden SJ, Young MP, Andras P. Bacillus Subtilis Protein Interaction Network Analysis. In: IEEE Computational Systems Bioinformatics Conference (CSB). 2004, Stanford, California: IEEE.
• Avizienis A, Laprie J-C, Randell B, Landwehr C. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing 2004, 1(1), 11-33.
• Coleman JW, Jefferson NP, Jones CB. Black Tie Optional: Modelling Programming Language Concepts. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 844.
• Randell B. Brief encounters. In: Herbert, A., Sparck Jones, K, ed. Computer Systems: Theory, Technology and Applications. New York; London: Springer, 2004, pp.229-235.
• Charlton BG, Andras P. Campaign to revitalise academic medicine: is the bubble due to burst for medical research funding?. British Medical Journal 2004, 329(7460), 294-294.
• Periorellis P, Idowu OC, Lynden SJ, Young MP, Andras P. Dealing with Complex Networks of Process Interactions: A Security Measure. In: 9th IEEE International Conference on Engineering Complex Computer Systems (ICECCS). 2004, Florence, Italy: IEEE.
• Avizienis A, Laprie JC, Randell B. Dependability and its Threats: A Taxonomy. In: Building the Information Society: Proceedings of the IFIP 18th World Computer Congress. 2004, Toulouse, France: Kluwer Academic Publishers.
• Randell B. Dependability, Structure and Infrastructure. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 877.
• Gorbenko A, Kharchenko V, Popov P, Romanovsky A. Dependable Composite Web Services with Components Upgraded Online: Solutions, Models and Implementation. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 879.
• Jones C, Randell B. Dependable Pervasive Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 839.
• Gorbenko A, Kharchenko V, Popov P, Romanovsky A, Boyarchuk A. Development of Dependable Web Services out of Undependable Web Components. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 863.
• Andras P, Charlton BG. European science must embrace modernization. Nature 2004, 429(6993), 699-699.
• Iliasov A, Romanovsky A. Exception Handling in Coordination-based Mobile Environments. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 878.
• Romanovsky A, Dony C, Tripathi A, Lindskov Knudsen J. Exception Handling in Object Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms. In: Object-Oriented Technology: ECOOP 2003 Workshop. 2004, Darmstadt, Germany: Springer-Verlag.
• Hoare T, Jones C, Randell B. Extending the Horizons of DSE (GC6). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 853.
• Smith SP, Harrison MD, Schupp BA. How explicit are the barriers to failure in safety arguments?. In: Computer Safety, Reliability and Security (SAFECOMP). 2004, Potsdam, Germany: Springer.
• Bryans JW, Koutny M, Ryan PYA. Modelling Dynamic Opacity using Petri Nets with Silent Actions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 855.
• Kharchenko V, Popov P, Romanovsky A. On Dependability of Composite Web Services with Components Upgraded Online. In: 2004 International Conference on Dependable Systems and Networks. 2004, Florence, Italy: IEEE Computer Society.
• Bryans JW, Koutny M, Mazare L, Ryan PYA. Opacity Generalised to Transition Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 868.
• Hildebrandt M, Harrison MD. PaintShop: a Microworld Experiment Investigating Temporal Decisions in a Supervisory Control Task. In: Human Factors and Ergonomics Society 48th Annual Meeting. 2004, New Orleans, Louisiana, USA: Human Factors and Ergonomics Society.
• Andras P. Pattern languages: A new paradigm for neurocomputation. Neurocomputing 2004, 58-60, 223-228.
• van der Meulen M, Riddle S, Strigini L, Jefferson N. Protective Wrapping of Off-the-Shelf Components. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 857.
• Choren R, Garcia A, Lucena C, Griss M, Kung D, Minsky N, Romanovsky A. Software Engineering for Large-Scale Multi-agent Systems - SELMAS'04. In: 26th International Conference on Software Engineering (ICSE). 2004, Edinburgh, UK: IEEE Computer Society.
• Lucena C, Garcia A, Romanovsky A, Castro J, Alencar PSC, ed. Software Engineering for Multi-Agent Systems II : Research Issues and Practical Applications. Berlin; New York: Springer-Verlag, 2004.
• de Lemos R, Gacek C, Romanovsky A, ed. Third Workshop on Architectures for Dependable Systems (WADS), 25th May 2004. [Held as part of ] ICSE Scotland 2004: 26th International Conference on Software Engineering, May 23-28, Edinburgh, UK. New Jersey, USA: IEE, 2004.
• Hildebrandt M, Loer KF, Harrison MD. Time Design: Analysing Human Temporal Control Behaviour in Dynamic Real-Time Systems. In: International Conference on Systems, Man and Cybernetics. 2004, The Hague, the Netherlands: IEEE.
• Pitsilis G, Marshall L. Trust as a key to improving Recommendation Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 875.
• de Lemos R, Gacek C, Romanovsky A. Twin Workshops on Architecting Dependable Systems (WADS 2004). In: International Conference on Dependable Systems and Networks (DSN). 2004, Florence, Italy: IEEE Computer Society.
• de Lemos R, Gacek C, Romanovsky A. Twin Workshops on Architecting Dependable Systems (WADS). In: 26th International Conference on Software Engineering (ICSE). 2004, Edinburgh, UK: IEEE Computer Society Press.
• Tartanoglu F, Levy N, Issarny V, Romanovsky A. Using the B Method for the Formalization of Coordinated Atomic Actions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 865.
• Anderson T, Randell B, Romanovsky A. Wrapping the Future. In: Building the Information Society: Proceedings of the IFIP 18th World Computer Congress. 2004, Toulouse, France: Kluwer Academic Publishers.
• Bryans J, Ryan P. A Dependability Analysis of the Chaum Digital Voting Scheme. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 809.
• Asterio de C Guerra P, Rubira CMF, Romanovsky A, de Lemos R. A Fault-Tolerant Software Architecture for COTS-Based Software Systems. In: Proceedings of the joint 9th European Software Engineering Conference (ESEC) & 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11). 2003, Helsinki, Finland: ACM.
• Jones CB. A Formal Basis for some Dependability Notions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 805.
• Jones CB. A formal basis for some dependability notions. In: Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST. 2003, Lisbon, Portugal: Springer.
• Andras P. A Model for Emergent Complex Order in Small Neural Networks. Journal of Integrative Neuroscience 2003, 2(1), 55-69.
• Marshall LF, Molina-Jiminez C. Anonymity with Identity Escrow. In: 1st International Workshop on Formal Aspects in Security and Trust. 2003, Pisa: Istituto di Informatica e Telematica.
• de Lemos R, Gacek C, Romanovsky A, ed. Architecting Dependable Systems. Berlin: Springer-Verlag, 2003.
• de Lemos R, Gacek C, Romanovsky A. Architectural Mismatch Tolerance. In: de Lemos, R, Gacek, C, and Romanovsky, A, ed. Architecting Dependable Systems. Berlin: Springer-Verlag, 2003, pp.175-194.
• Pitsilis G, Marshall L. Choosing reputable Resources in Atomistic Peer-to-Peer Environments. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 816.
• Andras P. Comparing neurophysiological measurements of simulated and real brains. Neurocomputing 2003, 52-54, 677-682.
• Tartanoglu F, Issarny V, Romanovsky A, Levy N. Coordinated Forward Error Recovery for Composite Web Services. In: 22nd International Symposium on Reliable Distributed Systems (SRDS '03). 2003, Florence, Italy: IEEE Computer Society Press.
• Tartanoglu F, Issarny V, Romanovsky A, Levy N. Dependability in the Web Services Architecture. In: de Lemos, R., Gacek, C., Romanovsky, A, ed. Architecting Dependable Systems. Berlin: Springer-Verlag, 2003, pp.90-109.
• Di Marzo G, Romanovsky A. Designing Fault-Tolerant Mobile Systems. In: International Workshop on Scientific Engineering for Distributed Java Applications (FIDJI 2002). 2003, Luxembourg-Kirchberg: Springer-Verlag.
• Hayes I, Jackson M, Jones C. Determining the specification of a control system from that of its environment. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 808.
• Andras P, Kozma R, Erdi P. Editorial. Journal of Integrative Neuroscience 2003, 2(1), 1-2.
• Randell B. Edsger Dijkstra. In: 9th IEEE International Workshop on Object-Oriented Real-Time DependableSystems. 2003, Anacapri (Capri Island), Italy: IEEE Computer Society.
• Andras P, Roberts G, Lazarus J. Environmental risk, cooperation, and communication complexity. In: Alonso E; Kudenko D; Kazakov D, ed. Adaptive agents and multi-agent systems : adaptation and multi-agent learning. Berlin: Springer, 2003, pp.558-560.
• Anderson T, Feng M, Riddle S, Romanovsky A. Error Recovery for a Boiler System with OTS PID Controller. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 798.
• Gaudel M, Issarny V, Jones C, Kopetz H, Marsden E, Moffat N, Paulitsch M, Powell D, Randell B, Romanovsky A, Stroud RJ, Taiani F. Final Version of DSoS Conceptual Model (CSDA1). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 782.
• de Lemos R, Gacek C, Romanovsky A. ICSE 2003 Workshop on Software Architectures for Dependable Systems. In: 25th International Conference on Software Engineering (ICSE). 2003, Portland, Oregon: IEEE Computer Society Press.
• Asterio de C Guerra P, Rubira CMF, Romanovsky A, de Lemos R. Integrating COTS Software Components into Dependable Software Architectures. In: 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. 2003, Hakodate, Japan: IEEE.
• Anderson T, Feng M, Riddle S, Romanovsky A. Investigative Case Study: Protective Wrapping of OTS items in Simulated Environments. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 821.
• Bryans J, Bowman H, Derrick J. Model Checking Stochastic Automata. ACM Transactions on Computational Logic 2003, 4(4), 452-492.
• Marshall LF. NESS - The Newcastle E-Learning Support System. In: 4th Annual Conference of the LTSN Centre for Information and Computer Sciences. 2003, NUI Galway, Ireland: LTSN-ICS.
• Randell B. On Failures and Faults. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 807.
• Jones C. Operational Semantics Revisited. In: 2003 ETAPS SE-WMT Workshop: Structured Programming: The Hard Core of Software Engineering. 2003, Warsaw, Poland.
• Jones CB. Operational Semantics: concepts and their expression. Information Processing Letters 2003, 88(1-2), 27-32.
• Jones C. Operational Semantics: concepts and their expression. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 806.
• Romanovsky A, Dony C, Knudsen JL, Tripathi A, ed. Proceedings of the ECOOP 2003 Workshop on Exception Handling in Object-Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms. Minneapolis, Minnesota, USA: Department of Computer Science, University of Minnesota, 2003.
• Hildebrandt M, Harrison MD. Putting Time (back) into Dynamic Function Allocation. In: Human Factors and Ergonomics Society: 47th Annual Meeting. 2003, Denver, Colorado, USA: Human Factors and Ergonomics Society.
• Harrison MD, Johnson PD, Wright PC. Relating the automation of functions in multiagent control systems to a system engineering representation. In: Hollnagel, E, ed. Handbook of Cognitive Task Design. Mahwah, N.J.; London: Lawrence Erlbaum Associates, 2003, pp.503-524.
• Smith SP, Harrison MD. Reuse in hazard analysis: Idenfication and support. In: Computer Safety, Reliability and Security: 22nd International Conference (SAFECOMP). 2003, Edinburgh, UK: Springer.
• Lucena CJP, Sardinha JA, Garcia AF, Romanovsky A, Castro J, Alencar PSC, Cowan DD. Software Engineering for Large-Scale Multi-Agent Systems (SELMAS). In: 25th International Conference on Software Engineering (ICSE). 2003, Portland, Oregon: IEEE Computer Society & ACM.
• Garcia A, Sardinha J, Lucena C, Castro J, Leite J, Milidiu R, Romanovsky A, Griss M, de Lemos R, Perini A. Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2003. Software Engineering Notes 2003, 28(6), 26.
• Idowu OC, Lynden SJ, Periorellis P, Young MP, Andras P. Software Suite to Aid Protein Target Identification for Rational Drug Discovery (Extended abstract). In: Cold Spring Harbour Laboratory and Wellcome Trust Conference on Pharmacogenomics. 2003, Hinxton, UK: Wellcome Trust.
• Jones C, Periorellis P, Romanovsky A, Welch I. Structured Handling of On-Line Interface Upgrades in Integrating Dependable Systems of Systems. In: Scientific Engineering for Distributed Java Applications: International Workshop (FIDJI). 2003, Luxembourg-Kirchberg, Luxembourg: Springer.
• Romanovsky A, Periorellis P, Zorzo AF. Structuring integrated Web applications for fault tolerance. In: 6th International Symposium on Autonomous Decentralized Systems (ISADS). 2003, Pisa, Italy: IEEE Computer Society.
• Jones CB. The early search for tractable ways of reasoning about programs. IEEE Annals of the History of Computing 2003, 25(2), 26-49.
• Jefferson N, Riddle S. Towards a Formal Semantics of a Composition Language. In: Third International Workshop on Composition Languages. 2003, Darmstadt, Germany.
• Patiño-Martínez M, Jiménez-Peris R, Romanovsky A. Transactions and Groups as Generic Building blocks for Software Fault Tolerance. In: Reliable Software Technologies: 8th Ada-Europe International Conference on Reliable Software Technologies (ADA-Europe). 2003, Toulouse, France: Springer.
• Zorzo A, Periorellis P, Romanovsky A. Using Coordinated Atomic Actions for Building Complex Web Applications: a Learning Experience. In: Proceedings of the 8th International Workshop on Object-Oriented Real-Time Dependable Systems. 2003, Guadalajara, Mexico: IEEE Computer Society.
• Jones CB. Wanted: a Compositional Approach to Concurrency. In: McIver, A. and Morgan, C, ed. Programming Methodology. New York: Springer-Verlag, 2003, pp.5-15.
• Charlton BG, Andras P. What is Management and What Do Managers Do ? A Systems Theory Account. Philosophy of Management 2003, 3(3), 3-16.
• de Lemos R, Gacek C, Romanovsky A. Workshop on Software Architectures for Dependable Systems. Software Engineering Notes 2003, 28(6), 28.
• Anderson T, Feng M, Riddle S, Romanovsky A. Wrapping it up. Safety Systems 2003, 13(1), 8-10.
• Xu J, Randell B, Romanovsky A. A Generic Approach to Structuring and Implementing Complex Fault-Tolerant Software. In: 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC). 2002, Washington DC, USA: IEEE Computer Society Press.
• Jones C, Romanovsky A, Welch I. A Structured Approach to Handling On-Line Interface Upgrades. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2002. Department of Computing Science Technical Report Series 770.
• Jones C, Romanovsky A, Welch I. A Structured Approach to Handling On-Line Interface Upgrades. In: 26th Annual International Computer Software and Applications Conference (COMPSAC). 2002, Oxford, UK: IEEE Computer Society Press.
• Charlton BG, Andras P. A System Poisoned by Deceit. Times Higher Education Supplement 2002.
• Kienzle J, Romanovsky A, Strohmeier A. Auction System Design Using Open Multithreaded Transactions. In: 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS). 2002, San Diego, California, USA: IEEE Computer Society Press.
• Smith SP, Harrison MD. Augmenting descriptive scenario analysis for improvements in human reliability design. In: ACM Symposium on Applied Computing (SAC). 2002, Madrid, Spain: ACM.
• Harrison MD, Johnson PD, Wright PC. Automating functions in multi-agent control systems: supporting the decision process. In: Components of System Safety: Proceedings of the Tenth Safety-critical Systems Symposium. 2002, Southampton, UK: Springer.
• Smith SP, Harrison MD. Blending Descriptive and Numeric Analysis in Human Reliability Design. In: 9th International Workshop on Interactive Systems: Design, Specification and Verification (DSV-IS). 2002, Rostock, Germany: Springer-Verlag.
• Patino-Martinez M, Jimenez-Peris R, Romanovsky A. Bridging the Gap between Hardware and Software Fault Tolerance. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2002. Department of Computing Science Technical Report Series 766.
• Andras P, Charlton BG. Commentary on Sweeney & Kernick (2002), clinical evaluation: Constructing a new model for post-normal medicine. Journal of evaluation in clinical practice 8, 131-138. Journal of Evaluation in Clinical Practice 2002, 8(2), 143-144.
• Andras P, Roberts G, Lazarus J. Communication Complexity, Environmental Risk, and Cooperation. In: 2nd Symposium on Autonomous Agents and Multi-Agent Systems (AAMAS). 2002, Bologna, Italy: World Scientific Publishing.
• Andras P. Computation with Chaotic Patterns. Neurocomputing (Special Issue on Computational Neuroscience: Trends in Research 2002) 2002, 44, 263-268.
• Ezhilchelvan P, Romanovsky A, ed. Concurrency in Dependable Computing. Boston, Massachusetts, USA; London: Kluwer Academic Publishers, 2002.
• Tartanoglu F, Issarny V, Romanovsky A, Levy N. Coordinated Forward Error Recovery for Web Services. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2002. School of Computing Science Technical Report Series 786.
• Andras P, Charlton BG. Democratic deficit and communication hyper-inflation in health care systems. Journal of Evaluation in Clinical Practice 2002, 8(3), 291-297.
• Romanovsky A, Smith I. Dependable on-line upgrading of distributed systems. In: 26th Annual International Conference on Computer Software and Applications Conference. 2002, Oxford, UK: IEEE.
• Di Marzo Serugendo G, Romanovsky A. Designing Fault-Tolerant Mobile Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2002. School of Computing Science Technical Report Series 783.
• Dobson J, Jones C, Proctor R, Rouncefield M, Williams R. Editorial Message: Special Track on Inter-disciplinary Approaches to the Design of Dependable Computer Systems. SAC '02: Proceedings of the ACM Symposium on Applied Computing 2002, 704-705.
• Loer K, Harrison MD. Eine Methodik zur Analyse hochzuverl assiger interaktiver Systeme. In: 4th Werkstatt Mensch-Maschine-Systeme (ZMMS Spektrum Band 13). 2002, Berlin, Germany: VDI Verlag, Fortschritt-Berichte VDI.
• Arkley P, Mason P, Riddle S. Enabling Traceability. In: 1st International Workshop on Traceability in Emerging Forms of Software Engineering. 2002, Edinburgh, UK.
• Kienzle J, Romanovsky A. Framework based on design patterns for providing persistence in object-oriented programming languages. IEE Proceedings Software 2002, 149(3), 77-85.
• 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. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2002. Department of Computing Science Technical Report Series 779.
• Lawrie AT, Jones CB. Goal-Diversity in the Design of Dependable Computer-Based Systems. In: DIRC Workshop on Open Source Software Development. 2002, University of Newcastle upon Tyne, UK: Dependability Interdisciplinary Research Collaboration (DIRC).
• Lawrie AT, Jones CB. Goal-Diversity in the Design of Dependable Computer-Based Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2002. Department of Computing Science Technical Report Series 762.
• Andras P, Charlton BG. Hype and Spin in the NHS. The British Journal of General Practice 2002, 52(479), 520-521.
• Andras P, Charlton BG. Hype and Spin in the Universities. Oxford Magazine 2002, (202), 5-6.
• de Lemos R, Gacek C, Romanovsky A. ICSE 2002 Workshop on Architecting Dependable Systems. Software Engineering Notes 2002, 27(5), 77-80.
• de Lemos R, Gacek C, Romanovsky A. ICSE 2002 Workshop on Architecting Dependable Systems. In: 24th International Conference on Software Engineering (ICSE). 2002, Orlando, Florida, USA: IEEE Press.
• Smith SP, Harrison MD. Improving Hazard Classification through the Reuse of Descriptive Arguments. In: Software Reuse: Methods, Techniques, and Tools (ICSR-7). 2002, Austin, Texas, USA: Springer.
• de C Guerra PA, Rubira CMF, Romanovsky A, de Lemos R. Integrating COTS Software Components into Dependable Software Architectures. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2002. School of Computing Science Technical Report Series 780.
• Andras P. Kernel-Kohonen Networks. International Journal of Neural Systems 2002, 12(2), 117-136.
• Romanovsky A, Periorellis P, Zorzo AF. On Structuring Integrated Web Applications for Fault Tolerance. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2002. Department of Computing Science Technical Report Series 765.
• Romanovsky A. On version state recovery and adjudication in class diversity. Computer Systems Science and Engineering 2002, 17(3), 159-168.
• Anderson T, Feng M, Riddle S, Romanovsky A. Protective Wrapper Development: A Case Study. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2002. School of Computing Science Technical Report Series 781.
• Xu J, Randell B, Romanovsky A, Stroud RJ, Zorzo AF, Canver E, Von Henke F. Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions. IEEE Transactions on Computers 2002, 51(2), 164-179.
• Andras P. Spectrum-based Design of Sinusoidal RBF Neural Networks. In: INNS: IEEE International Joint Conference on Neural Networks (IJCNN) part of the IEEE World Congress on Computational Intelligence. 2002, Honolulu, Hawaii, USA: IEEE Press.
• Andras P. The equivalence of support vector machine and regularization neural networks. Neural Processing Letters 2002, 15(2), 97-104.
• Marshall LF, Webber J. The Misplaced Comma: Programmers' Tales and Traditions. In: 14th Annual Workshop of the Psychology of Programming Interest Group (PPIG). 2002, Brunel University, London, UK: Brunel University College.
• Randell B. The New Electronic Technology. In: Akera, A., Nebeker, F, ed. From 0 to 1: An Authoritative History of Modern Computing. Oxford, UK: Oxford University Press, 2002, pp.41-50.
• Hildebrandt M, Harrison M. The temporal dimension of dynamic function allocation. In: 11th European Conference on Cognitive Ergonomics (ECCE). 2002, Catania, Sicily: European Association of Cognitive Ergonomics.
• Hildebrandt M, Harrison M. Time-related trade-offs in dynamic function scheduling. Glasgow, UK: Department of Computing Science, University of Glasgow, 2002. GIST Technical Report Series G2002-1.
• Zorzo AF, Randell B, Romanovsky A. TLA Specification of a Mechanism for Concurrent Exception Handling. In: Ezhilchelvan, P., Romanovsky, A, ed. Concurrency in Dependable Computing. Boston, Massachusetts, USA; London: Kluwer Academic Publishers, 2002, pp.41-59.
• Andras P, Panzeri S, Young MP. Towards Statistically Valid Population Decoding Models. Neurocomputing: Special Issue on Computational Neuroscience, Trends in Research 2002, 44-46(1-2), 269-274.
• Loer K, Harrison M. Towards usable and relevant model checking techniques for the analysis of dependable interactive systems. In: 17th IEEE International Conference on Automated Systems Engineering (ASE). 2002, Edinburgh, UK: IEEE Computer Society Press.
• Andras P, Charlton BG. Unhealthy Hype. London, UK: spiked, 2002. Available at: http://www.spiked-online.com/index.php/site/article/9262/.
• Garcia AF, Rubira CMF, Romanovsky A, Xu J. A comparative study of exception handling mechanisms for building dependable object-oriented software. Journal of Systems and Software 2001, 59(2), 197-222.
• Romanovsky A, Zorzo A. A distributed coordinated atomic action scheme. Computer Systems Science and Engineering 2001, 16(4), 237-247.
• Willans JS, Harrison MD. A toolset supported approach for designing and testing virtual environment interaction techniques. International Journal of Human-Computer Studies 2001, 55(2), 145-165.
• Romanovsky A, Dony C, Knudsen JL, Tripathi A, ed. Advances in Exception Handling Techniques. Berlin; New York: Springer-Verlag, 2001.
• Johnson P, Harrison MD, Wright P. An evaluation of two function allocation methods. In: Human Interfaces in Control Rooms, Cockpits and Command Centres: 2nd International Conference on People in Control. 2001, Manchester, UK: IEE Press.
• Bowman H, Bryans J, Derrick J. Analysis of a Multimedia Stream using Stochastic Process Algebra. The Computer Journal 2001, 44(4), 230-245.
• Molina C, Marshall LF. Anonymous and Confidential Communications from an IP Addressless Computer. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 728.
• Andras P. Artificial Neural Networks for Approximation and Time Series Prediction. Cluj: Presa Universitara, 2001.
• Welch I, Stroud RJ, Romanovsky A. Aspects of Exceptions at the Meta-Level. In: International Workshop on Reflection. 2001, Computing Department, University of Lancaster, UK.
• Welch I, Stroud RJ, Romanovsky A. Aspects of Exceptions at the Meta-level. In: 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns (REFLECTION). 2001, Kyoto, Japan: Springer-Verlag.
• Kienzle J, Romanovsky A. Combining Tasking and Transactions, Part II: Open Multithreaded Transactions. Ada Letters 2001, 21(1), 67-74.
• Andras P. Computation with Chaotic Patterns. In: Computational neuroscience: trends in research, 2002. 2001, San Francisco and Pacific Grove, California, USA: Elsevier Health Sciences.
• 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. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 749.
• Romanovsky A, Ezhilchelvan P. Conversations with fixed and potential participants. Journal of Systems Architecture 2001, 47(2), 193-196.
• Romanovsky A. Coordinated Atomic Actions: How to Remain ACID in the Modern World. Software Engineering Notes 2001, 26(2), 66-68.
• Randell B, Stroud R, Jones C et al. DSoS (Dependable Systems of Systems). In: 2001 International Conference on Dependable Systems and Networks (DSN-2001). 2001, Gothenburg, Sweden: IEEE Computer Society Press.
• Romanovsky A, Sanden B. Except for Exception Handling. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 735.
• Romanovsky A, Sanden B. Except for Exception Handling. Ada Letters 2001, 21(3), 19-25.
• Romanovsky A. Exception handling in component-based system development. In: 25th Annual International Computer Software and Application Conference (COMPSAC). 2001, Chicago, Illinois, USA: IEEE.
• Romanovsky A. Exception Handling in Component-Based System Development. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 724.
• 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. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 738.
• Loer K, Harrison M. Formal interactive systems analysis and usability inspection methods: Two incompatible worlds?. In: Interactive Systems. Design, Specification and Verification. 7th International Workshop, DSV-IS. 2001, Limerick, Ireland: Springer-Verlag.
• Avizienis A, Laprie J-C, Randell B. Fundamental Concepts of Dependability. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 739.
• Bryans J, Shankland C. Implementing a Modal Logic over Data and Processes using XTL. In: 21st IFIP TC 6/WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE). 2001, Cheju Island, Korea: Kluwer Academic Publishers.
• Kienzle J, Romanovsky A. Implementing Exceptions in Open Multithreaded Transactions Based on Ada 95 Exceptions. Ada Letters 2001, 21(3), 57-63.
• Romanovsky A. Looking Ahead in Atomic Actions with Exception Handling. In: 20th IEEE Symposium on Reliable Distributed Systems. 2001, New Orleans, Louisiana, USA: IEEE Computer Society.
• Romanovsky A. Looking Ahead in Atomic Actions with Exception Handling. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 732.
• Powell D, Adelsbach A, Cachin C, Creese S, Dacier M, Deswarte Y, McCutcheon T, Neves N, Pfitzmann B, Randell B, Stroud RJ, Veríssimo P, Waidner M. MAFTIA (Malicious- and Accidental-Fault Tolerance for Internet Applications). In: International Conference on Dependable Systems and Networks (DSN). 2001, Gothenburg, Sweden: IEEE Computer Society Press.
• Campos JC, Harrison MD. Model checking interactor specifications. Automated Software Engineering 2001, 8(3-4), 275-310.
• Andras P, Postma E, Van Den Herik J. Natural dynamics and neural networks: Searching for efficient preying dynamics in a virtual world. Journal of Intelligent Systems 2001, 11(3), 173-202.
• Beder DM, Randell B, Romanovsky A, Rubira CMF. On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems. In: 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC). 2001, Magdeburg, Germany: IEEE Computer Society Press.
• Burns A, Wellings AJ, Koelmans AM, Koutny M, Romanovsky A, Yakovlev A. On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada. ACM SIGAda Ada Letters 2001, 21(1), 48-55.
• Popov P, Riddle S, Romanovsky A, Strigini L. On Systematic Design of Protectors for Employing OTS Items. In: 27th Euromicro Conference. 2001, Warsaw, Poland: IEEE Computer Society Press.
• Popov P, Riddle S, Romanovsky A, Strigini L. On Systematic Design of Protectors for Employing OTS Items. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 730.
• Jones CB. On the Search for Tractable Ways of Reasoning about Programs. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 740.
• Popov P, Strigini L, Riddle S, Romanovsky A. Protective Wrapping of OTS Components. In: 4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction (part of the 23rd IEEE International Conference on Software Engineering (ICSE). 2001, Toronto, Canada: IEEE Computer Society Press.
• Willans JC, Harrison M. Prototyping pre-implementation designs of virtual environment behaviour. In: Engineering for Human-Computer Interaction. 8th IFIP International Conference (EHCI). 2001, Toronto, Canada: Springer.
• Andras P. RBF Neural Networks with Orthogonal Basis Functions. In: Howlett, RJ and Jain, LC, ed. Radial Basis Function Networks 1: Recent Developments in Theory and Applications. New York: Physica-Verlag, 2001, pp.67-94.
• Randell B. Review of “Inventing Systems Engineering”, by John Aris (Review no. 0101-0037). Computing Reviews 2001, 42(1), 78.
• 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. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 746.
• Andras P. The Role of Brain Chaos. In: Wermter, S, Austin, J and Willshaw, D, ed. Emergent Neural Computational Architectures Based on Neuroscience: Towards Neuroscience-Inspired Computing. Berlin: Springer-Verlag, 2001, pp.296-310.
• Andras P. The Sierpinski Brain. In: IEEE International Joint Conference on Neural Networks (IJCNN 2001). 2001, Washington DC, USA: IEEE.
• Jones CB. The transition from VDL to VDM. Journal of Universal Computer Science 2001, 7(8), 631-640.
• Pocock S, Fields R, Harrison M, Wright P. THEA - A Reference Guide. York, UK: Department of Computer Science, University of York, 2001. 336.
• Pocock S, Harrison MD, Wright PC, Johnson P. THEA: A technique for human error assessment early in design. In: Human Computer Interaction - INTERACT'01, IFIP TC.13 International Conference. 2001, Tokyo, Japan: IOS Press.
• Jones CB. Thinking Tools for the Future of Computing Science. In: Informatics: 10 Years Back, 10 Years Ahead. 2001, Saarbrücken, Germany: Springer-Verlag.
• András P, Panzeri S, Young MP. Towards Statistically Valid Population Decoding Models. In: Computational neuroscience: trends in research, 2002. 2001, San Francisco and Pacific Grove, California, USA: Elsevier Health Sciences.
• Kienzle J, Jimenez-Peris R, Romanovsky A, Patino-Martinez M. Transaction Support for Ada. In: 6th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe). 2001, Leuven, Belgium: Springer-Verlag.
• Molina-Jiménez C, Marshall LF. True Anonymity Without Mixes. In: WIAPP: the Second IEEE Workshop on Internet Applications. 2001, San Jose, CA, USA: IEEE Computer Society Press.
• Molina C, Marshall LF. True Anonymity Without Mixes. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 727.
• Molina C, Marshall LF. Untraceability of Mobile Internet Users. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 742.
• Bryans J, Verdejo A, Shankland C. Using Rewriting Logic to implement the modal logic FULL. In: 1st Workshop on Automated Verification of Critical Systems (AVoCS). 2001, Oxford University, UK: Oxford University Computing Laboratory.
• Garcia F, Rubira-Calsavara CMF, Romanovsky A, Xu J. A Comparative Study of Exception Handling Mechanisms for Building Dependable Object-Oriented Software. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 714.
• Kienzle J, Romanovsky A. A Framework Based on Design Patterns for Providing Persistence in Object-Oriented Programming Languages. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 688.
• Xu J, Randell B, Romanovsky A. A Generic Implementation Approach to Concurrent Fault-Tolerant Software. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 692.
• Akehurst D, Bowman H, Bryans J, Derrick J. A Manual for a Model Checker for Stochastic Automata. Canterbury, UK: University of Kent at Canterbury, 2000. 5-00.
• Bowman H, Bryans J, Derrick J. A model checking algorithm for stochastic systems. Canterbury, UK: University of Kent at Canterbury, 2000. 4-00.
• Romanovsky A. Abstract Object State and Version Recovery in N-Version Programming. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 669.
• Romanovsky A, Kienzle J. Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 713.
• Dearden A, Harrison MD, Wright PC. Allocation of function: scenarios, context and the economics of effort. International Journal of Human-Computer Studies 2000, 52(2), 289-318.
• Randell B, Beder DM, Romanovsky A, Snow CR, Stroud RJ. An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling. Operating Systems Review 2000, 34(4), 21-31.
• Romanovsky A. An Exception Handling Framework for N-Version programming in Object Oriented Systems. In: 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC). 2000, Newport Beach, California, USA: IEEE.
• Romanovsky A. An Exception Handling Framework for N-Version programming in Object Oriented Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 684.
• Wright PC, Fields RE, Harrison MD. Analyzing Human-Computer Interaction as Distributed Cognition: the resources model. Human-Computer Interaction 2000, 15(1), 1-41.
• Jones CB. Compositionality, Inference and Concurrency. In: 1999 Oxford-Microsoft Symposium in honour of Professor Sir Tony Hoare: Millennial Perspectives in Computer Science. 2000, St. Catherine's College, Oxford University, UK: Palgrave Macmillan.
• Xu J, Romanovsky A, Randell B. Concurrent exception handling and resolution in distributed object systems. IEEE Transactions on Parallel and Distributed Systems 2000, 11(10), 1019-1032.
• Perry DE, Romanovsky A, Tripathi A. Current trends in exception handling. IEEE Transactions on Software Engineering 2000, 26(10), 921-922.
• Jones CB. Dependability of Computer-Based Systems. In: XIV Simposia Brasiliero de Engenharia de Software (14th Brazilian Symposium on Software Engineering) (SBES-2000). 2000, Joao Pessoa, Paraiba, Brazil.
• Romanovsky A. Diversely Designed Classes for use by Multiple Tasks. Ada Letters 2000, 20(1), 25-37.
• Romanovsky A. Diversely Designed Classes for Use by Multiple Tasks. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 691.
• Popov P, Strigini L, Romanovsky A. Diversity for Off-The-Shelf Components. In: International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), Workshops and Fast Abstracts Digest. 2000, New York, USA: IEEE Computer Society Press.
• Romanovsky A, Wellings AJ. Editorial to Special Issue on Developing Fault-Tolerant Systems with Ada. Computer Systems Science and Engineering 2000, 15(1), 3-6.
• Collette P, Jones CB. Enhancing the Tractability of Rely/Guarantee Specifications in the Development of Interfering Operations. In: Plotkin, G.D., Stirling, C.P. and Tofte, M, ed. Proof, Language and Interaction: Essays in Honour of Robin Milner. Cambridge, MA, USA: MIT Press, 2000, pp.277-307.
• Romanovsky A, Dony C, Knudsen JL, Tripathi A. Exception Handling in Object-Oriented Systems. In: ECOOP 2000 Workshops, Panels, and Posters: Object-Oriented Technology; part of the 14th European Conference on Object-Oriented Programming (ECOOP). 2000, Sophia Antipolis and Cannes, France: Springer-Verlag.
• Romanovsky A. Extending conventional languages by distributed/concurrent exception resolution. Journal of Systems Architecture 2000, 46(1), 79-95.
• Randell B. Fault Tolerance in Decentralized Systems. IEICE Transactions on Communications 2000, 83(5), 903-908.
• Romanovsky A. Faulty version recovery in object-oriented N-version programming. IEE Proceedings: Software 2000, 147(3), 81-90.
• Romanovsky A. Faulty Version Recovery in Object-Oriented N-Version Programming. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 679.
• Avizienis A, Laprie J-C, Randell B. Fundamental Concepts of Dependability. In: 3rd IEEE Information Survivability Workshop (ISW). 2000, Boston, Massachusetts, USA: Software Engineering Institute, Carnegie-Mellon University, Pittsburgh.
• Marshall LF, Webber J. Gotos Considered Harmful and Other Programmers' Taboos. In: 12th Annual Workshop of the Psychology of Programming Interest Group (PPIG). 2000, Corigliano Calabro, Cosenza, Italy: Memoria.
• Marshall LF, Webber J. Gotos Considered Harmful and other Programmers' Taboos. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 699.
• Cachin C, Camenisch J, Dacier M, Deswarte Y, Dobson JE, Horne D, Kursawe K, Laprie J-C, Lebraud J-C, Long D, McCutcheon T, Muller J, Petzold F, Pfitzmann B, Powell D, Randell B, Schunter M, Shoup V, Veríssimo P, Trouessin G, Stroud R, Waidner M, Welch I. Mailicious- and Accidental- Fault Tolerance for Internet Applications (MAFTIA) : Reference Model and Use Cases. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 707.
• Dawkins S, Riddle S. Managing and supporting the use of COTS. In: 8th Safety-Critical Systems Symposium. 2000, Southampton, UK: Springer, London.
• Marshall LF, Parastatidis S. Modelling Agent Systems Using the Hotel Analogy. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 698.
• Marshall L, Parastatidis S. Modelling Agents using the Hotel Analogy: Sanitised for your Protection?. In: Symposium on Starting from Society: the Application of Social Analogies to Computational Systems (AISB). 2000, Birmingham, UK: AISB.
• Kienzle J, Romanovsky A. On Persistent and Reliable Streaming in Ada. In: 5th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe). 2000, Potsdam, Germany: Springer-Verlag.
• Romanovsky A. On Structuring Cooperative and Competitive Concurrent Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 682.
• Doherty GJ, Campos JC, Harrison MD. Representational Reasoning and Verification. Formal Aspects of Computing 2000, 12(4), 260-277.
• Marshall LF. Some Shadows of Eternity - the Internet and Memorials to the Dead. University of Newcastle upon Tyne: Department of Computing Science, 2000. Technical Report Series 718.
• Marshall LF. Some Shadows of Eternity: The Internet and Memorials to the Dead. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 718.
• Marshall LF. Static Testing Tools for TCL. In: 1st European Tcl/Tk User Meeting. 2000, Hamburg, Germany.
• Marshall LF. Static Testing Tools for tcl. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 719.
• Mikhailova A, Romanovsky A. Supporting Evolution of Interface Exceptions. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 715.
• Romanovsky A. The domino effect as a deadlock. Computer Systems Science and Engineering 2000, 15(3), 147-154.
• Burns A, Wellings AJ, Burns F, Koelmans AM, Koutny M, Romanovsky A, Yakovlev A. Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 700.
• Burns A, Wellings AJ, Burns FP, Koutny M, Romanovsky A. Towards Modelling and Verification of Concurrent Ada Programs using Petri Nets. In: DAIMIPB: International Workshop on Software Engineering and Petri Nets (SEPN 2000) (in conjunction with the 21st International Conference on Application and Theory of Petri Nets (ICATPN). 2000, Aarhus, Denmark: Aarhus Universitet, Datalogisk Afdeling.
• Randell B. Turing Memorial Lecture Facing Up to Faults. Computer Journal 2000, 43(2), 95-106.
• Vachon J, Guelgi N, Romanovsky A. Using COALA to Develop a Distributed Object-Based Application. In: 2000 IEEE International Symposium on Distributed Objects and Applications (DOA). 2000, Antwerp, Belgium: IEEE Computer Society Press.
• Duke DJ, Fields RE, Harrison MD. A Case Study in the Specification and Analysis of Design Alternatives for a User Interface. Formal Aspects of Computing 1999, 11(2), 107-131.
• Romanovsky A. Abstract Object State and Version Recovery in N-Version Programming. In: 29th IEEE International Conference on Technology of Object-Oriented Languages and Systems (TOOLS / Europe-29). 1999, Nancy, France: IEEE.
• Molina C, Marshall LF. Anonymous and Confidential Communications from an IP Addressless Computer. In: International Symposium on Handheld and Ubiquitous Computing (HUC '99). 1999, Karlsruhe, Germany: Springer.
• Andras P. Approximation of Chaotic Shapes with Tree-Structured Neural Networks. In: INNS - IEEE International Joint Conference on Neural Networks (IJCNN '99). 1999, Washington DC, USA: IEEE Press.
• Benjamin R, Gladman B, Randell B. Business at War. Computer Bulletin 1999, 1(6), 23-28.
• Griffiths AD, Harrison MD, Dearden AM. Case Based Reasoning Systems for Knowledge Mediation. In: Human-Computer Interaction (INTERACT). 1999, Edinburgh, UK: IOS Press.
• Popov P, Romanovsky A, Strigini L. Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1999. Department of Computing Science Technical Report Series 666.
• Romanovsky A. Class diversity support in object-oriented languages. Journal of Systems and Software 1999, 48(1), 43-57.
• Romanovsky A. Class Diversity Support in Object-Oriented Languages. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1999. Department of Computing Science Technical Report Series 661.
• Andras P. Comment to the discussion by Gusztav Molnar. In: Bakk, M, Szekely, I, and Toro, TT, ed. On Midway: Stills of the Reform of the Transylvanian Hungarian Politics. Pro-Print, Csikszereda, Romania, 1999, pp.370-375.
• Romanovsky A, Zorzo AF. Coordinated Atomic Actions as a Technique for Implementing Distributed Gamma Computation. Journal of Systems Architecture 1999, 45(15), 1357-1374.
• Romanovsky A, Xu J, Randell B. Coordinated exception handling in real-time distributed object systems. Computer Systems Science and Engineering 1999, 14(4), 197-207.
• Andras P, Postma E, Van den Herik J. Dealing with Environmental Dynamics. In: 11th Belgium-Dutch Artificial Intelligence Conference (BNAIC '99). 1999, Maastricht University, Netherlands.
• Romanovsky A, Ezhilchelvan PD. Engineering Look-ahead in Distributed Conversations. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 1999. School of Computing Science Technical Report Series 659.
• Ezhilchelvan PD, Romanovsky A. Engineering Look-Ahead in Distributed Conversations. In: 4th International Symposium on Autonomous Decentralized Systems (ISADS '99). 1999, Tokyo, Japan: IEEE Computer Society Press.
• de Lemos R, Romanovsky A. Exception Handling in a Cooperative Object-Oriented Approach. In: 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC). 1999, St. Malo, France: IEEE Computer Society Press.
• Randell B, Zorzo AF. Exception Handling in Multiparty Interactions. In: Anias do SCTF'99 - VIII Simpósio de Computaçõ Tolerante a Falhas. 1999, Campinas, Sao Paolo, Brazil: Instituto de Computaçõ, Universidade Estadual de Campinas (Unicamp).
• Di Marzo Serugendo G, Guelfi N, Romanovsky A, Zorzo AF. Formal Development and Validation of Java Dependable Distributed Systems. In: 5th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS). 1999, Las Vegas, Nevada, USA: IEEE Computer Society Press.
• Romanovsky A. On N-Version Programming and Exception Handling. In: 10th European Workshop on Dependable Computing (EWDC-10): Design Methods and Tools for Dependable Systems and Quality of Service. 1999, Vienna, Austria: OCG.
• Romanovsky A. On Structuring Cooperative and Competitive Concurrent Systems. Computer Journal 1999, 42(8), 627-637.
• Andras P. Orthogonal RBF Neural Network Approximation. Neural Processing Letters 1999, 9(2), 141-151.
• Benjamin R, Gladman B, Randell B. Protecting IT Systems from Cyber Crime. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1999. Department of Computing Science Technical Report Series 631.
• Xu J, Randell B, Romanovsky A, Stroud R, Zorzo AF, Canver E, von Henke F. Rigorous Development of a Safety-critical system based on co-ordinated Atomic Actions. In: Proceedings of the 29th International Symposium on Fault-Tolerant Computing (FTCS). 1999, Madison, Wisconsin, USA: IEEE Computer Society.
• 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. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1999. Department of Computing Science Technical Report Series 662.
• Jones CB. Scientific Decisions which Characterise VDM. In: FM'99 - Formal Methods. World Congress on Formal Methods in the Development of Computing Systems. 1999, Toulouse, France: Springer-Verlag.
• Andras P. Selection of RBF Neural Networks with a Combined Evolutionary and Back-propagation Method. Cluj, Romania: Babes-Bolyai University, 1999. Preprint of Department of Mathematics and Computer Science.
• Hayes IJ, Jones CB. Specifications are not (necessarily) executable. In: Bowen, J.P. and Hinchey, M.G, ed. High-Integrity System Specification and Design. London: Springer-Verlag, 1999, pp.563-581.
• Bryans J, Derrick J. Stochastic Specification and Verification. In: 3rd Irish Workshop on Formal Methods (IWFM). 1999, Galway, Ireland: British Computer Society.
• Riddle S, Saeed A. Tool support for implementation and analysis of traceability structures. In: 9th Annual International Symposium of the International Council on Systems Engineering (INCOSE). 1999, Brighton, UK.
• Zorzo AF, Romanovsky A, Xu J, Randell B, Stroud RJ, Welch IS. Using coordinated atomic actions to design safety-critical systems: A production cell case study. Software - Practice and Experience 1999, 29(8), 677-697.
• King A, Bryans J. Using Probability to Reason about Soft Deadlines. In: International Workshop on Concurrent Constraint Programming for Time Critical Applications (COTIC). 1999.
• Grosspietsch KE, Romanovsky A. A Concept for the Transition-Net Based Derivation of Software Versions for the Recovery Block Scheme. In: 9th European Workshop on Dependable Computing (EWDC-9): Testing Methods and Tools for Modern Computer Systems & Networks. 1998, Gdansk, Poland.
• Romanovsky A. A study of atomic action schemes intended for standard Ada. Journal of Systems and Software 1998, 43(1), 29-44.
• Fitzgerald JS, Jones CB. A tracking system. In: Bicarregui, J.C, ed. Proof in VDM: Case Studies. London: Springer-Verlag, 1998, pp.1-30.
• Opre A, Andras P. Amnesia: Neuropshychological Interpretation and Artificial Neural Network Simulation. Cognition, Brain, Behavior 1998, 2(3-4), 315-335.
• Bowman H, Bryans J, Derrick J. Analysis of a Multimedia Stream using Stochastic Process Algebra. In: 6th International Workshop on Process Algebras and Performance Modelling (PAPM). 1998, Nice, France.
• Clematis A, Gianuzzi V, Romanovsky A, Tyrrell AM, Cazzola W. Approaches to Designing Complex Dependable Systems. In: 15th IFAC Workshop on Distributed Computer Control Systems (DCCS). 1998, Como, Italy.
• Di Marzo Serugendo G, Guelfi N, Romanovsky A, Zorzo AF. CO-OPN/2 Specification of the DSGamma System Designed Using Co-ordinated Atomic Actions. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 641.
• Pearson J, Bryans J. Combining CSP and Temporal Logic. Proceedings of the Estonian Academy of Science 1998, 4(2), 130-137.
• András P, András A. Comparison of Evolutionary Selection Methods for RBF Neural Networks. In: Romanian Symposium on Computer Science (ROSYCS). 1998, Faculty of Computer Science, 'A.I. Cuza' University, Iasi, Romania.
• Pearson J, Bryans J. Constraint Oriented Specification with CSP and Real-time Logic. Canterbury, UK: University of Kent at Canterbury, 1998. 3-98.
• Romanovsky A, Zorzo AF. Coordinated Atomic Actions as a Technique for Implementing Distributed Gamma Computation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 624.
• de Lemos R, Romanovsky A. Coordinated Atomic Actions in Modelling Object Cooperation. In: 1st IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC). 1998, Kyoto, Japan: IEEE Computer Society Press.
• Randell B, Romanovsky A, Stroud RJ, Xu J, Zorzo AF, Schwier D, von Henke F. Coordinated Atomic Actions: Formal Model, Case Study and System Implementation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 628.
• Xu J, Romanovsky A, Randell B. Coordinated exception handling in distributed object systems: from model to system implementation. In: 18th IEEE International Conference on Distributed Computing Systems (ICDCS). 1998, Amsterdam, The Netherlands: IEEE.
• Randell B. Dependability - A Unifying Concept. In: Workshop on Computer Security, Dependability and Assurance: From Needs to Solutions. 1998, Williamsburg, VA , USA: IEEE Computer Society Press, Los Alamitos, CA.
• Xu J, Randell B, Romanovsky A et al. Developing Control Software for Production Cell II: Failure Analysis and System Design Using CA Actions. In: 3rd International Workshop on Design for Validation. 1998, Louvain-La-Neuve, Belgium.
• Mitchell SE, Wellings AJ, Romanovsky A. Distributed Atomic Actions in Ada 95. Computer Journal 1998, 41(7), 486-502.
• de Lemos R, Romanovsky A. Exception Handling in a Co-operative Object-Oriented Approach. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 639.
• Romanovsky A, Xu J, Randell B. Exception Handling in Object-Oriented Real-Time Distributed Systems. In: 1st IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC). 1998, Kyoto, Japan: IEEE Computer Society Press.
• Jones CB, Bjorner D. Foreword. In: Fitzgerald, J.S. and Larsen, P.G, ed. Modelling Systems: Practical Tools and Techniques in Software Development. Cambridge: Cambridge University Press, 1998, pp.ix-x.
• Wang Y-M, Merritt MJ, Romanovsky A. Guaranteed Deadlock Recovery: Deadlock Resolution with Rollback Propagation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 648.
• Doherty G, Harrison MD. Integrating joint behaviour and dialogue description. In: Proceedings of the Eurographics Workshop on Design, Specification and Verification of Interactive Systems. 1998, Abingdon, UK: Springer.
• Randell B. Memories of the NATO Software Engineering Conferences. IEEE Annals of the History of Computing 1998, 20(1), 51-54.
• Opre A, Andras P. Modelling Amesic Syndrome with Artificial Neural Networks. In: International Conference on Automation and Quality Control. 1998, Cluj-Napoca, Romania.
• Andras P. Neural Network Design Using Spectral Analysis. In: 5th International Conference on Neural Information Processing (ICONIP), in conjunction with the Annual Conference of the Japanese Neural Network Society (JNNS). 1998, Kitakyushu, Japan: Ohmsha/IOS Press.
• Romanovsky AB. Predictable toleration of design faults: Recovery blocks in real time systems. Computer Systems Science and Engineering 1998, 13(6), 369-377.
• Benjamin R, Gladman B, Randell B. Protecting IT Systems from Cyber Crime. Computer Journal 1998, 41(7), 429-433.
• Jones CB. Some mistakes I have made and what I have learned from them. In: Fundamental Approaches to Software Engineering: First International Conference (FASE'98). 1998, Lisbon, Portugal: Springer-Verlag.
• Xu J, Randell B, Romanovsky A, Stroud RJ. Supporting and Controlling Complex Concurrency in Fault-Tolerant Distributed Systems. In: International Symposium on Special Topics of Computers. 1998, China.
• Campos JC, Harrison MD. The role of verification in interactive systems design. In: Proceedings of the Eurographics Workshop on Design, Specification and Verification of Interactive Systems. 1998, Abingdon, UK: Springer.
• Pearson S, Riddle S, Saeed A. Traceability for the Development and Assessment of Safe Avionic Systems. In: 8th INCOSE International Conference on Systems Engineering. 1998, Vancouver, Canada.
• Zorzo AF, Romanovsky A, Randell B, Stroud RJ, Welch I, Xu J. Using Coordinated Atomic Actions to Design Dependable Distributed Object Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 619.
• King A, Bryans J. Using Probability to Reason about Soft Deadlines. Canterbury, UK: University of Kent at Canterbury, 1998. 13-98.
• Romanovsky A, Zorzo AF. A Distributed Coordinated Atomic Action Scheme. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 608.
• Doherty G, Harrison MD. A representational approach to the specification of presentations. In: Design, Specification, and Verification of Interactive Systems’97. Proceedings of the Eurographics Workshop. 1997, Grenada, Spain: Springer.
• Dearden AM, Harrison MD. A Software Engineering Model for Case Memory Systems. Computer Journal 1997, 40(4), 167-182.
• Romanovsky A. A Study of Atomic Action Schemes Intended for Standard Ada. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 600.
• Dearden AM, Harrison MD. Abstract Models for HCI. International Journal of Human-Computer Studies 1997, 46(1), 151-177.
• McCarthy JC, Healey PGT, Wright PC, Harrison MD. Accountability of work activity in high-consequence work systems: Human error in context. International Journal of Human-Computer Studies 1997, 47(6), 735-766.
• Saeed A, Cepin M, de Lemos R, et al. An Object-Based Approach to Modelling and Analysis of Failure Properties. In: 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP). 1997, University of York, UK: Springer-Verlag, London.
• Cepin M, de Lemos R, Mavko B, Riddle S, Saeed A. An Object-Based Approach to Modelling and Analysis of Failure Properties. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 598.
• Andras P. Approximation of Fractals with Neural Networks. Studia Universitatis Babes-Bolyai: Mathematica 1997, 42(1), 15-23.
• Randell B, Romanovsky A, Stroud RJ, Xu J, Zorzo AF. Co-ordinated Atomic Actions: From Concept to Implementation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 595.
• Xu J, Romanovsky A, Randell B. Co-ordinated Exception Handling in Distributed Object-Oriented Systems: Improved Algorithm, Correctness and Implementation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 596.
• Romanovsky A. Conversational Group Service. Operating Systems Review 1997, 31(1), 54-63.
• de Lemos R, Romanovsky A. Coordinated Atomic Actions in Modelling Objects Cooperation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 620.
• Strigini L, Di Giandomenico F, Romanovsky A. Coordinated backward recovery between client processes and data servers. IEE Proceedings: Software 1997, 144(2), 134-146.
• Xu J, Romanovsky A, Randell B. Coordinated Exception Handling in Distributed Object Systems: from Model to System Implementation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 612.
• Bryans J, Schneider S. CSP, PVS and a Recursive Authentication Protocol. In: DIMACS Workshop on Design and Formal Verification of Security Protocols. 1997, DIMACS Center, Rutgers University, Piscataway, NJ, USA: DIMACS.
• Riddle S, Wallis PJL. Denotational Semantics and Refinement. In: 1st Irish Workshop on Formal Methods (IWFM). 1997, Dublin, Ireland: Springer-Verlag.
• Romanovsky A, Xu J, Randell B. Exception Handling in Object-Oriented Real-Time Distributed Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 618.
• Fitzgerald JS, Jones CB, Lucas P, ed. FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, proceedings of the 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Berlin: Springer-Verlag, 1997.
• Campos JC, Harrison MD. Formally verifying interactive systems: a review. In: Design, Specification, and Verification of Interactive Systems’97. Proceedings of the Eurographics Workshop. 1997, Grenada, Spain: Springer.
• Dearden AM, Harrison MD. Impact and the Design of the Human-Machine Interface. IEEE Aerospace and Electronic Systems Magazine 1997, 12(2), 19-25.
• Romanovsky A, Randell B, Stroud R, Xu J, Zorzo AF. Implementation of blocking coordinated atomic actions based on forward error recovery. Journal of Systems Architecture 1997, 43(10), 687-699.
• Romanovsky A, Randell B, Stroud RJ, Xu J, Zorzo AF. Implementing Synchronous Co-ordinated Atomic Actions Based on Forward Error Recovery. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 561.
• Andras P. Knowledge Representation in Artificial Neural Networks. Annales Universitatis Occidentalis Timisiensis, Philosophia 1997, IX, 173-185.
• McCarthy JC, Wright PC, Healey P, Dearden A, Harrison MD. Locating the scene: The particular and the general in contexts for ambulance control. In: Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work: The Integration Challenge (GROUP). 1997, Pheonix, Arizona, USA: ACM.
• Bryans J, Schneider S. Mechanical Verification of the full Needham-Schroeder Public Key Protocol. London, UK: Royal Holloway and Bedford New College, 1997. Department of Computing Science Technical Report Series 97-11.
• Romanovsky A, Wang Y-M. Method for Deadlock Recovery Using Consistent Global Checkpoints. USA, 5.664.088, 1997, 30-11-1995.
• Andras P. Neural Networks for Decision Modelling. Brain, Cognition, Behaviour 1997, 1(1), 10-36.
• Tikhomirova NV, Shturtz IV, Romanovsky A. Object-Oriented Approach to State Restoration by Reversion in Fault Tolerant Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 571.
• Fields B, Wright P, Harrison M. Objectives, strategies and resources as design drivers. In: Human-Computer Interaction: IFIP TC13 International Conference on Human-Computer Interaction (INTERACT). 1997, Sydney, Australia: Chapman and Hall.
• Romanovsky A, Zorzo AF. On Distribution of Coordinated Atomic Actions. Operating Systems Review 1997, 31(4), 63-71.
• Romanovsky A, Mitchell SE, Wellings AJ. On Programming Atomic Actions in Ada 95. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 586.
• Romanovsky A. Practical exception handling and resolution in concurrent programs. Computer Languages 1997, 23(1), 43-58.
• Fitzgerald JS, Jones CB. Proof in the Analysis of a Model of a Tracking System. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 617.
• Randell B. Review of “The Timetable of Computers: A chronology of the most important people and events in the history of computers”, by D.D. Spencer (Review no. 0894). Computing Reviews 1997, 38(11), 558-559.
• Randell B, Xu J, Zorzo AF. Software Fault Tolerance in Object-Oriented Systems: Approaches, Implementation and Evaluation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 597.
• Xu J, Randell B. Software Fault Tolerance: R/(n-l)-Variant Programming. IEEE Transactions on Reliability 1997, 46(1), 60-68.
• Andras P. Systematic Development of WWW Pages. In: 1997 Romanian Internet Learning Workshop (RILW '97). 1997, Ilieni, Romania.
• Xu J, Randell B. The t/(n-1)-VP Approach to Fault-Tolerant Software. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 594.
• Zorzo AF, Romanovsky A, Xu J, Randell B, Stroud R, Welch I. Using Coordinated Atomic Actions to Design Dependable Distributed Object Systems. In: OOPSLA '97 Workshop on Dependable Distributed Object Systems, Atlanta, Georgia, USA, 5 October 1997. Part of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA). 1997, Atlanta, Georgia, USA: ACM.
• Dearden AM, Harrison MD. Using executable interactor specifications to explore the impact of operator interaction errors. In: 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP). 1997, York, UK: Springer.
• Jones CB. Whither formal methods? A plea to investigate new applications. In: 1st IEEE International Conference on Formal Engineering Methods (ICFEM '97). 1997, Hiroshima, Japan: IEEE Computer Society Press.
• Andras P, Andras A, Szabo Z. A Genetic Solution for the Cutting Stock Problem. In: 1st Online Workshop on Soft Computing (WSC1). 1996, Nagoya, Japan: Nagoya University.
• Jones CB. A Rigorous Approach to Formal Methods. Computer 1996, 29(4), 20-21.
• Andras P. A Tree-Structured Artificial Neural Network Applied for Chaotic Time series Prediction. In: Artificial Intelligence: Methodology, Systems, Applications (AIMSA '96). 1996, Sozopol, Bulgaria: IOS Press.
• Jones CB. Accommodating Interference in the Formal Design of Concurrent Object-Based Programs. Formal Methods in System Design 1996, 8(2), 105-122.
• Lait AJ, Randell B. An Assessment of Name Matching Algorithms. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1996. Department of Computing Science Technical Report Series 550.
• Romanovsky A. Application specific conversation schemes for ADA programs. Microprocessing and Microprogramming 1996, 41(10), 703-713.
• Andras P. Approximation of Functions with Tree-Structured Neural Networks. In: International Conference on Approximation. 1996, Cluj-Napoca, Romania.
• Romanovsky A. Atomic Actions Based on Distributed/Concurrent Exception Resolution. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1996. Department of Computing Science Technical Report Series 560.
• Randell B. Charles Babbage and the Anglo-American Copyright Dispute. IEEE Annals of the History of Computing 1996, 18(3), 56.
• Jones CB. Describing the Semantics of Concurrent Object-Oriented Languages. In: 3rd International Workshop on Foundations of Object-Oriented Languages (FOOL 3). 1996, New Brunswick, New Jersey, USA.
• Wright PC, Fields B, Harrison MD. Distributed information resources: a new approach to interaction modelling. In: Cognition and the worksystem. Proceedings of the 8th European conference on cognitive ergonomics. 1996, Grenada, Spain: European Association of Cognitive Ergonomics.
• Romanovsky A, Shturtz IV. Dynamic Conversations. International Journal of Computer Systems Science and Engineering 1996, 11(2), 109-116.
• Romanovsky A, Xu J, Randell B. Exception Handling and Resolution in Distributed Object-Oriented Systems. In: 16th IEEE International Conference on Distributed Computing Systems (ICDCS). 1996, Hong Kong, China: IEEE Computer Society Press.
• Zorzo A, Xu J, Randell B. Experimental Evaluation of Fault-Tolerant Mechanisms for Object-Oriented Software. In: 23rd Brazilian Software and Hardware Seminars. 1996, Recife, Brazil.
• Jones CB. Foreword. In: Woodcock, J.C.P. and Davies, J, ed. Using Z: Specification, Refinement, and Proof. London: Prentice Hall, 1996.
• Clarke EM, Wing JM, et al. Formal Methods: State of the Art and Future Directions. ACM Computing Surveys 1996, 28(4), 626-643.
• Ainsworth M, Riddle S, Wallis PJL. Formal validation of viewpoint specifications. Software Engineering Journal 1996, 11(1), 58-66.
• Dearden AM, Harrison MD. Impact as a Human Factor in Interactive System Design. In: Safety-Critical Systems: the Convergence of High Tech and Human Factors. Proceedings of the Fourth Safety-critical Systems Symposium. 1996, Leeds, UK: Springer.
• Xu J, Randell B, Zorzo AF. Implementing Software-Fault Tolerance in C++ and Open C++. In: 1996 International Workshop on Computer-Aided Design, Test, and Evaluation for Dependability (CADTED). 1996, Beijing, China: International Academic Publishers.
• Andras P. Increasing the Performance of Artificial Neural Networks Using Fuzzy Data. Cluj, Romania: Babes-Bolyai University, 1996. Preprint of Department of Mathematics and Computer Science.
• Randell B. La Filiation des Machines a Calculer Contemporain. In: Dumas, M, ed. Histoire Generale des Techniques, V. Les Techniques de la Civilisation Industrielle: Transformation, Communication, Facteur Humain. Paris, France: Presses Universitaires de France, 1996.
• Andras P. Modeling the Development of the Concept System. Studia Universitatis Babes-Bolyai: Mathematica 1996, 41(1), 107-122.
• Jones CB, Hodges SJ. Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics. In: Dagstuhl Seminar no. 9514: Object Orientation with Parallelism and Persistence. 1996, Schloss Dagstuhl, Germany: Kluwer Academic Publishers.
• Freitag B, Jones CB, Lengauer C, Schek H-J, ed. Object Orientation with Parallelism and Persistence. Boston: Kluwer Academic Publishers, 1996.
• Romanovsky A. Practical Exception Handling and Resolution in Concurrent Programs. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1996. Department of Computing Science Technical Report Series 545.
• Davies J, Bryans J, Schneider S. Real-time LOTOS and Timed Observations. In: 8th IFIP TC6 International Conference on Formal Description Techniques (FORTE). 1996, Montreal, Canada: Chapman & Hall.
• Dearden AM, Harrison MD. Risk Analysis, impact and interaction modelling. In: Design Specification and Verification of Interactive Systems '96: Proceedings of the Eurographics Workshop. 1996, Namur, Belgium: Springer.
• Xu J, Randell B. Roll-Forward Error Recovery in Embedded Real-Time Systems. In: International Conference on Parallel and Distributed Systems (ICPADS). 1996, Tokyo, Japan: IEEE Computer Society Press.
• Jones CB. Some Practical Problems and Their Influence on Semantics. In: 6th European Symposium on Programming (ESOP '96): Programming Languages and Systems. 1996, Linköping, Sweden: Springer-Verlag.
• Jones C. TANSTAAFL (with partial functions). In: CADE-13 Workshop on the Mechanization of Partial Functions. 1996, Rutgers University, New Brunswick, NJ, USA.
• Harrison MD. The formal specification of interactive systems. Software Engineering Journal 1996, 11(6), 322.
• Gurd JR, Jones CB. The Global-yet-Personal Information System. In: Wand, I. and Milner, R, ed. Computing Tomorrow: Future research directions in computer science. Cambridge: Cambridge University Press, 1996, pp.127-157.
• Andras P. The Minority Question - A Game Theory and Micro Economic Approach. Web - The Journal of the Max Weber Special Sociology College 1996, (1), 56-74.
• Harrison M, Fields R, Wright PC. The user context and formal specification in interactive system design. In: BCS-FACS Workshop on Formal Aspects of the Human Computer Interface. 1996, Sheffield Hallam University, UK: Springer in collaboration with the British Computer Society.
• Andras P. Tuning Fuzzy Rule Bases with a Genetic Algorithum. In: 10th Romanian Symposium on Computer Science (ROSYCS). 1996, Iasi, Romania: Faculty of Computer Science, 'A.I. Cuza' University.
• Cho G, Marshall LF. An Efficient Location and Routing Scheme for Mobile Computing Environments. IEEE Journal on Selected Areas in Communications 1995, 13(5), 868-879.
• Cho G, Marshall LF. An Efficient Location and Routing Scheme for Mobile Computing Environments. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 508.
• Romanovsky A, Strigini L. Backward Error Recovery via Conversations in Ada. IEE Software Engineering Journal 1995, 10(6), 219-232.
• Romanovsky A. Conversations of Objects. Computer Languages 1995, 21(3-4), 147-163.
• Collette P, Jones CB. Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. Manchester: Manchester University, 1995. UMCS-95-10-3.
• Duke DJ, Harrison MD. Event Model of Human-System Interaction. Software Engineering Journal 1995, 10(1), 3-12.
• Romanovsky A, Xu J, Randell B. Exception Handling and Resolution in Distributed Object-Oriented Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 542.
• Randell B. Fault Tolerance and Security. In: 4th IFIP WG10.4 International Working Conference on Dependable Computing for Critical Applications (DCCA). 1995, San Diego, CA, USA: Springer-Verlag.
• Xu J, Randell B, Romanovsky A, Rubira-Calsavara CMF, Stroud RJ, Wu Z. Fault Tolerance in Concurrent Object-Oriented Software Through Co-ordinated Error Recovery. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 507.
• Xu J, Randell B, Romanovsky A, Rubira CMF, Stroud RJ, Zhixue W. Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery. In: 25th International Symposium on Fault-Tolerant Computing (FTCS). 1995, Pasadena, California, USA: IEEE.
• Jones CB. Fixing the semantics of some concurrent object-oriented concepts. In: 11th Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XI). 1995, Tulane University, New Orleans, LA, USA: Elsevier.
• Randell B, Romanovsky A, Rubira-Calsavara CMF, Stroud RJ, Wu Z, Xu J. From Recovery Blocks to Concurrent Atomic Actions. In: Randell, B., Laprie, J-C., Kopetz, H., Littlewood, B, ed. Predictably Dependable Computing Systems. Brussels: Springer-Verlag, 1995, pp.87-101.
• Jones CB. Granularity and the development of concurrent programs. In: 11th Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XI). 1995, Tulane University, New Orleans, LA, USA: Elsevier.
• Wang Y-M, Merritt MJ, Romanovsky A. Guaranteed Deadlock Recovery: Deadlock Resolution with Rollback Propagation. In: Pacific Rim International Symposium on Fault-Tolerant Systems (PRFTS). 1995, Newport Beach, California, USA: IEEE.
• Romanovsky A. How to Make a Recoverable Server by Synchronization Code Inheriting. OOPS Messenger 1995, 6(1), 7-13.
• Randell B. Le projet COLOSSUS et la seconde guerre mondiale. In: Quatrième colloque: "Histoire de l'informatique", Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA). 1995, Campus de Beaulieu, Rennes, France: IRISA, France.
• Jones CB. Lessons from the development of a concurrent program: formality as a guide to intuition. In: 1995 Conference on Formal Specification: Foundations, Methods, Tools and Applications (FMTA '95). 1995, Warsaw, Poland.
• Duke DJ, Harrison MD. Mapping User Requirements to Implementations. Software Engineering Journal 1995, 10(1), 13-20.
• Rubira CMF, Randell B. Object-Oriented Environmental Fault Tolerance. In: 6° Sympósio de Computadores Tolerantes a Falhas, XV Congresso da Sociedade Brasileira de Computação. 1995, Brazil: Instituto de Informática, Universidade Federal do Rio Grande do Sul.
• Jones CB. Partial Functions and Logics: A Warning. Information Processing Letters 1995, 54(2), 65-67.
• Randell B, Laprie J-C, Kopetz H, Littlewood B, ed. Predictably Dependable Computing Systems. Brussels: Springer-Verlag, 1995.
• Xu J, Randell B. Responsive Roll-Forward Recovery in Embedded Real-Time Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 515.
• Randell B. Review of ‘“The Reservisor Automated Airline Reservation System: combining communications and computing” by J. Eklund (Review no. 0263). Computing Reviews 1995, 35(6), 220.
• Randell B. Software Dependability: A Personal View. In: 25th International Symposium on Fault-Tolerant Computing (FTCS). 1995, Pasadena, California, USA: IEEE Computer Society Press.
• Romanovsky A. Software Diversity as a Way to Well-Structured Concurrent Software. Operating Systems Review 1995, 29(3), 85-90.
• Bryans J, Davies J, Schneider S. Towards a denotational semantics for ET-LOTOS. In: 6th International Conference on Concurrency Theory (CONCUR). 1995, Pittsburgh, Pennsylvania, USA: Springer-Verlag.
• Blandford AE, Barnard PJ, Harrison MD. Using Interaction Framework to guide the design of interactive systems. International Journal of Human-Computer Studies 1995, 43(1), 101-130.
• Schneider S, Bryans J, Davies J. A failures semantics for ET-LOTOS. Reading, UK: Reading University, 1994.
• Cho G, Marshall LF. A Multicast Service for Mobile Computing. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 474.
• Jones CB, Middelburg CA. A Typed Logic of Partial Functions Reconstructed Classically. Acta Informatica 1994, 31(5), 399-430.
• Romanovsky A. About Conversations for Concurrent OO Languages. SIGPLAN Notices 1994, 29(9), 17-21.
• Fabre J-C, Deswarte Y, Randell B. Designing Secure and Reliable Applications Using Fragmentation-Redundancy-Scattering: An Object-Oriented Approach. In: 1st European Dependable Computing Conference (EDCC). 1994, Berlin, Germany: Springer-Verlag.
• Jones CB. Foreword. In: Bicarregui, J.C., Fitzgerald, J.S., Lindsay, P.A., Moore, R. and Ritchie, B, ed. Proof in VDM: A Practitioner's Guide. Berlin: Springer-Verlag, 1994, pp.v-vi.
• Romanovsky A, Strigini L. Implementation of Conversations in the Conventional Ada. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 475.
• Jones CB. Process Algebra Arguments about an Object-Based Notation. In: Roscoe, A.W, ed. A Classical Mind: Essays in Honour of C.A.R. Hoare. Prentice Hall PTR, 1994, pp.231-246.
• Bryans J, Davies J, Schneider S. Real-time CSP and ET-LOTOS. Reading, UK: Reading University, 1994.
• Randell B, Xu J. Recovery Blocks. In: Marciniak, J.J, ed. Encyclopedia of Software Engineering. New York, USA: Wiley, 1994, pp.1037-1038.
• Randell B, Xu J. Recovery Blocks. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 479.
• Romanovsky A. Recovery Unification for Concurrent Heterogeneous Systems. Computer Systems Science and Engineering 1994, 9(4), 234-239.
• Randell B, Ringland G, Wulf WA, ed. Software 2000: A View of the Future. Stevenage: ICL and the Commission of the European Communities, 1994.
• Xu J, Randell B, Rubira-Calsavara CMF, Stroud RJ. Software Fault-tolerance: Towards an Object-oriented Approach. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 498.
• Randell B. Some Lessons from the SW2000 Workshop. In: 1st European Dependable Computing Conference (EDCC). 1994, Berlin, Germany: Springer-Verlag.
• Randell B, Xu J. The Evolution of the Recovery Block Concept. In: Lyu, M, ed. Software Fault Tolerance. Chichester: John Wiley & Sons, 1994, pp.1-22.
• Gurd JR, Jones CB. The global-yet-personal information system. Manchester: Manchester University, 1994. UMCS-94-4-1.
• Randell B. The Origins of Computer Programming. IEEE Annals of the History of Computing 1994, 16(4), 6-14.
• Romanovsky A. The Problems of Designing a Conversion Scheme for Concurrent Object Oriented Languages. Microprocessing and Microprogramming 1994, 40(10-12), 897-900.
• Xu J, Randell B, Rubira CMF, Stroud RJ. Toward an Object-Oriented Approach to Software Fault Tolerance. In: Fault-Tolerant Parallel and Distributed Systems. 1994, College Station, Texas, USA: IEEE Press.
• Hayes IJ, Jones CB, Nicholls JE. Understanding the Differences Between VDM and Z. ACM SIGSOFT Software Engineering Notes 1994, 19(3), 75-81.
• Fabre JC, Deswarte Y, Randell B. A Framework for the Design of Secure and Reliable Applications by Fragmentation-Redundancy-Scattering. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 410.
• Jones CB. A pi-Calculus Semantics for an Object-Based Design Notation. In: 4th International Conference on Concurrency Theory (CONCUR '93). 1993, Hildesheim, Germany: Springer-Verlag.
• Jones CB, Middelburg CA. A typed logic of partial functions reconstructed classically. Utrecht: Utrecht University, Department of Philosophy, 1993. Logic Group Preprint Series 89.
• Duke DJ, Harrison MD. Abstract Interaction Objects. Computer Graphics Forum 1993, 12(3), 25-36.
• Jones CB, Monahan BQ. An introduction to pi-calculus. 1993.
• Fabre J-C, Randell B. An Object-Oriented View of Fragmented Data Processing for Fault and Intrusion Tolerance in Distributed Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 419.
• Randell B. Approaches to Software Fault Tolerance. In: CNRS-LAAS 25th Anniversary Conference. 1993, Toulouse, France: Cépaduès-Éditions.
• Jones CB. Constraining Interference in an Object-Based Design Model. In: 1993 International CAAP/FASE Joint Conference on Theory and Practice of Software Development (TAPSOFT '93). 1993, Orsay, France: Springer-Verlag.
• Landwehr CE, Randell B, Simoncini L, ed. Dependable Computing for Critical Applications. Berlin; New York: Springer-Verlag, 1993.
• Fabre J-C, Deswarte Y, Randell B. Designing Secure and Reliable Applications using FRS: An Object-Oriented Approach. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 438.
• Romanovsky A. Fault Tolerance: Synchronization of Redundancy. Operating Systems Review 1993, 27(4), 58-66.
• Xu J, Randell B. Object-oriented Construction of Fault-tolerant Software. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 444.
• Randell B, Xu J. Object-Oriented Software Fault Tolerance: Framework, reuse and design diversity. In: 1st PDCS2 Open Workshop. 1993, Toulouse, France.
• Randell B. Personal Ancestral File and Reunion - Two Genealogical Database Management Systems for the Apple Macintosh. Computers in Genealogy 1993, 4(10), 424-437.
• Jones CB. Process algebraic foundations for an object-based design notation. Manchester: Manchester University, 1993. UMCS-93-10-1.
• Jones CB. Reasoning about Interference in an Object-Based Design Method. In: 1st International Symposium of Formal Methods Europe: Industrial-Strength Formal Methods (FME '93). 1993, Odense, Denmark: Springer-Verlag.
• Jones CB. Reasoning about Interference in an Object-Based Design Method. In: 4th Nordic Workshop on Program Correctness. 1993, Bergen, Norway: University of Bergen, Department of Informatics.
• Marshall LF. Representing management policy using contract objects. In: IEEE First International Workshop on Systems Management. 1993, Los Angeles, CA, USA: IEEE Computer Society Press.
• Shrivastava SK, Mancini L, Randell B. The Duality of Fault-tolerant System Structures. Software: Practice and Experience 1993, 23(7), 773-798.
• Hayes IJ, Jones CB, Nicholls JE. Understanding the Differences Between VDM and Z. FACS Europe (BCS Formal Aspects of Computing Science/Formal Methods Europe Newsletter) 1993, 1(1), 7-30.
• Hayes IJ, Jones CB, Nicholls JE. Understanding the differences between VDM and Z. Manchester: Manchester University, 1993. UMCS-93-8-1.
• Romanovsky A, Shturtz IV. Unplanned Recovery for Non-program Objects. International Journal of Computer Systems Science and Engineering 1993, 8(2), 72-79.
• Jones CB. VDM: une méthode rigoureuse pour le développement du logiciel. Paris: Masson, 1993.
• Jones CB, Shaw RC, Denvir T, ed. 5th Refinement Workshop: Proceedings of the 5th BCS-FACS Refinement Workshop, London, UK, 1-10 January 1992. New York: Springer-Verlag, 1992.
• Jones CB. An object-based design method for concurrent programs. Manchester: University of Manchester, 1992. UMCS-92-12-1.
• Fabre J-C, Randell B. An Object-Oriented View of Fragmented Data Processing for Fault and Intrusion Tolerance in Distributed Systems. In: 2nd European Symposium on Research in Computer Security (ESORICS). 1992, Toulouse, France: Springer-Verlag.
• Anderson T, Avizienis A, Carter WC, Costes A, Cristian F, Koga Y, Kopetz H, Lala JH, Laprie JC, Meyer JF, Randell B, Robinson AS. Dependability: Basic Concepts and Terminology. Wien; New York: Springer-Verlag, 1992.
• Romanovsky A, Shturtz IV, Vassilyev VR. Designing Fault-Tolerant Objects in Object-Oriented Programming. In: 7th International Conference on the Technology of Object-Oriented Languages and Systems (TOOLS Europe). 1992, Dortmund, Germany: Prentice-Hall.
• Jones CB, McCauley AM. Formal methods – selected historical references. Manchester: Manchester University, 1992. UMCS-92-12-2.
• Marshall LF. Internationalisation: The Programmer, the User and the Writer. In: O'Brian Holt, P., Williams, N, ed. Computers and Writing : State of the Art. Oxford, UK: Intellect, 1992, pp.197-205.
• Randell B, Laprie J-C. Predictably Dependable Computing Systems: Final Report. Bulletin of EATCS 1992, 48(Oct), 55-87.
• Randell B. Reunion at Bletchley Park. IEEE Annals of the History of Computing 1992, 14(2), 51-53.
• Randell B. Review of “Marks on Paper, part 1: A historical survey of computer output printing” by I.L. Wieselman and E. Tomash (Review no. 0047). Computing Reviews 1992, 33(1), 78.
• Xu J, Randell B. Software Fault Tolerance: t(n-1)-Variant Programming. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1992. Computing Laboratory Technical Report Series 388.
• Romanovsky A. Synchronization as a Framework for Distributed System Fault-Tolerance Design. In: 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring (EW 5). 1992, Mont Saint-Michel, France: ACM Press.
• Randell B. System Dependability. In: Future Tendencies in Computer Science, Control and Applied Mathematics International Conference on the Occasion of the 25th Anniversary of INRIA. 1992, Paris, France: Springer-Verlag.
• Randell B. System Dependability. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1992. Department of Computing Science Technical Report Series 396.
• Jones CB. The search for tractable ways of reasoning about programs. Manchester: University of Manchester, 1992. UMCS-92-4-4.
• Marshall LF. They All Laughed at Christopher Columbus. In: National Conference on Women into Computing: Teaching Computing: Content and Methods. 1992, Keele, UK.
• Johnson CW, Harrison MD. Using temporal logic to support the specification and prototyping of interactive control systems. International Journal of Man-Machine Studies 1992, 37(3), 357-385.
• Jones CB. What inhibits the use of formal methods?. In: 8th Meeting on the Mathematical Foundations of Programming Semantics (MFPS '92). 1992, Oxford, UK.
• Jones CB. Can computer programs be trusted?. In: Calder, N, ed. Scientific Europe: Research and Technology in 20 Countries. Maastricht: Foundation Scientific Europe, 1991, pp.304-309.
• Randell B. Coping with the Past. In: Operating Systems of the 90s and Beyond. 1991, Dagstuhl Castle, Germany: Springer-Verlag.
• Randell B. Coping with the Past. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 330.
• Jones CB. Does the O-O community need formal methods?. In: 4th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS 4). 1991, Paris, France: Prentice-Hall.
• Randell B. European Research in Distributed Computing Systems: A personal perspective. In: 10th IEEE Symposium on Reliable Distributed Systems. 1991, Pisa, Italy: IEEE Computer Society Press.
• Randell B, Fabre JC. Fault and Intrusion Tolerance in Object-Oriented Systems. In: International Workshop on Object-Orientation in Operating Systems. 1991, Palo Alto, California, USA: IEEE Technical Committee on Operating Systems and Application Environments (TCOS).
• Randell B, Fabre J-C. FDP Techniques in Object-oriented Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 337.
• Trouessin G, Deswarte Y, Fabre JC, Randell B. Improvement of Data Processing Security by Means of Fault Tolerance. In: 14th National Computer Security Conference. 1991, Washington, USA.
• Trouessin G, Deswarte Y, Fabre J-C, Randell B. Improvement of Data Processing Security by means of Fault Tolerance. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 331.
• Jones CB. Interference resumed. In: 6th Australian Software Engineering Conference: Engineering Safe Software (ASWEC '91). 1991, Sydney, Australia: Australian Computer Society.
• Jones CB. Interference resumed. Manchester: University of Manchester, 1991. UMCS-91-5-1.
• Jones CB. Interference revisited. In: 5th Annual Z User Meeting: Z User Workshop. 1991, Oxford, UK: Springer-Verlag.
• Jones CB, Jones KD, Lindsay PA, Moore R, ed. MURAL: A Formal Development Support System. New York: Springer-Verlag, 1991.
• Cheng JH, Jones CB. On the Usability of Logics which Handle Partial Functions. In: 3rd BCS-FACS Refinement Workshop. 1991, Hursley Park, UK: Springer-Verlag.
• Jones CB. Operation quotation in VDM. London: Adelard, 1991.
• Randell B, Laprie J-C. Predictably Dependable Computing Systems: Second Year Report. Bulletin of EATCS 1991, 44, 61-86.
• Randell B, Laprie J-C. Predictably Dependable Computing Systems: Second Year Report. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 343.
• Randell B. Programming: From Babbage to Backus. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 327.
• Jones CB. Some comments on (BSI) VDMSL. BSI Committee, 1991.
• Jones CB. Support tools for reification. In: 3rd BCS-FACS Refinement Workshop. 1991, Hursley Park, UK: Springer-Verlag.
• Jones CB. A small language definition. In: Jones, C.B. and Shaw, R.C.F, ed. Case Studies in Systematic Software Development. London: Prentice Hall, 1990, pp.235-256.
• Jones CB, Shaw RCF, ed. Case Studies in Systematic Software Development. London: Prentice Hall, 1990.
• Jones CB. Consequences. In: Feijen, W.H.J., van Gasteren, A.J.M., Gries, D. and Misra, J, ed. Beauty is Our Business: A Birthday Salute to Edsger W. Dijkstra. New York: Springer-Verlag, 1990, pp.220-225.
• Randell B. Electronic Computing: A Continuing Revolution. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1990. Computing Laboratory Technical Report Series 311.
• Randell B. Epilogue. In: Eames, C., Eames, R, ed. A Computer Perspective: Background to the Computer Age. Cambridge, Massachusetts, USA: Harvard University Press, 1990, pp.161-163.
• Randell B. Foreword. In: Feijen, W.H.J., van Gasteren, A.J.M., Gries, D., Misra, J, ed. Beauty is Our Business: A Birthday Salute to Edsger W. Dijkstra. New York: Springer-Verlag, 1990, pp.ix-xi.
• Randell B. Le Coupable n'est pas la technologie. La Lettre de la Sûreté de Fonctionnement 1990, 13, 3-4.
• Kolias V, Lefebvre I, Mackenzie R et al. Managing Management - The TOBIAS Approach. In: Annual ESPRIT Conference (Esprit). 1990, Brussels, Belgium: Kluwer Academic Publishers.
• Fitzgerald JS, Jones CB. Modularizing the Formal Description of a Database System. In: 3rd International Symposium of VDM Europe: VDM and Z - Formal Methods in Software Development (VDM '90). 1990, Kiel, FRG: Springer-Verlag.
• Fitzgerald JS, Jones CB. Modularizing the Formal Description of a Database System. Manchester: University of Manchester, 1990. UMCS 90-1-1.
• Dobson JE, McDermid J, Randell B. On the Trustworthiness of Computing Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1990. Computing Laboratory Technical Report Series 306.
• Cheng JH, Jones CB. On the Usability of Logics which Handle Partial Functions. Manchester: University of Manchester, 1990. UMCS-90-3-1.
• Dobson JE, Laprie J-C, Randell B. Predictably Dependable Computing Systems: An ESPRIT Basic Research Project. Bulletin of EATCS 1990, 40, 100-116.
• Broy M, Jones CB, ed. Programming Concepts and Methods: Proceedings of the IFIP TC2 WG 2.2/2.3 Working Conference on Programming Concepts and Methods, Tiberias, Sea of Galilee, Israel, April 1990. Amsterdam: North-Holland, 1990.
• Randell B. Súrété de Fonctionnement et Défauts du Logiciel: Minimiser les risques et éviter les responsabilités. La Lettre de la Sûreté de Fonctionnement 1990, 13, 3-4.
• Hayes IJ, Jones CB. Specifications are not (necessarily) executable. Queensland, Australia: Key Centre for Software Technology, Department of Computer Science, University of Queensland, 1990. 148.
• Randell B. System Design and Structuring for Dependability. In: Anderson, T, ed. Resilient Computing Systems. Chichester, UK: John Wiley & Sons, 1990, pp.29-43.
• Jones CB. Systematic Software Development using VDM (2nd edition). London: Prentice Hall, 1990.
• Jones CB. Systematic software development using VDM (second edition) teaching notes. London: Prentice Hall International, 1990.
• Shrivastava SK, Mancini LV, Randell B. The Duality of Fault-Tolerant System Structures. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1990. Computing Laboratory Technical Report Series 305.
• Romanovsky A, Shturtz IV. Transparent Structurization of Parallel Processes for Backward Recovery. In: 2nd IEEE International Parallel and Distributed Processing Symposium (IPPS). 1990, Dallas, Texas, USA: IEEE Computer Society Press.
• Randell B. Can Design Faults be Tolerated?. In: 11th IFIP World Computer Congress: Information Processing 89. 1989, San Francisco, California, USA: North-Holland/IFIP.
• Jones CB. Data reification. In: McDermid, J.A, ed. The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems. London: Butterworths, 1989, pp.79-89.
• Jones CB, ed. Essays in Computing Science. Hemel Hempstead: Prentice Hall, 1989.
• Hayes IJ, Jones CB. Specifications are not (necessarily) executable. Software Engineering Journal 1989, 4(6), 330-338.
• Hayes IJ, Jones CB. Specifications are not (necessarily) executable. Manchester: University of Manchester, 1989. UMCS-89-12-1.
• Dobson JE, Randell B. Viewpoint: Program Verification: Public Image and Private Reality. Communications of the ACM 1989, 32(4), 420-422.
• Jones CB, Lindsay PA. A Support System for Formal Reasoning: Requirements and Status. In: 2nd VDM-Europe Symposium: VDM - The Way Ahead (VDM '88). 1988, Dublin, Ireland: Springer-Verlag.
• Jones CB. Combining implicit/explicit function definitions in the VDM protostandard. BSI, 1988. IST/5/50 Document no. 58.
• Jones CB, Moore R. Muffin: A User Interface Design Experiment for a Theorem Proving Assistant. In: 2nd VDM-Europe Symposium: VDM - The Way Ahead (VDM '88). 1988, Dublin, Ireland: Springer-Verlag.
• Jones CB. Response to Arentoft and Larsen's 'Underspecification and non-determinism note'. BSI, 1988. IST/5/50 Document no. 67.
• Jones CB. Theorem proving and software engineering. Software Engineering Journal 1988, 3(1), 2-2.
• Jones CB, Moore R. An experimental user interface for a theorem proving assistant. Manchester: University of Manchester, 1987. UMCS 87-12-8.
• Randell B. Design Fault Tolerance. In: Avizienis, A., Kopetz, H., Laprie, J.-C, ed. The Evolution of Fault-Tolerant Computing. Berlin; New York: Springer-Verlag, 1987, pp.251-270.
• Randell B. ESPRIT Basic Research Actions. In: IT Forum at the 4th ESPRIT Conference: Achievements and Impacts (Esprit). 1987, Brussels, Belgium: Elsevier Science BV (North-Holland).
• Shrivastava SK, Mancini LV, Randell B. On the Duality of Fault Tolerant System Structures. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1987. Computing Laboratory Technical Report Series 248.
• Shrivastava SK, Mancini LV, Randell B. On the Duality of Fault-Tolerant System Structures. In: Experiences with Distributed Systems. 1987, Kaiserslautern, Germany: Springer-Verlag.
• Jones CB. Program specification and verification in VDM. In: NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design. 1987, Marktoberdorf, West Germany: Springer-Verlag.
• Jones CB. Software Development Based on Formal Methods. In: 1986 CRAI Workshop on Software Factories and Ada: Software Development and Ada. 1987, Capri, Italy: Springer-Verlag.
• Jones CB. Specyfikacje a programy I. Informatyka 1987, 10, 1-4.
• Jones CB. Specyfikacje a programy II. Informatyka 1987, 11, 2-6.
• Randell B. System Design and Structuring for Dependability. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1987. Computing Laboratory Technical Report Series 232.
• Jones CB. Teaching notes (second version) for 'Systematic software development using VDM'. Manchester: University of Manchester, 1987. UMCS 87-12-9.
• Black JP, Marshall LF, Randell B. The Architecture of UNIX United. Proceedings of the IEEE 1987, 75(5), 709-718.
• Bjørner D, Jones CB, Mac an Airchinnigh M, Neuhold EJ, ed. VDM - A Formal Method at Work: Proceedings of the VDM-Europe Symposium (VDM '87), Brussels, Belgium, 23-26 March 1987. Berlin: Springer-Verlag, 1987.
• Jones CB. VDM Proof Obligations and their Justification. In: 1st VDM-Europe Symposium: VDM - A Formal Method at Work (VDM '87). 1987, Brussels, Belgium: Springer-Verlag.
• Randell B. A Fault-Tolerance Based Approach to System Security. In: Milcomp. 1986, London, UK.
• Dobson JE, Randell B. Building Reliable Secure Computing Systems out of Unreliable Insecure Components. In: Conference on Security and Privacy. 1986, Oakland, USA: IEEE.
• Dobson JE, Randell B. Building Reliable Secure Computing Systems out of Unreliable Insecure Components. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1986. Computing Laboratory Technical Report Series 214.
• Randell B. Design Fault Tolerance. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1986. Computing Laboratory Technical Report Series 218.
• Campbell RH, Randell B. Error Recovery in Asynchronous Systems. IEEE Transactions on Software Engineering 1986, 12(8), 811-826.
• Jones CB. Foreword. In: Denvir, T, ed. Introduction to Discrete Mathematics for Software Engineering. Basingstoke: Macmillan Education, 1986, pp.vii-vii.
• Jones CB, Lindsay P, Wadsworth C. IPSE 2.5 theorem proving concepts paper. Manchester University and Rutherford Appleton Laboratory, 1986. 060/00021/1.5.
• Cottam ID, Jones CB, Nipkow TN, Wills AC, Wolczko M, Yaghi A. Mule - an environment for rigorous software development. Manchester: Department of Computer Science, University of Manchester, 1986.
• Jones CB. Program specification and verification in VDM. Manchester: University of Manchester, 1986. UMCS 86-10-5.
• Jones CB. Proof obligations for data reification. In: Wissenschaftliches Symposium der IBM Deutschland GmbH: Der Informationsbegriff in Technik und Wissenschaft. 1986, Bad Neuenahr: R. Oldenbourg Verlag.
• Randell B. Recursively Structured Fault-Tolerant Distributed Computing Systems. In: Skwirzynski, J.K, ed. Software System Design Methods. Berlin; New York: Springer-Verlag, 1986, pp.35-52.
• Randell B, Dobson JE. Reliability and Security Issues in Distributed Computing Systems. In: 5th IEEE International Symposium on Reliability in Distributed Software and Database Systems. 1986, Los Angeles, CA, USA: IEEE Computer Society Press.
• Randell B. System Design and Structuring. Computer Journal 1986, 29(4), 300-306.
• Jones CB. Systematic program development. In: Gehani, N. and McGettrick, A.D, ed. Software Specification Techniques. Wokingham: Addison-Wesley, 1986, pp.89-110.
• Jones CB. Systematic Program Development. In: 1983 CWI Symposium on Mathematics and Computer Science, Centrum voor Wiskunde en Informatica. 1986, Amsterdam: North-Holland.
• Jones CB. Systematic Software Development Using VDM (1st edition). Englewood Cliffs, NJ: Prentice Hall International, 1986.
• Jones CB. Teaching notes for systematic software development using VDM. Manchester: University of Manchester, 1986. UMCS-86-4-2.
• Black JP, Marshall LF, Randell B. The Architecture of UNIX United. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1986. Computing Laboratory Technical Report Series 220.
• Anyanwu JA, Marshall LF. A Crash Resistant UNIX File System. Newcastle upon Tyne: Computing Laboratory, The University of Newcastle upon Tyne, 1985. Computing Laboratory Technical Report Series 195.
• Randell B. Comments on “Memorandum on Mechanical Solution of Partial Differential Equations”. In: Masani, P, ed. Norbert Wiener: Collected Works, Vol. IV. Cambridge, Massachusetts, USA: MIT Press, 1985, pp.135.
• Jones CB. Die Rolle abstrakter Modelle in der Informationsverarbeitung. In: Chroust, G, ed. Heinz Zemanek - ein Computerpionier. Wien: R. Oldenbourg Verlag, 1985.
• Randell B. Hardware/Software Trade-offs: A general design principle?. Computer Architecture News 1985, 13(2), 19-21.
• Panzieri F, Randell B. Interfacing UNIX to Data Communications Networks. IEEE Transactions on Software Engineering 1985, 11(10), 1016-1032.
• Randell B. Introduction. In: Shrivastava, S.K, ed. Reliable Computer Systems: Collected Papers of the Newcastle Reliability Project. Heidelberg: Springer-Verlag, 1985.
• Denvir BT, Downes VA, Jones CB, Snowdon RA, Tordoff MK. IPSE 2.5 project proposal. ICL/STC-IDEC/STL/University of Manchester, 1985.
• Jones CB, Nipkow TN, Wolczo MI. MDB: A graph-like persistent database. In: Data Types and Persistence: Informal Proceedings of the First Workshop on Persistent Objects (POS -1). 1985, Appin, Scotland.
• Alty J, Brooks A, Randell B. Operating Systems for the IBM PC. In: Barnetson, P, ed. The Research and Academic Users Guide to the IBM Personal Computer. Portsmouth, UK: IBM United Kingdom Limited, 1985, pp.13-25.
• Cottam ID, Jones CB, Nipkow T et al. Project support environments for formal methods. In: 1985 Conference on Integrated Project Support Environments. 1985, York, UK: Peter Peregrinus Ltd.
• Randell B, Dobson JE. Reliability and Security Issues in Distributed Computing Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1985. Computing Laboratory Technical Report Series 210.
• Bennett KH, Marshall LF, Randell B. Reliable Computing in a UNIX United Environment. Computer Architecture Technical Committee Newsletter 1985, 23-38.
• Bennett KH, Marshall LF, Randell B. Reliable Computing in a UNIX United Environment. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1985. Computing Laboratory Technical Report Series 201.
• Jones CB. Specification, verification and testing in software development. In: 1984 CSR Workshop on Software: Requirements, Specification and Testing. 1985, University of East Anglia, UK: Blackwell Scientific.
• Randell B. System Design and Structuring. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1985. Computing Laboratory Technical Report Series 198.
• Jones CB. The Role of Proof Obligations in Software Design. In: Colloquium on Software Engineering (CSE) at the International Joint Conference on Theory and Practice of Software Development: Mathematical Foundations of Software Development (TAPSOFT). 1985, Berlin, Germany: Springer-Verlag.
• Anyanwu JA, Randell B. Update and Merge of Partitioned Distributed Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1985. Computing Laboratory Technical Report Series 204.
• Barringer H, Cheng JH, Jones CB. A Logic Covering Undefinedness in Program Proofs. Acta Informatica 1984, 21(3), 251-269.
• Morris FL, Jones CB. An Early Program Proof by Alan Turing. IEEE Annals of the History of Computing 1984, 6(2), 139-143.
• Randell B. Coping with Complexity in Systems Development. InterMedia 1984, 12(4-5), 84-85.
• Randell B. Fault Tolerance and System Structuring. In: 4th Jerusalem Conference on Information Technology: Next Decade in Information Technology (JCIT). 1984, Jerusalem, Israel: IEEE Computer Society Press.
• Jones CB. Konstruowanie oprogramowania metodą systematyczną. Warsaw: Wydawnictwa Naukowo-Techniczne, 1984.
• Jones CB, ed. Programming Languages and Their Definition. Hans Bekic (1936-1982). Selected papers. Berlin: Springer-Verlag, 1984.
• Jones CB. Specification and verification [Foreword]. IEEE Transactions on Software Engineering 1984, SE-10(2), 126-127.
• Randell B. The Newcastle Connection: A software subsystem for constructing distributed UNIX systems. In: CERN. 1984, School of Computing, Aiguablava, Catalonia, Spain.
• Randell B. The Newcastle Connection: A Software Subsystem for Constructing Distributed UNIX Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1984. Computing Laboratory Technical Report Series 194.
• Rushby JM, Randell B. A Distributed Secure System. Computer 1983, 16(7), 55-67.
• Randell B. A Mysterious Advertisement. Annals of the History of Computing 1983, 5(1), 60-63.
• Campell RH, Randell B. Error Recovery in Asynchronous Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1983. Computing Laboratory Technical Report Series 186.
• Randell B. Fault Tolerance and System Structuring. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1983. Computing Laboratory Technical Report Series 189.
• Panzieri F, Randell B. Interfacing UNIX to Data Communications Networks. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1983. Computing Laboratory Technical Report Series 190.
• Cottam ID, Jones CB, Nipkow T, Wills AC. Mule: A support system for formal specification and rigorous software development. In: BCS-FACS/SERC Conference on Program Specification and Verification. 1983, University of York, UK.
• Campbell RH, Anderson T, Randell B. Practical Fault Tolerant Software for Asynchronous Systems. In: 3rd IFAC/IFIP Workshop on Safety of Computer Control Systems: Achieving Safe Real Time Computer Systems. 1983, Cambridge: Franklin Book Co.
• Campell RH, Anderson T, Randell B. Practical Fault Tolerant Software for Asynchronous Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1983. Computing Laboratory Technical Report Series 187.
• Randell B. Recursively Structured Distributed Computer Systems. In: 3rd IEEE Symposium on Reliability on Distributed Software and Database Systems. 1983, Clearwater Beach, Florida, USA: IEEE Computer Society Press.
• Jones CB. Rigorous design: Some experiments in top-down design. In: BCS-FACS/SERC Conference on Program Specification and Verification. 1983, University of York, UK.
• Jones CB. Specification and Design of (Parallel) Programs. In: 9th IFIP World Computer Congress (Information Processing 83). 1983, Paris, France: North-Holland/IFIP.
• Jones CB. Tentative Steps Toward a Development Method for Interfering Programs. ACM Transactions on Programming Languages and Systems 1983, 5(4), 596-619.
• Rushby JM, Randell B. A Distributed Secure System. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1982. Computing Laboratory Technical Report Series 182.
• Barringer H, Jones CB. A survey of verification techniques for parallel programs. Manchester: University of Manchester, 1982.
• Bjørner D, Jones CB. Formal Specification and Software Development. Englewood Cliffs, NJ: Prentice Hall International, 1982.
• Randell B. From Analytical Engine to Electronic Digital Computer: The Contributions of Ludgate, Torres and Bush. IEEE Annals of the History of Computing 1982, 4(4), 327-341.
• Brownbridge DR, Marshall LF, Randell B. The Newcastle Connection or UNIXes of the World Unite!. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1982. Computing Laboratory Technical Report Series 175.
• Brownbridge DR, Marshall LF, Randell B. The Newcastle Connection, or - UNIXes of the World Unite!. Software: Practice and Experience 1982, 12(12), 1147-1162.
• Randell B, ed. The Origins of Digital Computers: Selected Papers. Berlin; New York: Springer, 1982.
• Randell B. The Structuring of Distributed Computing Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1982. Computing Laboratory Technical Report Series 181.
• Randell B, Treleaven PC, ed. VLSI Architecture. Englewood Cliffs, New Jersey, USA: Prentice Hall International, 1982.
• Best E, Randell B. A Formal Model of Atomicity in Asynchronous Systems. Acta Informatica 1981, 16(1), 93-124.
• Jones CB. Development methods for computer programs including a notion of interference. Oxford: Programming Research Group, Computing Lab, Oxford University, 1981. PRG-25.
• Randell B. From Analytical Engine to Electronic Digital Computer: The Contributions of Ludgate (1883-1922), Torres y Quevedo (1852-1936) and Bush (1890-1974). Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1981. Computing Laboratory Technical Report Series 164.
• Randell B. Reliability and Integrity of Distributed Computing Systems: Progress Report 1978-80. In: 11th Annual International Symposium on Fault-Tolerant Computing (FTCS). 1981, Portland, Maine, USA: IEEE Computer Society Press.
• Randell B. Review of “History of Programming Languages” ed. by R. L. Wexelblat. Science 1981, (214), 4519.
• Jones CB. Specification as a Design Base (Extended Abstract). In: 3rd Conference of the European Cooperation in Informatics: Trends in Information Processing Systems (ECI 81). 1981, Munich, Germany: Springer-Verlag.
• Jones CB. Towards more formal specifications. In: German ACM Symposium on 'Software Specifikation und Entwicklung' : Software Engineering – Entwurf und Specifikation. 1981, Berlin, Germany: Teubner Verlag.
• Randell B. Foreword. In: Stone, H, ed. Fundamentals of Computer Architecture. Science Research Associates, 1980.
• Jones CB. Models of Programming Language Concepts. In: 1979 Copenhagen Winter School on Abstract Software Specifications. 1980, Copenhagen, Denmark: Springer-Verlag.
• Randell B. Reliability and Integrity of Distributed Computing Systems: Progress Report 1978-80. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1980. Computing Laboratory Technical Report Series 154.
• Jones CB. Software Development: A Rigorous Approach. Englewood Cliffs, NJ: Prentice Hall, 1980.
• Randell B. The COLOSSUS. In: Metropolis, N., Howlett, J., Rota, G.-C, ed. A History of Computing in the Twentieth Century. New York, USA: Academic Press, 1980, pp.47-92.
• Jones CB. The role of formal specifications in software development. In: Life-Cycle Management. Maidenhead: Infotech Information Ltd, 1980, pp.117-133.
• Best E, Randell B. A Formal Model of Atomicity in Asynchronous Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1979. Computing Laboratory Technical Report Series 130.
• Randell B. An Annotated Bibliography on the Origins of Digital Computers. IEEE Annals of the History of Computing 1979, 1(2), 101-207.
• Randell B. An Annotated Bibliography on the Origins of Digital Computers. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1979. Computing Laboratory Technical Report Series 140.
• Anderson T, Randell B, ed. Computing Systems Reliability. New York: Cambridge University Press, 1979.
• Jones CB. Constructing a Theory of a Data Structure as an Aid to Program Development. Acta Informatica 1979, 11(2), 119-137.
• Randell B. La Genese des Calculateurs Electroniques. In: Perrot, M. et. al, ed. Histoire Generale des Techniques V. Les Techniques de la Civilisation Industrielle. Paris, France: Presses Universitaires de France, 1979.
• Randell B. Software Engineering in 1968. In: 4th International Conference on Software Engineering. 1979, Munich, Germany: IEEE Computer Society.
• Randell B. Software Engineering in 1968. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1979. Computing Laboratory Technical Report Series 138.
• Randell B. Software Fault Tolerance. In: European Conference on Applied Information Technology (Euro IFIP 79). 1979, London, UK: North-Holland.
• Randell B. System Reliability and Structuring. In: Anderson, T., Randell, B, ed. Computing Systems Reliability. New York, USA: Cambridge University Press, 1979, pp.1-18.
• Bjørner D, Jones CB. The Vienna Development Method: Software abstraction principles and software architecture. In: 1979 Copenhagen Winter School on Abstract Software Specifications. 1979, Copenhagen, Denmark.
• Henhapl W, Jones CB. A Formal Definition of Algol 60 as Described in the 1975 Modified Report. In: Bjørner, D. and Jones, C.B, ed. The Vienna Development Method: The Meta-Language. Berlin: Springer-Verlag, 1978, pp.305-336.
• Jones CB. Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations. In: Bjørner, D. and Jones, C.B, ed. The Vienna Development Method: The Meta-Language. Berlin: Springer-Verlag, 1978, pp.278-304.
• Randell B. Error Recovery in Distributed Computing Systems. The Computer Bulletin 1978, 2, 10.
• Randell B, Lee PA, Treleaven PC. Reliability Issues in Computing System Design. ACM Computing Surveys 1978, 10(2), 123-165.
• Randell B, Lee PA, Treleaven PC. Reliable Computing Systems. In: Flynn, M.J., Gray, J. and Jones, A.K. et. al, ed. Operating Systems: An Advanced Course. Berlin: Springer-Verlag, 1978, pp.283-393.
• Randell B. Review of “Pioneers of Computer: A Series of Archival Recordings” by C. Evans. Computing Reviews 1978, 19, 221.
• Elliott WD, Randell B. Selected Bibliography on the Structure and Design of Programming Languages. Toronto, Canada: Computer Systems Research Group, University of Toronto, 1978. 14.
• Merlin PM, Randell B. State Restoration in Distributed Systems. In: 8th International Conference on Fault-Tolerant Computing (FTCS). 1978, Toulouse, France: IEEE Computer Society Press.
• Treleavan PC, Farrell EP, Ghani N, Jones SB, Randell B, Smith PJ. The Design of Highly Concurrent Computing Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1978. Computing Laboratory Technical Report Series 126.
• Jones CB. The META-Language: A Reference Manual. In: Bjørner, D. and Jones, C.B, ed. The Vienna Development Method: The Meta-Language. Berlin: Springer-Verlag, 1978, pp.218-277.
• Jones CB. The Vienna Development Method: Examples of compiler development. In: 1978 EEC-IRIA-CREST Conference on State of the Art and Future Trends in Compilation: Le Point sur la Compilation. 1978, Montpellier, France: IRIA, Le Chesnay.
• Bjørner D, Jones CB, ed. The Vienna Development Method: The Meta-Language. Berlin: Springer-Verlag, 1978.
• Merlin PM, Randell B. Consistent State Restoration in Distributed Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1977. Computing Laboratory Technical Report Series 113.
• Jones CB. Program Specifications and Formal Development. In: 1977 International Computing Symposium (ICS 77). 1977, Liège, Belgium: North-Holland.
• Randell B, Lee PA, Treleavan PC. Reliable Computing Systems. Newcastle upon Tyne: Computing Laboratory, The University of Newcastle upon Tyne, 1977. Computing Laboratory Technical Report Series 102.
• Melliar-Smith PM, Randell B. Software Reliability: The role of programmed exception handling. In: Software Engineering Notes: ACM Conference on Language Design For Reliable Software. 1977, Raleigh, North Carolina, USA: ACM Press.
• Jones CB. Structured design and coding: Theory versus practice. Informatie 1977, 19(6), 311-319.
• Randell B. Digital Computers: Origins. In: Ralston, A., Meek, C. L, ed. Encyclopaedia of Computer Science. New York: Petrocelli/Charter Publishers, 1976, pp.532-535.
• Jones CB. Formal definition in compiler development. Vienna: IBM Laboratory, 1976. 25.145.
• Naur P, Randell B, Buxton JN. Software Engineering: Concepts and Techniques. New York: Petrocelli/Charter, 1976.
• Melliar-Smith PM, Randell B. Software Reliability: The Role of Programmed Exception Handling. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1976. Computing Laboratory Technical Report Series 95.
• Jones CB. Some requirements for specification languages. In: 1976 IBM Programming Technology Symposium. 1976, IBM Yorktown Heights Research Center, USA: IBM.
• Jones CB. Some requirements for specification languages. Vienna: IBM Laboratory, 1976. LN 25.3.108.
• Randell B. The COLOSSUS. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1976. Computing Laboratory Technical Report Series 90.
• Randell B. The History of Digital Computers. Bulletin of the Institute of Mathematics and its Applications 1976, 12(11-12), 335-346.
• Randell B. The Origins of Digital Computers: Supplementary Bibliography. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1976. Computing Laboratory Technical Report Series 91.
• Randell B. Computing System Reliability: Prospect and Retrospect. In: Calcolo: Meeting on Twenty years of Computer Science. 1975, Pisa, Italy: Springer Italia Srl.
• Jones CB. Formal Definition in Program Development. In: 4th Informatik Symposium: Programming Methodology. 1975, IBM Germany, Wildbad: Springer-Verlag.
• Bekic H, Izbicki H, Jones CB, Weissenbock F. Some experiments with using a formal language definition in compiler development. Vienna: IBM Laboratory, 1975. LN 25.3.107.
• Randell B. System Structure for Software Fault Tolerance. In: International Conference on Reliable Software. 1975, Los Angeles, CA, USA: ACM Press.
• Randell B. System Structure for Software Fault Tolerance. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1975. Computing Laboratory Technical Report Series 75.
• Bekic H, Bjørner D, Henhapl W, Jones CB, Lucas P. A formal definition of a PL/I subset. Vienna: IBM Laboratory, 1974. 25.139.
• Horning JJ, Lauer HC, Melliar-Smith PM, Randell B. A Program Structure for Error Detection and Recovery. In: International Symposium on Operating Systems: Theoretical and Practical Aspects. 1974, Rocquencourt, France: Springer-Verlag.
• Horning JJ, Lauer HC, Melliar-Smith PM, Randell B. A Program Structure for Error Detection and Recovery. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1974. Computing Laboratory Technical Report Series 59.
• Randell B. Research on Computing System Reliability at the University of Newcastle upon Tyne. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1974. Computing Laboratory Technical Report Series 57.
• Randell B. System Reliability: Interaction of operating system and machine. In: INFOTECH State of the Art Report on Computer Design. Maidenhead: Infotech Information, 1974, pp.369-384.
• Randell B. The History of Digital Computers. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1974. Computing Laboratory Technical Report Series 65.
• Hanford KV, Jones CB. Dynamic Syntax: A Concept for the Definition of the Syntax of Programming Languages. Annual Review in Automatic Programming 1973, 7, 115-140.
• Jones CB. Formal development of programs. Hursley: IBM Laboratory, 1973. 12.117.
• Chapman DN, Jones CB. Formal development: An example using FDSS. Hursley: IBM Laboratory, 1973. TN 9007.
• Horning JJ, Randell B. Process Structuring. ACM Computing Surveys 1973, 5(1), 5-30.
• Allen CD, Jones CB. The formal development of an algorithm. Hursley: IBM Laboratory, 1973. 12.110.
• Allen CD, Chapman DN, Jones CB. A formal definition of ALGOL 60. Hursley: IBM Laboratory, 1972. 12.105.
• Randell B. COLOSSUS: Godfather of the computer. New Scientist 1972, 73(1038), 346-348.
• Jones CB. Formal development of correct algorithms: an example based on Earley’s recogniser. In: ACM Conference on Proving Assertions about Programs. 1972, New Mexico State University, Las Cruces, New Mexico: ACM.
• Randell B. On Alan Turing and the Origins of Digital Computers. In: Meltzer, B., Michie, D, ed. Machine Intelligence. Edinburgh, UK: Edinburgh University Press, 1972, pp.3-20.
• Randell B. On Alan Turing and the Origins of Digital Computers. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1972. Computing Laboratory Technical Report Series 33.
• Randell B. Operating Systems: The problems of performance and reliability. In: IFIP Congress 1971: Information Processing 71. 1972, Ljubljana, Yugoslavia: North-Holland Publishing.
• Jones CB. Operations and formal development. Hursley: IBM Laboratory, 1972. TN 9004.
• Denning PJ, Randell B, ed. Special Issue on Third ACM Symposium on Operating Systems Principles. New York, USA: ACM Press, 1972.
• Randell B. The Origins of Digital Computers: A Bibliography. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1972. Computing Laboratory Technical Report Series 38.
• Alderson A, Lynch WC, Randell B. Thrashing in a Multi-programmed Paging System. In: Hoare, C.A.R., Perrott, R.H, ed. Operating Systems Techniques. New York; London: Academic Press, 1972, pp.152-167.
• Henhapl W, Jones CB. A Run-Time Mechanism for Referencing Variables. Information Processing Letters 1971, 1(1), 14-16.
• Cocke J, Schorr H, Randell B, Sussenguth E. Apparatus and Method in a Digital Computer for Allowing Improved Program Branching with Branch Anticipation, Reduction of the Number of Branches, and Reduction of Branch Delays. USA: IBM, 3,577,189, 1971.
• Jones CB. Development of correct programs: An example based on Earley's recogniser. Hursley: IBM Laboratory, 1971. TN 9000.
• Hanford KV, Jones CB. Dynamic syntax: A concept for the definition of the syntax of programming languages. Hursley: IBM Laboratory, 1971. 12.090.
• Jones CB. Formal development of correct algorithms: an example based on Earley's recogniser. Hursley: IBM Laboratory, 1971. 12.095.
• Randell B. Highly Reliable Computing Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1971. Computing Laboratory Technical Report Series 20.
• Randell B. Large Program Design Methodology. In: Turski, W, ed. Efficient Production of Large Programs. Warsaw, Poland: Computation Centre of the Polish Academy of Sciences, 1971, pp.35-38.
• Randell B. Ludgate's Analytical Machine of 1909. The Computer Journal 1971, 14(3), 317-326.
• Randell B. Ludgate's Analytical Machine of 1909. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1971. Computing Laboratory Technical Report Series 15.
• Randell B. Operating Systems: The Problems of Performance and Reliability. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1971. Computing Laboratory Technical Report Series 17.
• Coffman EG, Randell B. Performance Predications for Extended Paged Memories. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1971. Computing Laboratory Technical Report Series 16.
• Coffman EG, Randell B. Performance Predictions for Extended Paged Memories. Acta Informatica 1971, 1(1), 1-13.
• Jones CB, Lucas P. Proving Correctness of Implementation Techniques. In: Engeler, E, ed. Symposium on Semantics of Algorithmic Languages. Berlin: Springer-Verlag, 1971, pp.178-211.
• Jones CB. Sufficient properties for implementation correctness. Hursley: IBM Laboratory, 1971. TN 9002.
• Alderson A, Lynch WC, Randell B. Thrashing in a Multi-Programmed Paging System. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1971. Computing Laboratory Technical Report Series 26.
• Henhapl W, Jones CB. A run-time mechanism for referencing variables. Vienna: IBM Laboratory, 1970. LR 25.3.074.
• Jones CB. A technique for showing that two functions preserve a relation between their domains. Vienna: IBM Laboratory, 1970. LR 25.3.067.
• Dijkstra EW, Duncan FG, Garwick JV, Hoare CAR, Randell B, Seegmueller G, Turski WM, Woodger M. Minority Report. ALGOL Bulletin 1970, 31, 7.
• Henhapl W, Jones CB. On the interpretation of GOTO statements in the ULD. Vienna: IBM Laboratory, 1970. LN 25.3.065.
• Jones CB, Lucas P. Proving correctness of implementation techniques. Vienna: IBM Laboratory, 1970. 25.110.
• Randell B, Buxton JN, ed. Software Engineering Techniques: Report of a conference sponsored by the NATO Science Committee, Rome, Italy, 27th-31st October 1969. Brussels, Belgium: Scientific Affairs Division, NATO, 1970.
• Henhapl W, Jones CB. Some observations on the implementation of reference mechanisms for automatic variables. Vienna: IBM Laboratory, 1970. LR 25.3.070.
• Henhapl W, Jones CB. The block concept and some possible implementations, with proofs of equivalence. Vienna: IBM Laboratory, 1970. 25.104.
• Randell B. The Gentle Art of Programming: Inaugural Lecture, University of Newcastle upon Tyne. 1970, Newcastle upon Tyne: University of Newcastle upon Tyne.
• Jones CB. Yet another proof of the block concept. Vienna: IBM Laboratory, 1970. LN 25.3.075.
• Jones CB. A comparison of two approaches to language definition as bases for the construction of proofs. Vienna: IBM Laboratory, 1969. LN 25.3.050.
• Randell B. A Note on Storage Fragmentation and Program Segmentation. Communications of the ACM 1969, 12(7), 365-369, 372.
• Jones CB. A proof of the correctness of an interpreter based on axiom schema. Vienna: IBM Laboratory, 1969. LN 25.3.053.
• Jones CB. A proof of the correctness of some optimising techniques. Vienna: IBM Laboratory, 1969. LN 25.3.051.
• Conway L, Randell B, Rozenberg DP, Senzig DN. Dynamic Instruction Scheduling. Yorktown Heights, NY, USA: IBM T. J. Watson Research Center, 1969. RJ 565.
• Randell B. Interacting Sequential Processes. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1969. Computing Laboratory Technical Report Series 4.
• Naur P, Randell B, ed. Software Engineering: Report of a conference sponsored by the NATO Science Committee, Garmisch, Germany, 7th-11th October 1968. Brussels, Belgium: Scientific Affairs Division, NATO, 1969.
• Horning JJ, Randell B. Structuring Complex Processes. Yorktown Heights, NY, USA: IBM T.J. Watson Research Center, 1969. RC 2459.
• Glassover SM, Hanford KV, Jones CB. The syntax machine: A description. Hursley: IBM Laboratory, 1969. 12.078.
• Randell B. Towards a Methodology of Computing System Design. Software Engineering 1969, 204-208.
• Randell B. A Note on Storage Fragmentation and Program Segmentation. Yorktown Heights, NY, USA: IBM T.J. Watson Research Center, 1968. RC 2102.
• Kuehner CJ, Randell B. Demand Paging in Perspective. In: Fall Joint Computer Conference. 1968, San Francisco, California, USA.
• Kuehner CJ, Randell B. Demand Paging in Perspective. Yorktown Heights, NY, USA: IBM T.J. Watson Research Center, 1968. RC-2099.
• Randell B, Kuehner CJ. Dynamic Storage Allocation Systems. Communications of the ACM 1968, 11(5), 297-306.
• Zurcher FW, Randell B. Iterative Multi-Level modelling: A methodology for computer system design. In: IFIP Congress 1968: Information Processing. 1968, Edinburgh, UK: North-Holland Publishing.
• Zurcher FW, Randell B. Iterative Multi-Level Modelling: A methodology for computer system design. Yorktown Heights, NY, USA: IBM T.J. Watson Research Center, 1968. RC 2292.
• Jones CB. Mathematical semantics of goto: Exit formulation and its relation to continuations. Vienna: IBM Laboratory, 1968.
• Zurcher FW, Randell B. Multilevel Modeling - A Methodology for Computer System Design. Yorktown Heights, NY, USA: IBM T.J. Watson Research Center, 1968. SIMP-1968-50.
• Randell B. Review of “Description of ALGOL 60” by H. Rutishauser (Review no. 14821). Computing Reviews 1968, 9, 415-416.
• Randell B. Review of “Hardware Factors for Real-Time Systems” by E. Yourdon (Review no. 14499). Computing Reviews 1968, 9, 333.
• Randell B. Review of “The Design of a Modular Real-Time Supervisor” by E. Yourdon (Review no. 14513). Computing Reviews 1968, 9, 338.
• Randell B. Review of “Translation of ALGOL 60” by A. A. Grau et al (Review no. 14958). Computing Reviews 1968, 9, 452.
• Glassover SN, Hanford KV, Jones CB. The Syntax Machine. In: 1968 IBM Programming Symposium. 1968, Atlantic City, New Jersey, USA: IBM.
• Glassover SM, Hanford KV, Jones CB. The syntax machine: An introduction. Hursley: IBM Laboratory, 1968. 12.077.
• Hanford KV, Jones CB. An Approach to Context Dependency. In: 1967 IBM Programming Symposium. 1967, Swampscott, Mass.,USA: IBM.
• Randell B, Zweig E, Lehman M. Deadline Scheduling. Yorktown Heights, NY, USA: IBM T.J. Watson Research Center, 1967. RC 1842.
• Randell B, Kuehner CJ. Dynamic Storage Allocation Systems. Yorktown Heights, NY, USA: IBM T.J. Watson Research Center, 1967. RC-1837.
• Randell B. Review of “AMTRAN, a Remote Terminal, Conversational-Mode Computer System” by J. Reinfelds et al (Review no. 11204). Computing Reviews 1967, 8(1), 49.
• Schofield PB, Jones CB. A random generator for the automatic production of executable PL/I programs (APEX). Hursley: IBM Laboratory, 1966. 12.062.
• Jones CB. A retrospective view of APEX (Automatic Production of Executable Programs). Hursley: IBM Laboratory, 1966. 12.065.
• Schofield PB, Jones CB. APEX manual. Hursley: IBM Laboratory, Hursley, 1966.
• Randell B. Review of “Introduction to ALGOL Programming” by T. Ekman and C-E. Froberg (Review no. 10460). Computing Reviews 1966, 7, 412.
• Jones CB. A special purpose compiler. The Computer Journal 1965, 8(2), 109-112.
• Randell B. Review of “TALK - A high level source language debugging technique with real-time data extraction” by R. L. ver Steeg (Review no. 6950). Computing Reviews 1965, 6(1), 30.
• Randell B. Review of “The Efficient Administration of Blocks in ALGOL” by P. A. Samet (Review no. 8858). Computing Reviews 1965, 6(3), 398.
• Randell B, Russell LJ. ALGOL 60 Implementation: the Translation and Use of ALGOL 60 Programs on a Computer. New York, USA: Academic Press, 1964.
• Randell B. Review of “An Introduction to ALGOL Programming” by R. Wooldridge and J. F. Ratcliffe. The Computer Bulletin 1964, 7(4), 136-137.
• Randell B, Russell LJ. Single-Scan Techniques for the Translation of Arithmetic Expressions into Algol 60. Journal of the ACM 1964, 11(2), 159-167.
• Randell B. The Whetstone KDF9 Algol Translator. In: Wegner, P, ed. Introduction to System Programming. London, UK: Academic Press, 1964, pp.122-136.
• Randell B. Whetstone Algol Revisited, or Confessions of a Compiler Writer. APIC Bulletin 1964, (21).
• Randell B. Certification of Algorithms 63, 64 and 65: Partition, Quicksort and Find. Communications of the ACM 1963, 6(8), 446.
• Randell B. Review of “Machine Independent Computer Programming” by M. H. Halstead. APIC Bulletin 1963, (17), 39-41.
• Randell B. Review of “Process for an ALGOL Translator by G. van der Mey. APIC Bulletin 1963, (18), 9-11.
• Randell B. Certification of Algorithm 50: Inverse of a Finite Segment of the Hilbert Matrix. Communications of the ACM 1962, 5(1), 50.
• Randell B, Broyden CG. Certification of Algorithm 66: INVRS. Communications of the ACM 1962, 5(1), 50.
• Randell B, Russell LJ. DEUCE ALGOL. Whetstone, Leicester: Atomic Power Division, English Electric Co, 1962. W/AT 844.
• Randell B, Russell LJ. Discussions on ALGOL Translation, at Mathematisch Centrum. Whetstone, Leicester: Atomic Power Division, English Electric Co, 1962. W/AT 841.
• Randell B. Proposals for Code Procedures in KDF9 Algol. Whetstone, Leicester: Atomic Power Division, English Electric Co, 1962. W/AT 867.
• Randell B. The Object Programme Generated by the Whetstone KDF9. Whetstone, Leicester: Atomic Power Division, English Electric Co, 1962. W/AT 872.
• Randell B. The Whetstone KDF9 ALGOL Translator. Whetstone, Leicester: Atomic Power Division, English Electric Co, 1962.
• Kelly MJ, Randell B. EASICODE. Whetstone, Leicester: Atomic Power Division, English Electric Co, 1960. W/AT 585.
• Randell B. Multi-Section EASICODE. Whetstone, Leicester: Atomic Power Division, English Electric Co, 1960. W/AT 603.
• Kelly MJ, Randell B. Preliminary Report on EASICODE. Whetstone, Leicester: Atomic Power Division, English Electric Co, 1958. W/AT 216.