Miquel Porta

According to our database, Miquel Porta authored at least 3 papers between 1993 and 2002.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2002

Integrating Formal Verification of Parallelization in the PADD/RALE Environment.

Miquel Bertran, Albert Duran, Miquel Porta, Francesc-Xavier Babot, August Climent, Miquel Nicolau

Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

1994

A design environment with simulation and formal verification (syr-padde).

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

Proceedings of the Fifth IEEE International Workshop on Computer-Aided Modeling, 1994

1993

An environment for DSP system development with extended abstract types, and dimensional design (PADDE).

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

Proceedings of the IEEE International Conference on Acoustics, 1993