Publicaciones en colaboración con investigadores/as de Universidad de Cantabria (31)

2017

  1. CONTREX: Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties

    Microprocessors and Microsystems, Vol. 51, pp. 39-55

  2. High-level design of wireless sensor networks for performance optimization under security hazards

    ACM Transactions on Sensor Networks, Vol. 13, Núm. 3

2016

  1. Building a dynamically reconfigurable system through a high-level development flow

    Lecture Notes in Electrical Engineering

  2. CONTREX: Design of Embedded Mixed-Criticality CONTRol Systems under Consideration of EXtra-Functional Properties

    Proceedings - 19th Euromicro Conference on Digital System Design, DSD 2016

2015

  1. A model-based, single-source approach to designspace exploration and synthesis of mixed-criticality systems (Extended Abstract)

    Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015

  2. Automatic synthesis of communication and concurrency for exploring component-based system implementations considering UML channel semantics

    Journal of Systems Architecture, Vol. 61, Núm. 8, pp. 341-360

  3. Building a Dynamically Reconfigurable System Through a High Development Flow

    2015 18th Forum on Specification and Design Languages (FDL)

  4. Building a dynamically reconfigurable system through a high development flow

    Forum on Specification and Design Languages

  5. Enhancing Analysability and Time Predictability in UML/MARTE Component-based Application Models

    2015 18TH FORUM ON SPECIFICATION AND DESIGN LANGUAGES (FDL)

  6. Enhancing analysability and time predictability in UML/MARTE component-based application models

    Forum on Specification and Design Languages

  7. UML-Based Single-source Approach for Evaluation and Optimization of Mixed-Critical Embedded Systems

    2015 Conference on Design of Circuits and Integrated Systems, DCIS 2015

2014

  1. Automatic deployment of component-based embedded systems from UML/MARTE models using MCAPI

    Proceedings of the 2014 29th Conference on Design of Circuits and Integrated Systems, DCIS 2014

  2. Automatic synthesis of embedded SW for evaluating physical implementation alternatives from UML/MARTE models supporting memory space separation

    Microelectronics Journal, Vol. 45, Núm. 10, pp. 1281-1291

  3. Automatic synthesis over multiple APIs from Uml/Marte models for easy platform mapping and reuse

    Proceedings - 2014 17th Euromicro Conference on Digital System Design, DSD 2014

  4. Improving the design flow for parallel and heterogeneous architectures running real-time applications: The PHARAON FP7 project

    Microprocessors and Microsystems, Vol. 38, Núm. 8, pp. 960-975

  5. Model-driven methodology for the development of multi-level executable environments

    Lecture Notes in Electrical Engineering

  6. The COMPLEX methodology for UML/MARTE Modeling and design space exploration of embedded systems

    Journal of Systems Architecture, Vol. 60, Núm. 1, pp. 55-78

2013

  1. System synthesis from UML/MARTE models: The PHARAON approach

    Proceedings of the electronic system level synthesis conference

  2. UML/MARTE methodology for automatic systemc code generation of openmax multimedia applications

    Proceedings - 16th Euromicro Conference on Digital System Design, DSD 2013

2012

  1. A MDD Methodology for Specification of Embedded Systems and Automatic Generation of Fast Configurable and Executable Performance Models

    CODES+ISSS'12: Proceedings of the Tenth ACM International Conference on Hardware/Software-Codesign and System Synthesis