c
 |
| |
|
|
| |
Prof. Miquel Bertran Salvans
|
|
| |
Research: Most Relevant
Publications
|
|
| |
|
|
|
|
|
|
|
|
-
Distributed System Verification |
|
-
Software and Algorithm Design |
|
-
Digital
Signal Processing and Spectral Estimation |
|
|
|
Distributed System Verification
(Most relevant Publications) |
|
|
Francesc Xavier Babot,
Miquel Bertran, August
Climent |
|
Interactive
equivalence prover for distributed system formal sequentialization |
|
Actas de las VII
Jornadas sobre Programación y Lenguages, PROLE 2007, within CEDI 2007,
Zaragoza, 11-14 September 2007. |
|
|
|
Miquel Bertran, Francesc Xavier Babot, August
Climent |
|
Formal Sequentialization of Distributed Programs Via Model Rewriting |
|
Electronic Notes on
Theoretical Computer Science, 188(2007) 53-75. Elsevier., 2007. |
|
|
|
Miquel Bertran, Francesc Xavier Babot, August
Climent |
|
Formal Sequentialization of Distributed Systems Via Model Rewriting |
|
Actas de las VI Jornadas sobre Programación y Lenguajes, PROLE 2006, Sitges, Spain,
October 2006. |
|
|
|
Miquel Bertran, Francesc Xavier Babot, August
Climent |
|
Formal Elimination of Inner Communications Under the Scope of Selection
Statements |
|
Actas XIV Jornadas
de Concurrencia.
San Sebastián, Spain, June 2006. |
|
|
|
Miquel Bertran, Francesc Xavier Babot, August
Climent |
|
An input/output semantics for distributed program equivalence
reasoning |
|
Electronic Notes
on Theoretical
Computer Science, Num. 137, Elsevier., 25-46, 2005. |
|
|
Miquel Bertran,
Francesc Babot, August Climent |
|
Progress towards a
generalization of distributed program simplification proofs |
|
Actas de las V
Jornadas sobre Programación y Lenguages, PROLE 2005, within CEDI 2005, Granada, 79-84, 2005. |
|
|
Francesc Babot,
Miquel Bertran, August Climent |
|
A static
communication elimmination algorithm for distributed system verification |
|
Intl. Conf. Formal
Engineering Methods, ICFEM'05, Manchester. |
|
Lecture Notes in
Computer Science, Vol. 3785, Springer. |
|
|
Miquel Bertran, Francesc Babot, August
Climent |
|
Hierarchical Decomposition of Formal Equivalence
Proofs of Distributed Systems |
|
Actas de las XII Jornadas de Concurrencia y Sistemas
Distribuidos 2004, Univ. Rey Juan Carlos, Ed. Dykinson, Madrid. 323-337, 2004, ISBN:
84-9772-320-1 |
|
|
F.Babot,M.Bertran,J.Riera,R.Puig,A.Climent |
|
Mechanized Equivalence Proofs of Pipelined Processor
Software Models |
|
Actas de las III Jornadas de Programación y Lenguajes
2003, Univ. Alacant, Alicante, 91-104, 2003. |
|
|
M.Bertran,A.Duran,M.Porta,F.Babot,A.Climent,M.Nicolau |
|
Integrating Formal Verification of Parallelization in the PADD/RALE Environment |
|
Actas de
las VII Jornadas de Ingenieria de Software y Bases de Datos 2002, El Escorial, Madrid,
305-314, 2002. |
|
ISBN: 84-688-0206-9 |
|
|
Miquel Bertran, Francesc Xavier Babot, August
Climent, Miquel Nicolau |
|
Communication and parallelism introduction and
elimination in imperative concurrent programs |
|
Static Analysis.
Lecture Notes in Computer Science. |
|
Springer, v. 2126, 20-39, 2001, ISBN: 3-540-42314-1 |
|
|
Miquel Bertran, Felipe Alvarez-Cuevas, Albert
Duran |
|
Communication extended abstract types in the
refinement of parallel processes |
|
Transformation-Based
Reactive Systems Development. Lecture Notes in Computer Science. |
|
Springer, v. 1231, 263-279, 1997, ISBN: 3-540-63010-4 |
|
|
Miquel Bertran |
|
A transformation of monitor into communication
synchronized parallel processes: A systematic refinement step in design |
|
Transformation-Based
Reactive Systems Development. Lecture Notes in Computer Science. |
|
Springer, v. 1231, 199-215, 1997, ISBN: 3-540-63010-4 |
 |
|
|
|
|
Software and Algorithm Design
(Most relevant Publications) |
|
|
Miquel Bertran, Miquel Nicolau, August
Climent |
|
The PADD/RALE environment for parallel-distributed software
development |
|
Actas de las VII Jornadas de concurrencia 1999,
Univ. Poltècnica de València, Servicio Publicaciones, 53-60, 1999. |
|
ISBN: 84-8427-074-2, Depósito legal: V-2279-1999 |
|
|
Felipe Alvarez-Cuevas, Miquel Bertran,
Francesc Oller, Josep M. Selga |
|
A novel algorithm for voice synchronisation in packet
switching networks |
|
IEEE Network, v. 7, n. 5, 20-25, 1993 |
|
|
Miquel Bertran |
|
On a formal definition and application of dimensional
design |
|
Software-Practice & Experience, v. 18, 1029-1045, 1988, ISSN:
04425 |
|
|
Miquel Bertran, Xavier Corbella |
|
On the validation and analysis of a new method for power
network connectivity determination |
|
IEEE Transactions on Power Apparatus and Systems, v. PAS 101, n. 2, 316-324,
1982, ISSN: 06838 |
|
|
Miquel Bertran, Harold W. Lawson, J.
Sanagustín |
|
The formal definition of human-machine communications |
|
Software-Practice & Experience, v. 8, n. 2, 51-58, 1978, ISSN:
04425 |
|
|
|
|
|
|
Digital Signal Processing and Spectral Estimation
(Most relevant Publications) |
|
|
Miquel Bertran |
|
A generalized window approach to spectral estimation |
|
IEEE Transactions on Acoustics Speech and Signal
Processing, v. 32, n. 1, 7-19, 1984 |
|
|
Miquel Bertran |
|
Unifying approach to spectral estimation |
|
IEE Proceedings-F Radar and Signal Processing, v. 130, n. Pt. F 3, 236-238, 1983 |
|
|
Miquel Bertran |
|
Approximation of digital filters in one and in two
dimensions |
|
IEEE Transactions on Acoustics Speech and Signal Processing, v. ASSP-23,
n. 5, 438-443, 1975 |
|
|
Miquel Bertran |
|
Note on ortogonal polynomials in v-variables |
|
Siam Journal on Mathematical
Analysis, v. 6, n. 2, 250-257, 1975, ISSN: 02133 |
|
|
A. Papoulis, Miquel Bertran |
|
Digital filtering and prolate functions |
|
IEEE Transactions on Circuits and Systems, v. CT-19, n. 6, 674-681, 1972, ISSN: 01344 |
|
|