Francesc-Xavier Babot

According to our database, Francesc-Xavier Babot authored at least 9 papers between 2001 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

Formal communication elimination and sequentialization equivalence proofs for distributed system models.

Miquel Bertran, Francesc-Xavier Babot, August Climent

Acta Informatica, 2014

2009

Contributions to Formal Communication Elimination for System Models with Explicit Parallelism.

Francesc-Xavier Babot

PhD thesis, 2009

Optimistic concurrency control with partial replication design.

August Climent, Joan Navarro, Miquel Bertran, Francesc-Xavier Babot

Proceedings of the IADIS International Conference Applied Computing 2009, 2009

2006

Formal Sequentialization of Distributed Systems via Program Rewriting.

Miquel Bertran, Francesc-Xavier Babot, August Climent

Proceedings of the Sixth Spanish Conference on Programming and Languages, 2006

2005

A Static Communication Elimination Algorithm for Distributed System Verification.

Francesc-Xavier Babot, Miquel Bertran, August Climent

Proceedings of the Formal Methods and Software Engineering, 2005

2004

An Input/Output Semantics for Distributed Program Equivalence Reasoning.

Miquel Bertran, Francesc-Xavier Babot, August Climent

Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, 2004

2003

Performance Analysis of Speculative Concurrency Control Algorithms based on Wait Depth Limited for Distributed Database Systems.

August Climent, Miquel Bertran, Francesc-Xavier Babot, Josep M. Muixi

Proceedings of the 2nd International Symposium on Parallel and Distributed Computing (ISPDC 2003), 2003

2002

Integrating Formal Verification of Parallelization in the PADD/RALE Environment.

Miquel Bertran, Albert Duran, Miquel Porta, Francesc-Xavier Babot, August Climent, Miquel Nicolau

Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

2001

Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs.

Miquel Bertran, Francesc-Xavier Babot, August Climent, Miquel Nicolau

Proceedings of the Static Analysis, 8th International Symposium, 2001