Miquel Bertran

Publication Activity (10 Years)

Years Active: 1978-2014
Publications (10 Years): 0

Top Topics

Distributed Database Systems

Message Passing

Software Development Environments

Top Venues

Acta Informatica

Publications

Miquel Bertran, Francesc-Xavier Babot, August Climent
Formal communication elimination and sequentialization equivalence proofs for distributed system models. Acta Informatica 51 (6) (2014)
August Climent, Joan Navarro, Miquel Bertran, Francesc-Xavier Babot
Optimistic concurrency control with partial replication design. IADIS AC (2) (2009)
Miquel Bertran, Francesc-Xavier Babot, August Climent
Formal Sequentialization of Distributed Systems via Program Rewriting. Electron. Notes Theor. Comput. Sci. 188 (2007)
Miquel Bertran, Francesc-Xavier Babot, August Climent
An Input/Output Semantics for Distributed Program Equivalence Reasoning. Electron. Notes Theor. Comput. Sci. 137 (1) (2005)
Francesc-Xavier Babot, Miquel Bertran, August Climent
A Static Communication Elimination Algorithm for Distributed System Verification. ICFEM (2005)
August Climent, Miquel Bertran, Francesc-Xavier Babot, Josep M. Muixi
Performance Analysis of Speculative Concurrency Control Algorithms based on Wait Depth Limited for Distributed Database Systems. ISPDC (2003)
Miquel Bertran, Albert Duran, Miquel Porta, Francesc-Xavier Babot, August Climent, Miquel Nicolau
Integrating Formal Verification of Parallelization in the PADD/RALE Environment. JISBD (2002)
Miquel Bertran, Francesc-Xavier Babot, August Climent, Miquel Nicolau
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs. SAS (2001)
Miquel Bertran, Teodor Rus
Papers from ARTS'97 - Preface. Theor. Comput. Sci. 253 (1) (2001)
Miquel Bertran
A Transformation of Monitor into Communication Synchronized Parallel Processes: A Systematic Refinement Step in Design. ARTS (1997)
Miquel Bertran, Felipe Alvarez-Cuevas, Albert Duran
Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes. ARTS (1997)
Miquel Bertran, Felipe Alvarez-Cuevas, Joan Viaplana, Albert Duran, Daniel Cabedo, Antoni Garrell, Josep M. Garrell, Francesc Escudero, Miquel Nicolau, Miquel Porta, Bartomeu Palmer, Joan M. Espejo, Frances Oller, Jordi Forga, Josep M. Solanas
A design environment with simulation and formal verification (syr-padde). CAMAD (1994)
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
An environment for DSP system development with extended abstract types, and dimensional design (PADDE). ICASSP (1) (1993)
Felipe Alvarez-Cuevas, Miquel Bertran, Francesco Oller, Josep M. Selga
Voice synchronization in packet switching networks. IEEE Netw. 7 (5) (1993)
Harold W. Lawson Jr., Miquel Bertran, Javier Sanagustin
The Formal Definition of Human/Machine Communications. Softw. Pract. Exp. 8 (1) (1978)