| 2007 |
|---|
| 12 | EE | Miquel Bertran,
Francesc-Xavier Babot,
August Climent:
Formal Sequentialization of Distributed Systems via Program Rewriting.
Electr. Notes Theor. Comput. Sci. 188: 53-75 (2007) |
| 2005 |
|---|
| 11 | EE | Francesc-Xavier Babot,
Miquel Bertran,
August Climent:
A Static Communication Elimination Algorithm for Distributed System Verification.
ICFEM 2005: 375-389 |
| 10 | EE | Miquel Bertran,
Francesc-Xavier Babot,
August Climent:
An Input/Output Semantics for Distributed Program Equivalence Reasoning.
Electr. Notes Theor. Comput. Sci. 137(1): 25-46 (2005) |
| 2003 |
|---|
| 9 | EE | 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: 64-71 |
| 2002 |
|---|
| 8 | | 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: 305-314 |
| 2001 |
|---|
| 7 | EE | Miquel Bertran,
Francesc-Xavier Babot,
August Climent,
Miquel Nicolau:
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs.
SAS 2001: 20-39 |
| 6 | EE | Miquel Bertran,
Teodor Rus:
Papers from ARTS'97 - Preface.
Theor. Comput. Sci. 253(1): 1 (2001) |
| 1997 |
|---|
| 5 | | Miquel Bertran,
Teodor Rus:
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
Springer 1997 |
| 4 | | Miquel Bertran:
A Transformation of Monitor into Communication Synchronized Parallel Processes: A Systematic Refinement Step in Design.
ARTS 1997: 199-215 |
| 3 | | Miquel Bertran,
Felipe Alvarez-Cuevas,
Albert Duran:
Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes.
ARTS 1997: 263-279 |
| 1994 |
|---|
| 2 | | Maurice Naftalin,
B. Tim Denvir,
Miquel Bertran:
FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings
Springer 1994 |
| 1978 |
|---|
| 1 | | Harold W. Lawson Jr.,
Miquel Bertran,
Javier Sanagustin:
The Formal Definition of Human/Machine Communications.
Softw., Pract. Exper. 8(1): 51-58 (1978) |
