Santosh K. Shrivastava

Mark C. Little, Santosh K. Shrivastava, Stuart M. Wheater: Another look at the middleware for dependable distributed computing. J. Internet Services and Applications 3(1): 95-105 (2012)

Carlos Molina-Jiménez, Santosh K. Shrivastava, Massimo Strano: A Model for Checking Contractual Compliance of Business Interactions. IEEE T. Services Computing 5(2): 276-289 (2012)

Mark C. Little, Santosh K. Shrivastava: The Evolution of the Arjuna Transaction Processing System. Dependable and Historic Computing 2011: 323-343

Ahmed Mihoob, Carlos Molina-Jiménez, Santosh K. Shrivastava: Consumer Side Resource Accounting in the Cloud. I3E 2011: 58-72

Carlos Molina-Jiménez, Santosh K. Shrivastava, Stuart M. Wheater: An architecture for negotiation and enforcement of resource usage policies. SOCA 2011: 1-8

Abubkr Abdelsadiq, Carlos Molina-Jiménez, Santosh K. Shrivastava: A high-level model-checking tool for verifying service agreements. SOSE 2011: 297-304

Paul D. Ezhilchelvan, Santosh K. Shrivastava: Learning from the past for resolving dilemmas of asynchrony. Operating Systems Review 44(2): 58-63 (2010)

Ahmed Mihoob, Carlos Molina-Jiménez, Santosh K. Shrivastava: A Case for Consumer - centric Resource Accounting Models. IEEE CLOUD 2010: 506-512

Abubkr Abdelsadiq, Carlos Molina-Jiménez, Santosh K. Shrivastava: On Model Checker Based Testing of Electronic Contracting Systems. CEC 2010: 88-95

Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava: Implementing a Rule-Based Contract Compliance Checker. I3E 2009: 96-111

Paul D. Ezhilchelvan, Dylan Clarke, Isi Mitrani, Santosh K. Shrivastava: Proactive Fortification of Fault-Tolerant Services. OPODIS 2009: 330-344

Santosh K. Shrivastava: Third Party Services for Enabling Business-to-Business Interactions. OTM Conferences (1) 2009: 2-3

Carlos Molina-Jiménez, Santosh K. Shrivastava, Massimo Strano: Exception Handling in Electronic Contracting. CEC 2009: 65-73

Achmad I. Kistijantoro, Graham Morgan, Santosh K. Shrivastava, Mark C. Little: Enhancing an Application Server to Support Available Components. IEEE Trans. Software Eng. 34(4): 531-545 (2008)

Carlos Molina-Jiménez, Nick Cook, Santosh K. Shrivastava: On the Feasibility of Bilaterally Agreed Accounting of Resource Consumption. ICSOC Workshops 2008: 270-283

Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava: A Rule-Based Notation to Specify Executable Electronic Contracts. RuleML 2008: 81-88

Carlos Molina-Jiménez, Santosh K. Shrivastava, Nick Cook: Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware. EDOC 2007: 51-62

Nick Cook, Paul Robinson, Santosh K. Shrivastava: The Rigorous Implementation of a Fair Exchange Protocol for Non-repudiable Web Service Interactions - a case study. ICDE Workshops 2007: 307-314

Nick Cook, Paul Robinson, Santosh K. Shrivastava: Design and Implementation of Web Services Middleware to Support Fair Non-Repudiable Interactions. Int. J. Cooperative Inf. Syst. 15(4): 565-597 (2006)

Carlos Molina-Jiménez, Santosh K. Shrivastava: Maintaining Consistency between Loosely Coupled Services in the Presence of Timing Constraints and Validation Errors. ECOWS 2006: 148-160

Achmad I. Kistijantoro, Graham Morgan, Santosh K. Shrivastava: Transaction Manager Failover: A Case Study Using JBOSS Application Server. OTM Workshops (2) 2006: 1555-1564

Santosh K. Shrivastava: Satem: Trusted Service Code Execution across Transactions. SRDS 2006: 337-338

Carlos Molina-Jiménez, Santosh K. Shrivastava, Simon J. Woodman: On State Synchronization of Business Conversations. CEC/EEE 2006: 42

Santosh K. Shrivastava: Contract-Mediated Interorganizational Interactions. IEEE Distributed Systems Online 6(11) (2005)

Paul D. Ezhilchelvan, Santosh K. Shrivastava: A Family of Trusted Third Party Based Fair-Exchange Protocols. IEEE Trans. Dependable Sec. Comput. 2(4): 273-286 (2005)

Carlos Molina-Jiménez, Santosh K. Shrivastava, John P. Warne: A Method for Specifying Contract Mediated Interactions. EDOC 2005: 106-118

Paul Robinson, Nick Cook, Santosh K. Shrivastava: Implementing Fair Non-repudiable Interactions with Web Services. EDOC 2005: 195-206

Carlos Molina-Jiménez, Santosh K. Shrivastava, Ellis Solaiman, John P. Warne: Run-time monitoring and enforcement of electronic contracts. Electronic Commerce Research and Applications 3(2): 108-125 (2004)

Nick Cook, Paul Robinson, Santosh K. Shrivastava: Component Middleware to Support Non-repudiable Service Interactions. DSN 2004: 605-

Simon J. Woodman, Doug J. Palmer, Santosh K. Shrivastava, Stuart M. Wheater: Notations for the Specification and Verification of Composite Web Services. EDOC 2004: 35-46

Iain Houston, Mark C. Little, Ian Robinson, Santosh K. Shrivastava, Stuart M. Wheater: The CORBA Activity Service Framework for supporting extended transactions. Softw., Pract. Exper. 33(4): 351-373 (2003)

Santosh K. Shrivastava: Middleware for Supporting Inter-organizational Interactions. Future Directions in Distributed Computing 2003: 202-206

Nick Cook, Santosh K. Shrivastava, Stuart M. Wheater: Middleware Support for Non-repudiable Transactional Information Sharing between Enterprises. DAIS 2003: 125-132

Paul D. Ezhilchelvan, Santosh K. Shrivastava: Systematic Development of a Family of Fair Exchange Protocols. DBSec 2003: 243-258

Paul D. Ezhilchelvan, Santosh K. Shrivastava: A Model and a Design Approach to Building QoS Adaptive Systems. WADS 2003: 215-240

Ellis Solaiman, Carlos Molina-Jiménez, Santosh K. Shrivastava: Model Checking Correctness Properties of Electronic Contracts. ICSOC 2003: 303-318

Achmad I. Kistijantoro, Graham Morgan, Santosh K. Shrivastava, Mark C. Little: Component Replication in Distributed Systems: A Case Study Using Enterprise Java Beans. SRDS 2003: 89-98

Carlos Molina-Jiménez, Santosh K. Shrivastava, Ellis Solaiman, John P. Warne: Contract Representation for Run-time Monitoring and Enforcement. CEC 2003: 103-110

Mark C. Little, Santosh K. Shrivastava, Neil A. Speirs: Using Bloom Filters to Speed-up Name Lookup in Distributed Systems. Comput. J. 45(6): 645-652 (2002)

Nick Cook, Santosh K. Shrivastava, Stuart M. Wheater: Distributed Object Middleware to Support Dependable Information Sharing between Organisations. DSN 2002: 249-262

Richard D. Schlichting, Andrew A. Chien, Carl Kesselman, Keith Marzullo, James S. Plank, Santosh K. Shrivastava: Dependability and the Grid: Issues and Challenges. DSN 2002: 263-266

Mark C. Little, Santosh K. Shrivastava: An Examination of the Transition of the Arjuna Distributed Transaction Processing Software from Research to Products. WIESS 2002: 41-54

Mark C. Little, Santosh K. Shrivastava, Stuart M. Wheater: Theory and Practice of Building Reliable Distributed Applications. DOA 2001: 353-354

J. J. Halliday, Santosh K. Shrivastava, Stuart M. Wheater: Flexible Workflow Management in the OPENflow System. EDOC 2001: 82-92

Paul D. Ezhilchelvan, Santosh K. Shrivastava, Mark C. Little: A Model and Architecture for Conducting Hierarchically Structured Auctions. ISORC 2001: 129-137

Iain Houston, Mark C. Little, Ian Robinson, Santosh K. Shrivastava, Stuart M. Wheater: The CORBA Activity Service Framework for Supporting Extended Transactions. Middleware 2001: 197-215

David B. Ingham, Santosh K. Shrivastava, Fabio Panzieri: Constructing Dependable Web Services. IEEE Internet Computing 4(1): 25-33 (2000)

Graham Morgan, Santosh K. Shrivastava: Implementing Flexible Object Group Invocation in Networked Systems. DSN 2000: 439-448

Santosh K. Shrivastava, Luc Bellissard, David Féliot, M. Herrmann, Noel De Palma, Stuart M. Wheater: A Workflow and Agent Based Platform for Service Provisioning. EDOC 2000: 38-47

Santosh K. Shrivastava, Stuart M. Wheater: Guest Editors' Introduction: Workflow-Management Systems. IEEE Concurrency 7(3): 16-17 (1999)

Paul D. Ezhilchelvan, Santosh K. Shrivastava: Enhancing Replica Management Services to Cope with Group Failures. Advances in Distributed Systems 1999: 79-103

Mark C. Little, Santosh K. Shrivastava: Integrating Group Communication with Transactions for Implementing Persistent Replicated Objects. Advances in Distributed Systems 1999: 238-253

David B. Ingham, Fabio Panzieri, Santosh K. Shrivastava: Constructing Dependable Web Services. Advances in Distributed Systems 1999: 277-294

Stuart M. Wheater, Santosh K. Shrivastava, Frédéric Ranno: OPENflow: A CORBA Based Transactional Workflow System. Advances in Distributed Systems 1999: 354-374

Mark C. Little, Stuart M. Wheater, David B. Ingham, C. Richard Snow, Harry Whitfield, Santosh K. Shrivastava: The University Student Registration System: A Case Study in Building a High-Availability Distributed Application Using General Purpose Components. Advances in Distributed Systems 1999: 453-471

Graham Morgan, Santosh K. Shrivastava, Paul D. Ezhilchelvan, Mark C. Little: Design and implemantation of a CORBA fault-tolerant object group service. DAIS 1999: 361-374

Paul D. Ezhilchelvan, Santosh K. Shrivastava: Enhancing Replica Management Services to Tolerate Group Failures. ISORC 1999: 263-

Mark C. Little, Santosh K. Shrivastava: A Method for Combining Replication with Caching. SRDS 1999: 316-321

Fabio Panzieri, Santosh K. Shrivastava: On the Provision of Replicated Internet Auction Services. SRDS 1999: 390-395

Sacha Krakowiak, Santosh K. Shrivastava (Eds.): Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems. Lecture Notes in Computer Science 1752, Springer 1999, isbn 3-540-67196-X

Dave Black, C. Low, Santosh K. Shrivastava: The Voltan application programming environment for fail-silent processes. Distributed Systems Engineering 5(2): 66-77 (1998)

Mark C. Little, Santosh K. Shrivastava: Java transactions for the Internet. Distributed Systems Engineering 5(4): 156-167 (1998)

Santosh K. Shrivastava, Stuart M. Wheater: Architectural support for dynamic reconfiguration of distributed workflow applications. IEE Proceedings - Software 145(5): 155-162 (1998)

J. A. Smith, Santosh K. Shrivastava: Performance of Fault-Tolerant Data and Compute Intensive Programs over a Network of Workstations. Theor. Comput. Sci. 196(1-2): 319-345 (1998)

Santosh K. Shrivastava, Stuart M. Wheater: Architectural support for dynamic reconfiguration of large scale distributed applications. CDS 1998: 10-17

Mark C. Little, Santosh K. Shrivastava: Java Transactions for the Internet. COOTS 1998: 89-100

Frédéric Ranno, Santosh K. Shrivastava, Stuart M. Wheater: A Language for Specifying the Composition of Reliable Distributed Applications. ICDCS 1998: 534-543

Steve J. Caughey, Mark C. Little, Santosh K. Shrivastava: Checked Transactions in an Asynchronous Message Passing Environment. ISORC 1998: 222-229

Mark C. Little, Santosh K. Shrivastava: Understanding the Role of Atomic Transactions and Group Communications in Implementing Persistent Replicated Objects. POS/PJW 1998: 17-28

Santosh K. Shrivastava, Stuart M. Wheater: A transactional workflow based distributed application composition and execution environment. ACM SIGOPS European Workshop 1998: 74-81

Santosh K. Shrivastava: Inter-task Co-ordination in Long-Lived Distributed Applications. DISC 1998: 20-21

Mark C. Little, Santosh K. Shrivastava, Steve J. Caughey, David B. Ingham: Constructing Reliable Web Applications Using Atomic Actions. Computer Networks 29(8-13): 1281-1290 (1997)

Frédéric Ranno, Santosh K. Shrivastava, Stuart M. Wheater: A System for Specifying and Coordinating the Execution of Reliable Distributed Applications. DAIS 1997

J. A. Smith, Santosh K. Shrivastava: Fault-Tolerant Parallel Applications Using Queues and Actions. ICPP 1997: 145-149

Francisco V. Brasileiro, Paul D. Ezhilchelvan, Santosh K. Shrivastava, Neil A. Speirs, Sha Tao: Implementing Fail-Silent Nodes for Distributed Systems. IEEE Trans. Computers 45(11): 1226-1238 (1996)

Mark C. Little, Santosh K. Shrivastava: Using application specific knowledge for configuring object replicas. CDS 1996: 169-176

Jim Smith, Santosh K. Shrivastava: A System for Fault-Tolerance Execution of Data and Compute Intensive Programs over a Network of Workstations. Euro-Par, Vol. I 1996: 487-495

Graham D. Parrington, Santosh K. Shrivastava, Stuart M. Wheater, Mark C. Little: The Design and Implementation of Arjuna. Computing Systems 8(2): 255-308 (1995)

Sha Tao, Paul D. Ezhilchelvan, Santosh K. Shrivastava: Focused fault injection testing of software implemented fault tolerance mechanisms of Voltan TMR nodes. Distributed Systems Engineering 2(1): 39-49 (1995)

Paul D. Ezhilchelvan, Raimundo A. Macêdo, Santosh K. Shrivastava: Newtop: A Fault-Tolerant Group Communication Protocol. ICDCS 1995: 296-306

Paul D. Ezhilchelvan, Santosh K. Shrivastava: el/REL: a family of reliable multicast protocols for distributed systems. Distributed Systems Engineering 1(6): 323-331 (1994)

Santosh K. Shrivastava: To CATOCS or not to CATOCS, that is the ... Operating Systems Review 28(4): 11-14 (1994)

Santosh K. Shrivastava, Daniel L. McCue: Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment. IEEE Trans. Parallel Distrib. Syst. 5(4): 421-432 (1994)

Stuart M. Wheater, Santosh K. Shrivastava: Exercising application specific run-time control over clustering of objects. CDS 1994: 72-81

Santosh K. Shrivastava: Lessons Learned from Building and Using the Arjuna Distributed Programming System. Dagstuhl Seminar on Distributed Systems 1994: 17-32

Santosh K. Shrivastava, Luigi V. Mancini, Brian Randell: The Duality of Fault-tolerant System Structures. Softw., Pract. Exper. 23(7): 773-798 (1993)

Santosh K. Shrivastava: Arjuna and Voltan: Case Studies in Building Fault Tolerant Distributed Systems Using Standard Components. Hardware and Software Architectures for Fault Tolerance 1993: 218-226

Mark C. Little, Daniel L. McCue, Santosh K. Shrivastava: Maintaining Information about Persistent Replicated Objects in a Distributed System. ICDCS 1993: 491-498

Santosh K. Shrivastava, Paul D. Ezhilchelvan, Neil A. Speirs, Sha Tao, Alan Tully: Principal Features of the VOLTAN Family of Reliable Node Architectures for Distributed Systems. IEEE Trans. Computers 41(5): 542-549 (1992)

Luigi V. Mancini, Santosh K. Shrivastava: Fault-Tolerant Reference Counting for Garbage Collection in Distributed Systems. Comput. J. 34(6): 503-513 (1991)

Daniel L. McCue, Santosh K. Shrivastava: Structuring Fault-Tolerant Object Systems for Portability. Operating Systems Review 25(2): 118-121 (1991)

Santosh K. Shrivastava, Graeme N. Dixon, Graham D. Parrington: An Overview of the Arjuna Distributed Programming System. IEEE Software 8(1): 66-73 (1991)

Santosh K. Shrivastava, Daniel L. McCue: Operating System Support for Object-Oriented Distributed Systems. Operating Systems of the 90s and Beyond 1991: 256-257

Santosh K. Shrivastava, A. Waterworth: Using Objects and Actions to Provide Fault Tolerance in Distributed, Real-Time Applications. RTSS 1991: 276-285

Paul D. Ezhilchelvan, Isi Mitrani, Santosh K. Shrivastava: A Performance Evaluation Study of Pipeline TMR Systems. IEEE Trans. Parallel Distrib. Syst. 1(4): 442-456 (1990)

Santosh K. Shrivastava, Stuart M. Wheater: Implementing Fault-Tolerant Distributed Applications. ICDCS 1990: 203-210

Daniel L. McCue, Santosh K. Shrivastava: Structuring fault-tolerant object systems for portability. ACM SIGOPS European Workshop 1990

Alan Tully, Santosh K. Shrivastava: Preventing State Divergence in Replicated Distributed Programs. SRDS 1990: 104-113

Mark C. Little, Santosh K. Shrivastava: Replicated K-Resilient Objects in Arjuna. Workshop on the Management of Replicated Data 1990: 53-58

Graeme N. Dixon, Graham D. Parrington, Santosh K. Shrivastava, Stuart M. Wheater: The Treatment of Persistent Objects in Arjuna. Comput. J. 32(4): 323-332 (1989)

Graeme N. Dixon, Graham D. Parrington, Santosh K. Shrivastava, Stuart M. Wheater: The Treatment of Persistent Objects in Arjuna. ECOOP 1989: 169-189

Luigi Vincenzo Mancini, Santosh K. Shrivastava: Replication within atomic actions and conversations: a case study in fault-tolerance duality. FTCS 1989: 454-461

Paul D. Ezhilchelvan, Santosh K. Shrivastava, Alan Tully: Constructing Replicated Systems Using Processors with Point-to-Point Communication Links. ISCA 1989: 177-184

Fabio Panzieri, Santosh K. Shrivastava: Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing. IEEE Trans. Software Eng. 14(1): 30-37 (1988)

Graham D. Parrington, Santosh K. Shrivastava: Implementing Concurrency Control in Reliable Object-Oriented Systems. ECOOP 1988: 233-249

Giuseppe Pappalardo, Santosh K. Shrivastava: A Formal Treatment of Interference in Remote Procedure Calls. FTRTFT 1988: 209-227

Santosh K. Shrivastava, Luigi V. Mancini, Brian Randell: On the Duality of Fault Tolerant System Structures. Experiences with Distributed Systems 1987: 19-37

Graeme N. Dixon, Santosh K. Shrivastava, Graham D. Parrington: Managing Persistent Objects in Arjuna: A System for Reliable Distributed Computing. POS 1987: 246-265

Graeme N. Dixon, Santosh K. Shrivastava: Exploiting Type Inheritance Facilities to Implement Recoverability in Object Based Systems. SRDS 1987: 107-114

Santosh K. Shrivastava: Replicated Distributed Processing. Networking in Open Systems 1986: 325-337

Paul D. Ezhilchelvan, Santosh K. Shrivastava: A Characterisation of Faults in Systems. Symposium on Reliability in Distributed Software and Database Systems 1986: 215-222

Santosh K. Shrivastava: Reliable Remote Procedure Calls. Software-Fehlertoleranz und -Zuverlässigkeit 1984: 99-104

Santosh K. Shrivastava: On the Treatment of Orphans in a Distributed System. Symposium on Reliability in Distributed Software and Database Systems 1983: 155-162

Santosh K. Shrivastava, Fabio Panzieri: The Design of a Reliable Remote Procedure Call Mechanism. IEEE Trans. Computers 31(7): 692-697 (1982)

Santosh K. Shrivastava: Structuring Distributed Systems for Recoverability and Crash Resistance. IEEE Trans. Software Eng. 7(4): 436-447 (1981)

Peter A. Lee, J. L. Lloyd, Santosh K. Shrivastava: Some Critical Comments on the Paper "An Optimal Approach to Fault Tolerant Software Systems Design" by Gannon and Shapiro. IEEE Trans. Software Eng. 7(6): 608-610 (1981)

Santosh K. Shrivastava: Concurrent Pascal with Backward Error Recovery: Language Features and Examples. Softw., Pract. Exper. 9(12): 1001-1020 (1979)

Santosh K. Shrivastava: Concurrent Pascal with Backward Error Recovery: Implementation. Softw., Pract. Exper. 9(12): 1021-1033 (1979)

Thomas Anderson, Santosh K. Shrivastava: Reliable Software: A Selective Annotated Bibliography. Softw., Pract. Exper. 8(1): 59-76 (1978)

Santosh K. Shrivastava: Sequential Pascal with Recovery Blocks. Softw., Pract. Exper. 8(2): 177-185 (1978)

Santosh K. Shrivastava, Jean-Pierre Banâtre: Reliable Resource Allocation Between Unreliable Processes. IEEE Trans. Software Eng. 4(3): 230-241 (1978)

Thomas Anderson, Peter A. Lee, Santosh K. Shrivastava: A Model of Recoverability in Multilevel Systems. IEEE Trans. Software Eng. 4(6): 486-494 (1978)

Santosh K. Shrivastava: Systematic Programming of Scheduling Algorithms. Softw., Pract. Exper. 6(3): 357-370 (1976)

Santosh K. Shrivastava: A View of Concurrent Process Synchronisation. Comput. J. 18(4): 375-379 (1975)

Santosh K. Shrivastava: Process synchronization in high-level languages. International Journal of Parallel Programming 4(2): 151-169 (1975)