Web Map
![](../images/raya.gif)
Location
![](../images/raya.gif)
News
![](../images/raya.gif)
Santander Info
![](../images/raya.gif)
|
GIM>Research>Publications |
PUBLICATIONS originated within the project: "FP7 216807 SATURN..." ordered by date |
|
2012 |
![Book chapter](../images/libro_c.gif) |
P. Peņil, F. Herrera, E. Villar
"Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models"
Kiyofumi Tanaka: "Embedded Systems - Theory and Design Methodology", InTech, Croatia. 2012-02 |
![To see full record](../images/ficha.gif) |
|
|
2011 |
![International Conference](../images/conferencia.gif) |
P. Peņil, F. Herrera, E. Villar
"Towards SystemC Code Generation from UML/MARTE Concurrent System-Level Models "
W6: 2nd Workshop on Model Based Engineering for Embedded Systems Design, DATE 2011. 2011-03 |
![To see full record](../images/ficha.gif) |
![PDF File](../images/pdf.gif) |
|
2010 |
![Report, Study or Opinion by order](../images/informe.gif) |
Wolfgang Mueller, Da He, Fabian Mischkalla, P. Peņil, E. Villar
"The SATURN Methodology for the Co-Verification of Embedded Systems(Final Version)"
Deliverable D3.5 the FP7-216807 SATURN Project. 2010-12 |
![To see full record](../images/ficha.gif) |
|
|
![Report, Study or Opinion by order](../images/informe.gif) |
Artur Wegele, P. Peņil, E. Villar, Wolfgang Mueller, Da He, Fabian Mischkalla, et. al.
"Updated frameworks"
Deliverable D4.5 the FP7-216807 SATURN Project. 2010-12 |
![To see full record](../images/ficha.gif) |
|
|
![Report, Study or Opinion by order](../images/informe.gif) |
E. Villar, P. Peņil, et. al.
"Final Project Activity report and Project Management Report"
Deliverable D1.3 of the FP7-216807 SATURN Project. 2010-12 |
![To see full record](../images/ficha.gif) |
|
|
![Report, Study or Opinion by order](../images/informe.gif) |
Nikolaos Mitas, Dimitrios Kritharidis, Florent Azcarate, Manuel Carballeda, Philippe Hébrard, P. Peņil
"Test Cases Design Implementation and Evaluation (second increment)"
Deliverable D5.4 the FP7-216807 SATURN Project. 2010-12 |
![To see full record](../images/ficha.gif) |
|
|
![Report, Study or Opinion by order](../images/informe.gif) |
Adrian Larkham, P. Peņil, E. Villar, et. al.
"Final Plan for Use and Dissemination of Foreground"
Deliverable D6.5 the FP7-216807 SATURN Project. 2010-12 |
![To see full record](../images/ficha.gif) |
|
|
![Report, Study or Opinion by order](../images/informe.gif) |
Adrian Larkham, P. Peņil, E. Villar, et. al.
"Final Project Report"
Deliverable D1.4 the FP7-216807 SATURN Project. 2010-12 |
![To see full record](../images/ficha.gif) |
|
|
![International Conference](../images/conferencia.gif) |
P. Peņil, F. Herrera, E. Villar
"Formal Foundations for MARTE-SystemC Interoperability"
Forum on specification & Design Languages 2010, FDL'2010, IEEE. 2010-09 |
![To see full record](../images/ficha.gif) |
![PDF File](../images/pdf.gif) |
|
![Report, Study or Opinion by order](../images/informe.gif) |
P. Peņil, E. Villar, Wolfgang Mueller, Da He, Fabian Mischkalla
"Code Generation and Heterogeneous Run-Time Environments for the Co-Verification of Embedded Systems (second increment)"
Deliverable D3.4 the FP7-216807 SATURN Project. 2010-09 |
![To see full record](../images/ficha.gif) |
|
|
![International Conference](../images/conferencia.gif) |
W. Mueller, D. He, F. Mischkalla, A. Wegele, P. Whiston, P. Peņil, E. Villar, N. Mitas, D. Kritharidis, F. Azcarate, M. Carballeda
"The SATURN Approach to SysML-Based HW/SW Codesign"
IEEE Annual Symposium on VLSI, ISVLSI'10. 2010-07 |
![To see full record](../images/ficha.gif) |
|
|
![International Conference](../images/conferencia.gif) |
E. Villar
"Formalization of the MARTE/SystemC interoperability for HW/SW co-design (Invited Speech)"
Artist MoBE-RTES Workshop, Carmona (Sevilla). 2010-05 |
![To see full record](../images/ficha.gif) |
![PDF File](../images/pdf.gif) |
|
![Report, Study or Opinion by order](../images/informe.gif) |
M. Carballeda, N. Mitas, D. Kritharidis, F. Azcárate, P. Hebrard, E. Villar, P. Peņil
"Test Cases Specification (second increment)"
Deliverable D5.3 the FP7-216807 SATURN Project. 2010-04 |
![To see full record](../images/ficha.gif) |
|
|
![National Conference](../images/conferencia_n.gif) |
P. Peņil, H. Posadas, E. Villar
"Formal Modeling for UML/MARTE Concurrency Resources"
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems. 2010-03 |
![To see full record](../images/ficha.gif) |
![PDF File](../images/pdf.gif) |
|
2009 |
![Book chapter](../images/libro_c.gif) |
P. Peņil, J. Medina (CTR), H. Posadas, E. Villar
"Generating Heterogeneous Executable Specifications in SystemC from UML/MARTE Models"
in "Innovations in Systems and Software Engineering", V.6, N.1-2, March, Springer. 2009-12 |
![To see full record](../images/ficha.gif) |
|
|
![Report, Study or Opinion by order](../images/informe.gif) |
E. Villar, P. Peņil, et. al.
"Updated Plan for Use and Dissemination of Foreground"
Deliverable D6.4 the FP7-216807 SATURN Project. 2009-12 |
![To see full record](../images/ficha.gif) |
|
|
![Report, Study or Opinion by order](../images/informe.gif) |
E. Villar, P. Peņil, et. al.
"Second Project Activity Report and Project Management Report "
Deliverable D1.2 the FP7-216807 SATURN Project. 2009-12 |
![To see full record](../images/ficha.gif) |
|
|
![International Conference](../images/conferencia.gif) |
P. Peņil, E. Villar, H. Posadas, Julio Medina (CTR)
"Executable SystemC specification of the MARTE generic concurrent and communication resources under different Models of Computation"
Workshop on the Definition, evaluation, and exploitation of modelling and computing standards for Real-Time Embedded Systems, STANDRTS'09
Satellite Workshop of the the 21st EuroMicro Conference on Real-Time Systems, Dublin. 2009-06 |
![To see full record](../images/ficha.gif) |
|
|
![International Conference](../images/conferencia.gif) |
E. Villar
"SATURN presentation"
Workshop on the Definition, evaluation, and exploitation of modelling and computing Standards for Real-Time Embedded Systems, STANDRTS'09. Satellite Workshop of the the 21st EuroMicro Conference on Real-Time Systems, Dublín. 2009-06 |
![To see full record](../images/ficha.gif) |
![PDF File](../images/pdf.gif) |
|
![Report, Study or Opinion by order](../images/informe.gif) |
E. Villar, P. Peņil, et. al.
"Draft Roadmap Definition"
Deliverable D6.3 the FP7-216807 SATURN Project. 2009-04 |
![To see full record](../images/ficha.gif) |
|
|
![Report, Study or Opinion by order](../images/informe.gif) |
P. Peņil, E. Villar, et. al.
"Specification of a MDA-based framework with embedded systems verification support"
Deliverable D4.2 of the FP7-216807 SATURN Project. 2009-02 |
![To see full record](../images/ficha.gif) |
![PDF File](../images/pdf.gif) |
|
2008 |
![Report, Study or Opinion by order](../images/informe.gif) |
E. Villar, P. Peņil, et. al.
"First Project Activity Report and Project Management Report"
Deliverable D1.1 the FP7-216807 SATURN Project. 2008-12 |
![To see full record](../images/ficha.gif) |
|
|
![Report, Study or Opinion by order](../images/informe.gif) |
E. Villar, P. Peņil, et. al.
"Plan for Use and Dissemination of Foreground"
Deliverable D6.2 the FP7-216807 SATURN Project. 2008-08 |
![To see full record](../images/ficha.gif) |
|
|
![Report, Study or Opinion by order](../images/informe.gif) |
P. Peņil, E. Villar, et. al.
"State-of-Art Analysis for Embedded Systems design"
Deliverable D3.1 of the FP7-216807 SATURN Project. 2008-06 |
![To see full record](../images/ficha.gif) |
|
|
|
|