Miquel Bertran

17 papers B 1C 2Journal 4Unranked 8
YearRankTypeTitle / Venue / Authors
2014 J jnl
Formal communication elimination and sequentialization equivalence proofs for distributed system models.
Acta Informatica
Miquel Bertran, Francesc-Xavier Babot, August Climent
2009 — conf
Optimistic concurrency control with partial replication design.
IADIS AC (2)
August Climent, Joan Navarro, Miquel Bertran, Francesc-Xavier Babot
2006 — conf
Formal Sequentialization of Distributed Systems via Program Rewriting.
PROLE
Miquel Bertran, Francesc-Xavier Babot, August Climent
2005 C conf
A Static Communication Elimination Algorithm for Distributed System Verification.
ICFEM
Francesc-Xavier Babot, Miquel Bertran, August Climent
2004 — conf
An Input/Output Semantics for Distributed Program Equivalence Reasoning.
PROLE
Miquel Bertran, Francesc-Xavier Babot, August Climent
2003 C conf
Performance Analysis of Speculative Concurrency Control Algorithms based on Wait Depth Limited for Distributed Database Systems.
ISPDC
August Climent, Miquel Bertran, Francesc-Xavier Babot, Josep M. Muixi
2002 — conf
Integrating Formal Verification of Parallelization in the PADD/RALE Environment.
JISBD
Miquel Bertran, Albert Duran, Miquel Porta, Francesc-Xavier Babot, August Climent, Miquel Nicolau
2001 B conf
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs.
SAS
Miquel Bertran, Francesc-Xavier Babot, August Climent, Miquel Nicolau
2001 J jnl
Papers from ARTS'97 - Preface.
Theor. Comput. Sci.
Miquel Bertran, Teodor Rus
1997 — conf
A Transformation of Monitor into Communication Synchronized Parallel Processes: A Systematic Refinement Step in Design.
ARTS
Miquel Bertran
1997 — conf
Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes.
ARTS
Miquel Bertran, Felipe Alvarez-Cuevas, Albert Duran
1997 — ed.
Transformation-Based Reactive Systems Development, 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings
ARTS
Miquel Bertran, Teodor Rus
1994 — conf
A design environment with simulation and formal verification (syr-padde).
CAMAD
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
1994 — ed.
FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings
FME
Maurice Naftalin, B. Tim Denvir, Miquel Bertran
1993 — conf
An environment for DSP system development with extended abstract types, and dimensional design (PADDE).
ICASSP (1)
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
1993 J jnl
Voice synchronization in packet switching networks.
IEEE Netw.
Felipe Alvarez-Cuevas, Miquel Bertran, Francesco Oller, Josep M. Selga
1978 J jnl
The Formal Definition of Human/Machine Communications.
Softw. Pract. Exp.
Harold W. Lawson Jr., Miquel Bertran, Javier Sanagustin