Staff Profile
Emeritus Professor Santosh Shrivastava
Senior Research Investigator
- Email: santosh.shrivastava@ncl.ac.uk
- Telephone: +44 191 208 8038
- Address: School of Computing
Urban Sciences Building,
1, Science Square,
Newcastle upon Tyne
NE4 5TG
I received my Ph.D. in computer science from Churchill College, University of Cambridge in 1975. I was appointed a Professor of Computing Science at Newcastle University in 1986. After retirement in September 2011, I became an Emeritus Professor.
My broad research interests are in the areas of computer networking, middleware and fault tolerant distributed computing. The emphasis of my work has been on the development of concepts, tools and techniques for constructing distributed fault-tolerant systems that make use of standard, commodity hardware and software components. My best known research work is the Arjuna distributed object transaction system (more than twelve years research effort, 85-98), funded by a succession of 5 EPSRC plus 4 EU, and 4 industry grants. This system eventually became an integral part of the JBoss application sever middleware from Red Hat. You can find out more about it by visiting the pages of Arjuna Technologies.
From around year 2000 till retirement, the focus of my work was on middleware for supporting inter-organization services where issues of trust, security, fault tolerance and ensuring compliance to service contracts are of great importance as are the problems posed by scalability, service composition, orchestration and performance evaluation in highly dynamic settings. I continue to take interests in these topics.
Over the period of thirty odd years or so, I have taught operating systems, distributed computing and middleware related subjects at undergraduate and postgraduate levels and have successfully supervised 28 PhD students (15 of whom are from abroad).
Area of expertise: Distributed Computing, Middleware, Fault-tolerant Systems
Google scholar: Click here.
- Shrivastava S, Little M. Designing Atomic Business Functions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1457.
- Shrivastava S, Little M. Designing Atomic Business Functions with Distributed Control. In: IEEE 17th Conference on Business Informatics (CBI). 2015, Lisbon, Portugal: IEEE.
- Molina-Jimenez C, Shrivastava S, Wheater S. An Architecture for Negotiation and Enforcement of Resource Usage Policies. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2013. School of Computing Science Technical Report Series 1381.
- Mihoob A, Molina-Jimenez C, Shrivastava S. Consumer-centric resource accounting in the cloud. Journal of Internet Services and Applications 2013, 4, 8.
- Molina-Jimenez C, Shrivastava S. Establishing Conformance Between Contracts and Choreographies. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2013. School of Computing Science Technical Report Series 1383.
- Molina-jimenez C, Shrivastava S. Establishing Conformance Between Contracts and Choreographies. In: 15th IEEE Conference on Business Informatics (CBI). 2013, Vienna, Austria: IEEE Computer Society.
- 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.
- Little MC, Shrivastava SK, Wheater SM. Another look at the middleware for dependable distributed computing. Journal of Internet Services and Applications 2012, 3(1), 95-105.
- Mihoob A, Molina-Jimenez C, Shrivastava S. Consumer-centric Resource Accounting in the Cloud. Newcastle upon Tyne: School of Computing Science, University of Newcastle, 2012. School of Computing Science Technical Report Series 1318.
- Abdelsadiq A, Molina-Jimenez C, Shrivastava S. A High–Level Model–Checking Tool for Verifying Electronic Contracts. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1279.
- Abdelsadiq A, Molina-Jimenez C, Shrivastava SK. A High–Level Model–Checking Tool for Verifying Service Agreements. In: The 6th IEEE International Symposium on Service-Oriented System Engineering (SOSE 2011). 2011, Irvine, CA: IEEE Computer Society.
- Molina-Jimenez C, Shrivastava SK, Wheater SM. An Architecture for Negotiation and Enforcement of Resource Usage Policies. In: IEEE International Conference on Service Oriented Computing & Applications (SOCA). 2011, Irvine, California, USA: IEEE.
- Mihoob A, Molina-Jimenez C, Shrivastava S. Consumer Side Resource Accounting in the Cloud. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1259.
- Mihoob A, Molina-Jimenez C, Shrivastava S. Consumer Side Resource Accounting in the Cloud. In: Building the e-World Ecosystem: 11th IFIP Conference on e-Business, e-Services, e-Society (I3E). 2011, Kaunas, Lithuania: Springer.
- Little MC, Shrivastava SK. The Evolution of the Arjuna Transaction Processing System. In: Jones, C.B., Lloyd, J.L, ed. Dependable and Historic Computing. Berlin; New York: Springer-Verlag, 2011, pp.323-343.
- 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.
- Mihoob A, Molina-Jimenez C, Shrivastava SK. A Case for Consumer–centric Resource Accounting Models. In: 3rd International Conference on Cloud Computing. 2010, Miami Florida: IEEE Computer Society.
- Mihoob A, Molina-Jiminez C, Shrivastava S. A Case for Consumer–centric Resource Accounting Models. Newcastle upon Tyne: University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1222.
- Ezhilchelvan P, Shrivastava S. Learning from the Past for Resolving Dilemmas of Asynchrony. Operating Systems Review 2010, 44(2), 58-63.
- 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.
- Molina-Jimenez C, Shrivastava S, Strano M. Exception handling in electronic contracting. In: IEEE Conference on Commerce and Enterprise Computing (CEC). 2009, Vienna, Austria: IEEE.
- 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.
- 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.
- Strano M, Molina-Jimenez C, Shrivastava S. Implementing a Rule-Based Contract Compliance Checker. In: Software Services for e-Business and e-Society: 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society (I3E). 2009, Nancy, France: Springer.
- Ezhilchelvan P, Shrivastava S. Learning from the Past for Resolving Dilemmas of Asynchrony. In: 3rd ACM SIGOPS International Workshop on Large Scale Distributed Systems and Middleware, (Co-located with the 22nd ACM SOSP 2009). 2009, Big Sky, Montana, USA.
- Molina-Jimenez C, Shrivastava S. Model checking correctness properties of a middleware service for contract compliance. In: Proceedings of the 4th Workshop on Middleware for Service Oriented Computing, MW4SOC 2009 held at the ACM/IFIP/USENIX International Middleware Conference. 2009, Urbana Champaign, Illinois, USA: ACM Press.
- Molina-Jimenez C, Cook N, Shrivastava S. On the feasibility of bilaterally agreed accounting of resource consumption. In: Service-Oriented Computing: International Workshops. 2009, Sydney, Australia: Springer.
- Ezhilchelvan P, Clarke D, Mitrani I, Shrivastava S. Proactive Fortification of Fault-Tolerant Services. In: 13th International Conference on Principles of Distributed Systems. 2009, Nimes, France: Springer.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Shrivastava S. Satem: Trusted Service Code Execution across Transactions. In: 25th Symposium on Reliable Distributed Systems. 2006, Leeds, UK: IEEE.
- 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.
- 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.
- Molina-Jimenez C, Shrivastava S, Warne J. A method for specifying contract mediated interactions. In: Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference. 2005, Enschede, The Netherlands: 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.
- Shrivastava SK. Contract-mediated interorganizational interactions. IEEE Distributed Systems Online 2005, 6(11), 1-11.
- 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.
- 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.
- 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.
- Ezhilchelvan PD, Shrivastava SK. A model and a design approach to building QoS adaptive systems. In: 15 IPDPS 2000 Workshops. 2004, Cancun, Mexico: 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.
- 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.
- 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.
- 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.
- 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.
- Molina-Jimenez C, Shrivastava SK, Crowcroft J, Gevros P. On the monitoring of contractual service level agreements. In: Proceedings - First IEEE International Workshop on Electronic Contracting, WEC 2004. 2004, San Diego, California: IEEE Computer Society.
- 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.
- 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.
- Woodman SJ, Palmer DJ, Shrivastava SK, Wheater SM. A System for Distributed Enactment of Composite Web Services. University of Trento, 2003. DIT-03-056.
- 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.
- Molina-Jimenez C, Shrivastava S, Solaiman E, Warne J. Contract Representation for Run-time Monitoring and Enforcement. In: IEEE International Conference on E-Commerce. 2003, Newport Beach, California: IEEE.
- 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.
- Shrivastava SK. Middleware for supporting inter-organizational interactions. In: Future Directions in Distributed Computing: Research and Position Papers. 2003, Bertinoro, Italy: 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 S. Model checking correctness properties of electronic contracts. In: Service-Oriented Computing - ICSOC 2003. 2003, Trento, Italy: Springer.
- 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.
- Solaiman E, Molina-Jimenez C, Shrivastava S. Model Checking Correctness Properties of Electronic Contracts. In: Goos G; Hartmanis J; van Leeuwen J, ed. Service-Oriented Computing - ICSOC 2003. Heidelberg: Springer Berlin, 2003, pp.303-318.
- 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.
- 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.
- 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.
- Little MC, Shrivastava SK. An Examination of the Transition of the Arjuna Distributed Transaction Processing Software from Research to Products. In: Second USENIX/ACM/IEEE Workshop on Industrial Experiences with Systems Software (WIESS '02). 2002, Boston, Massachusetts, USA.
- 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.
- Shrivastava SK. Middleware for supporting inter-organisational interactions. In: Workshop on Future Directions in Distributed Computing (FuDiCo2002). 2002, Berlin: Springer-Verlag.
- Little MC, Shrivastava SK, Speirs NA. Using bloom filters to speed-up name lookup in distributed systems. Computer Journal 2002, 45(6), 645-652.
- 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.
- 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.
- 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.
- 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.
- 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.
- Shrivastava SK, Krakowiak S, ed. Advances in Distributed Systems: Advanced Distributed Computing from Algorithms to Systems. New York: Springer, 2000.
- Ezhilchelvan PD, Shrivastava SK. Advances in Distributed Systems: advanced distributed computing, from algorithms to systems. Berlin, New York: Springer-Verlag, 2000.
- Ingham DB, Shrivastava SK, Panzieri F. Constructing dependable Web services. IEEE Internet Computing 2000, 4(1), 25-33.
- Ingham DB, Panzieri F, Shrivastava SK. Constructing dependable Web services. In: Krakowiak, S., Shrivastava, S, ed. Advances in Distributed Systems: Advanced Distributed Computing: From Algorithms to Systems. Berlin, New York: Springer, 2000, pp.277-294.
- 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.
- Wheater SM, Shrivastava SK, Ranno F. OPENflow: A CORBA based transactional workflow system. Advances in Distributed Systems 2000, 1752, 354-374.
- Shrivastava SK, Ezhilchelvan PD, Speirs N, Fitzgerald JS. Safety Critical Distributed Systems: a State of Art Report. London: National Air Traffic Services, 2000.
- 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.
- Krakowiak S, Shrivastava SK, ed. Advances in distributed systems: advanced distributed computing, from algorithms to systems. Berlin: Springer-Verlag, 1999.
- 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.
- 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.
- 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.
- Little MC, Shrivastava SK. Method for combining replication with cacheing. In: Proceedings of the IEEE Symposium on Reliable Distributed Systems. 1999, Lausanne, Switzerland: IEEE Computer Society.
- 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.
- Arief LB, Little MC, Shrivastava SK, Speirs NA, Wheater SM. Specifying distributed system services. BT Technology Journal 1999, 17(2), 126-136.
- 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.
- 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.
- 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.
- 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.
- 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, 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.
- 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.
- 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.
- Ranno F, Shrivastava SK, Wheater SM. Language for specifying the composition of reliable https://myimpact.ncl.ac.uk/EditPublication.aspxdistributed applications. In: Proceedings of the 18th International Conference on Distributed Computing Systems. 1998, Amsterdam, The Netherlands: IEEE Computer Society.
- 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.
- Little MC, Shrivastava SK. Providing end-to-end transactional Web applications using the Object Transaction Service. OMG Success Story 1998.
- Black D, Low C, Shrivastava SK. The Voltan Application Programming Environment for Fail-silent Processes. IEE Distributed Systems Engineering 1998, 5(2), 66-77.
- Wheater SM, Shrivastava SK. A Framework for Configurable Distributed Transactions. In: 7th High Performance Transaction Systems Workshop (HPTS 1997). 1997, Pacific Grove, California, USA.
- 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.
- 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.
- 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.
- 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.
- Smith J, Shrivastava SK. Fault-tolerant parallel applications using queues and actions. In: Proceedings of the International Conference on Parallel Processing. 1997, IEEE Computer Society.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Little MC, Shrivastava SK. Using application specific knowledge for configuring object replicas. In: IEEE International Workshop on Configurable Distributed Systems. 1996, Annapolis, Maryland, USA: IEEE Computer Society.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Ezhilchelvan PD, Shrivastava SK. rel/REL: A Family of Reliable Multicast Protocols for Distributed Systems. IEE Distributed Systems Engineering 1994, 1(6), 323-331.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Macedo RA, Ezhilchelvan PD, Shrivastava SK. NewTop: A Total Order Multicast Protocal Using Causal Blocks. BROADCAST Project, 1993.
- 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.
- 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.
- Speirs NA, Shrivastava SK. Demonstration of Voltan Fail-Controlled Node. Dependable Computing Systems Centre, 1992. BG/92/40.
- 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.
- 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.
- 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.
- Shrivastava SK, Dixon GN, Parrington GD. An Overview of the Arjuna Distributed Programming System. IEEE Software 1991, 8(1), 66-73.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Shrivastava SK, Ezhilchelvan PD, Speirs NA. Fail-controlled processor architectures for distributed systems. DELTA-4 ESPRIT Project, 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.
- 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.
- 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.
- 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.
- 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.
- McCue DL, Shrivastava SK. Structuring Persistent Object Systems for Portability in a Distributed Environment. In: 4th ACM SIGOPT Workshop. 1990, Bologna, Italy.
- 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.
- Shrivastava SK, Ezhilchelvan PD, Little MC. Understanding Component Failures and Replications in Distributed Systems. ISA, 1990. UNT/TR1.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Shrivastava SK. A tutorial on the principles of fault tolerance. Sadhana 1987, 11(1-2), 7-22.
- 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.
- 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.
- 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.
- 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.
- 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.
- Shrivastava SK. Replicated Distributed Processing. Computing Laboratory, The University of Newcastle upon Tyne, 1986. Computing Laboratory Technical Report Series 222.
- 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.
- 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.
- Shrivastava SK, ed. Reliable computer systems: collected papers of the Newcastle Reliability Project. Berlin: Springer Verlag, 1985.
- Shrivastava SK. Workshop on Distributed Computing. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1985. Computing Laboratory Technical Report Series 203.
- 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.
- 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.
- Panzieri F, Shrivastava SK. Reliable Remote Calls for Distributed UNIX: An Implementation Study. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1982. Computing Laboratory Technical Report Series 177.
- Shrivastava SK, Panzieri F. The design of a reliable remote procedure call mechanism. IEEE Transactions on Computers 1982, 31(7), 692-697.
- 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.
- 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.
- 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.
- Anderson T, Lee PA, Shrivastava SK. A Model of Recoverability in Multilevel Systems. IEEE Transactions on Software Engineering 1978, SE-4(6), 486-494.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Shrivastava SK. Systematic programming of scheduling algorithms. Software - Practice and Experience 1976, 6(3), 357-370.
- Shrivastava SK. A view of concurrent process synchronisation. The Computer Journal 1975, 18(4), 375-379.
- Shrivastava SK. Process synchronization in high-level languages. International Journal of Parallel Programming 1975, 4(2), 151-169.