Publicaciones en las que colabora con Eugenio Villar Bonet (25)

2017

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

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

2016

  1. 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. Enhancing Analysability and Time Predictability in UML/MARTE Component-based Application Models

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

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

    Forum on Specification and Design Languages

  5. 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

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

  2. A MDD methodology for specification of embedded systems and automatic generation of fast configurable and executable performance models

    CODES+ISSS'12 - Proceedings of the 10th ACM International Conference on Hardware/Software-Codesign and System Synthesis, Co-located with ESWEEK

  3. A model-driven methodology for the development of SystemC executable environments

    Forum on Specification and Design Languages

  4. Automatic synthesis from UML/MARTE models using channel semantics

    MODELS 2012 Innsbruck - Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB 2012

  5. Formal support for untimed MARTE-SystemC interoperability

    Lecture Notes in Electrical Engineering

  6. The COMPLEX Eclipse framework for UML/MARTE specification and design space exploration of embedded systems

    Conference on Design and Architectures for Signal and Image Processing, DASIP