Santosh K. Shrivastava

ORCID

Publication Activity (10 Years)

Years Active: 1975-2022
Publications (10 Years): 1

Top Venues

CBI

J. Internet Serv. Appl.

Softw. Pract. Exp.

Publications

Mark C. Little, Santosh K. Shrivastava
The evolution of the Arjuna transaction processing system. Softw. Pract. Exp. 52 (4) (2022)
Carlos Molina-Jiménez, Santosh K. Shrivastava
Establishing Conformance between Contracts and Choreographies. CBI (2013)
Ahmed Mihoob, Carlos Molina-Jiménez, Santosh K. Shrivastava
Consumer-centric resource accounting in the cloud. J. Internet Serv. Appl. 4 (1) (2013)
Carlos Molina-Jiménez, Santosh K. Shrivastava, Massimo Strano
A Model for Checking Contractual Compliance of Business Interactions. IEEE Trans. Serv. Comput. 5 (2) (2012)
Mark C. Little, Santosh K. Shrivastava, Stuart M. Wheater
Another look at the middleware for dependable distributed computing. J. Internet Serv. Appl. 3 (1) (2012)
Mark C. Little, Santosh K. Shrivastava
The Evolution of the Arjuna Transaction Processing System. Dependable and Historic Computing (2011)
Abubkr Abdelsadiq, Carlos Molina-Jiménez, Santosh K. Shrivastava
A high-level model-checking tool for verifying service agreements. SOSE (2011)
Ahmed Mihoob, Carlos Molina-Jiménez, Santosh K. Shrivastava
Consumer Side Resource Accounting in the Cloud. I3E (2011)
Carlos Molina-Jiménez, Santosh K. Shrivastava, Stuart M. Wheater
An architecture for negotiation and enforcement of resource usage policies. SOCA (2011)
Abubkr Abdelsadiq, Carlos Molina-Jiménez, Santosh K. Shrivastava
On Model Checker Based Testing of Electronic Contracting Systems. CEC (2010)
Paul D. Ezhilchelvan, Santosh K. Shrivastava
Learning from the past for resolving dilemmas of asynchrony. ACM SIGOPS Oper. Syst. Rev. 44 (2) (2010)
Ahmed Mihoob, Carlos Molina-Jiménez, Santosh K. Shrivastava
A Case for Consumer - centric Resource Accounting Models. IEEE CLOUD (2010)
Santosh K. Shrivastava
Third Party Services for Enabling Business-to-Business Interactions. OTM Conferences (1) (2009)
Paul D. Ezhilchelvan, Dylan Clarke, Isi Mitrani, Santosh K. Shrivastava
Proactive Fortification of Fault-Tolerant Services. OPODIS (2009)
Carlos Molina-Jiménez, Santosh K. Shrivastava, Massimo Strano
Exception Handling in Electronic Contracting. CEC (2009)
Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava
Implementing a Rule-Based Contract Compliance Checker. I3E (2009)
Carlos Molina-Jiménez, Nick Cook, Santosh K. Shrivastava
On the Feasibility of Bilaterally Agreed Accounting of Resource Consumption. ICSOC Workshops (2008)
Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava
A Rule-Based Notation to Specify Executable Electronic Contracts. RuleML (2008)
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) (2008)
Carlos Molina-Jiménez, Santosh K. Shrivastava, Nick Cook
Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware. EDOC (2007)
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)
Carlos Molina-Jiménez, Santosh K. Shrivastava, Simon J. Woodman
On State Synchronization of Business Conversations. CEC/EEE (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)
Achmad I. Kistijantoro, Graham Morgan, Santosh K. Shrivastava
Transaction Manager Failover: A Case Study Using JBOSS Application Server. OTM Workshops (2) (2006)
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) (2006)
Santosh K. Shrivastava
Satem: Trusted Service Code Execution across Transactions. SRDS (2006)
Paul D. Ezhilchelvan, Santosh K. Shrivastava
A Family of Trusted Third Party Based Fair-Exchange Protocols. IEEE Trans. Dependable Secur. Comput. 2 (4) (2005)
Paul Robinson, Nick Cook, Santosh K. Shrivastava
Implementing Fair Non-repudiable Interactions with Web Services. EDOC (2005)
Carlos Molina-Jiménez, Santosh K. Shrivastava, John P. Warne
A Method for Specifying Contract Mediated Interactions. EDOC (2005)
Santosh K. Shrivastava
Contract-Mediated Interorganizational Interactions. IEEE Distributed Syst. Online 6 (11) (2005)
Nick Cook, Paul Robinson, Santosh K. Shrivastava
Component Middleware to Support Non-repudiable Service Interactions. DSN (2004)
Carlos Molina-Jiménez, Santosh K. Shrivastava, Ellis Solaiman, John P. Warne
Run-time monitoring and enforcement of electronic contracts. Electron. Commer. Res. Appl. 3 (2) (2004)
Simon J. Woodman, Doug J. Palmer, Santosh K. Shrivastava, Stuart M. Wheater
Notations for the Specification and Verification of Composite Web Services. EDOC (2004)
Santosh K. Shrivastava
Middleware for Supporting Inter-organizational Interactions. Future Directions in Distributed Computing (2003)
Ellis Solaiman, Carlos Molina-Jiménez, Santosh K. Shrivastava
Model Checking Correctness Properties of Electronic Contracts. ICSOC (2003)
Nick Cook, Santosh K. Shrivastava, Stuart M. Wheater
Middleware Support for Non-repudiable Transactional Information Sharing between Enterprises. DAIS (2003)
Paul D. Ezhilchelvan, Santosh K. Shrivastava
Systematic Development of a Family of Fair Exchange Protocols. DBSec (2003)
Carlos Molina-Jiménez, Santosh K. Shrivastava, Ellis Solaiman, John P. Warne
Contract Representation for Run-time Monitoring and Enforcement. CEC (2003)
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)
Iain Houston, Mark C. Little, Ian Robinson, Santosh K. Shrivastava, Stuart M. Wheater
The CORBA Activity Service Framework for supporting extended transactions. Softw. Pract. Exp. 33 (4) (2003)
Paul D. Ezhilchelvan, Santosh K. Shrivastava
A Model and a Design Approach to Building QoS Adaptive Systems. WADS (2003)
Mark C. Little, Santosh K. Shrivastava
An Examination of the Transition of the Arjuna Distributed Transaction Processing Software from Research to Products. WIESS (2002)
Nick Cook, Santosh K. Shrivastava, Stuart M. Wheater
Distributed Object Middleware to Support Dependable Information Sharing between Organisations. DSN (2002)
Mark C. Little, Santosh K. Shrivastava, Neil A. Speirs
Using Bloom Filters to Speed-up Name Lookup in Distributed Systems. Comput. J. 45 (6) (2002)
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)
Mark C. Little, Santosh K. Shrivastava, Stuart M. Wheater
Theory and Practice of Building Reliable Distributed Applications. DOA (2001)
Paul D. Ezhilchelvan, Santosh K. Shrivastava, Mark C. Little
A Model and Architecture for Conducting Hierarchically Structured Auctions. ISORC (2001)
Iain Houston, Mark C. Little, Ian Robinson, Santosh K. Shrivastava, Stuart M. Wheater
The CORBA Activity Service Framework for Supporting Extended Transactions. Middleware (2001)
J. J. Halliday, Santosh K. Shrivastava, Stuart M. Wheater
Flexible Workflow Management in the OPENflow System. EDOC (2001)
Graham Morgan, Santosh K. Shrivastava
Implementing Flexible Object Group Invocation in Networked Systems. DSN (2000)
David B. Ingham, Santosh K. Shrivastava, Fabio Panzieri
Constructing Dependable Web Services. IEEE Internet Comput. 4 (1) (2000)
Santosh K. Shrivastava, Luc Bellissard, David Féliot, Marc Herrmann, Noel De Palma, Stuart M. Wheater
A Workflow and Agent Based Platform for Service Provisioning. EDOC (2000)
Paul D. Ezhilchelvan, Santosh K. Shrivastava
Enhancing Replica Management Services to Cope with Group Failures. Advances in Distributed Systems (1999)
Paul D. Ezhilchelvan, Santosh K. Shrivastava
Enhancing Replica Management Services to Tolerate Group Failures. ISORC (1999)
J. J. Halliday, Santosh K. Shrivastava, Stuart M. Wheater
Implementing support for work activity coordination within a distributed workflow system. EDOC (1999)
Santosh K. Shrivastava, Stuart M. Wheater
Guest Editors' Introduction: Workflow-Management Systems. IEEE Concurr. 7 (3) (1999)
Mark C. Little, Santosh K. Shrivastava
Integrating Group Communication with Transactions for Implementing Persistent Replicated Objects. Advances in Distributed Systems (1999)
Mark C. Little, Santosh K. Shrivastava
A Method for Combining Replication with Caching. SRDS (1999)
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)
Graham Morgan, Santosh K. Shrivastava, Paul D. Ezhilchelvan, Mark C. Little
Design and implemantation of a CORBA fault-tolerant object group service. DAIS (1999)
David B. Ingham, Fabio Panzieri, Santosh K. Shrivastava
Constructing Dependable Web Services. Advances in Distributed Systems (1999)
Stuart M. Wheater, Santosh K. Shrivastava, Frédéric Ranno
OPENflow: A CORBA Based Transactional Workflow System. Advances in Distributed Systems (1999)
Fabio Panzieri, Santosh K. Shrivastava
On the Provision of Replicated Internet Auction Services. SRDS (1999)
Mark C. Little, Santosh K. Shrivastava
Java Transactions for the Internet. COOTS (1998)
Dave Black, C. Low, Santosh K. Shrivastava
The Voltan application programming environment for fail-silent processes. Distributed Syst. Eng. 5 (2) (1998)
Mark C. Little, Santosh K. Shrivastava
Integrating the Object Transaction Service with the Web. EDOC (1998)
Mark C. Little, Santosh K. Shrivastava
Java transactions for the Internet. Distributed Syst. Eng. 5 (4) (1998)
Santosh K. Shrivastava
Inter-task Co-ordination in Long-Lived Distributed Applications. DISC (1998)
Steve J. Caughey, Mark C. Little, Santosh K. Shrivastava
Checked Transactions in an Asynchronous Message Passing Environment. ISORC (1998)
Santosh K. Shrivastava, Stuart M. Wheater
Architectural support for dynamic reconfiguration of distributed workflow applications. IEE Proc. Softw. 145 (5) (1998)
Santosh K. Shrivastava, Stuart M. Wheater
A transactional workflow based distributed application composition and execution environment. ACM SIGOPS European Workshop (1998)
Mark C. Little, Santosh K. Shrivastava
Understanding the Role of Atomic Transactions and Group Communications in Implementing Persistent Replicated Objects. POS/PJW (1998)
Santosh K. Shrivastava, Stuart M. Wheater
Architectural support for dynamic reconfiguration of large scale distributed applications. CDS (1998)
Frédéric Ranno, Santosh K. Shrivastava, Stuart M. Wheater
A Language for Specifying the Composition of Reliable Distributed Applications. ICDCS (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) (1998)
Mark C. Little, Santosh K. Shrivastava, Steve J. Caughey, David B. Ingham
Constructing Reliable Web Applications Using Atomic Actions. Comput. Networks 29 (8-13) (1997)
J. A. Smith, Santosh K. Shrivastava
Fault-Tolerant Parallel Applications Using Queues and Actions. ICPP (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)
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) (1996)
Mark C. Little, Santosh K. Shrivastava
Using application specific knowledge for configuring object replicas. CDS (1996)
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)
Graham D. Parrington, Santosh K. Shrivastava, Stuart M. Wheater, Mark C. Little
The Design and Implementation of Arjuna. Comput. Syst. 8 (2) (1995)
David B. Ingham, Mark C. Little, Steve J. Caughey, Santosh K. Shrivastava
W3Objects: Bringing Object-Oriented Technology to the Web. WWW (Fall) (1995)
Sha Tao, Paul D. Ezhilchelvan, Santosh K. Shrivastava
Focused fault injection testing of software implemented fault tolerance mechanisms of Voltan TMR nodes. Distributed Syst. Eng. 2 (1) (1995)
Paul D. Ezhilchelvan, Raimundo A. Macêdo, Santosh K. Shrivastava
Newtop: A Fault-Tolerant Group Communication Protocol. ICDCS (1995)
Paul D. Ezhilchelvan, Santosh K. Shrivastava
el/REL: a family of reliable multicast protocols for distributed systems. Distributed Syst. Eng. 1 (6) (1994)
Santosh K. Shrivastava
Lessons Learned from Building and Using the Arjuna Distributed Programming System. Dagstuhl Seminar on Distributed Systems (1994)
Santosh K. Shrivastava, Daniel L. McCue
Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment. IEEE Trans. Parallel Distributed Syst. 5 (4) (1994)
Santosh K. Shrivastava
To CATOCS or not to CATOCS, that is the ... ACM SIGOPS Oper. Syst. Rev. 28 (4) (1994)
Stuart M. Wheater, Santosh K. Shrivastava
Exercising application specific run-time control over clustering of objects. CDS (1994)
Santosh K. Shrivastava, Luigi V. Mancini, Brian Randell
The Duality of Fault-tolerant System Structures. Softw. Pract. Exp. 23 (7) (1993)
Mark C. Little, Daniel L. McCue, Santosh K. Shrivastava
Maintaining Information about Persistent Replicated Objects in a Distributed System. ICDCS (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)
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) (1992)
Luigi V. Mancini, Santosh K. Shrivastava
Fault-Tolerant Reference Counting for Garbage Collection in Distributed Systems. Comput. J. 34 (6) (1991)
Daniel L. McCue, Santosh K. Shrivastava
Structuring Fault-Tolerant Object Systems for Portability. ACM SIGOPS Oper. Syst. Rev. 25 (2) (1991)
Santosh K. Shrivastava, Adrian Waterworth
Using Objects and Actions to Provide Fault Tolerance in Distributed, Real-Time Applications. RTSS (1991)
Santosh K. Shrivastava, Daniel L. McCue
Operating System Support for Object-Oriented Distributed Systems. Operating Systems of the 90s and Beyond (1991)
Santosh K. Shrivastava, Graeme N. Dixon, Graham D. Parrington
An Overview of the Arjuna Distributed Programming System. IEEE Softw. 8 (1) (1991)
Santosh K. Shrivastava, Stuart M. Wheater
Implementing Fault-Tolerant Distributed Applications. ICDCS (1990)

Santosh K. Shrivastava.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Santosh K. Shrivastava