Papers
2009 2008 20072006 2005 2004 2003 2002 2001 1997 1998 1997
A Formal Analysis of Database Replication Protocols with SI Replicas and Crash Failures
Accepted for publication. The Journal of Supercomputing. Springer. ISSN: 0920-8542 (printed), 1573-0484 (on-line)
A Cost Analysis of Solving the Amnesia Problems
International Symposium on Frontiers in Networking and Applications (in IEEE AINA), May 2009, Bradford, United Kingdom.
Accepted for publication. IEEE-CS Press.
Also available as Technical Report ITI-ITE-08/08, Instituto Tecnológico de Informática, Valencia, Spain. April 2008.
Available:(PDF, extended technical report version)
Business Rules for Replicated Enterprise Data
2nd IADIS International Conference on Information Systems, February 2009, Barcelona, Spain.
Accepted for publication.
Available:(PDF, preliminary extended version)
On the Cost of Prioritized Atomic Multicast Protocols
Technical Report ITI-SIDI-2009/002 (It supersedes its previously available version ITI-ITE-08/17, November 2008), Instituto Tecnológico de Informática, Valencia, Spain. February 2009.
Available: (PDF)
Extending Virtual Synchrony with Persistency
Technical Report ITI-SIDI-2009/001, Instituto Tecnológico de Informática, Valencia, Spain. January 2009.
Available:(PDF)
Cross-layer Cooperation between Membership Estimation and Routing
24th Annual ACM Symposium on Applied Computing (SAC), March 2009
accepted for publication
Inconsistency-tolerant Integrity Checking
Chapter XXXVIII in V. Ferraggine, J. Doorn, L. Rivero (eds) Handbook of Research on Innovations in Database Technoloies and Applications: Current and Future Trends, Vol. I,348-357
Information Science Reference, 2009
A Survey of Approaches to Database Replication
In Handbook of Research on Innovations in Database Technologies and Applications: Current and Future Trends, Volume 2, Chapter 81, pgs. 762-768
Edited by Laura C. Rivero, Jorge H. Doorn, Viviana E. Ferraggine
IGI Global - Information Science Reference
ISBN 978-1-60566-242-8 (hardcover)
February 2009
Evaluation of a Metaprotocol for Database Replication Adaptability
Technical Report ITI-ITE-08/18, Instituto Tecnológico de Informática, Valencia, Spain. November 2008.
Available: (PDF)
A Performance Analysis of g-Bound, a Consistency Protocol Supporting Multiple Isolation Levels
3rd International Workshop on Reliability in Decentralized Distributed Systems, November 2008, Monterrey, Mexico.
Previously available as Technical Report ITI-ITE-08/01, Instituto Tecnológico de Informática, Valencia, Spain. May 2008.
Lecture Notes in Computer Science, vol. 5333, pgs. 914-923, Springer, ISSN 0302-9743 (The original publication is available at www.springeronline.com).
Available:(technical report version, PDF)
Integrity Dangers in Certification-Based Replication Protocols
3rd International Workshop on Reliability in Decentralized Distributed Systems, November 2008, Monterrey, Mexico.
Previously available as Technical Report ITI-ITE-08/13, Instituto Tecnológico de Informática, Valencia, Spain. May 2008.
Lecture Notes in Computer Science, vol. 5333, pgs. 924-933, Springer, ISSN 0302-9743 (The original publication is available at www.springeronline.com).
Available:(technical report version, PDF)
Extending Middleware Protocols for Database Replication with Integrity Support
10th International Symposium on Distributed Objects, Middleware and Applications, November 2008, Monterrey, Mexico
Previously available as Technical Report ITI-ITE-08/14 (It supersedes its previously available version ITI-ITE-08/05, March 2008), Instituto Tecnológico de Informática, Valencia, Spain. July 2008.
Lecture Notes in Computer Science, vol. 5331, pgs. 607-624, Springer, ISSN 0302-9743 (The original publication is available at www.springeronline.com).
Available: (technical report version, PDF)
A Probabilistic Analysis of Snapshot Isolation with Partial Replication
27th International Symposium on Reliable Distributed Systems, October 2008, Napoli, Italy
Proceedings, pgs. 249-258. ISBN 978-0-7695-3410-7. IEEE-CS Press.
Reliable Software for Partitionable Networked Environments - An Experience Report
18th Annual ESREL Conference, September 2008, Valencia, Spain.
Accepted for publication.
Reducing Transaction Abort Rates with Prioritized Atomic Multicast Protocols
14th International Euro-Par Conference, August 2008, Las Palmas de Gran Canaria, Spain.
Previously available as Technical Report ITI-ITE-07/22, Instituto Tecnológico de Informática, Valencia, Spain. October 2007.
Lecture Notes in Computer Science, vol. 5168, pgs. 394-403, Springer, ISSN 0302-9743 (The original publication is available at www.springeronline.com).
Available: (technical report version, PDF)
Correctness Criteria for Replicated Database Systems with Snapshot Isolation Replicas
27th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), August 2008, Toronto, Canada.
Previously available as Technical Report ITI-ITE-08/03, Instituto Tecnológico de Informática, Valencia, Spain. March 2008.
Brief announcement. Proceedings, pg. 422. ISBN 978-1-59593-989-0. ACM Press.
Available:(PDF)
Persistent Logical Synchrony
7th International Symposium on Network Computing and Applications, July 2008, Cambridge, MA, USA.
Previously available as Technical Report ITI-ITE-08/02, Instituto Tecnológico de Informática, Valencia, Spain. February 2008.
Proceedings, pgs. 253-258. ISBN 978-0-7695-3192-2. IEEE-CS Press.
Available:(extended technical report version, PDF)
ASPY: An Access-Logging Tool for JDBC Applications
3rd International Conference on Software and Data Technologies (ICSOFT), July 2008, Porto, Portugal.
Previously available as Technical Report ITI-ITE-07/24, Instituto Tecnológico de Informática, Valencia, Spain. December 2007.
Proceedings, Volume ISDM/ABF, pgs. 104-111. ISBN 978-989-8111-53-1. INSTICC Press.
Available:(extended technical report version, PDF)
Relaxing Correctness Criteria in Database Replication with SI Replicas
3rd International Conference on Software and Data Technologies (ICSOFT), July 2008, Porto, Portugal.
Proceedings, Volume ISDM/ABF, pgs. 45-53. ISBN 978-989-8111-53-1. INSTICC Press.
Integrity Constraint Management in Certification-Based Replication Protocols
XVI Jornadas de Concurrencia y Sistemas Distribuidos, June 2008, Albacete, Spain.
Proceedings, pgs. 217-229. ISBN 978-84-691-2813-8.
Prioritized Atomic Multicast Protocols: From Theory to Practice
XVI Jornadas de Concurrencia y Sistemas Distribuidos, June 2008, Albacete, Spain.
Proceedings, pgs. 201-215. ISBN 978-84-691-2813-8.
A Triggerless Approach to Writeset Extraction in Multiversioned Databases
Technical Report ITI-ITE-08/11, Instituto Tecnológico de Informática, Valencia, Spain. June 2008.
Available:(PDF)
SIPRe: A Partial Database Replication Protocol with SI Replicas
23rd ACM Annual Symposium on Applied Computing - DADS Track, March 2008, Fortaleza, Ceará, Brazil.
Previously available as Technical Report ITI-ITE-07/21, Instituto Tecnológico de Informática, Valencia, Spain. October 2007.
Proceedings, vol 3, pgs. 2181-2185. ISBN 1-59593-753-7. ACM Press.
Available: (technical report version, PDF)
Extending Primary-Copy Database Replication Paradigm
Technical Report ITI-ITE-08/07, Instituto Tecnológico de Informática, Valencia, Spain. March 2008.
Available: (PDF)
Certification-Based Database Replication Protocols under the Perspective of the I/O Automaton Model
Technical Report ITI-ITE-08/06, Instituto Tecnológico de Informática, Valencia, Spain. March 2008.
Available: (PDF)
Managing Priorities in Total Order Broadcast Protocols
3rd International Conference on Availability, Reliability and Security, March 2008, Barcelona, Spain.
Previously available as Technical Report ITI-ITE-07/23 (with another title. It supersedes its previously available version ITI-ITE-07/07), Instituto Tecnológico de Informática, Valencia, Spain. October 2007.
Proceedings, pgs. 514-519. ISBN 0-7695-3102-4. IEEE-CS Press.
Available:(extended technical report version, PDF)
Extending Mixed Serialisation Graphs to Replicated Environments
3rd International Conference on Availability, Reliability and Security, March 2008, Barcelona, Spain.
Previously available as Technical Report ITI-ITE-07/20, Instituto Tecnológico de Informática, Valencia, Spain. October 2007.
Proceedings, pgs. 369-375. ISBN 0-7695-3102-4. IEEE-CS Press.
Available: (extended technical report version, PDF)
Ensuring Progress in Amnesiac Replicated Systems
3rd International Conference on Availability, Reliability and Security, March 2008, Barcelona, Spain.
Previously available as Technical Report ITI-ITE-07/12 (with another title), Instituto Tecnológico de Informática, Valencia, Spain. June 2007.
Proceedings, pgs. 390-396. ISBN 0-7695-3102-4. IEEE-CS Press.
Available: (extended technical report version, PDF)
A Database Replication Protocol Where Multicast Writesets Are Always Committed
3rd International Conference on Availability, Reliability and Security, March 2008, Barcelona, Spain.
Proceedings, pgs. 120-127. ISBN 0-7695-3102-4. IEEE-CS Press.
Reliable Software for Partitionable Networked Environments - An
Experience Report
Proceedings of the European Safety and Reliability Association (ESRA) Annual Conference, September 2008
Membership and Routing Services Crosslayer Cooperation
Actas de las XVI Jornadas de Concurrencia y Sistemas Distribuidos, June 2008
Towards a Dynamic Inconsistency-tolerant Schema Maintenance
Proc. Workshops 27th Int'l Conf. on Conceptual Modeling (ER 2008), Springer LNCS vol. 5232, 89-98, 2008
Database Integrity Checking
In M. Khosrow-Pour (ed), Encyclopedia of Information Science and Technology, 2nd edition, Vol. II, Information Science Reference, 2008
Extending Inconsistency-tolerant Integrity Checking by Semantic Query Optimization
Proc. 19th DEXA, 89-96, 2008
Classifying Integrity Checking Methods with regard to Inconsistency Tolerance
Proc. 10th PPDP, ACM Press, 195-204, 2008
Relaxed Approaches for Correct DB-Replication with SI Replicas
Software and Data Technologies - ICSOFT 2008
Communications in Computer and Information Science. Springer
(In press)
Crash Recovery with Partial Amnesia Failure Model Issues
Co-supervised by F. D. Muñoz Escoí, Luis Irún Briz
PhD Thesis, Depto. de Sistemas Informáticos y Computación, September 2008
Univ. Politécnica de Valencia
Available: (PDF)
Representación matemática de la incertidumbre en modelos genéricos de gestión de la confianza
Supervised by F. D. Muñoz Escoí. Master en Computación Paralela y Distribuida
Master Thesis, Depto. de Sistemas Informáticos y Computación, November 2008
Univ. Politécnica de Valencia
Also available as Technical Report ITI-ITE-08/19, Instituto Tecnológico de Informática, Valencia, Spain. November 2008
Available: (PDF; technical report version; in Spanish)
Soluciones distribuidas para una aplicación cliente/servidor de simulación
Co-supervised by F. D. Muñoz Escoí, Stefan Beyer
Master Thesis, Depto. de Sistemas Informáticos y Computación, December 2008
Univ. Politécnica de Valencia
Correctness Proof of a Middleware GSI Certification-Based Replication Protocol
Technical Report ITI-ITE-07/17 (It partially supersedes TR-ITI-ITE-06/05), Instituto Tecnológico de Informática, Valencia, Spain. December 2007.
Available: (PDF)
Improving Recovery in Weak-Voting Data Replication
7th International Symposium on Advanced Parallel Processing Technologies, November 2007, Guangzhou, China.
Previously available as Technical Report ITI-ITE-07/08 (with another title), Instituto Tecnológico de Informática, Valencia, Spain. April 2007.
Lecture Notes in Computer Science, vol. 4847, pgs. 131-140, Springer, ISSN 0302-9743 (The original publication is available at www.springerlink.com).
A Metaprotocol Outline for Database Replication Adaptability
2nd International Workshop on Reliability in Decentralized Distributed Systems, November 2007, Vilamoura, Algarve, Portugal.
Previously available as Technical Report ITI-ITE-07/18, Instituto Tecnológico de Informática, Valencia, Spain. July 2007.
Lecture Notes in Computer Science, vol. 4806, pgs. 1052-1061, Springer, ISSN 0302-9743 (The original publication is available at www.springerlink.com).
Exploiting Commutativity for Efficient Replication in Partitionable Distributed Systems
2nd International Workshop on Reliability in Decentralized Distributed Systems, November 2007, Vilamoura, Algarve, Portugal.
Previously available as Technical Report ITI-ITE-07/13, Instituto Tecnológico de Informática, Valencia, Spain. July 2007.
Lecture Notes in Computer Science, vol. 4806, pgs. 1071-1080, Springer, ISSN 0302-9743 (The original publication is available at www.springerlink.com).
A Deterministic Database Replication Protocol Where Multicast Writesets Never Get Aborted
9th International Symposium on Distributed Objects, Middleware and Applications, November 2007, Vilamoura, Portugal.
Previously available as Technical Report ITI-ITE-07/15, Instituto Tecnológico de Informática, Valencia, Spain. June 2007.
Lecture Notes in Computer Science, vol. 4805, pgs. 1-2, Springer, ISSN 0302-9743 (The original publication is available at www.springerlink.com).
Reviewing Amnesia Support in Database Replication Protocols
9th International Symposium on Distributed Objects, Middleware and Applications, November 2007, Vilamoura, Portugal.
Previously available as Technical Report ITI-ITE-07/11, Instituto Tecnológico de Informática, Valencia, Spain. June 2007.
Lecture Notes in Computer Science, vol. 4803, pgs. 717-734, Springer ISSN 0302-9743 (The original publication is available at www.springerlink.com).
Revisiting Certification-Based Replicated Database Recovery
9th International Symposium on Distributed Objects, Middleware and Applications, November 2007, Vilamoura, Portugal.
Previously available as Technical Report ITI-ITE-07/09, Instituto Tecnológico de Informática, Valencia, Spain. May 2007.
Lecture Notes in Computer Science, vol. 4803, pgs. 489-504, Springer, ISSN 0302-9743 (The original publication is available at www.springerlink.com).
SIRC: A Multiple Isolation Level Protocol for Middleware-based Data Replication
22nd International Symposium on Computer Information Sciences, November 2007, Ankara, Turkey.
Previously available as Technical Report ITI-ITE-07/14, Instituto Tecnológico de Informática, Valencia, Spain. June 2007.
Accepted for publication. IEEE-CS Press.
Available: (technical report version, PDF)
Database Replication Approaches
Technical Report ITI-ITE-07/19, Instituto Tecnológico de Informática, Valencia, Spain. October 2007.
Available: (PDF)
Weak Voting Database Replication Protocols Providing Different Isolation Levels
Technical Report ITI-ITE-07/16, Instituto Tecnológico de Informática, Valencia, Spain. July 2007.
Available: (PDF)
Optimizing Certification-Based Database Recovery
6th International Symposium on Parallel and Distributed Computing, July 2007, Hagenberg, Austria.
Previously available as Technical Report ITI-ITE-07/04, Instituto Tecnológico de Informática, Valencia, Spain. February 2007.
Proceedings, pgs. 211-218. ISBN 0-7695-2917-8. IEEE-CS Press.
Available:(PDF)
Process Replication with Log-Based Amnesia Support
6th International Symposium on Parallel and Distributed Computing, July 2007, Hagenberg, Austria.
Previously available as Technical Report ITI-ITE-07/05, Instituto Tecnológico de Informática, Valencia, Spain. February 2007.
Proceedings, pgs. 367-374. ISBN 0-7695-2917-8. IEEE-CS Press.
Available:(technical report version, PDF)
A Weak Voting Database Replication Protocol Providing Different Isolation Levels
7th International Conference on New Technologies of Distributed Systems, June 2007, Marrakesh, Morocco.
Proceedings, pgs. 261-268. ISBN 9981-9704-7-6.
Available:(extended draft version, PDF)
On Optimizing Certification-Based Database Recovery Supporting Amnesia
XV Jornadas de Concurrencia y Sistemas Distribuidos, June 2007, Torremolinos (Málaga), Spain.
Proceedings, pgs. 145-157. ISBN 978-84-690-6109-1.
Available:(PDF)
Providing Read Committed Isolation Level in Non-Blocking ROWA Database Replication Protocols
XV Jornadas de Concurrencia y Sistemas Distribuidos, June 2007, Torremolinos (Málaga), Spain.
Proceedings, pgs. 159-171. ISBN 978-84-690-6109-1.
Available:(PDF)
Recovery Protocols for Replicated Databases - A Survey
International Symposium on Frontiers in Networking and Applications (in IEEE AINA), May 2007, Niagara Falls, Ontario, Canada.
Proceedings, pgs. 220-227, IEEE-CS Press. ISBN 0-7695-2847-3.
Available:(extended draft version, PDF)
Supporting Amnesia in Log-Based Recovery Protocols
ACM Euro-American Conference on Telematics and Information Systems, May 2007, Faro, Portugal.
Previously available as Technical Report ITI-ITE-07/01, Instituto Tecnológico de Informática, Valencia, Spain. January 2007.
CD-ROM Proceedings. ACM Press. ISBN 978-1-59593-598-4.
Available:(technical report version, PDF) (ACM Digital Library)
Managing Transactions on Replicated Content Going Mobile
2nd Workshop on Tools and Applications for Mobile Contents, May 2007, Mannheim, Germany.
CD-ROM Proceedings. IEEE-CS Press.
Available:(PDF)
A Recovery Protocol for Middleware Replicated Databases Providing GSI
2nd International Conference on Availability, Reliability and Security, April 2007, Vienna, Austria.
Previously available as Technical Report ITI-ITE-06/10, Instituto Tecnológico de Informática, Valencia, Spain, November 2006.
Proceedings, pgs. 85-92, IEEE-CS Press. ISBN 0-7695-2775-2.
Available:(PDF)
Implementing Network Partition-Aware Fault-Tolerant CORBA Systems
2nd International Conference on Availability, Reliability and Security, April 2007, Vienna, Austria.
Proceedings, pgs. 69-76, IEEE-CS Press. ISBN 0-7695-2775-2.
Available:(PDF)
Revisiting Hot Passive Replication
2nd International Conference on Availability, Reliability and Security, April 2007, Vienna, Austria.
Previously available as Technical Report ITI-ITE-06/11, Instituto Tecnológico de Informática, Valencia, Spain. November 2006.
Proceedings, pgs. 93-100, IEEE-CS Press. ISBN 0-7695-2775-2.
Available:(PDF)
k-Bound GSI: A Flexible Database Replication Protocol
22nd ACM Annual Symposium on Applied Computing - DADS Track, March 2007, Seoul, Korea.
Proceedings, vol. 1, pgs. 556-560, ACM Press, ISBN 1-59593-480-4.
Available:(PDF)
Applying Generalized Snapshot Isolation to Mobile Databases
IADIS Conference on Applied Computing, February 2007, Salamanca, Spain.
Proceedings, pgs. 238-244, IADIS Press, ISBN 978-972-8924-30-0.
Available: (PDF)
Associating Replication and Recovery Protocols for Replicated Databases
15th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (work in progress track), February 2007, Naples, Italy.
Proceedings, pgs. 5-6, SEA-Publications, ISBN 978-3-902457-12-7.
Also available as technical report ITI-ITE-06/08, Instituto Tecnológico de Informática, Valencia, Spain. October 2006.
Available:(technical report version, PDF)
Recovery Protocols for Replicated Databases - A Minimal Survey
15th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (work in progress track), February 2007, Naples, Italy.
Proceedings, pgs. 3-4, SEA-Publications, ISBN 978-3-902457-12-7.
Also available as technical report ITI-ITE-06/07, Instituto Tecnológico de Informática, Valencia, Spain. October 2006.
Available:(technical report version, PDF)
A Middleware Database Replication Protocol Providing Different Isolation Levels
15th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (work in progress track), February 2007, Naples, Italy.
Proceedings, pgs. 7-8, SEA-Publications, ISBN 978-3-902457-12-7.
Available:(PDF)
An Exchanging Algorithm for Database Replication Protocols
Technical report ITI-ITE-07/02, Instituto Tecnológico de Informática, Valencia, Spain. January 2007.
Available:(PDF) (PDF, without front page)
Effects of mobility on membership estimation and routing services in ad hoc networks
Procedings of the Fifth International Symposium on Parallel and Distributed Processing and Applications (ISPA2007), LNCS, Springer, August 2007
doi:10.1007/978-3-540-74742-0_69
Mobility effects on basic set of services for distributed applications in ad hoc networks
Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos, June 2007
Exploiting Commutativity for Efficient Replication in Partitionable Distributed Systems
Proceedings of the 2nd International Workshop on Reliability in Decentralized Distributed Systems, LNCS, Springer, November 2007
doi:10.1007/978-3-540-76890-6_34
Measuring Availability in Optimistic Partition-tolerant Systems with Data Constraints
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), June 2007
Implementing Network Partition-Aware Fault-Tolerant CORBA Systems
Proceedings of the 2nd Int. Conf. on Availability,Reliability, and Security (ARES'07), IEEE CS, April 2007
Inconsistency-tolerant Integrity Checking for Knowledge Assimilation
In J. Filipe, B. Shishkov, M. Helfert, L. Maciaszek (eds): Software and Data Technologies (revised selected papers from ICSOFT/ENASE 2007), 320-331, Springer CCIS vol. 22, 2008
Inconsistency-tolerant Knowledge Assimilation
Proc. 2nd International Conference on Software and Data Technologies (ICSOFT), 198-205, INSTICC Press, 2007
Getting Rid of Straitjackets for Flexible Integrity Checking
Proc. 2nd DEXA Workshop FlexDBIST, 360-364, 2007
Proof and Evaluation of a 1CS Middleware Data Replication Protocol Based on O2PL
4th International Symposium on Parallel and Distributed Processing and Applications, December 2006, Sorrento, Italy.
Lecture Notes in Computer Science, vol. 4330, pgs. 524-537, Springer, ISSN 0302-9743 (The original publication is available at www.springerlink.com)
Increasing Availability in a Replicated Partitionable Distributed Object System
4th International Symposium on Parallel and Distributed Processing and Applications, December 2006, Sorrento, Italy.
Lecture Notes in Computer Science, vol. 4330, pgs. 682-695, Springer, ISSN 0302-9743 (The original publication is available at www.springerlink.com)
Recovery Strategies for Linear Replication
4th International Symposium on Parallel and Distributed Processing and Applications, December 2006, Sorrento, Italy.
Lecture Notes in Computer Science, vol. 4330, pgs. 710-723, Springer, ISSN 0302-9743 (The original publication is available at www.springerlink.com)
Available:(PDF, extended technical report version)
Managing Multiple Isolation Levels in Middleware Database Replication Protocols
4th International Symposium on Parallel and Distributed Processing and Applications, December 2006, Sorrento, Italy.
Lecture Notes in Computer Science, vol. 4330, pgs. 511-523, Springer, ISSN 0302-9743 (The original publication is available at www.springerlink.com)
Available:(PDF, extended technical report version)
A Closer Look at Applications in Database Replication Middleware Architectures
2nd International Conference on Trends in Enterprise Application Architecture, November-December 2006, Berlin, Germany.
Lecture Notes in Computer Science, vol. 4473, pgs. 69-83, Springer, ISSN 0302-9743, October 2007 (The original publication is available at www.springerlink.com).
A Protocol for Reconciling Recovery and High-Availability in Replicated Databases
21st International Symposium on Computer Information Sciences, November 2006, Istanbul, Turkey.
Lecture Notes in Computer Science, vol. 4263, pgs. 634-644, Springer, ISSN 0302-9743 (The original publication is available at www.springerlink.com)
Numbing Transactions to Avoid Stopping the System Activity
6th European Dependable Computing Conference (Fast abstracts track), October 2006, Coimbra, Portugal.
Proceedings, pgs. 43-44, ISBN 972-99512-2-5
Available:(draft, in PDF)
Managing Transaction Conflicts in Middleware-Based Database Replication Architectures
25th IEEE Symposium on Reliable Distributed Systems, October 2006, Leeds, United Kingdom.
Proceedings, pgs. 401-410, IEEE-CS Press, ISBN 0-7695-2677-2
Available:(PDF)
Trying to Cater for Replication Consistency and Integrity of Highly Available Data
2nd International Workshop on Logical Aspects and Application of Integrity Constraints (in IEEE DEXA), September 2006, Krakow, Poland.
Proceedings, pgs. 553-557, IEEE-CS Press, ISBN 0-7695-2641-1
Middleware-Based Data Replication: Some History and Future Trends
2nd International Workshop on High Availability of Distributed Systems (in IEEE DEXA), September 2006, Krakow, Poland.
Proceedings, pgs. 390-394, IEEE-CS Press, ISBN 0-7695-2641-1
Available:(PDF)
CORBA Replication Support for Fault-Tolerance in a Partitionable Distributed System
2nd International Workshop on High Availability of Distributed Systems (in IEEE DEXA), September 2006, Krakow, Poland.
Proceedings, pgs. 406-410, IEEE-CS Press, ISBN 0-7695-2641-1
Available:(PDF) (extended version: TR-ITI-ITE-06/01)
Toward Reconciling Availability, Consistency and Integrity in Replicated Information Systems
International Multiconference on Computing in the Global Information Technology, August 2006, Bucharest, Romania.
Proceedings (Only abstracts; Full papers available on a companion CD-ROM), pgs. 38, IEEE-CS Press, ISBN 0-7695-2629-2
MADIS-SI: A Database Replication Protocol with Easy Recovery
Technical Report ITI-ITE-06/05, Instituto Tecnológico de Informática, Valencia, Spain. July 2006.
Available:(preliminary version PDF) (preliminary version PDF without front page)
Boosting the Availability of Information Systems by Data Replication
18th International Conference on Advanced Information Systems Engineering (Poster Forum on Trusted Information Systems), June 2006, Luxembourg, Luxembourg.
Proceedings, pgs. 31-34, ISBN 2-87964-089-X.
Available:(PDF)
DeDiSys Lite: An Environment for Evaluating Replication Protocols in Partitionable Distributed Object Systems
1st International Conference on Availability, Reliability and Security, April 2006, Vienna Univ. of Technology, Vienna, Austria.
Proceedings, pgs. 408-415, IEEE-CS Press, ISBN 0-7695-2567-9
Available:(PDF)
A System Architecture for Enhanced Availability of Tightly Coupled Distributed Systems
1st International Conference on Availability, Reliability and Security, April 2006, Vienna Univ. of Technology, Vienna, Austria.
Proceedings, pages 400-407, IEEE-CS Press, ISBN 0-7695-2567-9
Available:(PDF)
Design of a MidO2PL Database Replication Protocol in the MADIS Middleware Architecture
International Symposium on Frontiers in Networking with Applications (in IEEE AINA), April 2006, Vienna Univ. of Technology, Vienna, Austria.
Proceedings, pgs. 861-865, IEEE-CS Press, ISBN 0-7695-2466-4
Available:(extended draft version, PDF)
Implementing Database Replication Protocols Based on O2PL in a Middleware Architecture
IASTED International Conference on Databases and Applications, February 2006, Innsbruck, Austria.
Proceedings, pgs. 176-181, ISBN 0-88986-560-4, ACTA Press.
Available: (PDF)
Implementing O2PL Protocols in a Middleware Architecture for Database Replication
14th Euromicro Conference on Parallel, Distributed and Network-Based Processing, February 2006, Montbéliard-Sochaux, France.
Proceedings, pgs. 1-2, ISBN 3-902457-10-4, Univ. Linz - SEA Press.
Available: (PDF)
Evaluating Database Replication Protocols in the MADIS Middleware Architecture
14th Euromicro Conference on Parallel, Distributed and Network-Based Processing, February 2006, Montbéliard-Sochaux, France.
Proceedings, pgs. 3-4, ISBN 3-902457-10-4, Univ. Linz - SEA Press.
Available: (PDF)
Increasing Availability in a Replicated Distributed Object System
Proceedings. 4th Int. Symp. on Parallel and Distributed Processing and Applications (ISPA'06), LNCS, Springer, December 2006
CORBA Replication Support for Fault-Tolerance in a Partitionable Distributed System
Proc. 17th Int. Workshop on Database and Expert Systems Applications (DEXA'06), IEEE CS, September 2006
DeDiSys Lite: an Environment for Evaluating Replication Protocols in Partitionable Distributed Object Systems
XIV Jornadas de Concurrencia y Sistemas Distribuidos, pgs. 195-210, ISBN 84-9732-432-3, September 2006.
A System Architecture for Enhanced Availability of Tightly Coupled Distributed Systems
Proceeding of the 1st Int. Conf. on Availability, Reliability, and Security, IEEE, April 2006
DeDiSys Lite: An Environment for Evaluating Replication Protocols in Partitionable Distributed Object Systems
Proc. 1st Int. Conf. on Availability, Reliability, and Security, IEEE, April 2006
Operating System Support for Dynamic Code Loading in Sensor Networks
Proceedings of the Second IEEE International Workshop on Sensor Networks and Systems for Pervasive Computing, March 2006.
A Relaxed Approach to Integrity and Inconsistency in Databases
Proc. 13th LPAR, 287-301, 2006
Integrity Checking and Maintenance in Relational and Deductive Databases and Beyond
In Zongmin Ma (ed): Intelligent Databases: Technologies and Applications, 238-285, Idea Group, 2006
Checking Violation Tolerance of Approaches to Database Integrity
Proc. 4th ADVIS, 139-148, 2006
Avenues to Flexible Data Integrity Checking
Proc. 1st DEXA Workshop FlexDBIST, 425-429, 2006
An Integrity Semantics for Open World Databases
Proc. DEXA Workshop LAAIC'06, 532-536, 2006
Can Integrity Tolerate Inconsistency?
Proc. 14th SEBD, 32-39, 2006
Integrity Checking for Uncertain Data
Proc. 2nd TDM Workshop on Uncertainty in Databases, 41-48, 2006
Design and Implementation of Database Replication Protocols in the MADIS Architecture
Co-supervised by F. D. Muñoz Escoí, José Ramón González de Mendívil Moreno
PhD Thesis, Depto. de Matemática e Informática, February 2006
Univ. Pública de Navarra
Available: (PDF)
Dealing with Writeset Conflicts in Database Replication Middlewares
Technical Report ITI-ITE-05/11, Instituto Tecnológico de Informática, Valencia, Spain. December 2005.
Available: (PDF)
Design of a MidO2PL Database Replication Protocol in a Middleware Architecture
Technical Report ITI-ITE-05/09, Instituto Tecnológico de Informática, Valencia, Spain. October 2005.
Available: (PDF)
Implementing Replication Protocols in the MADIS Architecture
XIII Jornadas de Concurrencia y Sistemas Distribuidos, September 2005, Granada, Spain.
Proceedings, pgs. 93-100, ISBN 84-9732-432-3. Thomson Press.
Available: (PDF)
MADIS: A Slim Middleware for Database Replication
11th International Euro-Par Conference, September 2005, Monte de Caparica (Lisbon), Portugal.
Lecture Notes in Computer Science, vol. 3648, pgs. 349-359, Springer, ISSN 0302-9743 (The original publication is available at www.springerlink.com)
Replication Tools in the MADIS Middleware
Workshop on Design, Implementation, and Deployment of Database Replication (in VLDB 2005), August 2005, Trondheim, Norway.
Proceedings, pgs. 25-32.
Available: (PDF)
A Middleware Architecture for Supporting Adaptable Replication of Enterprise Application Data
Workshop on Trends in Enterprise Application Architecture (in VLDB 2005), August 2005, Trondheim, Norway.
Pre-proceedings, pgs. 53-67.
Also published in Lecture Notes in Computer Science, vol. 3888, pgs. 29-43, Springer, ISSN 0302-9743, February 2006. (The original publication is available at www.springerlink.com)
Wide-Area Replication Support for Global Data Repositories
1st International Workshop on Data Management in Global Data Repositories (in DEXA 2005), August 2005, Copenhagen, Denmark.
Proceedings, pgs. 1117-1121, ISBN 0-7695-2424-9, IEEE-CS Press.
Available: (draft, in PDF)
A Basic Replication Protocol for the MADIS Middleware Architecture
Technical Report ITI-ITE-05/01, Instituto Tecnológico de Informática, Valencia, Spain. July 2005.
Available: (PDF)
CLOB: Communication Support for Efficient Replicated Database Recovery
13th Euromicro Conference on Parallel, Distributed and Network-Based Processing, February 2005, Lugano, Switzerland.
Proceedings, pgs. 314-321, ISBN 0-7695-2280-7, IEEE-CS Press.
Available: (PDF)
FOBr: A Version-Based Recovery Protocol for Replicated Databases
13th Euromicro Conference on Parallel, Distributed and Network-Based Processing, February 2005, Lugano, Switzerland.
Proceedings, pgs. 306-313, ISBN 0-7695-2280-7, IEEE-CS Press.
Available: (PDF)
Extending Wide-Area Replication Support with Mobility and Improved Recovery
5th IEEE International Symposium and School on Advanced Distributed Systems, January 2005, Guadalajara (Jalisco), Mexico.
Lecture Notes in Computer Science, vol. 3563, pgs. 10-20, Springer, ISSN 0302-9743 (The original publication is available at www.springerlink.com)
A Lock-Based Algorithm for Concurrency Control and Recovery in a Middleware Replication Software Architecture
38th Hawaii International Conference on System Sciences, January 2005, Hilton Waikoloa Village, Hawaii, USA.
Proceedings (Only abstracts; full papers are included in a companion CD-ROM), pgs. 291, ISBN 0-7695-2268-8. IEEE-CS Press.
Available: (PDF)
Dynamic Loading in an Application Specific Embedded Operating System
Proceedings of the International Workshop on Software Techniques for Embedded and Pervasive Systems, pages 311-315, May 2005.
Paraconsistent Reasoning for the Semantic Web
Proc. International Semantic Web Conference (ISWC 2005), Workshop 3: Uncertainty Reasoning for the Semantic Web (URSW), 104-105, 2005
Total Unbiased Multivalued Paraconsistent Semantics of Database Integrity
Proc. DEXA Workshop LAAIC 2005
A Case for Paraconsistent Logic as Foundation of Future Information Systems
Proc. CAiSE 2005 Workshops, vol. 2
Principles of Advanced Database Integrity Checking
In M. Khosrow-Pour (ed):Encyclopedia of Information Science and Technology, 2297-2302, Idea Group, 2005
Database Replication Protocols
In Encyclopedia of Database Technologies and Applications, pgs. 153-157
Edited by Laura C. Rivero, Jorge H. Doorn, Viviana E. Ferraggine
Idea Group Reference
ISBN 1-59140-560-2 (hardcover); 1-59140-795-8 (ebook)
August 2005
An Analytical Design of a Practical Replication Protocol for Distributed Systems
1st European Performance Engineering Workshop (in FORTE 2004), October 2004, Toledo, Spain
Lecture Notes in Computer Science, vol. 3236, pgs. 248-261, Springer, ISSN 0302-9743 (The original publication is available at www.springerlink.com)
Replication for Web-Based Collaboration
4th International Workshop on Web-Based Collaboration (in DEXA 2004), September 2004, Zaragoza, Spain
Proceedings, pgs. 247-253, ISBN 0-7695-2195-9, IEEE-CS Press
Augmenting Adaptive Web-Based Collaboration with Adaptive Replication and Mobility
International Workshop on Adaptive Hypermedia and Collaborative Web-based Systems, July 2004, Munich, Germany
M. Matera and S. Comai, ed.: Engineering Advanced Web Applications, Rinton Press, 424 pgs, December 2004, ISBN 1-58949-046-0
Recovery Protocols for an O2PL Consistency Protocol
International Conference on Dependable Systems and Networks (Fast Abstracts Track), June 2004, Florence, Italy
Proceedings, supplemental volume I, pgs. 38-39
Available: (PDF)
Working on GlobData: An Efficient Software Tool for Global Data Access
Workshop on Research and Education in Control and Signal Processing (in IEEE REDISCOVER 2004), June 2004, Cavtat, Croatia
Proceedings, pgs. 2.8-2.12
Lazy Recovery in a Hybrid Database Replication Protocol
XII Jornadas de Concurrencia y Sistemas Distribuidos, June 2004, Las Navas del Marqués (Ávila), Spain
Proceedings, pgs. 295-307, ISBN 84-9772-320-1, Publications Service of Univ. Rey Juan Carlos.
Available: (draft, in PDF)
A Distributed Web Information Systems Platform Supporting High Responsiveness and Fault Tolerance
CAiSE International Workshop on Web Information Systems Modeling, June 2004, Riga, Latvia
Proceedings, vol. 1, pgs. 79-91, ISBN 9984-9767-1-8, Publications Service of Riga Technical University
Available: (draft, in PDF)
Analysis of the Abortion Rate on Lazy Replication Protocols
6th International Meeting on High Performance Computing for Computational Science (VECPAR'04), June 2004, Valencia, Spain
Proceedings, vol. 3, pgs. 663-676, Publications Service of Univ. Politécnica de Valencia.
Also published in Lecture Notes in Computer Science, vol. 3402, pgs. 438-453, Springer, ISSN 0302-9743, April 2005. (The original publication is available at: www.springerlink.com)
RJDBC: A Simple Database Replication Engine
6th International Conference on Enterprise Information Systems, April 2004, Porto, Portugal
Proceedings, vol. 1, pgs. 587-590, ISBN 972-8865-00-7, INSTICC Press.
Available: (draft, in PDF)
The Abortion Rate of Lazy Replication Protocols for Distributed Databases
6th International Conference on Enterprise Information Systems, April 2004, Porto, Portugal
Proceedings, vol. 1, pgs. 130-135, ISBN 972-8865-00-7, INSTICC Press.
Available: (draft, in PDF)
A Hybrid Approach to Manage Replication in Transactional Distributed Systems
30th Conference on Current Trends in Theory and Practice of Computer Science, January 2004, VZ Merin, Czech Republic
Proceedings, vol. 2, pgs. 93-104, ISBN 80-86732-19-3, MatfyzPress.
Enhancing the Availability of Networked Database Services by Replication and Consistency Maintenance
14th International Conference on Database and Expert Systems Applications, September 2003, Prague, Czech Republic
pgs. 531-535, ISBN 0-7695-1993-8, ISSN 1529-4188, IEEE Computer Society Press
Available: (draft, in PDF)
An Improved Optimistic and Fault-Tolerant Replication Protocol
3rd Workshop on Databases in Networked Information Systems, September 2003, University of Aizu, Japan
Lecture Notes in Computer Science, vol. 2822, pgs. 188-200, Springer, ISSN 0302-9743 (The original publication is available at: www.springerlink.com)
COLUP: The Cautious Optimistic Lazy Update Protocol
XI Jornadas de Concurrencia, June 2003, Benicàssim (Castelló), Spain
pgs. 149-162
Available: (PDF)
COPLA: A Platform for Eager and Lazy Replication in Networked Databases
5th International Conference on Enterprise Information Systems, April 2003, Angers, France
pgs. 273-278
Available: (draft, in PDF)
Historical and Computational Aspects of Paraconsistency in View of the Logic Foundations of Databases.
Semantics in Databases, Springer LNCS, Vol. 2582, 2003
Implementable Models for Replicated and Fault-Tolerant Geographically Distributed Databases - Consistency Management for GlobData
Co-supervised by F. D. Muñoz Escoí, José Manuel Bernabéu Aubán
PhD Thesis, Depto. de Sistemas Informáticos y Computación, July 2003
Univ. Politécnica de Valencia
Available: (PDF)
COPLA: A Middleware for Distributed Databases
3rd Assian Workshop on Programming Languages and Systems, November 2002, Shangai, China
pgs. 102-113
Flexible Management of Consistency and Availability of Networked Data Replications
5th International Conference on Flexible Query Answering Systems, October 2002, Copenhagen, Denmark
Lecture Notes in Computer Science, vol. 2522, pgs. 289-300, Springer, ISSN 0302-9743 (The original publication is available at: www.springerlink.com) GlobData: A Platform for Supporting Multiple Consistency Modes IASTED International Conference on Information Systems and Databases, September 2002, Tokyo, Japan Proceedings, pgs. 104-109, Acta Press, ISBN 0-88986-362-8 Consistency Protocols in GlobData X Jornadas de Concurrencia, June 2002, Jaca (Huesca), Spain pgs. 165-178 Available: (PDF) Design and Implementation of High Availability Routing for Linux: HARL X Jornadas de Concurrencia, June 2002, Jaca (Huesca), Spain pgs. 15-28 Paraconsistent Computational Logic Proc. PCL 2002, Datalogiske Skrifter Vol. 95, Roskilde University, Denmark, 2002 Download proceedings.Revised contributions to PCL, edited and uploaded by Dina Goldin, are items [84]-[91] at this site.
HARL: A Highly Available Router for Linux
8th IEEE Youth Forum in Computer Science and Engineering, November 2001, Valencia, Spain
pgs. 89-96, ISBN 84-9705-097-5
GlobData: Consistency Protocols for Replicated Databases
8th IEEE Youth Forum in Computer Science and Engineering, November 2001, Valencia, Spain
pgs. 97-104, ISBN 84-9705-097-5
HMM: A Cluster Membership Service
7th International Euro-Par Conference, August 2001, Manchester, United Kingdom
Lecture Notes in Computer Science, vol. 2150, pgs. 773-782, Springer, ISSN 0302-9743 (The original publication is available at: www.springerlink.com)
Previously available as Technical Report ITI-DE-2000/02, Instituto Tecnológico de Informática, Valencia, Spain. January 2000.
Un prototipo de Hidra
IX Jornadas de Concurrencia, June 2001, Sitges (Barcelona), Spain
pgs. 63-78, ISBN 84-699-47680
Available: (PDF)
HIDRA: Invocaciones fiables y control de concurrencia
PhD Thesis, Depto. de Sistemas Informáticos y Computación, July 2001
Universidad Politécnica de Valencia
Available: (PDF, in Spanish)
Garbage Collection for Mobile and Replicated Objects
26th Conference on Current Trends in Theory and Practice of Informatics, November-December 1999, Milovy, Czech Republic
Lecture Notes in Computer Science, vol. 1725, pgs. 373-380, Springer, ISSN 0302-9743 (The original publication is available at: www.springerlink.com)
Garbage Collection in a Kernel-Based ORB
VII Jornadas de Concurrencia, June 1999, Gandia (Valencia), Spain
pgs. 139-150
Event-Based Techniques to Debug an Object Request Broker
The Journal of Supercomputing, 13(2), pgs. 133-149, ISSN 0929-8542
Kluwer Academic Publishers
Uso de interceptores CORBA para dar soporte a objetos replicados
VII Jornadas de Concurrencia, June 1999, Gandia (Valencia), Spain
pgs. 209-222
Available: (PDF)
The NanOS Cluster Operating System
In High Performance Cluster Computing, vol. 1, Architectures and systems, chapter 29, pgs. 682-701
Edited by Rajkumar Buyya
Prentice Hall PTR
ISBN 0-13-013784-7
01/05/99
A Synchronisation Mechanism for Replicated Objects
25th Conference on Current Trends in Theory and Practice of Informatics, November 1998, Jasná, Slovakia
Lecture Notes in Computer Science, vol. 1521, pgs. 389-398, Springer, ISSN 0302-9743 (The original publication is available at: www.springerlink.com)
ROI: An Invocation Mechanism for Replicated Objects
17th IEEE Symposium on Reliable Distributed Systems, October 1998, West Lafayette, IN, USA
Proceedings, pgs. 29-35, ISBN 0-8186-9218-9. IEEE-CS Press
Previously available as Technical Report ITI-ITE-98/07, Instituto Tecnológico de Informática, Valencia, Spain. September 1998.
Available: (draft, in PDF)
HIDRA: Architecture and High Availability Support
Technical Report ITI-ITE-98/06, Instituto Tecnológico de Informática, Valencia, Spain. September 1998.
Available:(PDF)
Fault Handling in Distributed Systems with Group Membership Services
Technical Report ITI-ITE-98/05, Instituto Tecnológico de Informática, Valencia, Spain. September 1998.
Available:(PDF)
A Membership Protocol for Multi-Computer Clusters
Technical Report ITI-ITE-98/04, Instituto Tecnológico de Informática, Valencia, Spain. September 1998.
Available:(PDF)
The NanOS Object Oriented Microkernel: An Overview
Technical Report ITI-ITE-98/03, Instituto Tecnológico de Informática, Valencia, Spain. September 1998.
Available:(PDF)
HCC: A Concurrency Control Mechanism for Replicated Objects
VI Jornadas de Concurrencia, June 1998, Pamplona, Spain
Proceedings, pgs. 189-204
Available: (PDF)
Un mecanismo de control de concurrencia para objetos replicados
IV Congreso sobre Tecnología de Objetos, Bilbao, Spain
pgs. 159-169
High Availability Support in CORBA Environments
24th Conference on Current Trends in Theory and Practice of Informatics, November 1997, Milovy, Czech Republic
Lecture Notes in Computer Science, vol. 1338, pgs. 407-414, Springer, ISSN 0302-9743 (The original publication is available at: www.springerlink.com)
The NanOS Microkernel: A Basis for a Multicomputer Operating System
3rd International Conference on Parallel and Distributed Programming Techniques and Applications, July 1997, Las Vegas, Nevada, USA
vol. 1, pgs. 127-135, ISBN 0-9648666-5-x, CSREA Press
Available: (draft, in PDF)
Debugging an Object Request Broker
V Jornadas de Concurrencia, June 1997, Vigo, Spain
pgs. 333-348, ISBN 84-8158-065-1
Extending an ORB to Support High Availability
V Jornadas de Concurrencia, June 1997, Vigo, Spain
pgs. 349-360, ISBN 84-8158-065-1
Available: (PDF)


Papers
RSS