Publications

Systems 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.
Mitrani I. Managing performance and power consumption in a server farm. Annals of Operations Research 2013, 202(1), 121-134.
Hayes IJ, Jones CB, Colvin RJ. Refining rely-guarantee thinking. Formal Aspects of Computing 2013. Submitted.
Molina-Jimenez C, Shrivastava S, Strano M. A Model for Checking Contractual Compliance of Business Interactions. IEEE Transactions on Services Computing 2012, 5(2), 276-289.
Alekeish K, Ezhilchelvan P. Consensus in Sparse, Mobile Ad-hoc Networks. IEEE Transactions on Parallel and Distributed Systems 2012, 23(3), 467-474.
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.
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.
Parkin S, Morgan G. Toward reusable SLA monitoring capabilities. Software: Practice and Experience 2012, 42(3), 261-280.
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.
Xia F, Mokhov A, Zhou Y, Chen Y, Mitrani I, Shang D, Sokolov D, Yakovlev A. Towards power-elastic systems through concurrency management. IET Computers and Digital Techniques 2012, 6(1), 33-42.
Mitrani I. Trading Power Consumption Against Performance by Reserving Blocks of Servers. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012.
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.
Kim K, Thomas N. A fitting method with generalized Erlang distributions and its matrix interpretation. Simulation Modelling Practice and Theory 2011, 19(7), 1507-1517.
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.
Sharp C, Morgan G. A Many Systems Interpretation of Concurrency Control. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1299.
Watson P. A Multi-Level Security Model for Partitioning Workflows over Federated Clouds. Newcastle upon Tyne: Newcastle University, 2011. School of Computing Science Technical Report Series 1271.
Watson P. A Multi-Level Security Model for PartitioningWorkflows over Federated Clouds. In: Third International Conference on Cloud Computing Technology and Science (CloudCom). 2011, Athens, Greece: IEEE.
Bleikertz S, Gross T. A Virtualization Assurance Language for Isolation and Deployment. In: International Symposium on Policies for Distributed Systems and Networks (POLICY). 2011, Pisa, Italy: IEEE.
Gross T, Karjoth G. Access control in data processing systems. US, US13/077,881, 31 March 2011.
Woodman S, Hiden H, Watson P, Missier P. Achieving Reproducibility by Combining Provenance with Service and Workflow Versioning. In: 6th Workshop on Workflows in Support of Large-Scale Science. 2011, Seattle, Washington, USA: ACM Digital Library.
Younes O, Thomas N. An SRN Model of the IEEE 802.11 DCF MAC Protocol in Multi-Hop Ad Hoc Networks with Hidden Nodes. The Computer Journal 2011, 54(6), 875-893.
Thomas N, Bradley J. Analysis of Non-product Form Parallel Queues Using Markovian Process Algebra. In: Kouvatsos, D, ed. Handbook on Convergent Multi-Service Networks and Next Generation Internet. Berlin; New York: Springer, 2011, pp.331-342.
Bichsel P, Camenisch J, Gross T, Shoup V. Anonymous Credentials on Java Card. In: 21st Fraunhofer SIT-Smartcard Workshop. 2011, Darmstadt, Germany: Fraunhofer Verlag.
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.
Bleikertz S, Gross T, Schunter M, Eriksson K. Automated Information Flow Analysis of Virtualized Infrastructures. In: 16th European Symposium on Research in Computer Security (ESORICS). 2011, Leuven, Belgium: Springer.
Bleikertz S, Gross T, Mödersheim S. Automated Verification of Virtualized Infrastructures. In: 3rd ACM Workshop on Cloud Computing Security Workshop (CCSW). 2011, Chicago, Illinois, USA: ACM Press.
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.
Watson P, Leahy D, Cala J, Sykora V, Hiden H, Woodman S, Taylor M, Searson D. Cloud Computing for Chemical Activity Prediction. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1242.
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.
Woodman S, Hiden H, Watston P, Cala J. Developing Applications using the e-Science Central API. In: UK e-Science All Hands Meeting. 2011, York.
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.
Suresh V, Ezhilchelvan P, Watson P, Pham C, Jackson D, Olivier P. Distributed Event Processing For Activity Recognition. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1258.
Kenwright B, Davison R, Morgan G. Dynamic Balancing and Walking for Real-Time 3D Characters. In: Motion in Games: 4th International Conference (MIG). 2011, Edinburgh, UK: Springer.
Camenisch J, Gross T, Heydt-Benjamin TS. Efficient Tight Interval Proofs with Camenisch-Gross Encoding. Zurich, Switzerland: IBM Research Division, 2011. IBM Research Report RZ3800.
Jones CB, Pierce KG. Elucidating concurrent algorithms via layers of abstraction and reification. Formal Aspects of Computing 2011, 23(3), 289-306.
Zhao J, Sahoo S, Missier P, Sheth A, Goble C. Extending semantic provenance into the web of data. IEEE Internet Computing 2011, 15(1), 40-48.
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.
Missier P, Ludäscher B, Dey S, Wang M, McPhillips T, Bowers S, Agun M, Altintas I. Golden-Trail: Retrieving the Data History that Matters from a Comprehensive Provenance Repository. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1300.
Missier P. Incremental workflow improvement through analysis of its data provenance. In: 3rd USENIX Workshop on the Theory and Practice of Provenance (TaPP). 2011, Heraklion, Crete, Greece: CEUR.
Payne RJ, Fitzgerald JS. Interface Contracts for Architectural Specification and Assessment: a SysML Extension. In: Workshop on Dependable Systems of Systems. 2011, York, UK.
Solaiman K, Morgan G. Later Validation/Earlier Write: Concurrency Control for Resource-Constrained Systems with Real-Time Properties. In: IEEE 30th Symposium on Reliable Distributed Systems Workshops. 2011, Madrid, Spain: IEEE.
Zhao Y, Thomas N. Mean value analysis for a class of PEPA models. The Computer Journal 2011, 54(5), 643-652.
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.
Ezhilchelvan P. Near Certain Multicast Delivery Guarantees Amidst Perturbations in Computer Clusters. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1267.
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.
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.
Harrison P, Thomas N. Product-Form Solution in PEPA via the Reversed Process. In: Kouvatsos, D, ed. Network Performance Engineering: A Handbook on Convergent Multi-Service Networks and Next Generation Internet. Berlin; New York: Springer-Verlag, 2011, pp.343-356.
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.
Kenwirght B, Davison R, Morgan G. Real-Time Deformable Soft-Body Simulation using Distributed Mass-Spring Approximations. In: The Third International Conference on Creative Content Technologies (CONTENT). 2011, Rome, Italy: IARIA.
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.
Walker DW, Atkinson MP, Brooke JM, Watson P. Selected papers from the 2010 e-Science All Hands Meeting PREFACE. Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences 2011, 369(1949), 3251-3253.
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.
Mitrani I. Service center trade-offs between customer impatience and power consumption. Performance Evaluation 2011, 68(11), 1222-1231.
Colquhoun J, Devlin M, Marshall L. SHAPE your CLASS: Improving the Lecture Experience. In: Learning & Teaching Research Conference (CLTR). 2011, Ormskirk, Lancashire.
Curcin V, Missier P, De Roure D. Simulating Taverna workflows using stochastic process algebras. Concurrency and Computation: Practice & Experience 2011, 23(16), 1920-1935.
Mace JC, van Moorsel A, Watson P. The Case for Dynamic Security Solutions in Public Cloud Workflow Deployments. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1246.
Moreau L, Clifford B, Freire J, Futrelle J, Gil Y, Groth P, Kwasnikowska N, Miles S, Missier P, Myers J, Plale B, Simmhan Y, Stephan E, Van den Bussche J. The Open Provenance Model Core Specification (v1.1). Future Generation Computer Systems 2011, 27(6), 743-756.
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.
Gross T, Mödersheim S. Vertical Protocol Composition. In: 24th Computer Security Foundations Symposium (CSF). 2011, Cernay-la-Ville, France: IEEE.
Gross T, Mödersheim S. Vertical Protocol Composition (Extended Version). Zurich, Switzerland: IBM Research Division, 2011. IBM Research Report RZ3803.
Missier P, Goble C. Workflows to Open Provenance Graphs, round-trip. Future Generation Computer Systems 2011, 27(6), 812-819.
Mihoob A, Molina-Jimenez C, Shrivastava S. A case for consumer-centric resource accounting models. In: 3rd International Conference on Cloud Computing (CLOUD). 2010, Miami, Florida, USA: IEEE.
Mace J C, Parkin SE, van Moorsel A. A Collaborative Ontology Development Tool for Information Security Managers. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1212.
Tan W, Missier P, Foster I, Madduri R, Goble C. A comparison of using Taverna and BPEL in building scientific workflows: the case of caGrid. Concurrency and Computation: Practice and Experience 2010, 22(9), 1098-1117.
Mortimer D, Cook N. A Declarative Approach to Configuring Business-to-Business Conversations. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1214.
Sroka J, Hidders J, Missier P, Goble C. A formal semantics for the Taverna 2 workflow model. Journal of Computer and System Sciences 2010, 76(6), 490-508.
Colquhoun J, Watson P. A P2P Database Server Based on BitTorrent. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1183.
Parkin S, van Moorsel A, Inglesant P, Sasse MA. A Stealth Approach to Usable Security: Helping IT Security Managers to Identify Workable Security Solutions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1209.
Parkin S, van Moorsel A, Inglesant P, Sasse MA. A Stealth Approach to Usable Security: Helping IT Security Managers to Identify Workable Security Solutions. In: New Security Paradigms Workshop (NSPW). 2010, Concord, Massachusetts, USA: ACM.
Fowler C, Watson P. A Tripartite Security Model for Dynamic Service-Oriented Systems Using DynaSOAr. In: IEEE International Conference on Web Services. 2010, Miami, Florida, USA: IEEE Computer Society.
Hiden H, Watson P, Leahy D, Cala J, Searson D, Sykora V, Woodman S. Accelerating Chemical Property Prediction with Cloud Computing. In: Microsoft e-Science Workshop. 2010, Berkeley, CA: Microsoft.
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.
Machulak M, van Moorsel A. Architecture and Protocol for User-Controlled Access Management in Web 2.0 Applications. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1191.
Larsen PG, Fitzgerald JS, Wolff S. Are Formal Methods Ready for Agility? A Reality Check. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1218.
Clarke D, Ezhilchelvan P. Assessing the attack resilience capabilities of a fortified primary-backup system. In: Proceedings of the International Conference on Dependable Systems and Networks. 2010, Chicago, Illinois, USA: IEEE.
Camenisch J, Gross T. Attributes in cryptographic credentials. Armonk, New York, US: International Business Machines Corporation, Patent application US20100115281, 6 May 2010.
Cala J, Watson P. Automatic Software Deployment in the Azure Cloud. In: Distributed Applications and Interoperable Systems: 10th IFIP WG 6.1 International Conference (DAIS). 2010, Amsterdam, The Netherlands: Springer.
Cala J, Watson P. Automatic Software Deployment in the Azure Cloud. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1206.
Gross T. Browser-based Identity Federation. Germany: Ruhr-University Bochum, 2010.
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.
Fitzgerald J, Larsen P, Pierce K, Verhoef M, Wolff S. Collaborative modelling and co-simulation in the development of dependable embedded systems. In: Integrated Formal Methods: 8th International Conference (IFM). 2010, Nancy, France: Springer.
Bussani A, Camenisch J, Gross T, Husemann D, Sommer D. Confidential Presentations in Virtual World Infrastructure. Armonk, New York, US: International Business Machines Corporation, Patent application US20100058443, 4 March 2010.
Alekeish K, Ezhilchelvan P. Consensus in Sparse, Mobile Ad-hoc Networks. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1208.
Camenisch J, Casati N, Gross T, Shoup V. Credential Authenticated Identification and Key Exchange. In: Advances in Cryptology (CRYPTO): 30th Annual Cryptology Conference. 2010, Santa Barbara, California, USA: Springer.
Camenisch J, Casati N, Gross T, Shoup V. Credential-Authenticated Identification and Key Exchange (Extended Version). Berlin: IACR, 2010. Cryptology ePrint Archive 2010/055.
Camenisch J, Gross T, Heydt-Benjamin TS. Cryptographic encoding and decoding of secret data. Armonk, New York, US: International Business Machines Corporation, United States Patent Application 20100142704, 6 June 2010.
Machulak M, Moren L, van Moorsel A. Design and Implementation of User-Managed Access Framework for Web 2.0 Applications. Newcastle University, UK: Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1221.
MacHulak M, Moreń Ł, Van Moorsel A. Design and implementation of user-managed access framework for web 2.0 applications. In: Proceedings of the 5th Workshop on Middleware for Service Oriented Computing, MW4SOC 2010, Held at the ACM/IFIP/USENIX International Middleware Conference. 2010, Bangalore, India: ACM Press.
Bryans JW. Developing a Consensus Algorithm using Stepwise Refinement. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1228.
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.
Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A, Varpaaniemi K, Ilic D, Latvala T. Developing Mode-Rich Satellite Software by Refinement in Event B. In: Formal Methods for Industrial Critical Systems: 15th International Workshop (FMICS). 2010, Antwerp, Belgium: Springer.
Watson P, Hiden H, Woodman S. e-Science Central for CARMEN: Science as a service. Concurrency and Computation: Practice and Experience 2010, 22(17), 2369-2380.
Hiden H, Watson P, Woodman S, Leahy D. e-Science Central: Cloud-based e-Science and its application to chemical property modelling. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1227.
Watson P, Hiden H, Woodman S, Leahy D, Cala J. e-Science Central: e-Science on the Web, powered by Clouds. In: UK e-Science All Hands Meeting. 2010, Cardiff.
Watson P, Trefethen A, Vander Meer E. e-Science: past, present and future I Introduction. Philosophical Transactions of the Royal Society of London A:Mathematical, Physical and Engineering Sciences 2010, 368(1925), 3759-3760.
Camenisch J, Gross T. Efficient attributes for anonymous credentials (Extended Version). Berlin: IACR, 2010. Cryptology ePrint Archive 2010/496.
Zhao Y, Thomas N. Efficient solutions of a PEPA model of a key distribution centre. Performance Evaluation 2010, 67(8), 740-756.
Pirro G, Trunfio P, Talia D, Missier P, Goble C. ERGOT: A Semantic-Based System for Service Discovery in Distributed Infrastructures. In: 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing (CCGRID '10). 2010, Melbourne, Australia: IEEE.
Reinecke P, Wolter K, van Moorsel A. Evaluating the adaptivity of computing systems. Performance Evaluation 2010, 67(8), 676-693.
Missier P, Paton N, Belhajjame K. Fine-grained and efficient lineage querying of collection-based workflow provenance. In: EDBT/ICDT 2010 Joint Conference. 2010, Lausanne, Switzerland: EDBT.
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.
Bryans JW, Wei W. Formal Analysis of BPMN Models Using Event-B. In: Formal Methods for Industrial Critical Systems: 15th International Workshop (FMICS). 2010, Antwerp, Belgium: Springer.
Grotsev D, Iliasov A, Romanovsky A. Formal Stepwise Development of Scalable and Reliable Multiagent Systems. Newcastle upon Tyne, UK: Newcastle University, 2010. School of Computing Science Technical Report Series 1226.
Camenisch J, Gross T. Forming Credentials. Armonk, New York, US: International Business Machines Corporation, Patent application US20100063932, 11 March 2010.
Missier P, Wolstencroft K, Tanoh F, Li P, Bechhofer S, Belhajjame K, Goble C. Functional Units: Abstractions for Web Service Annotations. In: Fourth International Workshop on Scientific Workflows (SWF). 2010, Miami, Florida, USA: IEEE.
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.
Missier P, Sahoo SS, Zhao J, Sheth A, Goble C. Janus: from Workflows to Semantic Provenance and Linked Open Data. In: 3rd International Provenance and Annotation Workshop (IPAW). 2010, Troy, New York, USA: IPAW.
Freitas L, Jones CB. Learning from an expert's proof: AI4FM. In: UV10 (Usable Verification). 2010, Redmond, Washington, USA.
Ezhilchelvan P, Shrivastava S. Learning from the Past for Resolving Dilemmas of Asynchrony. Operating Systems Review 2010, 44(2), 58-63.
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.
Smith C, van Moorsel A. Mitigating Provider Uncertainty In Service Provision Contracts. In: Neumann, D; Baker, M; Altmann, J; Rana, OF, ed. Economic Models and Algorithms for Distributed Systems. Basel, Switzerland: Birkhäuser, 2010, pp.143-159.
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.
Lopatkin I, Iliasov A, Romanovsky A. On Fault Tolerance Reuse during Refinement. In: 2nd International Workshop on Software Engineering for Resilient Systems (SERENE). 2010, London, UK: ACM DL.
Abdelsadiq A, Molina-Jimenez C, Shrivastava S. On Model Checker Based Testing of Electronic Contracting Systems. In: IEEE International Conference on Commerce and Enterprise Computing (CEC 2010). 2010, Shanghai, China: IEEE.
Hobona G, Fairbairn D, Hiden H, James P. Orchestration of Grid-enabled Geospatial Web Services in Geoscientific Workflows. IEEE Transactions on Automation Science and Engineering 2010, 7(2), 407-411.
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.
Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A. Patterns for Refinement Automation. In: Formal Methods for Components and Objects: 8th International Symposium (FMCO 2009). 2010, Eindhoven, The Netherlands: Springer.
Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A. Patterns for Refinement Automation. In: Formal Methods for Components and Objects: 8th International Symposium (FMCO). 2010, Eindhoven, Netherlands: Springer.
Chen X, Thomas N. Performance Evaluation of Scheduling in a Smart Environment. In: 26th UK Performance Engineering Workshop. 2010, University of Warwick, UK.
Yassin Kassab R, van Moorsel A. Predicting Compliance of WSLA Contracts Using Automated Model Creation. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1204.
Camenisch J, Gross T, Scott-Heydt B. Preliminary Thoughts on Privacy Supporting Binding of Biometrics to Credentials. In: 3rd Hot Topics in Privacy Enhancing Technologies (HotPETS). 2010, Berlin, Germany.
Camenisch J, Gross T, Hladky P, Hörtnagl C. Privacy-friendly Incentives and their Application to Wikipedia. In: 2nd IFIP WG 11.6 Working Conference on Policies and Research in Identity Management (IDMAN). 2010, Oslo, Norway: Springer.
Camenisch J, Gross T, Hladky P, Hoertnagl C. Privacy-friendly Incentives and their Application to Wikipedia (Extended Version). Berlin: IACR, 2010. Cryptology ePrint Archive 2010/401.
Bussani A, Camenisch J, Gross T, Husemann D, Schmidt A, Sommer D. Providing an ad-hoc 3d GUI within a virtual world to a non-virtual world application. Armonk, New York, US: International Business Machines Corporation, Patent application US20100023889, 28 January 2010.
Colquhoun J, Watson P. Query Matching in a BitTorrent-Based P2P Database System. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1184.
Gorbenko A, Kharchenko V, Mamutov S, Tarasyuk O, Chen Y, Romanovsky A. Real Distribution of Response Time Instability in Service-Oriented Architecture. In: 29th IEEE Symposium on Reliable Distributed Systems (SRDS). 2010, New Delhi, India: IEEE.
Jones CB, Roscoe AW, Wood KR, ed. Reflections on the Work of C.A.R. Hoare. London: Springer, 2010.
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.
Thomson RG, Colquhoun J, Beyer FR, Critchley J, Lambert M, Faye M, Wood VJ, Sugden RC, van Moorsel A, Eccles M, Prentice M. Risk Communication and Shared Decision Making in High Risk Cardiovascular Patients - a Tool in Development. In: International Conference on Communication in Healthcare 2010. 2010, Verona, Italy: Elsevier/European Association for Communication in Healthcare.
Missier P, Ludascher B, Bowers S, Anand MK, Altintas I, Dey S, Sarkar A, Shrestha B, Goble C. Seamless Provenance Representation and Use in Collaborative Science Scenarios [abstract]. In: AGU Fall Meeting. 2010, San Francisco, California, USA: AGU.
Thomas N, Marin A, Harrison P. Semi-product-form solution for models with state dependent rates. In: 9th Workshop on Process Algebra and Stochastically Timed Activities. 2010, London, UK.
Suresh V, Hill G, Blythe P, Bell M. Smart infrastructure for carbon foot print analysis of electric vehicles. In: IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC. 2010, Funchal, Madeira, Portugal: IEEE.
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.
Younes O, Thomas N. SRN model for IEEE 802.11 DCF MAC Protocol in Multi-hop Ad Hoc Networks with Hidden Nodes. In: 26th UK Performance Engineering Workshop. 2010, University of Warwick, UK.
Harrison P, Thomas N. State dependent rates and semi-product form via the reversed process. In: Computer Performance Engineering: 7th European Performance Engineering Workshop. 2010, Bertinorio, Italy: Springer Verlag.
Chen Y, Mitrani I, Shang D, Xia F, Yakovlev A. Stochastic analysis of power, latency and the degree of concurrency. In: IEEE International Symposium on Circuits and Systems: Nano-Bio Circuit Fabrics and Systems (ISCAS). 2010, Paris, France: IEEE.
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.
Laibinis L, Troubitsyna E, Iliasov A, Romanovsky A. System Architecture, Dependability and Modes. In: 8th European Dependable Computing Conference (Fast Abstract Track). 2010, Valencia, Spain.
Missier P, Soiland-Reyes S, Owen S, Tan W, Nenadic A, Dunlop I, Williams A, Oinn T, Goble C. Taverna, reloaded. In: 22nd International Conference on Scientific and Statistical Database Management (SSDBM). 2010, Heidelberg, Germany: 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.
Altintas I, Anand MK, Crawl D, Belloum A, Missier P, Goble C, Sloot P. Understanding Collaborative Studies Through Interoperable Workflow Provenance. In: 3rd International Provenance and Annotation Workshop (IPAW). 2010, Troy, New York, USA: IPAW.
Machulak MP, Maler EL, Catalano D, van Moorsel A. User-Managed Access to Web Resources. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1196.
Machulak M, Maler E, Catalano D, Van Moorsel A. User-managed access to web resources. In: Proceedings of the ACM Conference on Computer and Communications Security. 2010, Chicago, Illinois, USA: ACM Press.
Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A, Varpaaniemi K, Vaisanen P, Ilic D, Latvala T. Verifying Mode Consistency for On-Board Satellite Software. In: 29th International Conference on Computer Safety, Reliability and Security (SAFECOMP). 2010, Vienna, Austria: Springer.
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.
Colquhoun J. A BitTorrent-based Peer-to-Peer Database Server. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1135.
Stepanova D, Parkin SE, van Moorsel A. A Knowledge Base for Justified Information Security Decision-Making. In: ICSOFT 2009. Proceedings of the 4th International Conference on Software and Data Technologies. 2009, Sofia, Bulgaria: INSTICC.
Stepanova D, Parkin SE, van Moorsel A. A Knowledge Base for Justified Information Security Decision-Making. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1137.
Machulak M, van Moorsel A. A Novel Approach to Access Control for the Web. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1157.
Gounaris A, Smith J, Paton NW, Sakellariou R, Fernandes AAA, Watson P. Adaptive workload allocation in query processing in autonomous heterogeneous environments. Distributed and Parallel Databases 2009, 25(3), 125-164.
Norman SJ, Lawson SEM, Olivier P, Watson P, Chan AMA, Dade-Robertson M, Dunphy P, Green D, Hiden H, Hook J, Jackson DG. AMUC: Associated Motion Capture User Categories. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 2009, 367(1898), 2771-2780.
Dodda RT, Smith C, van Moorsel A. An Architecture for Cross-Cloud System Management. In: Proceedings of the Second International Conference on Contemporary Computing (IC3). 2009, Noida, India: Springer-Verlag.
Dodda R, Smith C, van Moorsel A. An Architecture for Cross-Cloud System Management. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1144.
Smith C, van Moorsel A. An Empirical Evaluation Of Web Services Architectures From An Economic Perspective. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1148.
Parkin S E, van Moorsel A. An Information Security Ontology Incorporating Human-Behavioral Implications. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1139.
Parkin SE, van Moorsel A, Coles R. An Information Security Ontology Incorporating Human-Behavioural Implications. In: SIN'09. Proceedings of the Second International Conference on Security of Information and Networks. 2009, Famagusta, North Cyprus: ACM.
Smith C, Van Moorsel A, Pienkowski D, Li F. An Institutional Approach to Trust in Electronic Transactions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1161.
Yan J, Randell B. An Investigation of Cheating in Online Games. IEEE Security & Privacy 2009, 7(3), 37-44.
Machulak M, Parkin SE, van Moorsel A. Architecting Dependable Access Control Systems for Multi Domain Computing Environments. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1156.
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.
Colquhoun J, Beyer F, Critchley J, Lambert M, Prentice M, Sugden RC, Thomson RG, van Moorsel A. Cardiovascular Risk Communication Software for Patients and Clinicians. In: UK e-Science All Hands Meeting 2009. Past, Present and Future. 2009, Oxford, UK: National e-Science Centre.
Morgan G. Challenges of Online Game Development: A Review. Simulation & Gaming 2009, 40(5), 688-710.
Zhao Y, Thomas N. Comparing Methods for the Efficient Analysis of PEPA Models of Non-repudiation Protocols. In: 15th International Conference on Parallel and Distributed Systems. 2009, Shenzhen, Guangdong, China: IEEE Computer Society.
Morgan G, Lee JK. Controversy in Video Game Invention: The Infallible Pioneer Patents. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1173.
Andreou MS, van Moorsel A. COTraSE: Connection Oriented Traceback in Switched Ethernet. Journal of Information Assurance and Security 2009, 4(2), 91-105.
Cohen J, North RJ, Wilkins S, Richards M, Hoose N, Polak JW, Bell MC, Blythe PT, Sharif B, Neasham J, Galatioto F, Suresh V, Hill G. Creating the Message Infrastructure. Traffic Engineering and Control 2009, 50(11), 480-483.
Bell M, Suresh L, Galatioto F, Watson P. Decision Support for Intelligent Traffic and Environment Management. In: 16th ITS World Congress. 2009, Stockholm, Sweden: VINNOVA.
Suresh V, Watson P, Bell MC, Neasham J. Decision Support for Intelligent Traffic and Environment Management. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1133.
Bell M, Suresh V, Galatioto F, Watson P. Decision Support for Intelligent Traffic and Environment Management. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1168.
Clarke D, Morgan G. E-Commerce with Rich Clients and Flexible Transactions. In: 1st International Workshop on Software Technologies for Future Dependable Distributed Systems (STFSSD). 2009, Tokyo, Japan: IEEE Computer Society.
Cooper DE, Ezhilchelvan P, Mitrani I. Encounter-Based Message Propagation in Mobile Ad-Hoc Networks. Ad Hoc Networks 2009, 7(7), 1271-1284.
Colquhoun J, Watson P. Evaluating a P2P Database Server based on BitTorrent. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1145.
Molina-Jimenez C, Shrivastava S, Strano M. Exception Handling in Electronic Contracting. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1149.
Zhao Y, Thomas N. Experiences of Using the PEPA Performance Modelling Tools with a non-repudiation protocol. In: The European Simulation and Modelling Conference (ESM). 2009, Leicester, UK: EUROSIS-ETI.
Zhang H, van Moorsel A. Fast Generation of Scale Free Networks with Directed Arcs. In: Computer Performance Engineering: 6th European Performance Engineering Workshop (EPEW). 2009, London, UK: Springer-Verlag.
Zhang H, van Moorsel A. Fast Generation of Scale Free Networks with Directed Arcs. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1138.
North RJ, Cohen J, Wilkins S, Richards M, Hoose N, Polak JW, Bell MC, Blythe P, Sharif B, Neasham J, Suresh V, Galatioto F, Hill G. Field deployment of the MESSAGE System for environmental monitoring. Traffic Engineering & Control 2009, 50(11), 484-488.
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.
Strano M, Molina-Jimenez C, Shrivastava S. Implementing a Rule-Based Contract Compliance Checker. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1150.
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.
Machulak M, Little MC, Halliday JJ. Metadata Support for Transactional Web Services. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1158.
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.
Mace JC, Parkin S, van Moorsel A. Ontology Editing Tool for Information Security and Human Factors Experts. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1172.
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.
Chen X, Thomas N. Performance of Novel Scheduling Strategies. In: 25th UK Performance Engineering Workshop. 2009, University of Leeds: School of Computing.
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.
Parkin S, van Moorsel A. Risk Modelling of Access Control Policies with Human Behavioural Factors. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1155.
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.
Hodges N, Bell MC, Galatioto F, Hill G, Neasham JA, Suresh V. Sustainable Network Management – The Integration Of Intelligent Transport Systems And “Grid Enabled” Pervasive Sensors. In: 16th World Congress for Intelligent Transport Systems and Services. 2009, Stockholm: Intelligent Transport Systems.
Ezhilchelvan P, Clarke D, Mitrani I, Shrivastava S. Sustaining Intrusion-Tolerance by Proactive Replacement. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1146.
Lynden S, Mukherjee A, Hume AC, Fernandes AAA, Paton NW, Sakellariou R, Watson P. The design and implementation of OGSA-DQP: A service-based distributed query processor. Future Generation Computer Systems 2009, 25(3), 224-236.
Machulak M, van Moorsel A. Use Cases for User-Centric Access Control for the Web. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1165.
Zhao Y, Thomas N. A Cost Model Analysis of a Secure Key Distribution Centre. In: Proceedings of the 9th International Conference for Young Computer Scientists, November 18-21, 2008, Zhang Jia Jie, Hunan, China. 2008, IEEE Computer Society.
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.
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.
Strano M, Molina-Jimenez C, Shrivastava S. A Model for Checking Contractual Compliance of Business Operations. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1094.
Colquhoun J, Watson P. A Peer-to-Peer database server. In: Sharing Data, Information and Knowledge: 25th British National Conference on Databases, BNCOD 25. 2008, Cardiff, UK: Springer.
Colquhoun J, Watson P. A Peer-to-Peer Database Server based on BitTorrent. In: UK e-Science All Hands Meeting. 2008, Edinburgh, UK: National e-Science Centre.
Colquhoun J, Watson P. A Peer-to-Peer Database Server based on BitTorrent. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1089.
Cooper DE, Ezhilchelvan PD, Mitrani I. A Real World Evaluation of Encounter Gossip. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1090.
Strano M, Molina-Jimenez C, Shrivastava S. A Rule-Based Notation to Specify Executable Electronic Contracts. In: Rule Representation, Interchange and Reasoning on the Web. International Symposium (RuleML). 2008, Orlando, Florida, USA: Springer-Verlag.
Strano M, Molina-Jimenez C, Shrivastava S. A Rule-based Notation to Specify Executable Electronic Contracts. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1115.
de Leusse P, Periorellis P, Watson P, Dimitrakis T. A semi autonomic infrastructure to manage non functional properties of a service. In: UK e-Science All Hands Meeting. 2008, Edinburgh, UK: National e-Science Centre.
Mazzucco M, Mitrani I, Fisher M, McKee P. Allocation and Admission Policies for Service Streams. In: 16th annual IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS). 2008, Baltimore, MD, USA: IEEE.
de Leusse P, Periorellis P, Dimitrakos T, Watson P. An Architecture for Non Functional Properties Management in Distributed Computing. In: Proceedings of the Doctoral Consortium on Software and Data Technologies (DCSOFT), held in conjunction with 3rd International Conference on Software and Data Technologies (ICSOFT). 2008, Porto, Portugal: INSTICC.
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.
Martin SP, Mitrani I. Analysis of job transfer policies in systems with unreliable servers. Annals of Operations Research 2008, 162(1), 127-141.
Selvarajah K, Tully A, Blythe PT. Application of ZigBee Technology in Intra-Vehicle and Vehicle-to-Infrastructure Communications. In: 2nd European ZigBee Developers’ Conference. 2008, Munich, Germany: ZigBee Alliance.
Watson P, Austin J. CARMEN: a Scalable Science Cloud. In: Google Seattle Conference on Scalability. 2008, Seattle, Washington, USA: Google Inc.
Watson P, Lord P, Gibson F, Periorellis P, Pitsilis G. Cloud Computing for e-Science with CARMEN. In: Proceedings of the 2nd Iberian Grid Infrastructure (IBERGRID). 2008, Porto, Portugal: Netbiblo.
Thomas N. Comparing job allocation schemes where service demand is unknown. Journal of Computer and System Sciences 2008, 74(6), 1067-1081.
Thomas N, Juiz C, ed. Computer Performance Engineering: 5th European Performance Engineering Workshop (EPEW). 24-25 Spetember 2008. Palma de Mallorca, Spain. Berlin, Germany: Springer-Verlag, 2008.
Smith J, Watson P. Concurrent Management of Composite Services According to Response Time SLAs. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1126.
Andreou M, van Moorsel A. COTraSE: Connection Oriented Traceback in Switched Ethernet. In: Proceedings of the Fourth International Symposium on Information Assurance and Security (IAS). 2008, Naples, Italy: IEEE Computer Society.
Andreou M, van Moorsel A. COTraSE: Connection Oriented Traceback in Switched Ethernet. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1092.
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.
Slegers J, Thomas N, Mitrani I. Dynamic Server Allocation for Power and Performance. In: Performance Evaluation: Metrics, Models and Benchmarks. SPEC International Performance Evaluation Workshop (SIPEW). 2008, Darmstadt, Germany: Springer-Verlag.
Camenisch J, Gross T. Efficient attributes for anonymous credentials. In: 15th ACM conference on Computer and communications security (TISSEC). 2008, Alexandria, Virginia, USA: ACM Press.
Martin D, Van Moorsel A, Morgan G. Efficient Resource Management for Game Server Hosting. In: Proceedings of the 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). 2008, Orlando, Florida: IEEE.
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.
Kistijantoro AI, Morgan G, Shrivastava SK, Little MC. Enhancing an Application Server to Support Available Components. IEEE Transactions on Software Engineering 2008, 34(4), 531-545.
Zhang H, van Moorsel A. Evaluation of P2P Algorithms for Probabilistic Trust Inference in a Web of Trust. In: Computer Performance Engineering: 5th European Performance Engineering Workshop (EPEW). 2008, Palma de Mallorca, Spain: Springer-Verlag.
Zhang H, van Moorsel A. Evaluation of P2P Algorithms for Probabilistic Trust Inference in a Web of Trust. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1113.
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.
Mukherjee A, Watson P. Exploiting Dynamic Deployment in a Distributed Query Processor for the Grid. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1068.
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.
Thomas N, Zhao Y. Fluid flow analysis of a model of a secure key distribution centre. In: 24th UK Performance Engineering Workshop. 2008, London, UK: UKPEW.
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.
Katramados I, Barlow A, Selvarajah K, Shooter C, Tully A, Blythe PT. Heterogeneous Sensor Integration for Intelligent Transport Systems. In: Road Transport Information and Control - RTIC 2008 and ITS United Kingdom Members' Conference. 2008, Manchester, UK: Institution of Engineering and Technology and Intelligent Transport Systems UK.
Katramados I, Barlow A, Selvarajah K, Shooter C, Tully A, Blythe P T. Heterogeneous sensor integration for intelligent transport systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1096.
Foster I, Parastatidis S, Watson P, McKeown M. How do i model state?: Let me count the ways. Communications of the ACM 2008, 51(9), 34-41.
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.
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.
Selvarajah K, Tully A, Blythe PT. Integrating Smartdust into the Embedded Middleware in Mobility Applications (EMMA) Project. In: 4th IET International Conference on Intelligent Environments (IE08). 2008, University of Washington, Seattle, USA: Institution of Engineering and Technology.
Bondavalli A, Majzik I, Van Moorsel A. International workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008). In: Proceedings of the International Conference on Dependable Systems and Networks. 2008, Anchorage, Alaska: IEEE.
Andreou MS, van Moorsel A. Logging Based IP Traceback in Switched Ethernets. In: Proceedings of the first European Workshop on System Security (EUROSEC). 2008, Glasgow, UK: ACM.
Yassin Kassab R, van Moorsel A. Mapping WSLA on Reward Constructs in Möbius. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1106.
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.
Mukherjee A, Watson P. On using Virtual Machines for Adaptive Distributed Query Processing in Grids. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1084.
Bryans JW, Koutny M, Mazare L, Ryan PYA. Opacity generalised to transition systems. International Journal of Information Security 2008, 7(6), 421-435.
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.
He Y, Tully A. Query Processing for Mobile Wireless Sensor Networks: State-of-the-art and Research Challenges. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1067.
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.
Ezhilchelvan P. Responsive Fault-Tolerant Computing in the era of Terascale Integration – State of Art Report. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1066.
Zhu L, Morgan G. Runtime Evolution for Online Gaming: A Case Study using JBoss and Drools. In: GDTW: 6th International Game Design and Technology Workshop and Conference. 2008, Liverpool, UK: School of Computing and Mathematical Sciences, Liverpool John Moores University.
Gilly K, Thomas N, Juiz C, Puigjaner R. Scalable QoS content-aware load balancing algorithm for a Web Switch based on classical policies. In: Proceedings: 22nd International Conference on Advanced Information Networking and Applications, AINA. 2008, Okinawa: IEEE.
de Leusse P, Periorellis P, Watson P, Maierhofer A. Secure & Rapid Composition of Infrastructure Services in the Cloud. In: The Second International Conference on Sensor Technologies and Applications (SENSORCOMM). 2008, Cap Esterel, France: IEEE Computer Society.
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.
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.
Fitzgerald JS, Jones CB. The connection between two ways of reasoning about partial functions. Information Processing Letters 2008, 107(3-4), 128-132.
Parkin SE, Yassin Kassab R, van Moorsel A. The Impact of Unavailability on the Effectiveness of Enterprise Information Security Technologies. In: 5th International Service Availability Symposium (ISAS). 2008, Tokyo, Japan: Springer.
Parkin SE, Yassin-Kassab R, van Moorsel A. The Impact of Unavailability on the Effectiveness of Enterprise Information Security Technologies. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1081.
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.
Coles R, Griffin J, Johnson H, Parkin SE, van Moorsel A. Trust Economics Feasibility Study. In: 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). 2008, Anchorage, Alaska: IEEE Computer Society.
Coles R, Griffin J, Johnson H, Monahan B, Parkin S, Pym D, Sasse A, van Moorsel A. Trust Economics Feasibility Study. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1101.
Bell M, Suresh V, Watson P, Blythe P. UTMC Compliant Database to Support Technologies of the Future. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1085.
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.
Selvarajah K, Tully A, Blythe PT. ZigBee for Intelligent Transport System Applications. In: Road Transport Information and Control - RTIC 2008 and ITS United Kingdom Members' Conference. 2008, Manchester, UK: Institution of Engineering and Technology and Intelligent Transport Systems UK.
Selvarajah K, Tully A, Blythe PT. Zigbee for intelligent transport system applications. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1097.
Colquhoun J. [PhD Thesis] A BitTorrent-Based Peer-to-Peer Database Server. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008.
Woodman S. [PhD Thesis] A Programming System for Process Coordination in Virtual Organisations. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008.
Stylianou A, Ferrari G, Ezhilchelvan P. A Comparative Evaluation of EJB Implementation Methods. In: 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC). 2007, Santorini Island, Greece: IEEE Computer Society.
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.
Jambli MN, Tully A, Selvarajah K, Lachenmann A. A Cross-Layer Framework Design for the Embedded Middleware in Mobility Applications (EMMA) Project. In: 19th IASTED International Conference on Parallel and Distributed Computing and Systems. 2007, Cambridge, Massachusetts, USA: ACTA Press.
Jambli M N, Tully A, Selvarajah K, Lachenmann A. A Cross-Layer Framework Design for the Embedded Middleware in Mobility Applications (EMMA) Project. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1036.
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.
Parkin S, Ingham D, Morgan G. A message oriented middleware solution enabling non-repudiation evidence generation for reliable web services. In: Service Availability: 4th International Service Availability Symposium (ISAS). 2007, Durham, New Hampshire, USA: Springer.
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.
Parkin SE, van Moorsel A. A Trust-economic Perspective on Information Security Technologies. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1056.
Lamprecht CJ, Van Moorsel A. Adaptive SSL: Design, implementation and overhead analysis. In: First International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2007. 2007, Cambridge, Massachusetts: IEEE Computer Society.
Lamprecht CJ, van Moorsel A. Adaptive SSL: Design, Implementation and Overhead Analysis. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1008.
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.
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.
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, Trollhättan, Sweden: IEEE.
Jambli MN, Tully A. Cross-Layer Design for Information Dissemination in Wireless Sensor Networks: State-of-the-Art and Research Challenges. In: 37th annual IEEE/IFIP International Conference on Dependable Systems and Networks. 2007, Edinburgh, UK: IEEE Computer Society.
Jambli MN, Tully A. Cross-Layer Design for Information Dissemination in Wireless Sensor Networks: State-of-the-Art and Research Challenges. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1011.
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.
de Leusse P, Periorellis P, Watson P. Enterprise Service Bus: An overview. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1037.
De Mello ER, Van Moorsel A, Da Silva Fraga J. Evaluation of P2P search algorithms for discovering trust paths. In: Fourth European Performance Engineering Workshop (EPEW). 2007, Berlin, Germany: Springer.
Ribeiro de Mello E, van Moorsel A, da Silva Fraga J. Evaluation of P2P Search Algorithms for Discovering Trust Paths. In: Formal Methods and Stochastic Models for Performance Evaluation. Fourth European Performance Engineering Workshop (EPEW). 2007, Berlin, Germany: Springer-Verlag.
Ribeiro de Mello E, van Moorsel A, da Silva Fraga J. Evaluation of P2P Search Algorithms for Discovering Trust Paths. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1033.
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.
Smith J, Watson P. Experiments Towards Adaptation of Concurrent Workflows. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1039.
Sun Y, Wipat A, Pocock M, Lee PA, Flanagan K, Worthington JT. Exploring microbial genome sequences to identify protein families on the grid. IEEE Transactions on Information Technology in Biomedicine 2007, 11(4), 435-442.
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.
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.
Cook NO, Robinson P, Shrivastava SK. High-value B2B interactions, non-repudiation and Web services. In: Periorellis, P, ed. Securing Web Services: Practical Usage of Standards and Specifications. Hershey: IDEA Group Information Science Reference, 2007, pp.71-107.
Molina-Jimenez C, Shrivastava S, Cook N. Implementing business conversations with consistency guarantees using message-oriented middleware. In: 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007). 2007, Annapolis, Maryland, USA: IEEE Computer Society.
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.
Arief B, Blythe P, Fairchild R, Selvarajah K, Tully A. Integrating smartdust into intelligent transportation systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1062.
Tosic V, Goschka KM, Van Moorsel A, Wong R. Introduction to the proceedings of the EDOC 2007 Workshop Middleware for Web Services (MWS) 2007. In: Proceedings of the IEEE International Enterprise Distributed Object Computing Workshop, EDOC. 2007, Annapolis, MD: IEEE.
Andreou MS, van Moorsel A. IP Traceback in a Switched Ethernet Network. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1040.
Cook N. Middleware Support for Non-repudiable Business-to-Business Interactions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1009.
Smith C, van Moorsel A. Mitigating Provider Uncertainty in Service Provision Contracts. In: EMAGS 2007. Workshop on Economic Models and Algorithms for Grid Systems. 2007, Austin, Texas, USA: Institute of Information Systems and Mangement, Universität Karlsruhe.
Smith C, van Moorsel A. Mitigating Provider Uncertainty in Service Provision Contracts. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1034.
Zhao Y, Thomas N. Modelling secure secret key exchange using stochastic process algebra. In: 23rd UK Performance Engineering Workshop. 2007, Edge Hill University, Ormskirk, UK: Edge Hill University.
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.
Molina-Jimenez C, Shrivastava S. On Contract Compliant Business Process Coordination. In: NWPT'07/FLACOS'07 Workshop Proceedings. 2007, Oslo, Norway: Universitetet i Oslo, Institutt for informatikk.
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.
Slegers J, Mitrani I, Thomas N. Optimal Dynamic Server Allocation in Systems with On/Off Sources. In: Formal Methods and Stochastic Models for Performance Evaluation. Fourth European Performance Engineering Workshop (EPEW). 2007, Berlin, Germany: Springer-Verlag.
Palmer J, Mitrani I, Mazzucco M, Mckee P, Fisher M. Optimizing revenue service provisioning systems with QoS contracts. In: ICE-B: Proceedings of the Second International Conference on e-Business. 2007, Barcelona, Spain: INSTICC.
Palmer J, Mitrani I, Mazzucco M, McKee P, Fisher M. Optimizing revenue: Service Provisioning Systems with QoS Contracts. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1023.
Cloth L, Hiltunen M, van Moorsel A, ed. PMCCS-8. The Eighth International Workshop on Performability Modeling of Computer and Communication Systems, September 20-21, 2007, Edinburgh, Scotland. The Netherlands: University of Twente, Centre for Telematics and Information Technology, 2007.
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.
Woodman S, Parastatidis S, Webber J. Protocol-Based Integration Using SSDL and pi-Calculus. In: Taylor, I. .J., Deelman, E., Gannon, D.B., Shields, M, ed. Workflows for E-science: Scientific Workflows for Grids. London, UK: Springer-Verlag, 2007, pp.227-243.
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.
Malek M, Reitenspiess M, van Moorsel A, ed. Service Availability: 4th International Service Availability Symposium, (ISAS 2007). Durham, NH, USA. 21-22 May. Berlin: Springer-Verlag, 2007.
Selvarajah K, Tully A. Smartdust and ZigBee for transport applications. In: 1st European ZigBee Developers’ Conference. 2007, Munich, Germany: ZigBee Alliance.
Selvarajah K, Tully A. Smartdust and ZigBee for Transport Applications. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1035.
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.
Watson P, Jackson T, Pitsilis G, Gibson F, Austin J, Fletcher M, Liang B, Lord P. The CARMEN Neuroscience Server. In: Proceedings of the UK e-Science All Hands Meeting. 2007, Nottingham, UK: National e-Science Centre.
Watson P, Jackson T, Pitsilis G, Gibson F, Austin J, Fletcher M, Liang B, Lord P. The CARMEN Neuroscience Server. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1042.
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.
Cook N, Robinson P, Shrivastava S. The Rigorous Implementation of a Fair Exchange Protocol for Non-repudiable Web Service Interactions - a case study. In: Second International Workshop on Services Engineering (SEIW 2007). In conjunction with the IEEE 23rd International Conference on Data Engineering (ICDE'07). 2007, Istanbul, Turkey: IEEE.
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.
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.
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.
Fitzgerald JS, Larsen PG, Tjell S, Verhoef M. Validation Support for Distributed Real-Time Embedded Systems in VDM++. In: Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium (HASE). 2007, Dallas, Texas, USA: IEEE Computer Society.
Fitzgerald JS, Larsen PG, Tjell S, Verhoef M. Validation Support for Distributed Real-Time Embedded Systems in VDM++. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1017.
Fitzgerald JS, Larsen PG, Sahara S. VDMTools: advances in support for formal modeling in VDM. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1057.
Mukherjee A, Watson P. Virtual Machines in DynaSOAr: Creating an on-demand ad-hoc Virtual Grid. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1002.
Mazzucco M, Mitrani I, Palmer J, Fisher M, McKee P. Web Service Hosting and Revenue Maximization. In: Proceedings of the 5th IEEE European Conference on Web Services, ECOWS 07. 2007, Halle, Germany: IEEE.
Mazzucco M, Mitrani I, Palmer J, Fisher M, McKee P. Web Service Hosting and Revenue Maximization. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1047.
Smith J, Watson P. Wrapper Based Adaptive Management of Concurrent Workflow Executions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1063.
Conlin A, Hiden H, Wright A. A chemical process development case study as a source of requirements for the GOLD project. Newcastle upon Tyne: School of Computing Science, Newcastle University, 2006. School of Computing Science Technical Report Series 968.
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.
Inayat Q, Ezhilchelvan PD. A Performance Study on the Signal-On-Fail Approach to Imposing Total Order in the Streets of Byzantium. In: 2006 International Conference on Dependable Systems and Networks. 2006, Philadelphia, Pennsylvania: IEEE Computer Society.
Inayat Q, Ezhilchelvan P. A Performance Study on the Signal-On-Fail Approach to Imposing Total Order in the Streets of Byzantium. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 967.
Di Ferdinando A, Ezhilchelvan P, Dales M, Crowcroft J. A QoS-negotiable middleware system for reliably multicasting messages of arbitrary size. In: Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC). 2006, Gyeongju, Korea: IEEE.
Mukherjee A, Watson P. Adding Dynamism to OGSA-DQP: Incorporating the DynaSOAr Framework in Distributed Query Processing. In: Euro-Par 2006 Workshops: Parallel Processing. CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics. 2006, Dresden, Germany: Springer.
Mukherjee A, Watson P. Adding Dynamism To OGSA-DQP: Incorporating The DynaSOAr Framework In Distributed Query Processing. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 979.
Dony C, Knudsen JL, Romanovsky A, Tripathi A, ed. Advanced Topics in Exception Handling Techniques. Berlin: Springer-Verlag, 2006.
van Moorsel A, Wolter K. Analysis of restart mechanisms in software systems. IEEE Transactions on Software Engineering 2006, 32(8), 547-558.
Thomas N. Approximation in non-product form finite capacity queue systems. Future Generation Computer Systems 2006, 22(7), 820-827.
de Lemos R, Gacek C, Romanovsky A. Architecting dependable systems. Journal of Systems and Software 2006, 79(10), 1359-1360.
Parastatidis S, Woodman S, Webber J, Kuo D, Greenfield P. Asynchronous messaging between Web services using SSDL. IEEE Internet Computing 2006, 10(1), 26-39.
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.
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.
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.
Robinson PF. Design and Implementation of Extensible Middleware for Non-Repudiable Interactions [PhD Thesis]. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006.
Cook N, Robinson P, Shrivastava SK. Design and implementation of web services middleware to support fair non-repudiable interactions. International Journal of Cooperative Information Systems 2006, 15(4), 565-597.
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.
Watson P, Fowler C, Kubicek C, Mukherjee A, Colquhoun J, Hewitt M, Parastatidis S. Dynamically deploying web services on a grid using dynasoar. In: Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC). 2006, Gyeongju, Korea: IEEE.
Palmer J, Mitrani I. Empirical and Analytical Evaluation of Systems with Multiple Unreliable Servers. In: International Conference on Dependable Systems and Networks (DSN). 2006, Philadelphia, Pennsylvania: IEEE Computer Society.
Reinecke P, Van Moorsel A, Wolter K. Experimental analysis of the correlation of HTTP GET invocations. In: Formal Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineering Workshop. 2006, Budapest, Hungary: Springer.
Smith J, Watson P. Failure Recovery Alternatives In Grid Based Distributed Query Processing: A Case Study. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 957.
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.
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.
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.
Lamprecht C, van Moorsel A, Tomlinson P, Thomas N. Investigating the efficiency of cryptographic algorithms in online transactions. International Journal of Simulation: Systems, Science & Technology 2006, 7(2), 63-75.
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.
Lu F, Parkin S, Morgan G. Load Balancing for Massively Multiplayer Online Games. In: 5th ACM SIGCOMM Workshop on Network and System Support for Games. 2006, Singapore: ACM.
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.
Molina-Jimenez C, Shrivastava S. Maintaining consistency between loosely coupled services in the presence of timing constraints and validation errors. In: Fourth IEEE European Conference on Web Services (ECOWS). 2006, Zurich, Switzerland: IEEE.
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.
de F Mendes Sampaio S, Paton NW, Smith J, Watson P. Measuring and modelling the performance of a parallel ODMG compliant object database server. Concurrency Computation Practice and Experience 2006, 18(1), 63-109.
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.
Thomas N. Modelling job allocation where service duration is unknown. In: 20th International Parallel and Distributed Processing Symposium, IPDPS 2006. 2006, Rhodes Island, Greece: IEEE.
Smith C, van Moorsel A. On Efficient Stateful Resource Management. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 961.
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.
Molina-Jimenez C, Shrivastava SK, Woodman SJ. On State Synchronization of Business Conversations. In: 8th IEEE International Conference on E-Commerce and Technology (CEC). 2006, San Francisco, California: IEEE Computer Society.
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.
Dick S, Thomas N. Performance Analysis of PGP. In: 22nd UK Performance Engineering Workshop. 2006, Bournemouth University.
Bradley JT, Gilmore ST, Thomas N. Performance analysis of Stochastic Process Algebra models using Stochastic Simulation. In: 20th International Parallel and Distributed Processing Symposium (IPDPS). 2006, Rhodes Island, Greece: IEEE.
Ferrari G, Ezhilchelvan PD, Mitrani I. Performance Modeling and Evaluation of E-Business Systems. In: 39th Annual Simulation Symposium. 2006, Huntsville, Alabama, USA: IEEE.
Ferrari G, Ezhilchelvan P, Mitrani I. Performance Modelling and Evaluation of E-Business Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 954.
Fitzgerald JS. Perspectives on Formal Methods in the Last 25 years. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 983.
Bonnet F, Ezhilchelvan P, Vollset E. Quiescent Consensus in Mobile Ad-hoc Networks using Eventually Storage-Free Broadcasts. In: Applied Computing 2006: the 21st annual ACM Symposium on Applied Computing. 2006, Dijon, France: ACM.
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.
De Mello ER, Parastatidis S, Reinecke P, Smithy C, Van Moorsel A, Webber J. Secure and provable service support for human-intensive real-estate processes. In: Proceedings - IEEE International Conference on Services Computing, SCC. 2006, Chicago, IL: IEEE.
Ribeiro de Mello E, Parastatidis S, Reinecke P, Smith C, van Moorsel A, Webber J. Secure and Provable Service Support for Human-Intensive Real-Estate Processes. In: IEEE International Conference on Services Computing (SCC). 2006, Chicago, Illinois: IEEE Computer Society.
Ribeiro de Mello E, Parastatidis S, Reinecke P, Smith C, van Moorsel A, Webber J. Secure and Provable Service Support for Human-Intensive Real-Estate Processes. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 960.
Slegers J, Mitrani I, Thomas N. Server Allocation in Grid Systems with On/Off Sources. In: Frontiers of High Performance Computing and Networking - ISPA 2006 Workshops. 2006, Sorrento, Italy: Springer-Verlag.
Slegers J, Mitrani I, Thomas N. Server allocation in Grid systems with on/off sources. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 982.
Periorellis P, Cook N, Conlin A, Hiden HG, Watson P, Smith R, Wright A. Service Oriented Middleware for the Formation and Operation of Virtual Organisations: The GOLD Project. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 940.
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.
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.
Reinecke P, van Moorsel A, Wolter K. The fast and the fair: A fault-injection-driven comparison of restart oracles for reliable Web Services. In: 3rd International Conference on the Quantitative Evaluation of Systems (QEST 06). 2006, Riverside, California: IEEE Computer Society.
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.
Fitzgerald JS. The Typed Logic of Partial Functions and the Vienna Development Method. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 984.
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.
Fitzgerald JS, Larsen PG, Plat N. Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 969.
Kistijantoro AI, Morgan G, Shrivastava SK. Transaction manager failover: A case study using JBOSS application server. In: On the Move to Meaningful Internet Systems. 2006, Montpellier, France: Springer.
Kistijantoro AI, Morgan G, Shrivastava SK. Transaction Manager Failover: A Case Study Using JBOSS Application Server. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 975.
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.
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.
Cook N. [PhD Thesis] Middleware Support for Non-repudiable Business-to-Business Interactions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006.
Cooper DE, Ezhilchelvan P, Mitrani I. A Family of Encounter-Based Broadcast Protocols for Mobile Ad-hoc Networks. In: Wireless Systems and Mobility in Next Generation Internet: 1st International Workshop of the EURO-NGI Network of Excellence. 2005, Dagstuhl Castle, Germany: Springer-Verlag.
Ezhilchelvan PD, Shrivastava SK. A family of trusted third party based fair-exchange protocols. IEEE Transactions on Dependable and Secure Computing 2005, 2(4), 273-286.
Ezhilchelvan PD, Shrivastava S. A Family of Trusted Third Party based Fair-Exchange Protocols. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 928.
Robinson P, Cook NO, Shrivastava SK. A Framework for the Rigorous Implementation of Security Protocols. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 937.
Sun Y, Wipat A, Pocock M, Lee PA, Watson P, Flanagan K, Worthington JT. A grid-based system for microbial genome comparison and analysis. In: IEEE International Symposium on Cluster Computing and the Grid, CCGrid 2005. 2005, Cardiff, Wales: IEEE.
Molina-Jimenez C, Shrivastava SK, Warne J. A Method for Specifying Contract Mediated Interactions. In: 9th IEEE International EDOC Enterprise Computing Conference. 2005, Enschede, The Netherlands: IEEE Computer Society.
Molina-Jimenez C, Shrivastava SK, Warne JP. A Method for Specifying Contract Mediated Interactions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 914.
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.
Watson P, Fowler C. An Architecture for the Dynamic Deployment of Web Services on a Grid or the Internet. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 890.
Parastatidis S, Webber J, Woodman S, Kuo D, Greenfield P. An Introduction to the SOAP Service Description Language. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 898.
Mitrani I. Approximate Solutions for Heavily Loaded Markov-Modulated Queues. Performance Evaluation 2005, 62(1-4), 117-131.
de Lemos R, Gacek C, Romanovsky A, ed. Architecting Dependable Systems III. Berlin: Springer-Verlag, 2005.
Ezhilchelvan P, Hélary J-M, Raynal M. Building Responsive TMR-Based Servers in Presence of Timing Constraints. In: 8th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005). 2005, Seattle, Washington: IEEE Computer Society.
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.
Alpdemir MN, Mukherjee A, Paton NW, Fernandes AAA, Watson P, Glover K, Greenhalgh C, Oinn T, Tipney H. Contextualised Workflow Execution in MyGrid. In: Advances in Grid Computing: European Grid Conference (EGC). 2005, Amsterdam, The Netherlands: Springer.
Watson P. Databases in grid applications: Locality and distribution. In: Database: Enterprise, Skills and Innovation. 22nd British National Conference on Databases, BNCOD 22. 2005, Sunderland, UK: Springer.
Woodman SJ, Palmer D, Shrivastava SK, Wheater SM. Decentralised Coordination of Web Services for B2B Integration. In: Proceedings of Middleware for Web Services (MWS) 2005 Workshop held at EDOC 2005 Conference. 2005, Enschede, The Netherlands: IEEE.
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.
Vollset EW, Ezhilchelvan PD. Design and Performance-Study of Crash-Tolerant Protocols for Broadcasting and Reaching Consensus in MANETs. In: 24th IEEE Symposium on Reliable Distributed Systems (SRDS 2005). 2005, Orlando, Florida: IEEE Computer Society.
Vollset E, Ezhilchelvan PD. Design and Performance-Study of Crash-Tolerant Protocols for Broadcasting and Reaching Consensus in MANETs. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 925.
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.
Thomas N. Editorial: Grid performability. Computer Journal 2005, 48(3), 323-324.
Palmer J, Mitrani I. Empirical and Analytical Evaluation of Systems with Multiple Unreliable Servers. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 936.
Vollset E, Ezhilchelvan PD. Enabling Reliable Many-to-Many Communication in Ad-Hoc Pervasive Environments. In: Third IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom 2005 Workshops), 8-12 March 2005, Kauai Island, Hawaii USA. 2005, IEEE Computer Society.
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.
Alpdemir MN, Gounaris A, Mukherjee A, Fitzgerald D, Paton NW, Watson P, Sakellariou R, Fernandes AAA, Smith J. Experience on Performance Evaluation with OGSA-DQP. In: UK e-Science All Hands Meeting. 2005, Nottingham, UK: EPSRC.
Sun Y, Wipat A, Pocock M, Lee P, Flanagan K, Worthington J. Exploring Microbial Genome Sequences to Identify Protein Families on the Grid. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 931.
Smith J, Watson P. Fault-Tolerance in Distributed Query Processing. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 893.
Fitzgerald J, Hayes IJ, Tarlecki A, ed. FM 2005: Formal Methods. International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Berlin; New York: Springer-Verlag, 2005.
Parastatidis S, Watson P, Webber J. Grid Computing Using Web Services. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 926.
van Moorsel A. Grid, management and self-management. Computer Journal 2005, 48(3), 325-332.
Robinson P, Cook NO, Shrivastava SK. Implementing Fair Non-repudiable Interactions with Web Services. In: 9th IEEE International EDOC Enterprise Computing Conference. 2005, Enschede, The Netherlands: IEEE Computer Society.
Robinson P, Cook N, Shrivastava S. Implementing Fair Non-repudiable Interactions with Web Services. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 913.
Morgan G, Lu F, Storey K. Interest Management Middleware for Networked Games. In: ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games (I3D). 2005, Washington, DC: ACM SIGGRAPH.
Tully A, Blythe PT. Investigating the next generation mobile wireless technology to deliver a pervasive mobile pervasive computing environment for road user charging and other ITS services. In: The 1st IEE automotive electronics conference. 2005, London, UK: Institution of Electrical Engineers.
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.
Bearden MJ, Garg S, Lee W-J, van Moorsel A. Method and Apparatus for Use in Specifying and Insuring Service-Level Quality of Service in Computer Networks. USA: Lucent Technologies Inc, 6,871,233, 2005, 05-07-2000.
Robinson P. Middleware for Non-repudiable Interactions. In: 6th Annual Postgraduate Symposium on the Convergance of Telecommunications, Networking & Broadcasting. 2005, Liverpool John Moores University: The School of Computing and Mathematical Sciences.
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.
Morgan G, Parkin S, Molina-Jimenez C, Skene J. Monitoring Middleware for Service Level Agreements in Heterogeneous Environments. In: Challenges of Expanding Internet: E-Commerce, E-Business, and E-Government. 5th IFIP Conference on e-Commerce, e-Business, and e-Government (I3E). 2005, Poznan, Poland: Springer.
Van Moorsel A. On best-effort and dependability, service-orientation and panacea. In: Service availability : Second International Service Availability Symposium. 2005, Berlin, Germany: Springer.
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.
Palmer J, Mitrani I. Optimal and heuristic policies for dynamic server allocation. Journal of Parallel and Distributed Computing 2005, 65(10), 1204-1211.
Palmer J, Mitrani I. Optimal tree structures for large service networks. In: 1st EuroNGI Conference on Next Generation Internet Networks (NGI). 2005, Rome, Italy: IEEE.
Cooper DE, Ezhilchelvan P, Mitrani I, Vollset E. Optimization of encounter gossip propagation in mobile ad-hoc networks. In: 13th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems. 2005, Atlanta, GA: IEEE Computer Society.
Cooper DE, Ezhilchelvan P, Mitrani I, Vollset E. Optimization of Encounter Gossip Propagation in Mobile Ad-Hoc Networks. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 921.
Thomas N. Performability of a secure electronic voting algorithm. Electronic Notes in Theoretical Computer Science 2005, 128(4), 45-58.
Lamprecht C, van Moorsel A. Performance Measurement of Web Services Security Software. In: 21st UK Performance Engineering Workshop. 2005, University of Newcastle: University of Newcastle upon Tyne, School of Computing Science.
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.
Bonnet F, Ezhilchelvan PD, Vollset EW. Quiescent Consensus in Mobile Ad-hoc Networks using Eventually Storage-Free Broadcasts. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 933.
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.
Morgan G, Storey K. Scalable Collision Detection for Massively Multiplayer Online Games. In: IEEE 19th International Conference on Advanced Information Networking and Applications (AINA). 2005, Taipei, Taiwan: IEEE Computer Society.
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.
Babaoglu O, Jelasity M, Montresor A, Fetzer C, Leonardi S, van Moorsel A, van Steen M, ed. Self-Star Properties in Complex Information Systems: Conceptual and Practical Foundations. Berlin, Germany: Springer-Verlag, 2005.
Woodman S, Parastatidis S, Webber J. Sequencing Constraints SSDL Protocol Framework. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 903.
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 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.
Antonioletti M, Atkinson M, Baxter R, Borley A, Hong NPC, Collins B, Hardman N, Hume AC, Knox A, Jackson M, Krause A, Laws S, Magowan J, Paton NW, Pearson D, Sugden T, Watson P, Westhead M. The design and implementation of grid database services in OGSA-DAI. Concurrency Computation Practice and Experience 2005, 17(2-4), 357-376.
Little MC, Shrivastava SK. The Evolution of a Transaction Processing System. In: 11th Biennial High Performance Transaction Systems Workshop (HPTS2005). 2005, Pacific Grove, California: The Standish Group.
Molina-Jimenez C, Pruyne J, van Moorsel A. The Role of Agreements in IT Management Software. In: de Lemos, R., Gacek, C., Romanovsky, A, ed. Architecting Dependable Systems III. Berlin: Springer, 2005, pp.36-58.
Alpdemir MN, Mukherjee A, Gounaris A, Paton NW, Fernandes AAA, Sakellariou R, Watson P, Li P. Using OGSA-DQP to support scientific applications for the grid. In: Scientific Applications of Grid Computing. First International Workshop, SAG 2004. 2005, Beijing, China: Springer.
Fitzgerald JS, Larsen PG, Mukherjee P, Plat N, Verhoef M. Validated Designs for Object-oriented Systems. Berlin: Springer-Verlag, 2005.
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.
Atkinson M, DeRoure D, Dunlop A, Fox G, Henderson P, Hey T, Paton N, Newhouse S, Parastatidis S, Trefethen A, Watson P, Webber J. Web Service Grids: An evolutionary approach. Concurrency Computation Practice and Experience 2005, 17(2-4), 377-389.
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.
Parastatidis S, Webber J, Watson P, Rischbeck T. WS-GAF: a framework for building Grid applications using Web Services. Concurrency and Computation: Practice & Experience 2005, 17(2-4), 391-417.
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.
Parastatidis S, Webber J, Watson P, Rischbeck T. A Grid Application Framework based on Web Services Specifications and Practices. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 825.
Sun Y, Wipat A, Pocock M, Lee P, Watson P, Flanagan K, Worthington J. A Grid-based System for Microbial Genome Comparison and Analysis. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 881.
Reinecke P, van Moorsel A, Wolter K. A Measurement Study of the Interplay between Application Level Restart and Transport Protocol. In: First International Service Availability Symposium (ISAS). 2004, Munich, Germany: Springer.
Ezhilchelvan PD, Shrivastava SK. A Model and a Design Approach to Building QoS Adaptive Systems. In: de Lemos, R., Gacek, C. and Romanovsky, A, ed. Architecting Dependable Systems II. Berlin: Springer, 2004, pp.215-238.
Smith J, Watson P. A Rollback-Recovery Protocol for Wide Area Pipelined Data Flow Computations. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 836.
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.
Ezhilchelvan PD, Brasileiro FV, Speirs NA. A Timeout-Based Message Ordering Protocol for a Lightweight Software Implementation of TMR Systems. IEEE Transactions on Parallel and Distributed Systems 2004, 15(1), 53-65.
Lee PA, Hamilton MD, Parastatidis S. A Visual Language for Parallel, Object-Oriented Programming. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 826.
Mohammad A, Speirs N. A Wan Emulator for CORBA Applications. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 862.
Ezhilchelvan PD, Maxion R. Against Attacks and Faults: an Autonomic Approach to Secure and Reliable Data Management. In: Workshop on Dependable Distributed Data Management, in conjunction with 23rd International Symposium on Reliable Distributed Systems. 2004, Florianopolis, Brazil: IEEE Computer Society.
Ferrari G, Shrivastava S, Ezhilchelvan P. An Approach to Adaptive Performance Tuning of Application Servers. In: Workshop on Quality of Service for Application Servers, in conjunction with 23rd Symposium on Reliable Distributed Systems. 2004, Florianopolis, Brazil: IEEE Computer Society.
Van Moorsel A, Woher K. Analysis and algorithms for restart. In: First International Conference on the Quantitative Evaluation of Systems, (QEST). 2004, Enschede, The Netherlands: IEEE.
Smith J, Watson P. Applying Low-Overhead Rollback-Recovery to Wide Area Distributed Query Processing. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 861.
de Lemos R, Gacek C, Romanovsky A, ed. Architecting Dependable Systems II. Berlin: Springer-Verlag, 2004.
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.
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.
Thomas N. Challenges and Opportunities in Grid Performability. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 842.
Cook NO, Robinson P, Shrivastava SK. Component Middleware to Support Non-repudiable Service Interactions. In: International Conference on Dependable Systems and Networks (DSN 2004). 2004, Florence, Italy: IEEE Computer Society.
Cook NO, Robinson P, Shrivastava SK. Component Middleware to Support Non-repudiable Service Interactions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 834.
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.
Di Ferdinando A, Ezhilchelvan P, Mitrani I. Design and Evaluation of a QoS-Adaptive System for Reliable Multicasting. In: 23rd IEEE International Symposium on Reliable Distributed Systems (SRDS '04). 2004, Florianpolis, Brazil: IEEE Computer Society Press.
Di Ferdinando A, Ezhilchelvan PD, Mitrani I. Design and Evaluation of a QoS-Adaptive System for Reliable Multicasting. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 833.
Vollset E, Ezhilchelvan PD. Design and Evaluation of an Efficient Reliable Manycast protocol for Ad-hoc Networks. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 838.
Storey K, Lu F, Morgan G. Determining Collisions between Moving Spheres for Distributed Virtual Environments. In: Proceedings of the Computer Graphics International Conference (CGI). 2004, Crete, Greece: IEEE.
Wipat A, Sun Y, Pocock M, Lee P, Watson P, Flanagan K. Developing Grid-based Systems for Microbial Genome. In: UK e-Science All Hands Meeting 2004. 2004, Nottingham UK: EPSRC.
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.
Woodman SJ, Palmer DJ, Shrivastava SK, Wheater SM. Distributed Enactment of Composite Web Services. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 848.
Fisher M, Kubicek C, McKee P, Mitrani I, Palmer J, Smith R. Dynamic Allocation of Servers in a Grid Hosting Environment. In: Fifth IEEE/ACM International Workshop on Grid Computing. 2004, Pittsburgh, Pennsylvania: IEEE Computer Society.
Fisher M, Kubicek C, McKee P, Mitrani I, Palmer J, Smith R. Dynamic Allocation of Servers in a Grid Hosting Environment. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 845.
Martin S, Mitrani I. Dynamic Routing Between Two Queues with Unreliable Servers. International Journal of Simulation 2004, 5(5), 38-48.
Vollset EW, Ezhilchelvan PD. Enabling reliable many-to-many communication in ad-hoc pervasive environments. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 882.
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.
Mpoeleng D, Ezhilchelvan PD, Speirs NA. From Crash Tolerance to Authenticated Byzantine Tolerance: a Structured Approach, the Cost and Benefits. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 824.
Cooper DE, Ezhilchelvan P, Mitrani I. High coverage broadcasting for mobile Ad Hoc networks. In: NETWORKING 2004: Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications: 3rd International IFIP-TC6 Networking Conference. 2004, Athens, Greece: Springer-Verlag.
Bradley JT, Gilmore ST, Thomas N. How synchronisation strategy approximation in PEPA implementations affects passage time performance results. In: Applying Formal Methods: Testing, Performance, and M/E-Commerce. 2004, Toledo, Spain: Springer.
van Moorsel A, Wolter K. Meeting Deadlines Through Restart. In: MMB & PGTS 2004. 12th GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems (MMB) together with 3rd Polish-German Teletraffic Symposium (PGTS). 2004, Dresden, Germany: VDE Verlag.
Bearden MJ, Garg S, Lee W-J, van Moorsel A. Method and Apparatus for use in Specifying and Insuring Policies for Management of Computer Networks. USA: Lucent Technologies Inc. (Murray Hill, NJ), 6.732.168, 2004, 05-07-2000.
Huang Y, Garg S, Schonwalder J, van Moorsel A, Yajnik S. Methods and Apparatus for Managing Middleware Service in a Distributed System. USA: Lucent Technologies Inc, 6,789,114, 2004, 05-08-1998.
Robinson P. Middleware Services for Trusted Coordination. In: International Conference on Dependable Systems and Networks (DSN). 2004, Florence, Italy: IEEE Computer Society.
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.
Woodman SJ, Palmer DJ, Shrivastava SK, Wheater SM. Notations for the Specification and Verification of Composite Web Services. In: 8th IEEE International Enterprise Distributed Object Computing Conference (EDOC). 2004, Monterey, California: IEEE.
Woodman SJ, Palmer DJ, Shrivastava SK, Wheater SM. Notations for the Specification and Verification of Composite Web Services. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 849.
Alpdemir MN, Mukherjee A, Gounaris A, Paton NW, Watson P, Fernandes A, Fitzgerald DJ. OGSA-DQP: A Service for Distributed Querying on the Grid. In: Advances in Database Technology: 9th International Conference on Extending Database Technology (EDBT). 2004, Heraklion, Crete, Greece: Springer.
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.
Mitrani I, Robert P. On the ASTA property in a feedback processor-sharing queue. Performance Evaluation 2004, 58(1), 81-85.
Molina-Jimenez C, Shrivastava S, Crowcroft J, Gevros P. On the Monitoring of Contractual Service Level Agreements. In: IEEE Conference on Electronic Commerce CEC\'04, The First IEEE International Workshop on Electronic Contracting (WEC). 2004, San Diego, CA, USA: IEEE Computer Society.
Molina-Jimenez C, Shrivastava SK, Crowcroft J, Gevros P. On the Monitoring of Contractual Service Level Agreements. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 835.
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.
Jarvis S, Thomas N, van Moorsel A. Open issues in grid performability. International Journal of Simulation: Systems, Science and Technology 2004, 5(5), 3-12.
van Moorsel A, Wolter K. Optimal restart times for moments of completion time. IEE Proceedings: Software 2004, 151(5), 219-223.
Van Moorsel A, Wolter K. Optimal Restart Times for Moments of Completion Time. In: 20th Annual UK Performance Engineering Workshop. 2004, University of Bradford, UK: IEEE.
Palmer J, Mitrani I. Optimal Server Allocation in Reconfigurable Clusters with Multiple Job Types. In: Computational Science and Its Applications (ICCSA 2004). 2004, Assisi, Italy: Springer-Verlag.
Palmer J, Mitrani I. Optimal Tree Structures for Large Service Networks. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 866.
Palmer J, Mitrani I. Optimal Tree Structures for Large-Scale Grids. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 847.
Palmer J, Mitrani I. Optimal Tree Structures for Large-Scale Grids. In: UK e-Science All Hands Meeting. 2004, Nottingham, UK: EPSRC.
Blythe PT, Tully A, Knight P, Walker J. Road User Charging in the UK. How will the technology evolve over the next 10 years to meet the future challenges of Nationwide charging schemes. In: 11th World Congress on ITS. 2004, Nagoya, Aichi, Japan.
Molina-Jimenez C, Shrivastava SK, Solaiman EM, Warne JP. Run-time monitoring and enforcement of electronic contracts. Electronic Commerce Research and Applications 2004, 3(2), 108-125.
Vollset EW, Ezhilchelvan PD. Scribble: an Efficient Reliable Manycast protocol for Ad-hoc Networks. In: 1st IEEE International Conference on Mobile Ad-hoc and Sensor Systems (MASS 2004). 2004, Fort Lauderdale, Florida, USA: IEEE.
Thomas N, Bradley JT, Knottenbelt WJ. Semi-blind scheduling in a finite capacity system. In: UK Performance Engineering Workshop. 2004, University of Bradford.
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.
Thomas N, Bradley JT, Knottenbelt WJ. Stochastic analysis of scheduling strategies in a Grid-based resource model. IEE Proceedings: Software 2004, 151(5), 232-239.
Smith J, Sampaio S, Watson P, Paton NW. The design, implementation and evaluation of an ODMG compliant, parallel object database server. Distributed and Parallel Databases 2004, 16(3), 275-319.
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.
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.
Parastatidis S, Webber J, Watson P. Using Web Services to Build Grid Applications - The "No Risk" WSGAF Profile. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 850.
Morgan G, Smith R (eds.). Workshop on Quality of Service for Application Servers (QoSAS). 2004, Jurerê Beach Village, Santa Catarina Island, Brazil.
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.
Vollset E, Ezhilchelvan PD. A Survey of Reliable Broadcast Protocols for Mobile Ad-hoc Networks. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 792.
Woodman SJ, Palmer DJ, Shrivastava SK, Wheater SM. A System for Distributed Enactment of Composite Web Services. University of Trento, 2003. DIT-03-056.
Thomas N, Bradley J, Thornley D. An approximate solution of PEPA models using substitution. IEE Proceedings - Computers and Digital Techniques 2003, 150(2), 67-74.
Vollset EW, Ezhilchelvan PD. An Efficient Reliable Broadcast protocol for Mobile Ad-hoc Networks. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 822.
Ezhilchelvan P, Palmer D, Raynal M. An Optimal Atomic Broadcast Protocol and an Implementation Framework. In: The Eighth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. 2003, Guadalajara, Mexico: IEEE Computer Society.
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.
Kistijantoro AI, Morgan G, Shrivastava SK, Little MC. Component Replication in Distributed Systems: a Case study using Enterprise Java Beans. In: 22nd International Symposium On Reliable Distributed Systems (SRDS). 2003, Florence, Italy: IEEE Computer Society Press.
Molina-Jimenez C, Shrivastava SK, Solaiman E, Warne JP. Contract Representation for Run-time Monitoring and Enforcement. In: 2003 IEEE International Conference on E-Commerce (CEC 2003). 2003, Newport Beach, California, USA: IEEE Computer Society Press.
Molina-Jimenez C, Shrivastava SK, Solaiman E, Warne JP. Contract Representation for Run-time Monitoring and Enforcement. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 810.
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.
Watson P. Databases and the Grid. In: Berman, F., Fox, G. and Hey, A.J.G, ed. Grid Computing: Making the Global Infrastructure a Reality. Chichester, UK: Wiley-Blackwell, 2003, pp.363-384.
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.
Woodman SJ, Palmer DJ, Shrivastava SK, Wheater SM. Distributed Enactment of Composite Web Services. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 848.
Smith J, Gounaris A, Watson P, Paton NW, Fernandes AAA, Sakellariou R. Distributed Query Processing on the Grid. International Journal of High Performance Computing Applications 2003, 17(4), 353-368.
Palmer J, Mitrani I. Dynamic Server Allocation in Heterogeneous Clusters. In: First International Working Conference on Performance Modelling and Evaluation of Heterogeneous Networks (HETNETs). 2003, University of Bradford, UK.
Palmer J, Mitrani I. Dynamic Server Allocation in Heterogeneous Clusters. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 799.
Randell B. Edsger Dijkstra. In: 9th IEEE International Workshop on Object-Oriented Real-Time DependableSystems. 2003, Anacapri (Capri Island), Italy: IEEE Computer Society.
Lu F, Speirs NA. Emulating a Wide Area Network for Testing Dependable Distributed Systems. In: 2003 IEEE International Conference on Dependable Systems and Networks (DSN '03) (supplemental). 2003, San Francisco, California, USA: IEEE Computer Society Press.
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.
Mpoeleng D, Ezhilchelvan P, Speirs N. From crash tolerance to authenticated byzantine tolerance: a structured approach, the cost and benefits. In: 2003 IEEE International Conference on Dependable Systems and Networks (DSN '03). 2003, San Francisco, CA, USA: IEEE.
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.
Graupner S, Koenig R, Machiraju V, Pruyne J, Sahai A, van Moorsel A. Impact of Virtualization on Management Systems. Hewlett-Packard Laboratories: School of Computing Science, University of Newcastle upon Tyne, 2003. HPL-2003-125.
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.
Vollset E, Ingham D, Ezhilchelvan PD. JMS on Mobile Ad-hoc Networks. In: Personal Wireless Communications (PWC), sponsored by IFIP WG 8.6. 2003, Venice, Italy: PWC 2003.
Machiraju V, Sahai A, van Moorsel A. Managed Utility Computing: The Grid as Management Backplane. In: First Latin American Symposium on Dependable Computing (LADC). 2003, Sao Paulo, Brazil: Springer-Verlag.
Graupner S, Machiraju V, Sahai A, van Moorsel A. Management += Grid. In: Self-Managing Distributed Systems: 14th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM). 2003, Heidelberg, Germany: Springer.
Cook NO, Shrivastava SK, Wheater SM. Middleware Support for Non-repudiable Transactional Information Sharing between Enterprises. In: Distributed Applications and Interoperable Systems: 4th IFIP WG 6.1 International Conference (DAIS 2003). 2003, Paris, France: Springer-Verlag.
Cook N, Shrivastava SK, Wheater SM. Middleware Support for Non-repudiable Transactional Information Sharing between Enterprises. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 814.
Solaiman E, Molina-Jimenez C, Shrivastava SK. Model Checking Correctness Properties of Electronic Contracts. In: International Conference on Service Oriented Computing (ICSOC03). 2003, Trento, Italy: Springer.
Solaiman E, Molina-Jimenez C, Shrivastava SK. Model Checking Correctness Properties of Electronic Contracts. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 811.
Bryans J, Bowman H, Derrick J. Model Checking Stochastic Automata. ACM Transactions on Computational Logic 2003, 4(4), 452-492.
Zamli KZ, Lee PA. Modeling and Enacting Software Processes Using VRPML. In: 10th Asia-Pacific Software Engineering Conference. 2003, Chiang Mai, Thailand: IEEE CS Press.
Parastatidis S, Watson P. NEReSC Core Grid Middleware. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 815.
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.
Palmer J, Mitrani I. Optimal Server Allocation in Reconfigurable Clusters with Multiple Job Types. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 823.
van Moorsel A, Wolter K. Optimization of Failure Detection Retry Times. In: PMCCS6: Sixth International Workshop on Performability Modeling of Computer and Communication Systems. 2003, Monticello, Illinois: University of Illinois.
Woodman S, Morgan G, Parkin S. Portal Replication for Web Application Availability Via SOAP. In: 8th IEEE International Workshop on Object-Oriented Real-time Dependable Systems (WORDS). 2003, Guadalajara, Mexico: IEEE Computer Society.
Woodman SJ, Morgan G, Parkin SE. Portal Replication for Web Application Availability Via SOAP. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 797.
Morgan G, Lu F. Predictive Interest Management: An Approach to Managing Message Dissemination for Distributed Virtual Environments. In: First International Workshop on Interactive Rich Media Content Production: Architectures, Technologies, Applications, Tools (Richmedia). 2003, Lausanne, Switzerland.
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.
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.
Sahai A, Graupner S, Machiraju V, van Moorsel A. Specifying and Monitoring Guarantees in Commercial Grids through SLA. In: 3rd IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid2003). 2003, Tokyo, Japan: IEEE Computer Society.
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.
Lin N, Shrivastava SK. System Support for Small-scale Auctions. In: The 2nd Mediterranean Workshop on Ad-Hoc Networks MED-HOC NET 2003 (IFIP-TC6-WG6.8). 2003, Mahdia, Tunisia.
Ezhilchelvan PD, Shrivastava SK. Systematic Development of a Family of Fair Exchange Protocols. In: 17th Annual IFIP WG 11.3 Working Conference on Database and Applications Security. 2003, Estes Park, Colorado.
Ezhilchelvan PD, Shrivastava SK. Systematic Development of a Family of Fair Exchange Protocols. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 820.
Lee PA, Webber J. Taxonomy for Visual Parallel Programming. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 793.
Houston I, Little MC, Robinson I, Shrivastava SK, Wheater SM. The CORBA activity service framework for supporting extended transactions. Software - Practice and Experience 2003, 33(4), 351-373.
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.
Machiraju V, Sahai A, van Moorsel A. Web Services Management Network: An Overlay Network for Federated Service Management. In: Integrated Network Management VIII : Managing It All. IFIP/IEEE Eighth International Symposium on Integrated Network Management (IM 2003), March 24-28, 2003, Colorado Springs, USA. 2003, Colorado Springs, USA: Kluwer Academic Publishers.
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.
Ezhilchelvan PD. A Middleware Architecture for Intrusion- and Fault-Tolerant Service Replication. In: 2002 Workshop on Intrusion Tolerant Systems, held in association with the 2002 IEEE International Conference on Dependable Systems and Networks (DSN 2002). 2002, Washington DC, USA: IEEE Computer Society Press.
Rischbeck T, Watson P. A Scalable, Multi-User VRML Server. In: IEEE Virtual Reality Conference (VR). 2002, Orlando, Florida, USA: IEEE.
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.
Ezhilchelvan PD, Speirs NA. A Two Tier Approach To Building Dependable Middleware Services. In: Workshop on Dependable Middleware-Based Systems; part of the IEEE International Conference on Dependable Systems and Networks (DSN 2002). 2002, Washington DC, USA: IEEE Computer Society Press.
Lee PA, Phillips C. An Assessment of C++ as an Introductory Teaching Language. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2002. Department of Computing Science Technical Report Series 777.
Little MC, Shrivastava SK. An Examination of the Transition of the Arjuna Distributed Transaction Processing Software from Research to Products. In: 2nd USENIX Workshop on Industrial Experiences with Systems Software (WIESS '02). 2002, Boston, MA, USA: USENIX Association.
Kumar L, Misra M, Mitrani I. Analysis of a Transaction System with Checkpointing, Failures and Rollback. In: 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools (TOOLS). 2002, London, UK: Springer-Verlag.
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.
Sahai A, Machiraju V, Sayal M, van Moorsel A, Casati F. Automated SLA Monitoring for Web Services. In: Management Technologies for E-Commerce and E-Business Applications. 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM). 2002, Montreal, Canada: Springer.
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.
Ezhilchelvan PD, Helary J-M, Raynal M. Building Responsive TMR-Based Servers in the Presence of Timing Constraints. In: 21st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PoDC 2002). 2002, Monterey, California, USA: ACM Press, New York.
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.
Watson P. Databases and The Grid. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2002. Department of Computing Science Technical Report Series 755.
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.
Jin L-J, Casati F, van Moorsel A. Design of a Business Process Analyzer. In: 2nd International Conference on Information Systems and Engineering (ISE). 2002, San Diego, California: SCS.
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.
Cook NO, Shrivastava SK, Wheater SM. Distributed object middleware to support dependable information sharing between organisations. In: International Conference on Dependable Systems and Networks. 2002, Washington, D.C., USA: IEEE Computer Society.
Smith J, Gounaris A, Watson P et al. Distributed Query Processing on the Grid. In: 3rd International Workshop on Grid Computing (GRID). 2002, Baltimore, MD, USA: Springer.
Hamilton MD, McKee P, Mitrani I. Distributed Systems with Different Degrees of Multicasting. In: 3rd International Workshop on Software and Performance Evaluation. 2002, Rome, Italy: ACM Press.
McGough AS, Mitrani I. Efficient parallel simulation of a sliding window protocol. Performance Evaluation 2002, 48(1-4), 237-246.
Zamli KZ, Lee PA. Exploiting a Virtual Environment in a Visual PLM. In: 4th International Conference on Product Focused Software Process Improvement (PROFES 2002). 2002, Rovaniemi, Finland: Springer-Verlag.
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.
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.
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.
Shrivastava SK. Middleware for supporting inter-organisational interactions. In: Workshop on Future Directions in Distributed Computing (FuDiCo2002). 2002, Berlin: Springer-Verlag.
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.
Lyu MR, Rangarajan S, van Moorsel A. Optimal Allocation of Test Resources for Software Reliability Growth Modeling in Software Development. IEEE Transactions on Reliability 2002, 51(2), 183-192.
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.
Machiraju V, Rolia J, van Moorsel A. Quality of Business Driven Service Composition and Utility Computing. Hewlett Packard Laboratories: School of Computing Science, University of Newcastle upon Tyne, 2002. HPL-2002-66.
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.
Smith J, Watson P, de F Mendes Sampaio S, Paton NW. Speeding up Navigational Requests in a Parallel Object Database System. In: 8th International Euro-Par Conference (Euro-Par). 2002, Paderborn, Germany: Springer.
van Moorsel A. Ten-Step Survival Guide for the Emerging Business Web. In: Web Services, E-Business, and the Semantic Web, CAiSE 2002 International Workshop (WES). 2002, Toronto, Canada: Springer-Verlag.
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.
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.
Little MC, Shrivastava SK, Speirs NA. Using bloom filters to speed-up name lookup in distributed systems. Computer Journal 2002, 45(6), 645-652.
de F Mendes Sampaio S, Paton NW, Smith J, Watson P. Validated Cost Models for Parallel OQL Query Processing. In: 8th International Conference on Object-Oriented Information Systems (OOIS). 2002, Montpellier, France: Springer.
Owen DJ, Ezhilchelvan PD. Verifiable Fault-Tolerant Transformation of a Real-Time Legacy System. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2002. School of Computing Science Technical Report Series 785.
Charters SM, Knight C, Thomas N, Munro M. Visualisation for Informed Decision Making: From Code to Components. In: Proceedings of 14th International Conference on Software Engineering and Knowledge Engineering. 2002, Ischia, Italy: ACM Press.
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.
Ezhilchelvan PD, Morgan G. A Dependable Distributed Auction System: Architecture and an Implementation Framework. In: 5th International Symposium on Autonomous Decentralized Systems (ISADS). 2001, Dallas, Texas, USA: IEEE Computer Society Press.
Romanovsky A, Zorzo A. A distributed coordinated atomic action scheme. Computer Systems Science and Engineering 2001, 16(4), 237-247.
Ezhilchelvan PD, Shrivastava SK, Little MC. A Model and Architecture for Conducting Hierarchically Structured Auctions. In: 4th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC 2001). 2001, Magdeburg, Germany: IEEE Computer Society Press.
Ezhilchelvan PD, Shrivastava SK, Little MC. A Model and Architecture for Conducting Hierarchically Structured Auctions. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 723.
Rischbeck T, Watson P. A Parallel VRML97 Server based on Active Objects. In: 4th International Conference on Vector and Parallel Processing (VECPAR). 2001, Porto, Portugal: Springer.
Kalogeraki V, Van Moorsel A, Pruyne J. A Peer-to-Peer Architecture for Delivering E-Services. In: International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet. 2001, L'Aquila, Italy.
Arief B, Speirs N. A UML Tool for an Automatic Generation of Simulation Programs. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2001. School of Computing Science Technical Report Series 731.
Romanovsky A, Dony C, Knudsen JL, Tripathi A, ed. Advances in Exception Handling Techniques. Berlin; New York: Springer-Verlag, 2001.
de F Mendes Sampaio S, Smith J, Paton NW, Watson P. An Experimental Performance Evaluation of Join Algorithms for Parallel Object Databases. In: 7th International Euro-Par Conference (Euro-Par). 2001, Manchester, UK: Springer.
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.
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.
Ezhilchelvan PD. Building Responsive and Reliable Distributed Services: Models and Design Options. In: Workshop on CORBA Based Real-Time Fault-Tolerant Systems for Industrial Applications (CORFIA 2001). 2001, Bangalore, India: Centre for Development of Advanced Computing, Bangalore.
Kienzle J, Romanovsky A. Combining Tasking and Transactions, Part II: Open Multithreaded Transactions. Ada Letters 2001, 21(1), 67-74.
Stott DT, Speirs NA, Kalbarczyk Z. Comparing Fail-Silence Provided by Process Duplication versus Internal Error Detection for DHCP Server. In: 15th IEEE International Parallel & Distributed Processing Symposium (IPDPS 2001). 2001, San Francisco, CA: IEEE Computer Society Press.
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.
Cook NO, Shrivastava SK, Wheater SM. Distributed Object Middleware to Support Dependable Information Sharing between Organisations. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 753.
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.
Misra M, Mitrani I. Eigenvalue Analysis of a Transaction System with Failures & Rollback. In: 11th INFORMS Applied Probability Conference. 2001, Columbia University, New York, USA: INFORMS.
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.
de F Mendes Sampaio S, Smith J, Paton NW, Watson P. Experimenting with Object Navigation in Parallel Object Databases. In: 4th International Workshop on Parallel and Distributed Databases (PaDD), part of the 12th International Workshop on Database and Expert Systems Applications (DEXA). 2001, Munich, Germany: IEEE Computer Society Press.
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.
Halliday JJ, Shrivastava SK, Wheater SM. Flexible Workflow Management in the OPENflow system. In: 5th IEEE/OMG International Enterprise Distributed Object Computing Conference (EDOC 2001). 2001, Seattle, WA, USA: IEEE Computer Society Press.
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.
Dantzer J-F, Mitrani I, Robert Ph. Large scale and heavy traffic asymptotics for systems with unreliable servers. Queueing Systems 2001, 38(1), 5-24.
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.
Webber J, Corrales V, Little MC, Parastatidis S. Making Web Services Work. Application Development Advisor 2001, 5(9), 68-71.
Ezhilchelvan P, Khayyambashi M-R, Morgan G, Palmer D. Measuring the cost of scalability and reliability for Internet-based, server-centered applications. In: Proceedings of the Workshop on Object-Oriented Real-Time Dependable Systems (WORDS). 2001, Rome: IEEE.
Van Moorsel A. Metrics for the Internet Age: Quality of Experience and Quality of Business. In: Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-5). 2001, Erlangen, Germany: Univerisitaet Erlangen.
van Moorsel A. Metrics for the Internet Age: Quality of Experience and Quality of Business. Palo Alto, California, USA: Hewlett-Packard Laboratories, 2001. HPL-2001-179.
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.
Hamilton MD, McKee P, Mitrani I. Optimal Caching Policies for Web Objects. In: 9th International Conference High-Performance Computing and Networking (HPCN Europe). 2001, Amsterdam, The Netherlands: Springer-Verlag.
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.
Mitrani I. Queues with Breakdowns. In: Haverkort, B.R., Marie, R., Rubino, G., Trivedi, K, ed. Performability Modelling: Techniques and Tools. Chichester: Wiley-Blackwell, 2001, pp.320.
Ezhilchelvan PD, Mostefaoui A, Raynal M. Randomized Multivalued Consensus. In: 4th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC 2001). 2001, Magdeburg, Germany: IEEE Computer Society Press.
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.
Zamli KZ, Lee PA. Taxonomy of Process Modeling Languages. In: 2001 ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2001). 2001, Beirut, Lebanon: IEEE Computer Society Press.
Zamli KZ, Lee PA. Taxonomy of Process Modeling Languages. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 725.
Houston I, Little MC, Robinson I et al. The CORBA Activity Service Framework for Supporting Extended Transactions. In: 2001 IFIP/ACM International Conference on Distributed Systems Platforms (Middleware 2001). 2001, Heidelberg, Germany: Springer-Verlag.
Wolter K, van Moorsel A. The Relationship between Quality of Service and Business Metrics: Monitoring, Notification and Optimization. Hewlett Packard Laboratories: School of Computing Science, University of Newcastle upon Tyne, 2001. HPL-2001-96.
Little MC, Shrivastava SK, Wheater SM. Theory and Practice of Building Reliable Distributed Applications. In: 3rd IEEE International Symposium on Distributed Objects and Applications (DOA '01). 2001, Rome, Italy: IEEE Computer Society Press.
Ansell PS, Glazebroo KD, Mitrani I. Threshold policies for a single-server queuing network. Probability in the Engineering and Informational Sciences 2001, 15(1), 15-33.
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.
Webber J, Lee PA. Visual, Object-Oriented Development of Parallel Applications. Journal of Visual Languages and Computing 2001, 12(2), 145-161.
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.
Ezhilchelvan PD, Liu C, Barcellos AMP. A Multicast Transport Protocol for Reliable Group Applications. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 681.
Arief LB, Speirs NA. A UML Tool for an Automatic Generation of Simulation Programs. In: 2nd International Workshop on Software and Performance (WOSP 2000). 2000, Ottawa, Canada: ACM Press.
Shrivastava SK, Bellissard L, Féliot D et al. A Workflow and Agent based Platform for Service Provisioning. In: 4th IEEE/OMG International Enterprise Distributed Object Computing Conference (EDOC 2000). 2000, Makuhari, Japan: IEEE Computer Society Press.
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.
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.
Smith J, de F Mendes Sampaio S, Watson P, Paton NW. An Architecture for a Parallel Object Database. In: Workshop on High Performance Object Databases (HIPOD). 2000, Cardiff, UK: Department of Computer Science, Cardiff University.
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.
Parastatidis S, Watson P. An Object-based Software DSM for the NIP Parallel System. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 678.
Molina-Jiménez C. Anonymous and Confidential Communication using PDAs [PhD Thesis]. Newcastle upon Tyne: University of Newcastle upon Tyne, 2000. Department of Computing Science.
Pedone F, Schiper A, Van Moorsel A. Bridging the Gap between Application Semantics and Group Communication Protocols. In: 19th IEEE Symposium on Reliable Distributed Systems: Workshop on Dependable System Middleware and Group Communication. 2000, Nuremberg, Germany: Ecole Polytechnique Lausanne.
Frolund S, Pedone F, Pruyne J, Van Moorsel A. Building Dependable Internet Services with E-speak. In: Workshop on Dependability of IP Applications, Platforms and Networks. 2000, New York, NY: AT&T Laboratories.
Ezhilchelvan PD, Hulary J-M, Raynal M. Building TMR-Based Reliable Servers Despite Bounded Input Lifetimes. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 701.
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.
Ingham DB, Shrivastava SK, Panzieri F. Constructing dependable Web services. IEEE Internet Computing 2000, 4(1), 25-33.
Perry DE, Romanovsky A, Tripathi A. Current trends in exception handling. IEEE Transactions on Software Engineering 2000, 26(10), 921-922.
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.
McGough SA, Mitrani I. Efficient Parallel Simulation of a Sliding Window Protocol. In: 7th IFIP International Conference on ATM Networks, Ilkley, UK, 2000. 2000.
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.
Stott DT, Speirs NA, Xu J, Bagchi S, Whisnant K, Kalbarczyk Z, Iyer RK. Fault Injection Based Assessment of Fail-Silence Provided by Process Duplication versus Internal Error Detection. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 694.
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.
Bearden M, Garg S, van Moorsel A, Lee W-J. Gallifrey: A Component-Based Framework for Building Policy-Based Management Applications. New Jersey: Lucent Technologies - Bell Laboratories, 2000. Work Project No. MA30035004.
Morgan G, Shrivastava SK. Implementing flexible object group invocation in networked systems. In: International Conference on Dependable Systems and Networks (DSN). 2000, New York, NY, US: IEEE Computer Society.
Morgan G, Rischbeck T. Implementing Scalable Networked Virtual Environments using Replicated VRML Servers. In: International SRDS Workshop on Object-Oriented Reliable Distributed Systems (WOODS), held as part of the 19th IEEE Symposium on Reliable Distributed Systems (SRDS). 2000, Nürnberg, Germany: IEEE Computer Society.
Morgan G, Ezhilchelvan PD. Issues in designing group invocation and management policies for using replica groups over the Internet. In: International SRDS Workshop on Dependable System Middleware and Group Communication (DSMGC), held as part of the 19th IEEE Symposium on Reliable Distributed Systems (SRDS). 2000, Nürnberg, Germany: IEEE Computer Society.
Hamilton MD, McKee P, Mitrani I. Loads and Delays in Distributed Systems using Multicast. In: 16th Annual UK Performance Engineering Workshop (UKPEW). 2000, Durham, UK: Department of Computer Science, University of Durham.
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.
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.
Hamilton MD, Mitrani I. Optimal Allocation Policies for Mobile Agents. In: 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools (TOOLS). 2000, Schaumburg, IL, USA: Springer-Verlag.
Silva F, Watson P. Or-parallel Prolog on a distributed memory architecture. Journal of Logic Programming 2000, 43(2), 173-186.
McGough AS, Mitrani I. Parallel Simulation of ATM Switches Using Relaxation. Performance Evaluation (Special Issue on ATM Networks: Performance Modelling and Analysis) 2000, 41(2-3), 149-164.
Smith JA, Watson P, de F Mendes Sampaio S, Paton NW. Polar: An Architecture for a Parallel ODMG Compliant Object Database. In: 9th International Conference on Information Knowledge Management (CIKM). 2000, McLean, Virginia, USA: ACM Press.
Morgan G, Ezhilchelvan PD. Policies for Using Replica Groups and their Effectiveness over the Internet. In: 2nd International Workshop on Networked Group Communication (NGC). 2000, Stanford University, Palo Alto, California, USA: ACM Press.
Ezhilchelvan PD, Mostefaoui A, Raynal M. Randomized Multivalued Consensus. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 702.
Shrivastava SK, Ezhilchelvan PD, Speirs N, Fitzgerald JS. Safety Critical Distributed Systems: a State of Art Report. London: National Air Traffic Services, 2000.
Speirs NA, Arief LB. Simulation of a Telecommunication System Using SimML. In: IEEE Proceedings of the 33rd Annual Simulation Symposium. 2000, Washington DC, USA: IEEE.
Watson P, Watson I, Ibbett R, Kelly P, Muller H. Strategic Directions in Computer Architecture Research. Computer Architecture Group, UK, 2000. "Strategic Directions in Computer Science" Workshop.
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.
Watson P, Lee PA. The NU-Grid Persistent Object Computation Server. In: 1st European GRID Forum Workshop (part of the ISTHMUS 2000 Conference). 2000, Poznan, Polan: Instytut Informatyki, Politechnika Poznánska, Poznan.
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.
Bearden M, Garg S, Lee W-J, Van Moorsel A. User-Centric QoS Policies, or Saying What and How. In: Services Management in Intelligent Networks, 11th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM). 2000, Austin, Texas, USA: IEEE.
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.
Webber J, Lee PA. Visual Object-Oriented Development of Parallel Applications. In: IEEE VL 2000 Satellite Workshop on Visual Methods for Parallel and Distributed Programming, Seattle, USA, 14 September 2000. Part of the 2000 IEEE Symposium on Visual Languages (VL 2000). 2000, Seattle, USA: IEEE.
Little MC, Shrivastava SK. A Method for Combining Replication with Cacheing. In: 1999 IEEE Workshop on Reliable Middleware (WREMI '99), part of the 18th IEEE Symposium on Reliable Distributed Systems (SRDS '99). 1999, Lausanne, Switzerland: IEEE Computer Society Press.
Liu C, Ezhilchelvan PD, Barcellos AMP. A Multicast Transport Protocol for Reliable Group Applications. In: 1st International Workshop on Networked Group Communication (NGC 1999). 1999, Pisa, Italy: Springer-Verlag.
de F Mendes Sampaio S, Paton NW, Watson P, Smith J. A Parallel Algebra for Object Databases. In: 2nd Workshop on Parallel and Distributed Databases (PaDD '99), part of the 10th International Workshop on Database and Expert Systems Applications (DEXA). 1999, Florence, Italy: IEEE Computer Society Press.
Ansell PS, Glazebrook KD, Mitrani I, Nino-Mora J. A Semidefinite Programming Approach to the Optimal Control of a Single Server Queueing System with Imposed Second Moment Constraints. In: 10th INFORMS Applied Probability Conference. 1999, Ulm, Germany: INFORMS.
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.
Krakowiak S, Shrivastava SK, ed. Advances in distributed systems: advanced distributed computing, from algorithms to systems. Berlin: Springer-Verlag, 1999.
Parastatidis S, Watson P. An Object-Based Software DSM for the NIP Parallel System. In: 1st Workshop on Software Distributed Shared Memory (WSDSM). Held in conjunction with the ACM International Conference on Supercomputing (ICS). 1999, Rhodes, Greece: ACM Press.
Hamilton MD, Liu B, Mitrani I. Analysis and Optimization of a Distributed Directory. In: 10th GI/ITG Special Interest Conference (MMB). 1999, Trier, Germany: VDE Verlag GmbH, Berlin.
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.
Arief LB, Speirs NA. Automatic Generation of Distributed System Simulations from UML. In: 13th European Simulation Multiconference (ESM'99). 1999, Warsaw, Poland: SCS Publishing House.
Benjamin R, Gladman B, Randell B. Business at War. Computer Bulletin 1999, 1(6), 23-28.
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.
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.
Morgan G, Shrivastava SK, Ezhilchelvan PD, Little MC. Design and Implementation of a CORBA Fault-Tolerant Object Group Service. In: Distributed applications and interoperable systems II : IFIP TC6 WG6.1 second International Working Conference on Distributed Applications and Interoperable Systems (DAIS'99). 1999, Helsinki, Finland: Kluwer Academic Publishers.
Van Moorsel A, Yajnik S. Design of a Resource Manager for Fault-Tolerant CORBA. In: 18th IEEE Symposium on Reliable Distributed Systems: Workshop on Reliable Middleware. 1999, Lausanne, Switzerland: Univerisitaet Erlangen.
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.
Shrivastava SK, Ezhilchelvan PD. Enhancing Replica Management Services to Cope with Group Failures. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 1999. School of Computing Science Technical Report Series 665.
Ezhilchelvan PD, Shrivastava SK. Enhancing Replica Management Services to Tolerate Group Failures. In: 2nd IEEE International Symposium on Object Oriented Real-Time Computing (ISORC '99). 1999, St. Malo, France: 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).
Clark G, Gilmore S, Hillston J, Thomas N. Experiences with the PEPA Performance Modelling Tools. IEE Proceedings: Software 1999, 146(1), 11-19.
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.
Fitzgerald JS. Formality in Specification and Modelling: Developments in Software Engineering Practice. Advances in Computers 1999, 49, 69-94.
Little MC, Shrivastava SK. Implementing High Availability CORBA Applications with Java. In: 1st IEEE Workshop on Internet Applications (WIAPP '99). 1999, San Jose, CA, USA: IEEE Computer Society Press.
Halliday JJ, Shrivastava SK, Wheater SM. Implementing Support for Work Activity Coordination within a Distributed Workflow System. In: 3rd IEEE/OMG International Enterprise Distributed Object Computing Conference (EDOC '99). 1999, University of Mannheim, Germany: IEEE Press.
Little MC, Shrivastava SK. Integrating Group Communication with Transactions for Implementing Persistent Replicated Objects. In: Krakowiak, S. and Shrivastava, S.K, ed. Advances in Distributed Systems. Berlin: Springer-Verlag, 1999, pp.238-253.
Dantzer J-F, Mitrani I, Puhalskii AA, Robert P. Large Scale and Heavy Traffic Asymptotics for Systems with Unreliable Servers. In: 10th INFORMS Applied Probability Conference. 1999, Ulm, Germany: INFORMS.
Little MC. Object decomposition in transactional applications. In: 8th High Performance Transaction Processing Workshop (HPTS99). 1999, Asilomar Conference Center, Pacific Grove, California, USA.
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.
Misra M, Mitrani I. On the propagation of updates in distributed replicated systems. Performance Evaluation 1999, 35(3), 131-144.
Panzieri F, Shrivastava SK. On the Provision of Replicated Internet Auction Services. In: 1999 IEEE Workshop on Electronic Commerce (WELCOM '99), part of the 18th IEEE Symposium on Reliable Distributed Systems (SRDS '99). 1999, Lausanne, Switzerland: IEEE Computer Society Press.
Hillston J, Thomas N. Product Form Solution for a class of PEPA Models. Performance Evaluation 1999, 35(3-4), 171-192.
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.
Ansell PS, Glazebrook KD, Mitrani I, Nino-Mora J. Semidefinite programming approach to the optimal control of a single server queueing system with imposed second moment constraints. Journal of the Operational Research Society 1999, 50(7), 765-773.
Arief LB, Speirs NA. Simulation Generation from UML Like Specifications. In: 1999 IASTED International Conference on Applied Modelling and Simulation (AMS 1999). 1999, Cairns, Australia: ACTA Press.
Arief LB, Little MC, Shrivastava SK, Speirs NA, Wheater SM. Specifying distributed system services. BT Technology Journal 1999, 17(2), 126-136.
Bryans J, Derrick J. Stochastic Specification and Verification. In: 3rd Irish Workshop on Formal Methods (IWFM). 1999, Galway, Ireland: British Computer Society.
van Moorsel A. The 'QoS Query Service' for Improved Quality-of-Service Decision Making in CORBA. In: 18th IEEE Symposium on Reliable Distributed Systems. 1999, Lausanne, Switzerland: IEEE Computer Society.
Ingham D, Caughey S, Watson P, Halsey S. The Informed Traveller: A Case Study in Building Internet Brokering Services. In: 1st IEEE Workshop on Internet Applications (WIAPP). 1999, San Jose, CA, USA: IEEE.
Watson P, Parastatidis S. The NIP Parallel Object-Oriented Computational Model. In: 3rd International Workshop on Communication, Architecture and Applications for Network-based Parallel Computing (CANPC). 1999, Orlando, Florida, USA: Springer.
Watson P, Parastatidis S. The NIP Parallel Object-Oriented Computational Model. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1999. Department of Computing Science Technical Report Series 658.
Little MC, Wheater SM, Ingham DB, Snow CR, Whitfield H, Shrivastava SK. The University Student Registration System: A Case Study in Building a High-Availability Distributed Application Using General Purpose Components. In: Krakowiak, S. and Shrivastava, S.K, ed. Advances in Distributed Systems. Springer-Verlag, 1999, pp.453-471.
Little MC, Shrivastava SK. Understanding the Role of Atomic Transactions and Group Communications in Implementing Persistent Replicated Objects. In: 8th International Workshop on Persistent Object Systems: Design, Implementation and Use (POS8), Advances in Persistent Object Systems. 1999, Tiburon, California, USA: Morgan Kaufmann.
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.
Arief LB, Speirs NA. Using SimML to Bridge the Transformation from UML to Simulation. In: Workshop on Software Performance Prediction extracted from Designs. 1999, Edinburgh, Scotland: Heriot-Watt University.
Morgan G. [PhD Thesis] A Middleware Service for Fault-Tolerant Group Communications. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 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.
Wheater SM, Shrivastava SK, Ranno F. A CORBA Compliant Transactional Workflow System for Internet Applications. In: IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing (Middleware '98). 1998, The Lake District, UK: Springer-Verlag.
Wheater SM, Shrivastava SK, Ranno F. A CORBA Compliant Transactional Workflow System for Internet Applications. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 647.
Ranno F, Shrivastava SK, Wheater SM. A Language for Specifying the Composition of Reliable Distributed Applications. In: 18th IEEE International Conference on Distributed Computing Systems (ICDCS '98). 1998, Amsterdam, The Netherlands: IEEE Computer Society Press.
Ranno F, Shrivastava SK, Wheater SM. A Language for Specifying the Composition of Reliable Distributed Applications. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 646.
Schonwalder J, Garg S, Huang Y, van Moorsel A, Yajnik S. A Management Interface for Distributed Fault Tolerance CORBA Services. In: IEEE Third International Workshop on Systems Management. 1998, Newport, Rhode Island: IEEE Computer Society.
Garg S, van Moorsel A, Vaidyanathan K, Trivedi KS. A Methodology for Detection and Estimation of Software Aging. In: Ninth International Symposium on Software Reliability Engineering, November 4-7, 1998, Paderborn, Germany. 1998, Paderborn, Germany: IEEE Computer Society.
Romanovsky A. A study of atomic action schemes intended for standard Ada. Journal of Systems and Software 1998, 43(1), 29-44.
Ranno F, Shrivastava SK, Wheater SM. A System for Specifying and Coordinating the Execution of Reliable Distributed Aplications. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 644.
Fitzgerald JS, Jones CB. A tracking system. In: Bicarregui, J.C, ed. Proof in VDM: Case Studies. London: Springer-Verlag, 1998, pp.1-30.
Shrivastava SK, Wheater SM. A Transactional Workflow based Distributed Application Composition and Execution Environment. In: 8th ACM SIGOPS European Workshop on Support for Composing Distributed Applications (EW-8). 1998, Sintra, Portugal: ACM Press, New York.
van Moorsel A. Action Models: A Reliability Modeling Formalism for Fault-Tolerant Distributed Computing Systems. In: Proceedings of the IEEE International Computer Performance and Dependability Symposium, IPDS '98. 1998, Durham, North Carolina, USA: IEEE Computer Society.
Barcellos AMP, Ezhilchelvan PD. An End-to-End Reliable Multicast Protocol Using Polling for Scalability. In: 17th Annual Joint Conference of the IEEE Computer and Communications Societies: Gateway to the 21st Century (IEEE INFOCOM '98). 1998, San Francisco, CA, USA: IEEE Press.
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.
Thomas N, Mitrani I. Approximate Solution of a Pipeline with Server Vacations. In: 12th European Simulation Multiconference: Simulation Past, Present and Future (ESM). 1998, Manchester, UK: SCS Publishing House.
Shrivastava SK, Wheater SM. Architectural support for dynamic reconfiguration of distributed workflow applications. IEE Proceedings: Software 1998, 145(5), 155-162.
Shrivastava SK, Wheater SM. Architectural Support for Dynamic Reconfiguration of Large Scale Distributed Apllications. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 645.
Shrivastava SK, Wheater SM. Architectural Support for Dynamic Reconfiguration of Large Scale Distributed Applications. In: 4th IEEE International Conference on Configurable Distributed Systems (ICCDS '98). 1998, Annapolis, Maryland, USA: IEEE Computer Society Press.
Little MC, Wheater SM. Building Configurable Applications in Java. In: 4th IEEE International Conference on Configurable Distributed Systems (ICCDS '98). 1998, Annapolis, Maryland, USA: IEEE Computer Society.
Little MC, Shrivastava SK. Building Configurable Applications in Java. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 653.
Caughey SJ, Little MC, Shrivastava SK. Checked Transactions in an Asynchronous Message Passing Environment. In: 1st IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC '98). 1998, Kyoto, Japan: IEEE Computer Society Press.
Caughey SJ, Little MC, Shrivastava SK. Checked Transactions in an Asynchronous Message Passing Environment. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 655.
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.
Little MC, Speirs NA. Comparative Evaluation of Object Location Mechanisms. British Telecom, 1998.
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.
Garg S, Huang Y, Van Moorsel A. Design and Implementation of an SNMP Agent for Managing NTSwift. New Jersey, USA: Bell Labs Research, 1998. BL011356-980908-21.
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.
Little MC, Shrivastava SK. Distributed Transactions in Java. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 651.
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.
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.
Little MC, Shrivastava SK. Integrating the Object Transaction Service with the Web. In: 2nd IEEE International Enterprise Distributed Object Computing Workshop (EDOC '98). 1998, La Jolla, California, USA: IEEE Computer Society Press.
Little MC, Shrivastava SK. Integrating the Object Transaction Service with the Web. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 656.
Shrivastava SK. Inter-task Co-ordination in Long-Lived Distributed Applications. In: 12th International Symposium on Distributed Computing (DISC '98). 1998, Andros, Greece: Springer-Verlag.
Little MC, Shrivastava SK. Java Transactions for the Internet. IEE Distributed Systems Engineering 1998, 5(4), 156-167.
Little MC, Shrivastava SK. Java Transactions for the Internet. In: 4th USENIX Conference on Object-Oriented Technologies and Systems (COOTS IV). 1998, Santa Fe, New Mexico, USA: USENIX Association.
Little MC, Shrivastava SK. Java Transactions for the Internet. Department of Computing Science, The University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 652.
Randell B. Memories of the NATO Software Engineering Conferences. IEEE Annals of the History of Computing 1998, 20(1), 51-54.
Caughey SJ, Ingham DB, Watson P. Metabroker: A Generic Broker for Electronic Commerce. In: 7th International World Wide Web Conference (WWW7). 1998, Brisbane, Australia: Elsevier BV.
Caughey SJ, Ingham DB, Watson P. Metabroker: A Generic Broker for Electronic Commerce. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 635.
Van Moorsel A, Boucherie R. Metrics for Representing Performance as Rewards in Performability Models. In: Fourth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS4). 1998, Williamsburg, VA, USA.
Fitzgerald JS, Larsen PG. Modelling Systems: Practical Tools and Techniques in Software Engineering. Cambridge, UK: Cambridge University Press, 1998.
van Moorsel APA, Wolter K. Numerical Solution of Non-homogeneous Markov Processes through Uniformization. In: 12th European Simulation MultiConference. Simulation - Past, Present and Future. 1998, Manchester, UK: SCS Europe.
Misra M, Mitrani I. On the Propagation of Updates in Distributed Replicated Systems. In: 3rd IEEE International Computer Performance and Dependability Symposium (IPDS). 1998, Durham, NC, USA: IEEE Computer Society Press.
McGough SA, Mitrani I. Parallel Simulation of ATM Switches Using Relaxation. In: 6th IFIP International Conference on ATM Networks (IFIP ATM). 1998, Ilkley, West Yorkshire, UK.
Smith JA, Shrivastava SK. Performance of fault-tolerant data and compute intensive programs over a network of workstations. Theoretical Computer Science 1998, 196(1-2), 319-345.
Romanovsky AB. Predictable toleration of design faults: Recovery blocks in real time systems. Computer Systems Science and Engineering 1998, 13(6), 369-377.
Barcellos AMP, Ezhilchelvan PD. PRMP: A Scaleable Polling-Based Reliable Multicast Protocol. In: 4th International Workshop on High Performance Protocol Architectures (HIPPARCH '98). 1998, University College, London, UK: University College, London.
Mitrani I. Probabilistic Modelling. London: Cambridge University Press, 1998.
Benjamin R, Gladman B, Randell B. Protecting IT Systems from Cyber Crime. Computer Journal 1998, 41(7), 429-433.
Little MC, Shrivastava SK. Providing end-to-end transactional Web applications using the Object Transaction Service. OMG Success Story 1998.
van Moorsel A, Huang Y. Reusable Software Components for Performability Tools, and Their Utilization for Web-Based Configurable Tools. In: Computer Performance Evaluation: Modelling Techniques and Tools 10th International Conference, Tools’98. 1998, Palma de Mallorca, Spain: Springer.
Arief LB, Speirs NA. Specification of Distributed Intelligent Network Systems using UML and Extensions. British Telecom, 1998.
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.
Watson P. The Design of an ODMG Compatible Parallel Object Database Server. In: 3rd International Conference on Vector and Parallel Processing (VECPAR). 1998, Porto, Portugal: Springer.
Black D, Low C, Shrivastava SK. The Voltan Application Programming Environment for Fail-silent Processes. IEE Distributed Systems Engineering 1998, 5(2), 66-77.
Mitrani I, Yakovlev A. Tree Arbiter with Nearest-Neighbour Scheduling. In: 13th International Symposium on Computer and Information Sciences: Advances in Computer and Information Sciences (ISCIS). 1998, Ankara, Turkey: IOS Press.
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.
Wheater SM, Shrivastava SK. A Framework for Configurable Distributed Transactions. In: 7th High Performance Transaction Systems Workshop (HPTS 1997). 1997, Pacific Grove, California, USA.
Fitzgerald JS. A Proof of Satisfiability in Mukherjee and Stavridou's Ammunition Control System. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 616.
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.
Klemm R, Rangarajan S, Singh N, Van Moorsel A. A Suite of Internet-Accessible Analysis Tools. In: Computer Performance Evaluation Modelling Techniques and Tools 9th International Conference. 1997, St. Malo, France: Springer.
Ranno F, Shrivastava SK, Wheater SM. A System for Specifying and Coordinating the Execution of Reliable Distributed Applications. In: 1st IFIP TC 6 WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems (DAIS '97). 1997, Cottbus, Germany: Chapman & Hall.
Ezhilchelvan PD, Brasileiro FV, Speirs NA. A Timeout Based Message Ordering Protocol for a Lightweight Software Implementation of TMR Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 582.
Barcellos AMP, Ezhilchelvan PD. An End-to-End Reliable Multicast Protocol Using Polling for Scaleability. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 609.
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.
Little MC. Constructing reliable Web applications using atomic actions. Computer Networks 1997, 29(8-13), 1281-1290.
Little MC, Shrivastava SK, Caughey SJ, Ingham DB. Constructing Reliable Web Applications Using Atomic Actions. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 601.
Little MC, Shrivastava SK, Caughey SJ, Ingham DB. Constructing Reliable Web Applications Using Atomic Actions. In: 6th International World Wide Web Conference. 1997, Santa Clara, California, USA: Elsevier Science Publishers.
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.
Lee PA, Phillips C. Der C++ - kurs. Der Einsteig in die Objektorientierte Programmierung. Berlin: International Thompson Computer Press, 1997.
Black D, Ezhilchelvan PD, Shrivastava SK. Determining the Last Membership of a Process Group after a Total Failure. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 602.
Little MC, Shrivastava SK. Distributed Transactions in Java. In: 7th High Performance Transaction Systems Workshop (HPTS 1997). 1997, Pacific Grove, California, USA.
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.
Smith J, Shrivastava SK. Fault-Tolerant Parallel Applications Using Queues and Actions. In: 26th International Conference on Parallel Processing (ICPP '97). 1997, Bloomington, IL, USA: IEEE Computer Society Press.
Ingham DB, Caughey SJ, Little MC. Fixing the "Broken-link" Problem: The W3Objects Approach. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 591.
Caughey SJ, Ingham DB, Little MC. Flexible Open Caching for the Web. In: 6th International World Wide Web Conference. 1997, Santa Clara, California, USA: Elsevier Science.
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.
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.
Brasileiro FV, Ezhilchelvan PD, Shrivastava SK, Speirs NA. Implementing Fail-Silent Nodes for Distributed Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 581.
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.
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.
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.
Klemm R, van Moorsel A. Offering Computing Services Through Networks of Simple HTTP Servers. New Jersey, USA: Bell Labs Research, 1997. BL011256-970805-05.
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.
Lyu M, Rangarajan S, van Moorsel A. Optimization of Reliability Allocation and Testing Schedule for Software Systems. In: Eighth International Symposium on Software Reliability Engineering. 1997, Albuquerque, New Mexico: IEEE Computer Society.
Silva F, Watson P. Or-Parallel Prolog on a Distributed Memory Architecture. Portugal: DCC - FC & LIACC, Universidade do Porto, 1997. 97-6.
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.
Van Moorsel A. Providing System Analysis Tools over the Internet. New Jersey, USA: Bell Labs Research, 1997. BL011256-970801.
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.
Ingham DB, Caughey SJ, Little MC. Supporting Highly Manageable Web Services. In: 6th International World Wide Web Conference. 1997, Santa Clara, California, USA: Elsevier Science Publishers.
Ingham DB, Caughey SJ, Little MC. Supporting Highly Manageable Web Services. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 592.
Lee PA, Phillips C. The Apprentice C++ Programmer: A Touch of Class. London: International Thompson Computer Press, 1997.
Wheater SM, Little MC. The Design and Implementation of a Framework for Configurable Software. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 578.
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.
van Moorsel A, Sanders WH. Transient Solution of Markov Models by Combining Adaptive and Standard Uniformization. IEEE Transactions on Reliability 1997, 46(3), 430-440.
Mitrani I, Yakovlev A. Tree Arbiter With Nearest-Neighbour Scheduling. In: 13th UK Workshop on Performance Engineering of Computer and Telecommunication Systems (UKPEW). 1997, Ilkley, West Yorkshire, UK: UK Performance Engineering Workshop/Edinburgh University Press.
Mitrani I, Yakovlev A. Tree Arbiter With Nearest-Neighbour Scheduling. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 563.
Little MC, Shrivastava SK. Using Application Specific Knowledge for Configuring Object Replicas. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 579.
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.
Ingham DB, Little MC, Caughey SJ, Shrivastava SK. W3Objects: Bringing Object-Oriented Technology to the Web. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 590.
Ingham DB, Little MC, Caughey SJ, Shrivastava SK. W3Objects: Distributed Objects and the Web. Dr. Dobb's Sourcebook: Distributed Objects 1997, 22(13), 19-25.
Smith JA, Shrivastava SK. A System for Fault-Tolerant Execution of Data and Compute Intensive Programs Over a Network of Workstations. In: 2nd International Euro-Par Conference (Euro-Par '96). 1996, Lyon, France: Springer-Verlag.
Smith JA, Shrivastava SK. A System for Fault-Tolerant Execution of Data and Compute Intensive Programs Over a Network of Workstations. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1996. Department of Computing Science Technical Report Series 553.
Calsavara A, Shrivastava SK. A Toolkit for Constructing Distributed Object-Oriented Metainformation Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1996. Department of Computing Science Technical Report Series 557.
Qureshi MA, Sanders WH, van Moorsel A, German R. Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures. IEEE Transactions on Software Engineering 1996, 22(9), 603-614.
Banatre M, Gefflaut A, Joubert P, Morin C, Lee PA. An architecture for tolerating processor failures in shared-memory multiprocessors. IEEE Transactions on Computers 1996, 45(10), 1101-1115.
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.
Misra M, Mitrani I. Analysis of Data Replication with Two Levels of Consistency. In: 2nd IEEE International Performance and Dependability Symposium (IPDS). 1996, Urbana-Champaign, IL, USA: IEEE Computer Society Press.
Romanovsky A. Application specific conversation schemes for ADA programs. Microprocessing and Microprogramming 1996, 41(10), 703-713.
Larsen PG, Fitzgerald J, Brookes T. Applying formal specification in industry. IEEE Software 1996, 13(3), 48-56.
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.
Lee PA, Stroud RJ. C++ as an Introductory Programming Language. In: Woodman, M, ed. Programming Language Choice: Practice and Experience. London: International Thomson Computer Press, 1996, pp.63-82.
Randell B. Charles Babbage and the Anglo-American Copyright Dispute. IEEE Annals of the History of Computing 1996, 18(3), 56.
van Moorsel A. Combining Adaptive and Standard Uniformization. In: PMCCS3: Third International Workshop on Performability Modeling of Computer and Communication Systems. 1996, Indian Lakes Resort, Bloomingdale, Illinois: University of Illinois.
van Moorsel A, Kant LA, Sanders WH. Computation of the Asymptotic Bias and Variance for Simulation of Markov Reward Models. In: 29th Annual Simulation Symposium. 1996, New Orleans, LA: IEEE.
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.
German R, van Moorsel A, Qureshi MA, Sanders WH. Expected Impulse Rewards in Markov Regenerative Stochastic Petri Nets. In: Expected Impulse Rewards in Markov Regenerative Stochastic Petri Nets. 1996, Osaka, Japan: Springer.
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.
Ingham DB, Caughey SJ, Little MC. Fixing the "Broken-Link" problem: The W3Objects approach. Computer Networks and ISDN Systems 1996, 28(7-11), 1255-1268.
Brasileiro FV, Ezhilchelvan PD, Shrivastava SK, Speirs NA, Tao S. Implementing fail-silent nodes for distributed systems. IEEE Transactions on Computers 1996, 45(11), 1226-1238.
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.
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.
Lee PA, Phillips C, McLauchlan MR. Lab Manual to Accompany The Apprentice C++ Programmer: A Touch of Class. London: International Thomson Computer Press, 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.
van Moorsel A, Haverkort BR. Probabilistic Evaluation for the Analytical Solution of Large Markov Models: Algorithms and Tool Support. Microelectronics Reliability 1996, 36(6), 733-755.
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.
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.
Ansell PS, Glazebrook KD, Mitrani I. Server allocation subject to variance constraints. Performance Evaluation 1996, 27-28, 147-158.
Blair H, Caughey SJ, Green H, Shrivastava SK. Structuring Call Control Software Using Distributed Objects. In: 1996 International Workshop on Trends in Distributed Systems: CORBA and Beyond (TreDS '96). 1996, Aachen, Germany: Springer-Verlag.
Blair H, Caughey SJ, Green H, Shrivastava SK. Structuring Call Control Software Using Distributed Objects. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1996. Department of Computing Science Technical Report Series 558.
Greenberg AG, Lubachevsky BD, Mitrani I. Superfast Parallel Discrete Event Simulations. ACM Transactions on Modelling and Computer Simulation 1996, 6(2), 107-136.
Wheater SM, Little MC. The Design and Implementation of a Framework for Configurable Software. In: 3rd IEEE International Conference on Configurable Distributed Systems (ICCDS '96). 1996, Maryland, USA: IEEE Computer Society Press.
Watson P, Ward M, Hoyle K. The System Management of the ICL GOLDRUSH Parallel Database Server. In: 1996 International Conference and Exhibition on High-Performance Computing and Networking (HPCN Europe 1996), Brussels, Belgium, 15-19 April 1996. 1996, Brussels, Belgium: Springer.
Watson P, Ward M, Hoyle K. The System Management of the ICL GOLDRUSH Parallel Database Server. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1996. Department of Computing Science Technical Report Series 548.
Garg S, van Moorsel A. Towards Performability Modeling of Software Rejuvenation. In: PMCCS3: Third International Workshop on Performability Modeling of Computer and Communication Systems. 1996, Indian Lakes Resort, Bloomingdale, Illinois: University of Illinois.
Fitzgerald JS. Two Industrial Trials of Formal Specification. In: 5th International Conference on Algebraic Methodology and Software Technology (AMAST '96). 1996, Munich, Germany: Springer-Verlag.
Little MC, Shrivastava SK. Using Application Specific Knowledge for Configuring Object Replicas. In: 3rd IEEE International Conference on Configurable Distributed Systems (ICCDS '96). 1996, Maryland, USA: IEEE Computer Society Press.
Boxma OJ, Koole GM, Mitrani I. A Two-Queue Polling Model with Threshold Service Policy. In: 3rd International Workshop on Modeling, Analysis, and Simulation (MASCOTS). 1995, Durham, North Carolina, USA: IEEE Computer Society Press.
Qureshi MA, Sanders WH, van Moorsel APA, German R. Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures. In: Sixth International Workshop on Petri Nets and Performance Modeling. 1995, Durham, North Carolina, USA: IEEE.
Caughey SJ, Shrivastava SK. Architectural Support for Mobile Objects in Large Scale Distributed Systems. In: 4th IEEE International Workshop on Object Orientation in Operating Systems (IWOOOS '95). 1995, Lund, Sweden: IEEE Computer Society Press.
Brasileiro FV, Ezhilchelvan PD. Atomic Broadcast Using Time-Outs instead of Synchronised Time. In: VI Simposio de Computadores Tolerantes a Falhas (Sixth Symposium on Fault Tolerant Computers). 1995, Canela, Brazil.
Brasileiro FV, Ezhilchelvan PD, Speirs NA. Authenticated Agreement Protocols without Explicit Clock Synchronisation. In: European Research Seminar on Advances in Distributed Systems (ERSADS) Workshop. 1995, l'Alpe d'Huez, France.
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.
Fitzgerald JS, Larsen PG, Brookes T, Green M. Developing a Security-critical System using Formal and Conventional Methods. In: Hinchey, MG and Bowen, JP, ed. Applications of Formal Methods. London: Prentice Hall, 1995, pp.333-356.
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.
Smith JA, Shrivastava SK. Fault-Tolerant Execution of Computationally and Storage Intensive Programs Over a Network of Workstations: A Case Study. ESPRIT Basic Research Project 6360, 1995. 103.
Macedo RA, Ezhilchelvan PD, Shrivastava SK. Flow Control Schemes for a Fault-Tolerant Multicast Protocol. In: 1995 Pacific Rim International Symposium on Fault-Tolerant Systems (PRFTS '95). 1995, Newport Beach, California, USA: IEEE Computer Society Press.
Tao S, Ezhilchelvan PD, Shrivastava SK. Focused Fault Injection Testing of Software Implemented Fault Tolerance Mechanisms of Voltan TMR Nodes. IEE Distributed Systems Engineering (Special Issue on Cabernet) 1995, 2(1), 39-49.
Coombes A, Barroca L, Fitzgerald JS, McDermid JA, Spencer L, Saeed A. Formal Specification of an Aerospace System: the Attitude Monitor. In: Hinchey MG and Bowen, JP, ed. Applications of Formal Methods. London: Prentice Hall, 1995, pp.307-332.
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.
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.
Shrivastava SK. Lessons Learned from Building and Using the Arjuna Distributed Programming System. In: International Workshop on Theory and Practice in Distributed Systems (Dagstuhl Seminar no. 9436: Unifying Theory and Practice in Distributed Systems). 1995, Dagstuhl Castle, Germany: Springer-Verlag.
Ezhilchelvan PD, Macêdo RA, Shrivastava SK. Newtop: A Fault-Tolerant Group Communication Protocol. In: 15th IEEE International Conference on Distributed Computing Systems (ICDCS '95). 1995, Vancouver, BC, Canada: IEEE Computer Society Press.
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.
Boxma OJ, Koole GM, Mitrani I. Polling Models with Threshold Switching. In: Baccelli, F., Jean-Marie, A., Mitrani, I, ed. Quantitative Methods in Parallel Systems. Berlin; New York: Springer-Verlag, 1995, pp.129-140.
Randell B, Laprie J-C, Kopetz H, Littlewood B, ed. Predictably Dependable Computing Systems. Brussels: Springer-Verlag, 1995.
Tully A, Surridge M, Gordon P, Rogers E. Progress on the Development of Generic Tools for Real-Time Simulation and Control of Complex Systems. In: 3rd IFAC/IFIP Workshop on Algorithms and Architectures for Real-Time Control. 1995, Ostend, Belgium: Pergamon Press.
Baccelli F, Jean-Marie A, Mitrani I, ed. Quantitative Methods in Parallel Systems. Berlin; New York: 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.
Thomas N, Mitrani I. Routing Among Different Nodes Where Servers Break Down Without Losing Jobs. In: 1st IEEE International Computer Performance and Dependability Symposium (IPDS). 1995, Erlangen, Germany: IEEE Computer Society Press.
Thomas N, Mitrani I. Routing Among Servers with Breakdowns and Retained Queues. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 527.
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.
Mitrani I, Chakka R. Spectral Expansion Solution for a Class of Markov Models: Application and Comparison with the Matrix-Geometric Method. Performance Evaluation 1995, 23(3), 241-260.
Watson P, Catlow GW. The Architecture of the ICL Goldrush MegaServer. Ingenuity: the ICL Technical Journal 1995, 10(2), 191-205.
Watson P, Catlow GW. The Architecture of the ICL GOLDRUSH MegaSERVER. In: 13th British National Conference on Databases: Advances in Databases (BNCOD). 1995, Manchester, UK: Springer.
Wheater SM, Little MC. The Design and Implementation of a Framework for Extensible Software. BROADCAST ESPRIT Basic Research Project 6360, 1995. 6360.
Parrington GD, Shrivastava SK, Wheater SM, Little MC. The Design and Implementation of Arjuna. Computing Systems 1995, 8(3), 255-308.
Parrington GD, Shrivastava SK, Wheater SM, Little MC. The Design and Implementation of Arjuna. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 509.
Watson P, Robinson EH. The Hardware Architecture of the ICL GOLDRUSH MegaSERVER. Ingenuity: the ICL Technical Journal 1995, 10(2), 206-219.
de Macêdo RJ, Shrivastava SK. The Implementation and Performance Analysis of a Total Delivery Protocol for Group Communication. In: Latin-American Computer Science Conference (PANEL '95), Canela, Brazil. 1995.
Mitrani I. The Spectral Expansion Solution Method for Markov Processes on Lattice Strips. In: Dshalalow, J.H, ed. Advances in Queueing Theory, Methods, and Open Problems. London: CRC Press, 1995, pp.528.
Mitrani I, Ost A, Rettelbach M. TIPP and the Spectral Expansion Method. In: Baccelli, F., Jean-Marie, A., Mitrani, I, ed. Quantitative Methods in Parallel Systems. Berlin; New York: Springer-Verlag, 1995, pp.298.
Brasileiro FV, Ezhilchelvan PD, Speirs NA. TMR Processing without Explicit Clock Synchronisation. In: 14th Symposium on Reliable Distributed Systems. 1995, Bad Neuenahr, Germany: IEEE Computer Society.
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.
Deavours DD, Obal WD, Qureshi MA, Sanders WH, van Moorsel A. UltraSAN Version 3.0 Overview. In: Sixth International Workshop on Petri Nets and Performance Modeling. 1995, Durham, North Carolina, USA: IEEE.
Haverkort BR, van Moorsel A. Using the Probabilistic Evaluation Tool for the Analytical Solution of Large Markov Models. In: Sixth International Workshop on Petri Nets and Performance Modeling, 3-6 October 1995. 1995, Durham, North Carolina, USA: IEEE.
Lee P, Phillips C. Visualising parallel numerical software performance on a shared memory multiprocessor. In: Computing Systems in Engineering. 1995, Oporto, Portugal: International Meeting on Vector and Parallel Processing.
Lee PA, Phillips C. Visualising Parallel Numerical Software Performance on a Shared Memory Multiprocessor. In: 1st International Meeting on Vector and Parallel Processing (VECPAR '93). 1995, Porto, Portugal: Elsevier Science (Pergamon Press).
Ingham DB, Little MC, Caughey SJ, Shrivastava SK. W3Objects: Bringing Object-Oriented Technology to the Web. In: 4th International World Wide Web Conference. 1995, Boston, Massachusetts, USA: O'Reilly & Associates.
Brookes TM, Green M, Fitzgerald JS, Larsen PG. A Comparison of the Conventional and Formal Design of a Secure System Component. FACS Europe Newsletter 1994, 1(2).
Schneider S, Bryans J, Davies J. A failures semantics for ET-LOTOS. Reading, UK: Reading University, 1994.
Panzieri F, Shrivastava SK. A View of Large Scale Distributed Computing. BROADCAST ESPRIT Basic Research Project 6360, 1994. Second Year Report - Surveys, 1 of 4.
Romanovsky A. About Conversations for Concurrent OO Languages. SIGPLAN Notices 1994, 29(9), 17-21.
van Moorsel A, Sanders WH. Adaptive Uniformization. Communications in Statistics: Stochastic Models 1994, 10(3), 619-648.
Banatre M, Gefflaut A, Joubert P, Morin C, Lee PA. An Architecture for Tolerating Processor Failures in Shared-memory Multiprocessors. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 485.
Ettl M, Mitrani I. Applying Spectral Expansion in Evaluating the Performance of Multiprocessor Systems. In: 3rd Quantitative Modeling in Parallel Systems (QMIPS) Workshop: Performance Evaluation of Parallel and Distributed Systems: Solution Methods. 1994, Torino, Italy: CWI, Amsterdam.
Caughey SJ, Shrivastava SK. Architectural Support for Mobile Objects. BROADCAST ESPRIT Basic Research Project 6360, 1994. Second Year Report - Systems Architecture, 3 of 4.
Shrivastava SK. Arjuna and Voltan: Case Studies in Building Fault Tolerant Distributed Systems Using Standard Components. In: Banatre, M. and Lee, P.A, ed. Hardware and Software Architectures for Fault Tolerance: Experiences and Perspectives. Berlin: Springer-Verlag, 1994, pp.218-226.
Lee PA, Stroud RJ. C++ As an Introductory Programming Language. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 496.
Cook N. CaberNet (Computing Architectures for Basic European Research): The ESPRIT Basic Research-funded Network of Excellence in Distributed Computing Systems Architectures. Distributed Systems Engineering 1994, 1(3), 173-176.
Little MC, McCue DL. Construction and Use of a Simulation Package in C++. C User's Journal 1994, 12(3).
Barrett PA, Speirs NA. Delta-4: An Open Architecture for Dependable Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 457.
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.
Mitra D, Mitrani I. Efficient Window Flow Control for High Speed Data Networks with Small Buffers. Annals of Operations Research 1994, 49(1), 1-24.
Wheater SM, Shrivastava SK. Exercising Application Specific Run-Time Control Over Clustering of Objects. In: 2nd IEEE International Workshop on Configurable Distributed Systems (IWCDS-2). 1994, Pittsburgh, USA: IEEE Computer Society Press.
Fitzgerald JS, Brookes TM, Green MA, Larsen PG. Formal and Informal Specifications of a Secure System Component: first results in a comparative study. In: FME'94: Industrial Benefits of Formal Methods - 2nd International Symposium of Formal Methods Europe. 1994, Barcelona, Spain: Springer-Verlag.
Banatre M, Lee PA, ed. Hardware and Software Architectures for Fault Tolerance: Experiences and Perspectives. Berlin: Springer-Verlag, 1994.
Chakka R, Mitrani I. Heterogeneous Multiprocessor Systems with Breakdowns: Performance and Optimal Repair Strategies. Theoretical Computer Science: Special Issue on Probabilistic Modelling 1994, 125(1), 91-109.
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.
Ametistova A, Mitrani I. Modelling and Evaluation of Cache Coherence Protocols in Multiprocessor Systems. In: 9th UK Performance Engineering Workshop for Computer and Telecommunication Systems: Computer and Telecommunication Systems Performance Engineering. 1994, Loughborough University, UK: Pentech Press, London.
Ezhilchelvan P, Macedo R, Shrivastava SK. NewTop: A Fault-Tolerant Group Communication Protocol. BROADCAST Project, 1994.
Little MC, Shrivastava SK. Object Replication in Arjuna. BROADCAST Project, 1994. 50.
Mitrani I, Wright PE. On the Interaction of Unreliable Routes. In: Kelly, F.P, ed. Probability, Statistics and Optimization: A Tribute to Peter Whittle. Chichester: Wiley, 1994.
Mitrani I, Gelenbe E. Preface: Special Issue on Probabilistic Modelling. Theoretical Computer Science: Special Issue on Probabilistic Modelling 1994, 125(1), 1-174.
Bicarregui JC, Fitzgerald JS, Lindsay PA, Moore R, Ritchie B. Proof in VDM: A Practitioner's Guide. London: Springer, 1994.
Bicarregui JC, Fitzgerald JS, Moore R, Ritchie B. Proof in VDM: Reader's Notes. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 489.
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.
Ezhilchelvan PD, Shrivastava SK. rel/REL: A Family of Reliable Multicast Protocols for Distributed Systems. IEE Distributed Systems Engineering 1994, 1(6), 323-331.
Mitrani I, Wright PE. Routing in the Presence of Breakdowns. Performance Evaluation: Special Issue on Performance '93 1994, 20(1-3), 151-164.
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.
Lee PA. Software Faults: The Remaining Problem in Fault Tolerant Systems?. In: Banatre, M. and Lee, P.A, ed. Hardware and Software Architectures for Fault Tolerance. Berlin: Springer-Verlag, 1994, pp.171-181.
Randell B. Some Lessons from the SW2000 Workshop. In: 1st European Dependable Computing Conference (EDCC). 1994, Berlin, Germany: Springer-Verlag.
McCue DL, Shrivastava SK. Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment. IEEE Transactions on Parallel and Distributed Systems 1994, 5(4), 421-432.
Parrington GD, Shrivastava SK, Wheater SM, Little MC. The Design and Implementation of Arjuna. BROADCAST Project, 1994. 65.
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.
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.
Little MC, McCue DL. The Replica Management System: A Scheme for Flexible and Dynamic Replication. In: 2nd IEEE International Workshop on Configurable Distributed Systems (IWCDS-2). 1994, Pittsburgh, USA: IEEE Computer Society Press.
Little MC, McCue DL. The Replica Management System: A Scheme for Flexible and Dynamic Replication. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 472.
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.
Greenberg AG, Lubachevsky BD, Mitrani I. Unboundedly Parallel Simulations. U.S: AT&T Corp, 5.375.074, 1994, 23-01-1990.
Haverkort BR, van Moorsel A, Speelman D-J. Xmgm: Performance Modeling Using Matrix Geometric Techniques. In: Second International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS '94). 1994, Durham, North Carolina, USA: IEEE Computer Society.
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.
Chakka R, Mitrani I. A Numerical Solution Method for Multiprocessor Systems with General Breakdowns and Repairs. In: 6th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation. Computer Performance Evaluation '92: Modelling Techniques and Tools. 1993, Edinburgh, UK: Edinburgh University Press.
Van Moorsel A, Haverkort B. A Unified Performability Evaluation Framework for Computer and Communication Systems. In: Second International Workshop on Performability Modelling of Computer and Communication Systems. 1993, Le Mont Saint Michel, France: INRIA Rennes.
Shrivastava SK, Tully A. Active Replication of Distributed Programs: Problems and Solutions. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 418.
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.
Barrett PA, Shrivastava SK, Speirs NA, Waterworth A. Building Fault-Tolerant Distributed Computing Systems Using Standard Components. In: 9th AIAA Computing in Aerospace Conference (AIAA Computing in Aerospace 9). 1993, San Diego, CA, USA: American Institute of Aeronautics and Astronautics.
Barrett PA, Shrivastava SK, Speirs NA, Waterworth A. Building Fault-tolerant Distributed Computing Systems using Standard Components. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 449.
Lee PA, Stroud RJ. C++ as an Initial Programming Language. In: OU Workshop on Choice of Programming Languages. 1993, Milton Keynes, United Kingdom.
Little MC, McCue DL. Construction and Use of a Simulation Package in C++. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 437.
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.
Speirs NA. Efficient Protocols for Fail-Silent Nodes in Distributed Systems. In: 5th European Workshop on Dependable Computing. 1993, Lisbon, Portugal.
Brasiliero FV, Ezhilchelvan PD, Shrivastava SK, Speirs NA, Tao S. Efficient Protocols for Fail-silent Nodes in Distributed Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. School of Computing Science Technical Report Series 413.
Wheater SM, Shrivastava SK. Exercising Application-Specific Run-Time Control over Clustering of Objects. BROADCAST Project, 1993.
Fitzgerald JS, Moore R. Experiences in Developing a Proof Theory for VDM Specifications. In: Proceedings of the International Workshop on Semantics of Specification Languages (SoSL). 1993, Utrecht, The Netherlands: Springer-Verlag.
Fitzgerald JS, Moore R. Experiences in Developing a Proof Theory for VDM Specifications. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 424.
Romanovsky A. Fault Tolerance: Synchronization of Redundancy. Operating Systems Review 1993, 27(4), 58-66.
Mitrani I, Puhalskii A. Limiting Results for Multiprocessor Systems with Breakdowns and Repairs. Queueing Systems - Theory and Applications 1993, 14(3-4), 293-311.
Little MC, McCue DL, Shrivastava SK. Maintaining Information about Persistent Replicated Objects in a Distributed System. In: 13th IEEE International Conference on Distributed Computing Systems (ICDCS '93). 1993, Pittsburgh, PA, USA: IEEE Computer Society Press.
Little MC, McCue DL, Shrivastava SK. Maintaining Information about Persistent Replicated Objects in a Distributed System. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 422.
Little MC, McCue DL, Shrivastava SK. Maintaining Information about Persistent Replicated Objects in a Distributed System. BROADCAST Project, 1993.
Haverkort B, Van Moorsel A, Dijkstra A. MGMtool: A Performance Analysis Tool Based on Matrix Geometric Methods. In: Computer Performance Evaluation 1992: Modelling Techniques and Tools. 1993, Edinburgh, UK: Edinburgh University Press.
Macedo RA, Ezhilchelvan PD, Shrivastava SK. NewTop: A Total Order Multicast Protocal Using Causal Blocks. BROADCAST Project, 1993.
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.
Capretz LF, Lee PA. Object-Oriented Design: Guidelines and Techniques. Information and Software Technology 1993, 35(4), 195-206.
Capretz LF, Lee PA. Object-oriented Design: Guidelines and Techniques. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 447.
Randell B, Xu J. Object-Oriented Software Fault Tolerance: Framework, reuse and design diversity. In: 1st PDCS2 Open Workshop. 1993, Toulouse, France.
Anderson T, de Lemos R, Fitzgerald JS, Saeed A. On Formal Support for Industrial Scale Requirements Analysis. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 412.
Randell B. Personal Ancestral File and Reunion - Two Genealogical Database Management Systems for the Apple Macintosh. Computers in Genealogy 1993, 4(10), 424-437.
van Moorsel A. PhD Thesis: Performability Evaluation Concepts and Techniques. The Netherlands: Universiteit Twente, 1993. Computer Science Department.
Ezhilchelvan PD, Shrivastava SK. rel/REL: A Family of Reliable Multicast Protocols for Distributed Real-time Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 461.
Caughey SJ, Parrington GD, Shrivastava SK. SHADOWS - A Flexible Support System for Objects in Distributed Systems. In: 3rd IEEE International Workshop on Object-Orientation in Operating Systems (IWOOOS '93). 1993, Ashville, North Carolina, USA: IEEE Computer Society Press.
Caughey SJ, Parrington GD, Shrivastava SK. SHADOWS - A Flexible Support System for Objects in Distributed Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 453.
Shrivastava SK, McCue DL. Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 414.
Shrivastava SK, McCue DL. Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment. BROADCAST ESPRIT Basic Research Project 6360, 1993. First Year Report - Systems Engineering, 3 of 3.
Shrivastava SK, Ezhilchelvan PD, Speirs NA et al. The Design and Implementation of Voltan Fault-tolerant Nodes for Distributed Systems. Transputer Communications 1993, 1(2), 93-109.
Speirs NA, Tao S, Brasileiro FV, Ezhilchelvan PD, Shrivastava SK. The Design and Implementation of Voltan Fault-tolerant Nodes for Distributed Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 454.
Shrivastava SK, Mancini L, Randell B. The Duality of Fault-tolerant System Structures. Software: Practice and Experience 1993, 23(7), 773-798.
Barrett PA, Speirs NA. Towards an Integrated Approach to Fault Tolerance in Delta-4. Distributed Systems Engineering 1993, 1(2), 59-66.
Romanovsky A, Shturtz IV. Unplanned Recovery for Non-program Objects. International Journal of Computer Systems Science and Engineering 1993, 8(2), 72-79.
Lee PA, Phillips C. Visualising Parallel Numerical Software Performance on a Shared Memory Multiprocessor. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 458.
Capretz LF, Lee PA. A Classification of Object-Oriented Development Methodologies. In: 7th Brazilian Conference on Software Engineering. 1992, Granado, Brazil.
Capretz LF, Lee PA. A Classification of Object-Oriented Development Methodologies. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1992. Department of Computing Science Technical Report Series 398.
Ezhilchelvan P, Shrivastava SK. A Distributed Systems Architecture Supporting High Availability and Reliability. In: 2nd IFIP TC11 WG 10.4 International Working Conference on Dependable Computing for Critical Applications (DCCA-2). 1992, Tucson, Arizona, USA: Springer-Verlag.
van Moorsel A, Haverkort BR, Niemegeers IG. A Method for Analysing the Performance Aspects of the Fault-Tolerance Mechanisms in FDDI. In: IEEE INFOCOM '92: Conference on Computer Communications. Eleventh Annual Joint Conference of the IEEE Computer and Communications Societies. 1992, Florence, Italy: IEEE.
Mitrani I, Mitra D. A Spectral Expansion Method for Random Walks on Semi-Infinite Strips. In: IMACS International Symposium on Iterative Methods in Linear Algebra. 1992, Brussels, Belgium: North-Holland Publishing.
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.
Capretz LF, Lee PA. CASE Tools for Object-Oriented Design Methodologies. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1992. Department of Computing Science Technical Report Series 399.
Mitrani I. Computer System Models. In: Coffman, E.G., Lenstra, J.K., Rinooy Kan, A.H.G, ed. Computing. Amsterdam; London: North-Holland Publishing, 1992.
McCue DL, Little MC. Computing Replica Placement in a Distributed System. In: 2nd IEEE Workshop on the Management of Replicated Data. 1992, Monterey, California, USA: IEEE Computer Society Press.
McCue DL, Little MC. Computing Replica Placement in Distributed Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1992. Department of Computing Science Technical Report Series 392.
Wheater SM, McCue DL. Configuring Distributed Applications using Object Decomposition in an Atomic Action Environment. In: IEEE International Workshop on Configurable Distributed Systems. 1992, Imperial College, London, UK: IEEE Computer Society.
Speirs NA, Shrivastava SK. Demonstration of Voltan Fail-Controlled Node. Dependable Computing Systems Centre, 1992. BG/92/40.
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.
Speirs NA, Shrivastava SK, Ezhilchelvan PD, Tao S, Brasileiro FV. Efficient Schemes for Constructing Reliable Computing Nodes in Distributed Systems. UK: University of Newcastle upon Tyne, PCT/GB 93/02225, 28-07-1992.
Shrivastava SK, Ezhilchelvan PD, Speirs NA. Fail-Controlled Computer Architectures for Distributed Systems. Dependable Computing Systems Centre, 1992. BG/92/38.
van Moorsel A, Haverkort BR, Niemegeers IG. Fault Injection Simulation: A Variance Reduction Technique for Systems with Rare Events. In: Dependable Computing for Critical Applications 2: 2nd IFIP Working Conference on Depend- able Computing for Critical Applications. 1992, Tucson, Arizona: Springer-Verlag.
Caughey SJ, Shrivastava SK. Implementing fault-tolerant object systems on distributed memory multiprocessors. In: 2nd IEEE International Workshop on Object Orientation in Operating Systems: Operating systems support for distributed and persistent objects (IWOOOS '92). 1992, Dourdan, France: IEEE Computer Society Press.
Caughey SJ, Shrivastava SK, McCue DL. Implementing Fault-Tolerant Object Systems on Distributed Memory Multiprocessors. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1992. Department of Computing Science Technical Report Series 391.
Little MC. Object Replication in a Distributed System. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1992. Computing Laboratory Technical Report Series 376.
Fitzgerald JS, Lindsay PA, Moore R. On Making Formal Proof More Tractable. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1992. Department of Computing Science Technical Report Series 404.
Heijenk GJ, van Moorsel APA, Niemegeers IG. Performance of a Connectionless Protocol over ATM. In: Proceedings of the International Workshop on Advanced Communications and Applications for High Speed Networks. 1992, Munich, Germany: IEEE.
Randell B, Laprie J-C. Predictably Dependable Computing Systems: Final Report. Bulletin of EATCS 1992, 48(Oct), 55-87.
Shrivastava SK, Ezhilchelvan PD, Speirs NA, Tao S, Tully A. Principle Features of the VOLTAN Family of Reliable Node Architectures for Distributed Systems. IEEE Transactions on Computers (Special Issue on Fault-Tolerant Computing) 1992, 41(5), 542-549.
Fitzgerald JS. Reasoning about a Modular Model-oriented Formal Specification. In: Specifications of Database Systems: 1st International Workshop on Specifications of Database Systems. 1992, Glasgow, UK: Springer-Verlag.
Randell B. Reunion at Bletchley Park. IEEE Annals of the History of Computing 1992, 14(2), 51-53.
Capretz LF, Lee PA. Reusability and Life Cycle Issues within an Object-Oriented Methodology. In: 8th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS 8). 1992, Santa Barbara, California, USA: Prentice Hall.
Capretz LF, Lee PA. Reusability and Life Cycle Issues within an Object-Oriented Methodology. Computing Laboratory, University of Newcastle upon Tyne, 1992. Computing Laboratory Technical Report Series 386.
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.
Capretz LF, Lee PA. Towards an Object-Oriented Approach. In: 13th National Computer Conference. 1992, Riyadh, Saudi Arabia: Saudi Computer Society.
Capretz LF, Lee PA. Towards an Object-Oriented Approach. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1992. Department of Computing Science Technical Report Series 408.
Mitra D, Mitrani I, Ramakrishnan KG, Seery JB, Weiss A. A Unified Set of Proposals for Control and Design of High Speed Data Networks. Queueing Systems - Theory and Applications 1991, 9(1-2), 215-234.
de Lemos R, Ezhilchelvan PD. Agreement on the Group Membership in Synchronous Distributed Systems. In: 4th International Workshop on Distributed Algorithms (WDAG '90). 1991, Bari, Italy: Springer-Verlag.
Greenberg AG, Lubachevsky BD, Mitrani I. Algorithms for Unboundedly Parallel Simulations. ACM Transactions on Computer Systems 1991, 9(3), 201-221.
Fendick KW, Mitra D, Mitrani I, Rodrigues MA, Seery JB, Weiss A. An Approach to High-Performance, High-Speed Data Networks. IEEE Communications Magazine 1991, 29(10), 74-82.
Shrivastava SK, Dixon GN, Parrington GD. An Overview of the Arjuna Distributed Programming System. IEEE Software 1991, 8(1), 66-73.
Mitra D, Mitrani I. Analysis of a Kanban Discipline for Cell Coordination in Production Lines, II: Stochastic Demands. Operations Research 1991, 39(5), 807-823.
Mitra D, Mitrani I, ed. Communication Systems. J.C. Baltzer, 1991.
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.
Tully A. Distributed Programming on Transputer Networks - An Object Oriented Model for Concurrent Processing. In: 3rd International Conference on the Applications of Transputers. 1991, Glasgow, UK: IOS Press.
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.
Shrivastava SK, Ezhilchelvan PD, Speirs NA, Seaton DT. Fail-controlled Computer Architectures for Distributed Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 333.
Shrivastava SK, Seaton DT, Howard N, Speirs NA. Fail-Silent Hardware for Distributed Systems. In: Powell, D, ed. Delta-4: A Generic Architecture for Dependable Distributed Computing. Berlin: Springer-Verlag, 1991, pp.295-305.
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).
Van Moorsel A, Haverkort B, Niemegeers I. Fault Injection Simulation. In: First International Workshop on Performability Modelling of Computer and Communication Systems. 1991, Enschede, The Netherlands: Universiteit Twente.
Mancini LV, Shrivastava SK. Fault-tolerant Reference Counting for Garbage Collection in Distributed Systems. The Computer Journal 1991, 34(6), 503-513.
Shrivastava SK. Fault-Tolerant System Structuring Concepts. In: McDermid, J.A, ed. Software Engineer's Reference Book. London: Butterworth-Heinemann, 1991.
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.
Chakka R, Mitrani I. Heterogeneous Multiprocessor Systems wilh Breakdowns: Performance and Optimal Repair Strategies. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 369.
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.
Greenberg AG, Mitrani I. Massively Parallel Algorithms for Network Partition Functions. In: International Conference on Parallel Processing (ICPP). 1991, Austin, Texas, USA: CRC Press.
Fitzgerald JS. Modularity in Model-oriented Formal Specifications and its Interaction with Formal Reasoning. Manchester, UK: Department of Computer Science, University of Manchester, 1991. UMCS 91-11-2.
Little MC. Object Replication in a Distributed System [PhD Thesis]. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991.
Shrivastava SK, McCue DL. Operating System Support for Object-Oriented Distributed Systems. In: International Workshop on Operating Systems of the 90s and Beyond (Dagstuhl Seminar no. 9128: Operating Systems of the 1990s). 1991, Dagstuhl Castle, Germany: Springer-Verlag.
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.
Shrivastava SK, Ezhilchelvan PD, Speirs NA, Tao S, Tully A. Principal Features of the Voltan Family of Reliable Node Architectures for Distributed Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 348.
Randell B. Programming: From Babbage to Backus. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 327.
Mitrani I. Queueing Theory. In: McDermid, J. A, ed. Software Engineer's Reference Book. London: Butterworth-Heinemann, 1991, pp.Chapter 7.
Little MC, Shrivastava SK. Replicated K-Resilient Objects in Arjuna. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 319.
McCue DL, Shrivastava SK. Structuring Fault-Tolerant Object Systems for Portability. In: 4th ACM SIGOPS European Workshop: Fault Tolerance Support in Distributed Systems (EW 4). 1991, University of Bologna, Italy: ACM Press, New York.
Watson P, Townsend P. The EDS Parallel Relational Database System. In: PRISMA Workshop on Parallel Database Systems. 1991, Noordwijk aan Zee, The Netherlands: Springer.
Barrett PA, Speirs NA. Towards an Integrated Approach to Fault Tolerance in Delta-4. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 344.
Shrivastava SK, Waterworth A. Using objects and actions to provide fault tolerance in distributed real-time systems. In: 12th IEEE Real-Time Systems Symposium (RTSS 1991). 1991, San Antonio, Texas, USA: IEEE Computer Society Press.
Shrivastava SK, Waterworth A. Using Objects and Actions to Provide Fault tolerance in Distributed, Real-Time Applications. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 349.
Ezhilchelvan PD, Mitrani I, Shrivastava SK. A Performance Evaluation Study of Pipelined TMR Systems. IEEE Transactions on Parallel and Distributed Systems 1990, 1(4), 442-456.
Ezhilchelvan PD, de Lemos R. A Robust Group Membership Algorithm for Distributed Real-Time Systems. In: 11th IEEE Real-Time Systems Symposium (RTSS '90). 1990, Lake Buena Vista, Florida, USA: IEEE Computer Society Press.
Mitra D, Mitrani I. Analysis of a Kanban Discipline for Cell Coordination in Production Lines. Management Science 1990, 36(12), 1548-1566.
Mitra D, Mitrani I. Asymptotic Optimality of the Go-back-n Protocol in High-Speed Data Networks with Small Buffers. In: 4th International Conference on Data Communication Systems. 1990, Barcelona, Spain.
Wheater SM. Constructing Reliable Distributed Applications using Actions and Objects. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1990. Computing Laboratory Technical Report Series 316.
Wheater SM. Constructing Reliable Distributed Applications Using Actions and Objects [PhD Thesis]. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1990.
Ezhilchelvan PD. Design and Development of Algorithms for Fault Tolerant Distributed Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1990. Computing Laboratory Technical Report Series 304.
Shrivastava SK. Distributed Computer Systems: Reliability. In: Singh, M.G, ed. Systems and Control Encyclopedia: Advances in Systems, Control and Information Engineering. Oxford: Pergamon Press, 1990, pp.181-186.
Tully A. Distributed Programming on Transputer Networks - An Object Oriented Interface to the Helios Operating System. In: 2nd International Conference on the Applications of Transputers. 1990, Southampton, UK: IOS Press.
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.
Watson P, Watson I. Evaluating Declarative Languages on a Parallel Graph Reduction Machine. In: IFIP TC 10/WG 10.1 Workshop on Concepts and Characteristics of Declarative Systems. 1990, Budapest, Hungary: Elsevier Science Ltd.
Shrivastava SK, Ezhilchelvan PD, Speirs NA. Fail-controlled processor architectures for distributed systems. DELTA-4 ESPRIT Project, 1990.
Lee PA, Anderson T. Fault Tolerance: Principles and Practice. Berlin: Springer-Verlag, 1990.
Shrivastava SK. Fault-tolerant object-oriented computations for MIMD machines. In: SERC/DTI Workshop on Software Standards for MIMD Machines. 1990, Abingdon, UK: SERC/DTI.
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.
Shrivastava SK, Wheater SM. Implementing Fault-Tolerant Distributed Applications Using Objects and Multi-Coloured Actions. In: 10th IEEE International Conference on Distributed Computing Systems (ICDCS-10). 1990, Paris, France: IEEE Computer Society Press.
Shrivastava SK, Wheater SM. Implementing Fault-tolerant Distributed Applications using Objects and Multi-coloured Actions. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1990. Computing Laboratory Technical Report Series 315.
Randell B. Le Coupable n'est pas la technologie. La Lettre de la Sûreté de Fonctionnement 1990, 13, 3-4.
Lee PA, Stoker MA. Mechanisms For Parallel Processing on Unix Multiprocessor Systems. In: NUUG Conference. 1990, South Carolina, USA: NUUG.
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.
Lee PA. Multiprocessor Systems for Performance and Fault Tolerance. In: UNICOM. 1990, London: UNICOM.
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.
Lee PA. Parallel Programming on Shared Memory Multiprocessors. In: BIRA International Conference on Software for Vector and Parallel Computers. 1990, Antwerp, Belgium.
King PJB, Mitrani I, Pooley R, ed. Performance '90, Proceedings of the 14th IFIP WG 7.3 International Symposium on Computer Performance Modelling, Measurement and Evaluation. Edinburgh, UK. 12-14 September 1990. North-Holland: Elsevier BV, 1990.
Dobson JE, Laprie J-C, Randell B. Predictably Dependable Computing Systems: An ESPRIT Basic Research Project. Bulletin of EATCS 1990, 40, 100-116.
Tully A, Shrivastava SK. Preventing State Divergence in Replicated Distributed Programs. In: 9th IEEE Symposium on Reliable Distributed Systems (SRDS-9). 1990, Huntsville, Alabama, USA: IEEE Computer Society Press.
Lee PA, Anderson T. Principles of Fault Tolerance in Computing Systems. Journal of Communications Technology 1990, 1(1), 3-9.
Little MC, Shrivastava SK. Replicated K-Resilient Objects in Arjuna. In: 1st IEEE Workshop on the Management of Replicated Data. 1990, Houston, Texas, USA: IEEE Computer Society Press.
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.
McCue DL, Shrivastava SK. Structuring Persistent Object Systems for Portability in a Distributed Environment. In: 4th ACM SIGOPT Workshop. 1990, Bologna, Italy.
Randell B. System Design and Structuring for Dependability. In: Anderson, T, ed. Resilient Computing Systems. Chichester, UK: John Wiley & Sons, 1990, pp.29-43.
Lee PA. Technology: Parallel Processing. Unix Business 1990, 1, 26-28.
Barrett PA, Hilborne AM, Bond PG, Seaton DT, Verissimo P, Rodrigues L, Speirs NA. The Delta-4 Extra Performance Architecture (XPA). In: 20th International Symposium on Fault-Tolerant Computing (FTCS-20). 1990, Newcastle upon Tyne, UK: IEEE Computer Society Press.
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.
Watson P. The Flagship Parallel Machine. In: Shute, M, ed. Parallel Computers. Berlin; New York: Springer-Verlag, 1990.
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.
Greenberg AG, Lubachevsky BD, Mitrani I. Unboundedly Parallel Simulations Via Recurrence Relations for Network and Reliability Problems. In: 22nd Winter Simulation Conference (WSC). 1990, New Orleans, Louisiana, USA: IEEE Press.
Shrivastava SK, Ezhilchelvan PD, Little MC. Understanding Component Failures and Replications in Distributed Systems. ISA, 1990. UNT/TR1.
Fitzgerald JS. Unification: Specification and Development. In: Jones, C.B., Shaw, R.C.F, ed. Case Studies in Systematic Software Development. London, UK: Prentice Hall, 1990, pp.127-162.
Tully A. [PhD Thesis] Preventing State Divergence in Replicated Distributed Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1990.
Ezhilchelvan PD, Mitrani I, Shrivastava SK. An Empirical Study of the Performance of Distributed Replicated Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1989. Computing Laboratory Technical Report Series 278.
Shrivastava SK, Dixon GN, Parrington GD. An Overview of Arjuna: A Programming System for Reliable Distributed Computing. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1989. Computing Laboratory Technical Report Series 298.
Randell B. Can Design Faults be Tolerated?. In: 11th IFIP World Computer Congress: Information Processing 89. 1989, San Francisco, California, USA: North-Holland/IFIP.
Ezhilchelvan PD, Shrivastava SK, Tully A. Constructing Replicated Systems Using Processors With Point to Point Communication Links. In: 16th Annual Symposium on Computer Architecture. 1989, Jerusalem, Israel: IEEE Computer Society Press.
Mitra D, Mitrani I. Control and Coordination Policies for Systems with Buffers. In: International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS/Performance). 1989, Berkeley, California, USA: ACM Press.
Banach R, Watson P. Dealing with state on Flagship: the MONSTR computational model. In: Conference on Algorithms and Hardware for Parallel Processing (CONPAR). 1989, Manchester, UK: Cambridge University Press.
Ezhilchelvan PD. Design and Development of Algorithms For Fault Tolerant Distributed Systems [PhD thesis]. Newcastle upon Tyne: University of Newcastle upon Tyne, 1989. Computing Laboratory.
Shrivastava SK. Fault tolerance in distributed systems. In: 1989 Hewlett-Packard European Scientific Symposium. 1989, Paris, France: Hewlett-Packard.
Shrivastava SK, Wheater SM. Objects and Multi-Coloured Actions. In: 3rd Workshop on Large Grained Parallelism. 1989, Carnegie Mellon University, Pittsburgh.
Mancini LV, Shrivastava SK. Replication within Atomic Actions and Conversations: A Case Study in Fault-Tolerance Duality. In: 19th International Symposium on Fault-Tolerant Computing (FTCS-19). 1989, Hyatt Regency Hotel, Chicago, IL, USA: IEEE Computer Society Press.
Mancini LV, Shrivastava SK. Replication within Atomic Actions and Conversations: A Case Study in Fault-Tolerance Duality. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1989. Computing Laboratory Technical Report Series 281.
Lee PA. Shared Memory Multiprocessors: A Cost-effective Architecture for Parallel Processing. In: UNICOM Conference on Software for Parallel Computers. 1989, London: UNICOM.
Shrivastava SK, Dixon GN, Parrington GD, Hedayati F, Wheater SM, Little MC. The Design and Implementation of Arjuna. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1989. Computing Laboratory Technical Report Series 280.
Watson I, Sargeant J, Watson P, Woods JV. The Flagship Parallel Machine. In: Conference on Algorithms and Hardware for Parallel Processing (CONPAR). 1989, Manchester, UK: Cambridge University Press.
Banach R, Sargeant J, Watson I, Watson P, Woods JV. The Flagship Project. In: UK IT. 1989, Swansea, UK.
Mitra D, Mitrani I. The Kanban Policy in Production Lines. In: ORSA-TIMS Conference. 1989, Tokyo, Japan.
Dixon GN, Parrington GD, Shrivastava SK, Wheater SM. The Treatment of Persistent Objects in Arjuna. The Computer Journal 1989, 32(4), 323-332.
Dixon GN, Parrington GD, Shrivastava SK, Wheater SM. The Treatment of Persistent Objects in Arjuna. In: 3rd European Conference on Object-Oriented Programming (ECOOP '89). 1989, University of Nottingham, UK: Cambridge University Press.
Dixon GN, Parrington GD, Shrivastava SK, Wheater SM. The Treatment of Persistent Objects in Arjuna. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1989. Computing Laboratory Technical Report Series 283.
Speirs NA, Barrett PA. Using Passive Replicates in Delta-4 to Provide Dependable Distributed Computing. In: 19th International Symposium on Fault-Tolerant Computing (FTCS-19). 1989, Chicago, IL, USA: IEEE Computer Society Press.
Dobson JE, Randell B. Viewpoint: Program Verification: Public Image and Private Reality. Communications of the ACM 1989, 32(4), 420-422.
van Moorsel A. [PhD Thesis] Optimal Routing in Simple Queueing Networks. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1989.
Pappalardo G, Shrivastava SK. A Formal Treatment of Interference in Remote Procedure Calls. In: Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT). 1988, University of Warwick, UK: Springer-Verlag.
Pappalardo G, Shrivastava SK. A Formal Treatment of Interference in Remote Procedure Calls. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1988. Computing Laboratory Technical Report Series 263.
Shrivastava SK, Dixon GN, Hedayati F, Parrington GD, Wheater SM. A Technical Overview of Arjuna: A System for Reliable Distributed Computing. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1988. Computing Laboratory Technical Report Series 262.
Robert P, Mitrani I, King PJB. An Intermittently Served Discrete Time Queue with Applications to Meteor Scatter Communications. Queueing Systems - Theory and Applications 1988, 3(1), 25-40.
Ezhilchelvan PD, Shrivastava SK, Tully A. Constructing Replicated Systems using Processors with Point-to-Point Communication Links. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1988. Computing Laboratory Technical Report Series 274.
Watson I, Woods JV, Watson P et al. Flagship: A Parallel Architecture for Declarative Programming. In: 15th 15th Annual International Symposium on Computer Architecture. 1988, Honolulu, Hawaii: IEEE.
Parrington GD, Shrivastava SK. Implementing Concurrency Control in Reliable Distributed Object Oriented Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1988. Computing Laboratory Technical Report Series 259.
Parrington GD, Shrivastava SK. Implementing Concurrency Control in Reliable Distributed Object-Oriented Systems. In: 2nd European Conference on Object-Oriented Programming (ECOOP '88). 1988, Oslo, Norway: Springer-Verlag.
Panzieri F, Shrivastava SK. Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing. IEEE Transactions on Software Engineering 1988, 14(1), 30-37.
Coffman EG, Flatto L, Knessl C, Mitrani I, Shepp LA. Stochastic Models of Queue Storage. Probability in the Engineering and Informational Sciences 1988, 2(1), 75-93.
Parrington GD, Shrivastava SK. Towards a Theory of Replicated Processing. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1988. Computing Laboratory Technical Report Series 260.
Ezhilchelvan PD. With Less Malicious Byzantine Generals: Agreement Algorithms Under Value Faults. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1988. Computing Laboratory Technical Report Series 252.
Corradi A, Salati C, Speirs NA. A Reliable Telecontrol Application Built on a Fault Tolerant Distributed System. In: IASTED International Conference on Reliability and Quality Control. 1987, Paris, France: International Association of Science and Technology for Development.
Shrivastava SK. A tutorial on the principles of fault tolerance. Sadhana 1987, 11(1-2), 7-22.
Watson P, Watson I. An Efficient Garbage Collection Scheme for Parallel Computer Architectures. In: 1st International Symposium on Parallel Architectures and Languages Europe (PARLE). 1987, Eindhoven, The Netherlands: Springer.
Mitra D, Mitrani I. Analysis and Optimal Performance of Two Message-Passing Parallel Processors Synchronized by Rollback. Performance Evaluation 1987, 7(2), 111-124.
Robert P, Mitrani I, King PJB. Analysis of a Meteor Scatter Communication Protocol. In: 12th IFIP WG 7.3 International Symposium on Computer Performance Modelling, Measurement and Evaluation (Performance '87). 1987, Brussels, Belgium: North-Holland.
Greenberg AG, Mitrani I. Analysis of Snooping Caches. In: 12th IFIP WG 7.3 International Symposium on Computer Performance Modelling, Measurement and Evaluation (Performance '87). 1987, Brussels, Belgium: North-Holland.
Banach R, Watson P. Dealing with state on Flagship: the MONSTR computational model. In: Thakkar, S.S, ed. Selected Reprints on Dataflow and Reduction Architectures. Washington DC, USA: IEEE, 1987.
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.
Ezhilchelvan PD. Early Stopping Algorithms For Distributed Agreement Under Fail-stop, Omission, and Timing Fault Types. In: 6th IEEE Symposium on Reliability in Distributed Software and Database Systems. 1987, Williamsburg, VA.
Ezhilchelvan PD. Early Stopping Algorithms for Distributed Agreement Under Fail-stop, Omission, and Timing Fault Types. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1987. Computing Laboratory Technical Report Series 235.
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).
Watson P, Watson I. Evaluating Functional Programs on the Flagship Machine. In: Functional Programming Languages and Computer Architectures Conference. 1987, Portland, Oregon, USA: Springer-Verlag.
Dixon GN, Shrivastava SK. Exploiting Type Inheritance Facilities to Implement Recoverability in Object Based Systems. In: 6th IEEE Symposium on Reliability in Distributed Software and Database Systems. 1987, Williamsburg, Virginia, USA: IEEE Computer Society Press.
Mancini LV, Shrivastava SK. Failure Detection in Replicated Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1987. Computing Laboratory Technical Report Series 238.
Watson I, Sargeant J, Woods JV, Watson P. Flagship Computational Models and Machine Architecture. ICL Technical Journal 1987, 5(3), 555-574.
Watson I, Watson P. Graph Reduction in a Parallel Virtual Memory Environment. In: Graph Reduction Workshop. 1987, Santa Fe, New Mexico, USA: Springer.
Dixon GN, Shrivastava SK, Parrington GD. Managing Persistent Objects in Arjuna: A System for Reliable Distributed Computing. In: 2nd International Workshop on Persistent Object Systems: Their Design, Implementation and Use (POS-2). 1987, Appin, Scotland: University of Glasgow and St. Andrew's University.
King PJB, Mitrani I. Modelling a Slotted Ring Local Area Network. IEEE Transactions on Computers 1987, 36(5), 554-561.
Mitrani I. Modelling of Computer and Communication Systems. Cambridge, UK: Cambridge University Press, 1987.
Mitrani I. Multiprocessor Systems with Reserves and Preferences. Queueing Systems - Theory and Applications 1987, 2(3), 245-259.
Shrivastava SK, Dixon GN, Parrington GD. Objects and Actions in Reliable Distributed Systems. IEE Software Engineering Journal 1987, 2(5), 160-168.
Shrivastava SK, Dixon GN, Parrington GD. Objects and Actions in Reliable Distributed Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1987. Computing Laboratory Technical Report Series 242.
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.
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.
Black JP, Marshall LF, Randell B. The Architecture of UNIX United. Proceedings of the IEEE 1987, 75(5), 709-718.
Coffman EG, Fayolle G, Mitrani I. Two Queues with Alternating Service Periods. In: 12th IFIP WG 7.3 International Symposium on Computer Performance Modelling, Measurement and Evaluation (Performance '87). 1987, Brussels, Belgium: North-Holland.
Ezhilchelvan PD, Shrivastava SK. A Characterisation of Faults in Systems. In: 5th IEEE Symposium on Reliability in Distributed Software and Database Systems. 1986, Los Angeles, CA: IEEE Computer Society.
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.
Collins PDB, Speirs NA. Composite Weak Bosons and their Decays. Journal of Physics G: Nuclear Physics 1986, 12(11), 1115-1134.
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.
Mancini LV, Shrivastava SK. Exception Handling in Replicated Systems with Voting. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1986. Computing Laboratory Technical Report Series 217.
Dixon GN, Shrivastava SK. Exploiting Type Inheritance Facilities to Implement Recoverability in Object Based Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1986. Computing Laboratory Technical Report Series 223.
Watson P. Garbage collection in a computer system. USA: International Computers Limited, 4,755,939, 1986, 28-07-2004.
Watson I, Watson P, Woods JV. Parallel Data Driven Graph Reduction. In: IFIP TC 10 Working Conference on Fifth Generation Computer Architectures. 1986, Manchester, UK: Elsevier BV.
Ruskin A, Speirs NA. Persistent Objects. In: CAP Technical Conference. 1986, Cambridge, UK.
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.
Shrivastava SK. Replicated Distributed Processing. Computing Laboratory, The University of Newcastle upon Tyne, 1986. Computing Laboratory Technical Report Series 222.
Montaser-Kohsari A, Mitrani I, Betteridge T. Software Monitoring of UNIX Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1986. Computing Laboratory Technical Report Series 215.
Coffman EG, Fayolle G, Mitrani I. Sojourn Times in a Tandem Queue with Overtaking: Reduction to a Boundary Value Problem. Stochastic Models 1986, 2(1), 43-65.
Randell B. System Design and Structuring. Computer Journal 1986, 29(4), 300-306.
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.
Ezhilchelvan PD, Shrivastava SK. A Characterization of Faults in Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1985. Computing Laboratory Technical Report Series 206.
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.
Lee PA, Anderson T. Design Fault Tolerance. In: Anderson, T, ed. Resilient Computing Systems. London: Collins, 1985, pp.64-77.
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.
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.
Panzieri F, Shrivastava SK. Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1985. Computing Laboratory Technical Report Series 200.
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.
Shrivastava SK, ed. Reliable computer systems: collected papers of the Newcastle Reliability Project. Berlin: Springer Verlag, 1985.
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.
Mitrani I. Response Time Problems in Communication Networks. Journal of the Royal Statistical Society: Series B 1985, 47(3), 396-406.
Randell B. System Design and Structuring. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1985. Computing Laboratory Technical Report Series 198.
Collins PDB, Speirs NA. The Width of the Z Boson in Composite Models. Journal of Physics G: Nuclear Physics 1985, 11(7), L115-L118.
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.
Shrivastava SK. Workshop on Distributed Computing. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1985. Computing Laboratory Technical Report Series 203.
Collins PDB, Speirs NA. Z to e⁺e^- gamma in a Composite Model. Journal of Physics G: Nuclear Physics 1985, 11(1), L5-L9.
Mitra D, Mitrani I. Analysis and Optimal Performance of Two Message-Passing Parallel Processors Synchronized by Rollback. In: 10th International Conference on Modelling and Performance Evaluation. 1984, Paris, France.
Collins PDB, Speirs NA. Can the Z boson be Composite?. Physics Letters B: Nuclear, Elementary Particle and High-Energy Physics 1984, 144(3-4), 275-279.
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.
Lee PA. Impact of Next Generation System Requirements on Software Fault Tolerance. In: Embedded Computer Software Conference. 1984, Washington DC.
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.
Lee PA. Exception Handling in C Programs. Software: Practice and Experience 1983, 13(5), 389-405.
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.
Mitrani I, King PJB. Multiserver Systems Subject to Breakdowns: An Empirical Study. IEEE Transactions on Computers 1983, 23(1), 96-98.
Fayolle G, King PJB, Mitrani I. On the Execution of Programs by Many Processors. In: Performance '83 Conference. 1983, North-Holland Publishing.
Chesnais A, Gelenbe E, Mitrani I. On the Modelling of Parallel Access to Shared Data. Communications of the ACM 1983, 26(3), 196-202.
Shrivastava SK. On the Treatment of Orphans in a Distributed System. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1983. Computing Laboratory Technical Report Series 188.
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.
Lee PA. Structuring Software Systems for Fault Tolerance. In: 4th AIAA Computers in Aerospace Conference. 1983, Hartford, CT, USA: American Institute of Aeronautics and Astronautics.
Fayolle G, Iasnogorodski R, Mitrani I. The Distribution of Sojourn Times in a Queueing Network with Overtaking: Reduction to a Boundary Value Problem. In: Performance '83 Conference. 1983, University of Maryland, Balitmore, USA: North-Holland Publishing.
Shrivastava SK. A Dependancy, Commitment and Recovery Model for Atomic Actions. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1982. Computing Laboratory Technical Report Series 178.
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.
Badr HG, Mitrani I, Spirn JR. An Adaptive Priority Queue. In: ORSA-TIMS Conference. 1982, Atlantic University, Boca Raton, Florida, USA: Birkhauser, Boston.
King K, Lee PA, Maryanski F. An Architecture for Local Area Network Servers. In: 25th IEEE Computer Society International Conference: Computer Networks (COMPCON Fall 82). 1982, Washington D.C., USA: IEEE Computer Society Press.
Gelenbe E, Mitrani I. Control Policies in CSMA Local Area Networks: Ethernet Controls. ACM SIGMETRICS Peformance Evaluation Review 1982, 11(4), 233-240.
Anderson T, Lee PA. Fault Tolerance Terminology Proposals. In: 12th Annual International Symposium on Fault-Tolerant Computing (FTCS-12). 1982, Santa Monica, CA, USA: IEEE Computer Society Press.
Anderson T, Lee PA. Fault Tolerance Terminology Proposals. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1982. Computing Laboratory Technical Report Series 174.
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.
Lee PA, Morgan D. Fundamental Concepts of Fault Tolerant Computing: Progress Report. In: 12th Annual International Symposium on Fault-Tolerant Computing (FTCS-12). 1982, Santa Monica, CA, USA: IEEE Computer Society Press.
King PJB, Mitrani I. Modelling the Cambridge Ring. ACM SIGMETRICS Performance Evaluation Review 1982, 11(4), 250-258.
Mitrani I. Simulation Techniques for Discrete Event Systems. Cambridge: Cambridge University Press, 1982.
Shrivastava SK, Panzieri F. The design of a reliable remote procedure call mechanism. IEEE Transactions on Computers 1982, 31(7), 692-697.
King PJB, Mitrani I. The Effect of Breakdowns on the Performance of Multiprocessor Systems. In: 8th International Conference on Modelling and Performance Evaluation (Performance). 1982, Amsterdam, The Netherlands: North-Holland Publishing.
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.
Fayolle G, King PJB, Mitrani I. The Solution of Certain Two-Dimensional Markov Models. Advances in Applied Probability 1982, 14(2), 295-308.
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.
Lee PA, Anderson T. Fault Tolerance: Principles and Practice. Englewood Cliffs, N.J: Prentice Hall, 1981.
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.
Mitrani I, King PJB. Multiprocessor Systems with Preemptive Priorities. Performance Evaluation 1981, 1(2), 118-125.
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.
Lee PA, Lloyd JL, Shrivastava SK. Some Critical Comments on the Paper "An Optimal Approach to Fault Tolerant Software Systems Design" by Gannon and Shapiro. IEEE Transactions on Software Engineering 1981, 7(6), 608-610.
Shrivastava SK. Structuring distributed systems for recoverability and crash resistance. IEEE Transactions on Software Engineering 1981, 7(4), 436-447.
Shrivastava SK, Panzieri F. The Design of a Reliable Remote Procedure Call Mechanism. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1981. Computing Laboratory Technical Report Series 171.
Sevcik KC, Mitrani I. The Distribution of Queueing Network States at Input and Output Instants. Journal of the ACM 1981, 28(2), 358-371.
Coffman EG, Mitrani I. A Characterisation of Waiting Time Performance by Single Server Queues. Operations Research 1980, 28(3), 810-821.
Lee PA, Ghani D, Heron K. A Recovery Cache for the PDP-11. IEEE Transactions on Computers 1980, 29(6), 546-549.
Gelenbe E, Mitrani I. Analysis and Synthesis of Computer Systems. London, UK: Academic Press, 1980.
Randell B. Foreword. In: Stone, H, ed. Fundamentals of Computer Architecture. Science Research Associates, 1980.
King PJB, Mitrani I. Numerical Methods for Infinite Markov Processes. In: 7th International Symposium on Computer Performance Modelling, Measurement and Evaluation (Performance '80). 1980, Toronto, Ontario, Canada: ACM Press, New York.
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.
Fayolle G, Iasnogorodski R, Mitrani I. Sharing a Processor Among Many Job Classes. Journal of the ACM 1980, 27(3), 519-532.
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.
Fayolle G, King PJB, Mitrani I. The Solution of Certain Two-Dimensional Markov Models. In: 7th International Symposium on Computer Performance Modelling, Measurement and Evaluation (Performance '80). 1980, Toronto, Ontario, Canada: ACM Press, New York.
Mitrani I. A Critical Note on a Result by Lemoine. Management Science 1979, 25(10), 1026-1027.
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.
Lee PA, Ghani N, Heron K. A Recovery Cache for the PDP-11. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1979. Computing Laboratory Technical Report Series 134.
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.
Shrivastava SK. Concurrent Pascal with backward error recovery: implementation. Software - Practice and Experience 1979, 9(12), 1021-1033.
Shrivastava SK. Concurrent Pascal with backward error recovery: language features and examples. Software - Practice and Experience 1979, 9(12), 1001-1020.
Mitrani I, Sevcik KC. Evaluating the Trade-Offs Between Centralised and Distributed Computing. In: 1st International Conference on Distributed Computing Systems. 1979, Huntsville, Alabama, USA.
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.
Shrivastava SK. Structuring Distributed Systems for Recoverability and Crash Resistance. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1979. Computing Laboratory Technical Report Series 149.
Anderson T, Lee PA, Shrivastava SK. System Fault Tolerance. In: Anderson, T. and Randell, B, ed. Computing Systems Reliability. Cambridge: Cambridge University Press, 1979, pp.153-210.
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.
Hine JH, Mitrani I, Tsur S. The Control of Response Times in Multi-Class Systems by Memory Allocation. Communications of the ACM 1979, 22(7), 415-423.
Sevcik KC, Mitrani I. The Distribution of Queueing Network States at Input and Output Instants. In: 4th International Conference on Modelling and Performance Evaluation of Computer Systems. 1979, Vienna, Austria: North-Holland Publishing.
Anderson T, Lee PA. The Provision of Recoverable Interfaces. In: 9th Annual International Symposium on Fault-Tolerant Computing (FTCS-9). 1979, Madison, WI, USA: IEEE Computer Society.
Anderson T, Lee PA. The Provisions of Recoverable Interfaces. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1979. Computing Laboratory Technical Report Series 137.
Anderson T, Lee PA, Shrivastava SK. A Model of Recoverability in Multilevel Systems. IEEE Transactions on Software Engineering 1978, SE-4(6), 486-494.
Lee PA. A Reconsideration of the Recovery Block Scheme. The Computer Journal 1978, 21(4), 306-310.
Lee PA. A Reconsideration of the Recovery Block Scheme. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1978. Computing Laboratory Technical Report Series 119.
Shrivastava SK. Concurrent Pascal with Backward Error-recovery. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1978. Computing Laboratory Technical Report Series 127.
Randell B. Error Recovery in Distributed Computing Systems. The Computer Bulletin 1978, 2, 10.
Shrivastava SK, Akinpelu AA. Fault Tolerant Sequential Programming Using Recovery Blocks. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1978. Computing Laboratory Technical Report Series 122.
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.
Shrivastava SK, Banatre J-P. Reliable resource allocation between unreliable processes. IEEE Transactions on Software Engineering 1978, 4(3), 230-241.
Anderson T, Shrivastava SK. Reliable software: a selective annotated bibliography. Software - Practice and Experience 1978, 8(1), 59-76.
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.
Shrivastava SK. Sequential Pascal with recovery blocks. Software - Practice and Experience 1978, 8(2), 177-185.
Shrivastava SK. Sequential Pascal with Recovery Blocks. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1978. Computing Laboratory Technical Report Series 123.
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.
Gelenbe E, Kurinckx A, Mitrani I. The Rate Control Policy in Virtual Memory Management. In: 2nd International Conference on Operating Systems. 1978, Paris, France.
Anderson T, Lee PA, Shrivastava SK. A Model of Recoverability in Multi-level Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1977. Computing Laboratory Technical Report Series 115.
Mitrani I, Hine JH. Complete Parameterized Families of Job Scheduling Strategies. Acta Informatica 1977, 8, 61-73.
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.
Clowes JS, Mitrani I, Wilson LB. Level Number Sequences for Binary Trees. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1977. Computing Laboratory Technical Report Series 112.
Lee PA. Principles of Fault-Tolerant Design. In: INFOTECH Course on Integrity and Recovery in Real Time Systems. 1977.
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.
Banatre M, Shrivastava SK. Reliable Resource Allocation between Unreliable Processes. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1977. Computing Laboratory Technical Report Series 99.
Anderson T, Shrivastava SK. Reliable Software: A Selective Annotated Bibliography. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1977. Computing Laboratory Technical Report Series 111.
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.
Hine JH, Mitrani I, Tsur S. The Control of Response Times in Multi-class Systems by Memory. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1977. Computing Laboratory Technical Report Series 98.
Hine JH, Mitrani I, Tsur S. The Use of Memory Allocation to Control Response Times in Paged Computer Systems. In: 2nd IFIP WG 7.3 International Conference on Modelling and Performance Evaluation of Computer Systems. 1977, Stresa, Italy: North-Holland Publishing.
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.
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.
Shrivastava SK. Systematic programming of scheduling algorithms. Software - Practice and Experience 1976, 6(3), 357-370.
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.
Shrivastava SK. A view of concurrent process synchronisation. The Computer Journal 1975, 18(4), 375-379.
Mitrani I, Hine JH. Complete Parameterized Families of Job Scheduling Strategies. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1975. Computing Laboratory Technical Report Series 81.
Randell B. Computing System Reliability: Prospect and Retrospect. In: Calcolo: Meeting on Twenty years of Computer Science. 1975, Pisa, Italy: Springer Italia Srl.
Shrivastava SK. Process synchronization in high-level languages. International Journal of Parallel Programming 1975, 4(2), 151-169.
Coffman EG, Mitrani I. Selecting a Scheduling Rule That Meets Pre-Specified Response Time Demands. In: 5th ACM Symposium on Operating Systems Principles (SOSP). 1975, Austin, Texas, USA: ACM Press.
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.
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.
Mitrani I. Networks of Unreliable Computers. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1974. Computing Laboratory Technical Report Series 62.
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.
Mitrani I. A Queueing Model of Priority Multiprogramming. In: International Conference on Computer Architecture. 1973, Grenoble, France.
Horning JJ, Randell B. Process Structuring. ACM Computing Surveys 1973, 5(1), 5-30.
Mitrani I. A Queueing Model of Priority Multi-programming. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1972. Computing Laboratory Technical Report Series 41.
Randell B. COLOSSUS: Godfather of the computer. New Scientist 1972, 73(1038), 346-348.
Mitrani I. Non-Priority Multiprogramming Systems Under Heavy Demand Conditions. Journal of the ACM 1972, 19(3), 445-452.
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.
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.
Mitrani I. [PhD Thesis] Congestion Problems in Computing Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1972.
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.
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.
Mitrani I. Multi-Programming Systems with One Processor and Many Input-Output Devices. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1971. Computing Laboratory Technical Report Series 22.
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.
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.
Dijkstra EW, Duncan FG, Garwick JV, Hoare CAR, Randell B, Seegmueller G, Turski WM, Woodger M. Minority Report. ALGOL Bulletin 1970, 31, 7.
Mitrani I. Non-Priority Multi-Programming Systems Under Heavy Demand Conditions From a Customer's Point of View. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1970. Computing Laboratory Technical Report Series 11.
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.
Randell B. The Gentle Art of Programming: Inaugural Lecture, University of Newcastle upon Tyne. 1970, Newcastle upon Tyne: University of Newcastle upon Tyne.
Randell B. A Note on Storage Fragmentation and Program Segmentation. Communications of the ACM 1969, 12(7), 365-369, 372.
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.
Randell B. Towards a Methodology of Computing System Design. Software Engineering 1969, 204-208.
Mitrani I, Avi-Itzhak B. A Many Server Queue With Service Interruptions. Operations Research 1968, 16(3), 628-638.
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.
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.
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.
Randell B. Review of “Introduction to ALGOL Programming” by T. Ekman and C-E. Froberg (Review no. 10460). Computing Reviews 1966, 7, 412.
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.