Formal Foundations for MARTE-SystemC Interoperability. - Pablo Peñil; Fernando Herrera; Eugenio Villar (FDL, 2010)

Formal Modeling for UML/MARTE Concurrency Resources. - Pablo Peñil; Hector Posadas; Eugenio Villar (ICECCS, 2010)

The SATURN Approach to SysML-Based HW/SW Codesign. - Wolfgang Müller 003; Da He; Fabian Mischkalla; Arthur Wegele; Adrian Larkham; Paul Whiston; Pablo Peñil; Eugenio Villar; Nikolaos Mitas; Dimitrios Kritharidis; Florent Azcarate; Manuel Carballeda (ISVLSI (Selected papers), 2010)

The SATURN Approach to SysML-Based HW/SW Codesign. - Wolfgang Müller 003; Da He; Fabian Mischkalla; Arthur Wegele; Paul Whiston; Pablo Peñil; Eugenio Villar; Nikolaos Mitas; Dimitrios Kritharidis; Florent Azcarate; Manuel Carballeda (ISVLSI, 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)

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 002; Raúl Valencia (CODES+ISSS, 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 002; Raúl Valencia (DASIP, 2012)

A model-driven methodology for the development of SystemC executable environments. - Fernando Herrera; Pablo Peñil; Hector Posadas; Eugenio Villar (FDL, 2012)

Model-Driven Methodology for the Development of Multi-level Executable Environments. - Fernando Herrera; Pablo Peñil; Hector Posadas; Eugenio Villar (FDL (Selected Papers), 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 (FDL, 2012)

Automatic synthesis from UML/MARTE models using channel semantics. - Pablo Peñil; Héctor Posadas; Alejandro Nicolás; Eugenio Villar (ACES-MB@MoDELS, 2012)

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 001 (DSD, 2013)

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 (DSD, 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 002; Raúl Valencia; Gianluca Palermo (J. Syst. Archit., 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 001; Mihai T. Lazarescu; Luciano Lavagno; Andrei Sergeevich Terechko; Miguel Glassee; Manuel Prieto (Microprocess. Microsystems, 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)

Building a dynamically reconfigurable system through a high development flow. - David de la Fuente; Jesús Barba; Xerach Peña; Juan Carlos López 001; Pablo Peñil; Pablo Pedro Sanchez (FDL, 2015)

Enhancing analysability and time predictability in UML/MARTE component-based application models. - Fernando Herrera; Pablo Peñil; Eugenio Villar (FDL, 2015)

A model-based, single-source approach to design-space exploration and synthesis of mixed-criticality systems. - Fernando Herrera; Pablo Peñil; Eugenio Villar (SCOPES, 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)

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; et al. (DSD, 2016)

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; et al. (Microprocess. Microsystems, 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 001; Pablo Peñil; Héctor Posadas; Pablo Sánchez Espeso (Multim. Tools Appl., 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)