Pablo Peñil

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 8

Top Topics

Design Space Exploration

Wireless Sensor

Top Venues

J. Syst. Archit.

Microprocess. Microsystems

Publications

David de la Fuente, Jesús Barba, Juan Carlos López, Pablo Peñil, Héctor Posadas, Pablo Sánchez Espeso
Synthesis of simulation and implementation code for OpenMAX multimedia heterogeneous systems from UML/MARTE models. Multim. Tools Appl. 76 (6) (2017)
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
CONTREX: Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties. Microprocess. Microsystems 51 (2017)
Pablo Peñil, Álvaro Díaz Suárez, Hector Posadas, Julio L. Medina, Pablo Sánchez Espeso
High-Level Design of Wireless Sensor Networks for Performance Optimization Under Security Hazards. ACM Trans. Sens. Networks 13 (3) (2017)
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
CONTREX: Design of Embedded Mixed-Criticality CONTRol Systems under Consideration of EXtra-Functional Properties. DSD (2016)
Fernando Herrera, Pablo Peñil, Eugenio Villar
Enhancing analysability and time predictability in UML/MARTE component-based application models. FDL (2015)
David de la Fuente, Jesús Barba, Xerach Peña, Juan Carlos López, Pablo Peñil, Pablo Pedro Sanchez
Building a dynamically reconfigurable system through a high development flow. FDL (2015)
Fernando Herrera, Pablo Peñil, Eugenio Villar
A model-based, single-source approach to design-space exploration and synthesis of mixed-criticality systems. SCOPES (2015)
Héctor Posadas, Pablo Peñil, Alejandro Nicolás, Eugenio Villar
Automatic synthesis of communication and concurrency for exploring component-based system implementations considering UML channel semantics. J. Syst. Archit. 61 (8) (2015)
Alejandro Nicolás, Pablo Peñil, Héctor Posadas, Eugenio Villar
Automatic Synthesis over Multiple APIs from Uml/Marte Models for Easy Platform Mapping and Reuse. DSD (2014)
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
Improving the design flow for parallel and heterogeneous architectures running real-time applications: The PHARAON FP7 project. Microprocess. Microsystems 38 (8) (2014)
Fernando Herrera, Hector Posadas, Pablo Peñil, Eugenio Villar, Francisco Ferrero, Raúl Valencia, Gianluca Palermo
The COMPLEX methodology for UML/MARTE Modeling and design space exploration of embedded systems. J. Syst. Archit. 60 (1) (2014)
Héctor Posadas, Pablo Peñil, Alejandro Nicolás, Eugenio Villar
Automatic synthesis of embedded SW for evaluating physical implementation alternatives from UML/MARTE models supporting memory space separation. Microelectron. J. 45 (10) (2014)
Pablo Peñil, Pablo Sánchez Espeso, David de la Fuente, Jesús Barba, Juan Carlos López
UML/MARTE Methodology for Automatic SystemC Code Generation of Openmax Multimedia Applications. DSD (2013)
Fernando Herrera, Hector Posadas, Pablo Peñil, Eugenio Villar, Francisco Ferrero, Raúl Valencia
A MDD methodology for specification of embedded systems and automatic generation of fast configurable and executable performance models. CODES+ISSS (2012)
Fernando Herrera, Hector Posadas, Pablo Peñil, Eugenio Villar, Francisco Ferrero, Raúl Valencia
The COMPLEX Eclipse framework for UML/MARTE specification and design space exploration of embedded systems. DASIP (2012)
Fernando Herrera, Pablo Peñil, Hector Posadas, Eugenio Villar
A model-driven methodology for the development of SystemC executable environments. FDL (2012)
Pablo Peñil, Héctor Posadas, Alejandro Nicolás, Eugenio Villar
Automatic synthesis from UML/MARTE models using channel semantics. ACES-MB@MoDELS (2012)
Álvaro Díaz Suárez, Pablo Peñil, Pablo Sánchez Espeso, Juan Sancho, Juan Rico
Modeling and simulation of secure wireless sensor network. FDL (2012)
Fernando Herrera, Pablo Peñil, Hector Posadas, Eugenio Villar
Model-Driven Methodology for the Development of Multi-level Executable Environments. FDL (Selected Papers) (2012)
Pablo Peñil, Hector Posadas, Eugenio Villar
Formal Modeling for UML/MARTE Concurrency Resources. ICECCS (2010)
Pablo Peñil, Fernando Herrera, Eugenio Villar
Formal Foundations for MARTE-SystemC Interoperability. FDL (2010)
Wolfgang Müller, Da He, Fabian Mischkalla, Arthur Wegele, Paul Whiston, Pablo Peñil, Eugenio Villar, Nikolaos Mitas, Dimitrios Kritharidis, Florent Azcarate, Manuel Carballeda
The SATURN Approach to SysML-Based HW/SW Codesign. ISVLSI (2010)
Pablo Peñil, Julio L. Medina, Hector Posadas, Eugenio Villar
Generating heterogeneous executable specifications in SystemC from UML/MARTE models. Innov. Syst. Softw. Eng. 6 (1-2) (2010)
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
The SATURN Approach to SysML-Based HW/SW Codesign. ISVLSI (Selected papers) (2010)