Miquel Bertran

According to our database, Miquel Bertran authored at least 15 papers between 1978 and 2014.

Collaborative distances:

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

2014

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

Miquel Bertran, Francesc-Xavier Babot, August Climent

Acta Informatica, 2014

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

Papers from ARTS'97 - Preface.

Miquel Bertran, Teodor Rus

Theor. Comput. Sci., 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

1997

Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes.

Miquel Bertran, Felipe Alvarez-Cuevas, Albert Duran

Proceedings of the Transformation-Based Reactive Systems Development, 1997

A Transformation of Monitor into Communication Synchronized Parallel Processes: A Systematic Refinement Step in Design.

Miquel Bertran

Proceedings of the Transformation-Based Reactive Systems Development, 1997

1994

A design environment with simulation and formal verification (syr-padde).

Miquel Bertran, Felipe Alvarez-Cuevas, Joan Viaplana, Albert Duran, Daniel Cabedo, Antoni Garrell, Josep Maria Garrell i Guiu, Francesc Escudero, Miquel Nicolau, Miquel Porta, Bartomeu Palmer, Joan M. Espejo, Frances Oller, Jordi Forga, Josep M. Solanas

Proceedings of the Fifth IEEE International Workshop on Computer-Aided Modeling, 1994

1993

Voice synchronization in packet switching networks.

Felipe Alvarez-Cuevas, Miquel Bertran, Francesco Oller, Josep M. Selga

IEEE Netw., 1993

An environment for DSP system development with extended abstract types, and dimensional design (PADDE).

Miquel Bertran, Frances Oller, Jordi Forga, J. A. Frau, Joan M. Espejo, A. Ripoll, J. C. Herranz, F. Alvarez, Joan Viaplana, Albert Duran, Miquel Porta, J. Ramio

Proceedings of the IEEE International Conference on Acoustics, 1993

1978

The Formal Definition of Human/Machine Communications.

Harold W. Lawson Jr., Miquel Bertran, Javier Sanagustin

Softw. Pract. Exp., 1978