Publicaciones en las que colabora con Héctor Posadas Cobo (17)

2017

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

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

  2. Synthesis of simulation and implementation code for OpenMAX multimedia heterogeneous systems from UML/MARTE models

    Multimedia Tools and Applications, Vol. 76, Núm. 6, pp. 8195-8226

2015

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

  2. 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 10th ACM International Conference on Hardware/Software-Codesign and System Synthesis, Co-located with ESWEEK

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

    Forum on Specification and Design Languages

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

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

2010

  1. Formal modeling for UML/MARTE concurrency resources

    Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

  2. Generating heterogeneous executable specifications in SystemC from UML/MARTE models

    Innovations in Systems and Software Engineering, Vol. 6, Núm. 1, pp. 65-71