Miquel Bertran

According to our database1, Miquel Bertran
  • authored at least 13 papers between 1978 and 2014.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Formal communication elimination and sequentialization equivalence proofs for distributed system models.
Acta Inf., 2014

2009
Optimistic concurrency control with partial replication design.
Proceedings of the IADIS International Conference Applied Computing 2009, 2009

2007
Formal Sequentialization of Distributed Systems via Program Rewriting.
Electr. Notes Theor. Comput. Sci., 2007

2005
An Input/Output Semantics for Distributed Program Equivalence Reasoning.
Electr. Notes Theor. Comput. Sci., 2005

A Static Communication Elimination Algorithm for Distributed System Verification.
Proceedings of the Formal Methods and Software Engineering, 2005

2003
Performance Analysis of Speculative Concurrency Control Algorithms based on Wait Depth Limited for Distributed Database Systems.
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.
Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

2001
Papers from ARTS'97 - Preface.
Theor. Comput. Sci., 2001

Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs.
Proceedings of the Static Analysis, 8th International Symposium, 2001

1997
Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes.
Proceedings of the Transformation-Based Reactive Systems Development, 1997

A Transformation of Monitor into Communication Synchronized Parallel Processes: A Systematic Refinement Step in Design.
Proceedings of the Transformation-Based Reactive Systems Development, 1997

1994
A design environment with simulation and formal verification (syr-padde).
Proceedings of the Fifth IEEE International Workshop on Computer-Aided Modeling, 1994

1978
The Formal Definition of Human/Machine Communications.
Softw., Pract. Exper., 1978


  Loading...