selected publications

• academic article

  • High-Level Architecture Modelling Assisting the Processor Platform Development, Debugging and Simulation..  MBMV.  187-196. 2009
  • Proceedings of the 21st international conference on Architecture of computing systems.  .  2008

• chapter

  • A Compiler-Oriented Architecture Description for Reconfigurable Systems.  Lecture Notes in Computer Science. 2006
  • Architecture Template and Design Flow to Support Application Parallelism on Reconfigurable Platforms.  Springer eBooks. 1119-1122. 2003
  • Formal Verification of a Reconfigurable Microprocessor.  Springer eBooks. 781-784. 2000

• conference paper

  • Implementation of Architecture Concepts for Hardware Agent Systems.  . 2007
  • A RISC Processor with Extended Forwarding.  Automation, Robotics and Control Systems. 163-169. 1997