Pablo Peñil

According to our database, Pablo Peñil authored at least 24 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

High-Level Design of Wireless Sensor Networks for Performance Optimization Under Security Hazards.

Pablo Peñil, Álvaro Díaz Suárez, Hector Posadas, Julio L. Medina, Pablo Sánchez Espeso

ACM Trans. Sens. Networks, 2017

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

David de la Fuente, Jesús Barba, Juan Carlos López, Pablo Peñil, Héctor Posadas, Pablo Sánchez Espeso

Multim. Tools Appl., 2017

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

Kim Grüttner, Ralph Görgen, Sören Schreiner, Fernando Herrera, Pablo Peñil, Julio L. Medina, Eugenio Villar, Gianluca Palermo, William Fornaciari, Carlo Brandolese, Davide Gadioli, Emanuele Vitali, Davide Zoni, Sara Bocchio, Luca Ceva, Paolo Azzoni, Massimo Poncino, Sara Vinco, Enrico Macii, Salvatore Cusenza, John M. Favaro, Raúl Valencia, Ingo Sander, Kathrin Rosvall, Nima Khalilzad, Davide Quaglia

Microprocess. Microsystems, 2017

2016

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

Ralph Görgen, Kim Grüttner, Fernando Herrera, Pablo Peñil, Julio L. Medina, Eugenio Villar, Gianluca Palermo, William Fornaciari, Carlo Brandolese, Davide Gadioli, Sara Bocchio, Luca Ceva, Paolo Azzoni, Massimo Poncino, Sara Vinco, Enrico Macii, Salvatore Cusenza, John M. Favaro, Raúl Valencia, Ingo Sander, Kathrin Rosvall, Davide Quaglia

Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

2015

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

Héctor Posadas, Pablo Peñil, Alejandro Nicolás, Eugenio Villar

J. Syst. Archit., 2015

A model-based, single-source approach to design-space exploration and synthesis of mixed-criticality systems.

Fernando Herrera, Pablo Peñil, Eugenio Villar

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

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

Fernando Herrera, Pablo Peñil, Eugenio Villar

Proceedings of the 2015 Forum on Specification and Design Languages, 2015

Building a dynamically reconfigurable system through a high development flow.

David de la Fuente, Jesús Barba, Xerach Peña, Juan Carlos López, Pablo Peñil, Pablo Pedro Sanchez

Proceedings of the 2015 Forum on Specification and Design Languages, 2015

2014

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

Héctor Posadas, Pablo Peñil, Alejandro Nicolás, Eugenio Villar

Microelectron. J., 2014

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

Héctor Posadas, Alejandro Nicolás, Pablo Peñil, Eugenio Villar, Florian Broekaert, Michel Bourdellès, Albert Cohen, Mihai T. Lazarescu, Luciano Lavagno, Andrei Sergeevich Terechko, Miguel Glassee, Manuel Prieto

Microprocess. Microsystems, 2014

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

Fernando Herrera, Hector Posadas, Pablo Peñil, Eugenio Villar, Francisco Ferrero, Raúl Valencia, Gianluca Palermo

J. Syst. Archit., 2014

Automatic Synthesis over Multiple APIs from Uml/Marte Models for Easy Platform Mapping and Reuse.

Alejandro Nicolás, Pablo Peñil, Héctor Posadas, Eugenio Villar

Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

2013

UML/MARTE Methodology for Automatic SystemC Code Generation of Openmax Multimedia Applications.

Pablo Peñil, Pablo Sánchez Espeso, David de la Fuente, Jesús Barba, Juan Carlos López

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

2012

Automatic synthesis from UML/MARTE models using channel semantics.

Pablo Peñil, Héctor Posadas, Alejandro Nicolás, Eugenio Villar

Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, 2012

Modeling and simulation of secure wireless sensor network.

Álvaro Díaz Suárez, Pablo Peñil, Pablo Sánchez Espeso, Juan Sancho, Juan Rico

Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

Model-Driven Methodology for the Development of Multi-level Executable Environments.

Fernando Herrera, Pablo Peñil, Hector Posadas, Eugenio Villar

Proceedings of the Models, Methods, and Tools for Complex Chip Design, 2012

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

Fernando Herrera, Pablo Peñil, Hector Posadas, Eugenio Villar

Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

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

Fernando Herrera, Hector Posadas, Pablo Peñil, Eugenio Villar, Francisco Ferrero, Raúl Valencia

Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012

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

Fernando Herrera, Hector Posadas, Pablo Peñil, Eugenio Villar, Francisco Ferrero, Raúl Valencia

Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

2010

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

Pablo Peñil, Julio L. Medina, Hector Posadas, Eugenio Villar

Innov. Syst. Softw. Eng., 2010

The SATURN Approach to SysML-Based HW/SW Codesign.

Wolfgang Müller, Da He, Fabian Mischkalla, Arthur Wegele, Paul Whiston, Pablo Peñil, Eugenio Villar, Nikolaos Mitas, Dimitrios Kritharidis, Florent Azcarate, Manuel Carballeda

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2010

The SATURN Approach to SysML-Based HW/SW Codesign.

Wolfgang Müller, Da He, Fabian Mischkalla, Arthur Wegele, Adrian Larkham, Paul Whiston, Pablo Peñil, Eugenio Villar, Nikolaos Mitas, Dimitrios Kritharidis, Florent Azcarate, Manuel Carballeda

Proceedings of the VLSI 2010 Annual Symposium - Selected papers, 2010

Formal Modeling for UML/MARTE Concurrency Resources.

Pablo Peñil, Hector Posadas, Eugenio Villar

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

Formal Foundations for MARTE-SystemC Interoperability.

Pablo Peñil, Fernando Herrera, Eugenio Villar

Proceedings of the 2010 Forum on specification & Design Languages, 2010