Year 2005

• .NET as a platform for embedded systems
  J. Lòpez, E. Pastor and M.A. Peña,
  DAC (Departament d'Arquitectura de Computadors),
  Tech. Report Num. RR-2005-2, January 2005.
  Universitat Politècnica de Catalunya.

Year 2004

• A short introduction to the TRANSYT verification tool
  E. Pastor, M.A. Peña and M. Solé,
  DAC (Departament d'Arquitectura de Computadors),
  Tech. Report Num. RR-2004-14, April 2004.
  Universitat Politècnica de Catalunya.

Year 2003

• Efficient hybrid reachability analysis for asynchronous concurrent systems
  E. Pastor and M.A. Peña,
  DAC (Departament d'Arquitectura de Computadors),
  Tech. Report Num. RR-2003-6, February 2003.
  Universitat Politècnica de Catalunya.

Year 2002

• Arquitectura del sistema operativo Windows CE
  J. Cobos and M.A. Peña,
  DAC (Departament d'Arquitectura de Computadors),
  Tech. Report Num. RR-2002-52, November 2002.
  Universitat Politècnica de Catalunya.

Year 2001

• Estudio comparativo de entornos de desarrollo en JAVA sobre Linux
  J.J. Costa and M.A. Peña,
  DAC (Departament d'Arquitectura de Computadors),
  Tech. Report Num. RR-2001-2, January 2001.
  Universitat Politècnica de Catalunya.

Year 1999

• Formal verification of safety properties in timed circuits
  M.A. Peña, J. Cortadella, A. Kondratyev and E. Pastor,
  DAC (Departament d'Arquitectura de Computadors),
  Tech. Report Num. RR-1999-49, October 1999.
  Universitat Politècnica de Catalunya.

Year 1997

• Symbolic Techniques for the Automatic Test Pattern Generation for Speed-Independent Circuits
  M.A. Peña, E. Pastor and J. Cortadella,
  DAC (Departament d'Arquitectura de Computadors),
  Tech. Report Num. RR-1997-04, January 1997.
  Universitat Politècnica de Catalunya.

Year 1996

• Synthesis of Speed-independent Circuits from STG-unfolding Segment
  A. Semenov, A. Yakovlev, E. Pastor, M.A. Peña and J. Cortadella,
  Department of Computing Sciences,
  Tech. Report 565, October 1996.
  University of Newcastle upon Tyne.

• Partial Order Based Approach to Synthesis of Speed-Independent Circuits
  A. Semenov, A. Yakovlev, E. Pastor, M.A. Peña, J. Cortadella and L. Lavagno,
  Department of Computing Sciences,
  Tech. Report 566, October 1996.
  University of Newcastle upon Tyne.

Year 1995

• Combining Process Algebras and Petri Nets for the Specification and Synthesis of Asynchronous Circuits
  M.A. Peña and J. Cortadella,
  DAC (Departament d'Arquitectura de Computadors),
  Tech. Report Num. RR-1995-48, December 1995.
  Universitat Politècnica de Catalunya.