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; et al. (CAMAD, 1994)

Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs. - Miquel Bertran; Francesc-Xavier Babot; August Climent; Miquel Nicolau (SAS, 2001)

Integrating Formal Verification of Parallelization in the PADD/RALE Environment. - Miquel Bertran; Albert Duran; Miquel Porta; Francesc-Xavier Babot; August Climent; Miquel Nicolau (JISBD, 2002)