Mapa Web
Localización
Noticias
Info Santander
Gestión BD
|
| GIM>Investigación>Publicaciones |
| PUBLICACIONES ordenadas por fecha |
Si prefiere las publicaciones separadas por líneas de investigación, pulse aquí.
|
| Aceptadas |
 |
Jose Angel Miguel, David Rivas, Yolanda Lechuga, Miguel Angel Allende, Mar Martínez
"A novel computer-assisted design tool for implantable MEMS pressure sensors"
Microprocessors and Microsystems. Eselvier. Aceptada |
 |
|
|
 |
"Runtime reconfigurable system for decommissioned satellite identification and capture"
DCIS 2021. Aceptada |
|
 |
|
| 2023 |
|
Morillas Pérez J, Mechó Meca S, Caballero Galindo G, Jesús Miguel Pérez
"Validation of the effectiveness of augmented reality-assisted vascular puncture: An experimental model "
Journal of Vascular Access. 2023-02 |
|
|
|
| 2021 |
|
Angel Alvarez, Víctor Fernández, Balazs Matuz
"An efficient NB-LDPC decoder architecture for space telecommand links"
IEEE Transactions on Circuits and Systems II: Express Briefs. 2021-04 |
|
|
|
|
Víctor Fernández, Carlos Abad, Angel Alvarez, Iñigo Ugarte, Pablo Pedro Sánchez
"Pre-silicon FEC decoding verification on SoC FPGAs"
IEEE Communications Letters. 2021-01 |
|
|
|
| 2020 |
|
Héctor Posadas, Javier Merino, Eugenio Villar
"Data flow analysis from UML/MARTE models based on binary traces"
DCIS 2020 (accepted). 2020-11 |
|
|
|
|
Eugenio Villar, Javier Merino, Héctor Posadas, R. Henia (Thales TRT), L. Rioux (Thales TRT)
"Mega-Modeling of complex, distributed, heterogeneous CPS systems"
Microprocessors and Microsystems (accepted). 2020-08 |
|
|
|
|
V. Muttillo, G. Valente, L. Pomante, Héctor Posadas, Javier Merino, Eugenio Villar
"Run-time Monitoring and Trace Analysis Methodology for Component-based Embedded Systems Design Flow"
IEEE proc. of the 2020 Conference on Digital System Design, DSD 2020. 2020-08 |
|
|
|
|
M. Hussein, R. Nouacer, Y. Ouhammou, Eugenio Villar, F. Corradi, C. Tieri, R. Castiñeira
"Key Enabling Technologies for Drones"
IEEE proc. of the 2020 Conference on Digital System Design, DSD 2020. 2020-08 |
|
|
|
 |
Jesús Miguel Pérez, Angels Salvador, Josep Vidal, Unai Sanchez, Nuria Pastor, Ruthy Acosta, Silvia Narejos, Danielle Morrison, Francesc Lopez
"Telemedicine in the face of the COVID-19 pandemic"
Atención Primaria. 2020-04 |
|
|
|
| 2019 |
|
Angel Alvarez, Iñigo Ugarte, Víctor Fernández, Pablo Pedro Sánchez
"Design Space Exploration in Heterogeneous Platforms Using OpenMP"
DCIS 2019. 2019-11 |
|
|
|
|
Eugenio Villar
"Megamodeling of complex, distributed, heterogeneous CPS systems"
Summer School on Cyber-Physical Systems and Internet-of-Things - CPS&IoT’2019, Budva, Montenegro, 2019. 2019-09 |
|
|
|
 |
Angel Alvarez, Iñigo Ugarte, Víctor Fernández, Pablo Pedro Sánchez
"OpenMP Dynamic Device Offloading in Heterogeneous Platforms"
Fan X., de Supinski B., Sinnen O., Giacaman N. (eds) OpenMP: Conquering the Full Hardware Spectrum. IWOMP 2019. Lecture Notes in Computer Science, vol 11718. Springer, Cham. https://doi.org/10.1007/978-3-030-28596-8_8. 2019-08 |
|
|
|
|
"OpenMP Dynamic Device Offloading in Heterogeneous Platforms"
IWOMP 2019. 2019-08 |
|
|
|
| 2018 |
|
Álvaro Díaz, Eugenio Villar, Pablo Pedro Sánchez
"Integrated Framework for Reusable Multi-Level Embedded System Verification"
Work-in-Progress Session, DAC, San Francisco. 2018-06 |
|
|
|
|
Eugenio Villar
"Model-Driven Analysis of Security, Reliability, Test, Privacy, Safety and Trust of IoE Services
"
Surrealist Workshop of the IEEE European Test Symposium, Bremen, Germany. 2018-05 |
|
|
|
|
Eugenio Villar
"Model-Driven Analysis and Design of IoT Systems"
DATE Workshop W06: Embedded Software for Industrial IoTs, ESIIT 2018. 2018-03 |
|
|
|
| 2017 |
|
Álvaro Díaz, Eugenio Villar, Daniel Peña
"Short and Long Distance Marker Detection Technique in Outdoor and Indoor Environments for Embedded Systems"
XXXI Conference on Design of Circuits and Integrated Systems, DCIS 2017. 2017-11 |
|
|
|
|
Fernando Herrera, J. Medina, Eugenio Villar
"Modeling Hardware/Software Embedded Systems with UML/MARTE: A Single-Source Design approach"
in Soonhoi Ha and Jürgen Teich (Eds): "Handbook of Hardware/Software Codesign", Springer. 2017-09 |
|
|
|
|
Álvaro Díaz, Héctor Posadas, Pablo Peñil, Pablo Pedro Sánchez
"High-level Design of Wireless Sensor Networks for Performance Optimization under Security Hazards"
ACM Transactions on Sensor Networks (TOSN). 2017-09 |
|
|
|
|
Héctor Posadas, Luis Diaz, Eugenio Villar
"Static Write Buffer Cache Modeling to Increase Host-compiled Simulation Accuracy "
Euromicro Conference on Digital System Design (DSD). 2017-09 |
|
|
|
|
J. Medina (UC-ISTR), Eugenio Villar
"Towards MARTE++: An Enhanced UML-based Language to Model and Analyse Real-Time and Embedded Systems for the IoT Age"
Forum on Specification and Design Languages, Verona, 2017. 2017-09 |
|
|
|
|
H. Hassan, L. T. Yang, J. Xue, Eugenio Villar
"Special issue on: “Heterogeneous architectures for Cyber-physical
systems (HACPS)”"
Microprocessors and Microsystems N.52, Elsevier, pp. 333–334. 2017-07 |
|
|
|
|
K. Grüttner, R. Görgen, S. Schreiner, Fernando Herrera, Pablo Peñil, J. Medina, Eugenio Villar, et al.
"CONTREX: Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties"
Microprocessors and Microsystems, V.51, pp. 39-55, doi=10.1016/j.micpro.2017.03.012. 2017-06 |
|
|
|
|
F. Mallet, Eugenio Villar, Fernando Herrera
"MARTE for CPS and CPSoS"
in S. Nakajima, J.P. Talpin, M. Toyoshima and H. Yu (Eds.): "Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of NII Shonan Meetings", Springer, pp.81-108, doi="10.1007/978-981-10-4436-6. 2017-05 |
|
|
|
|
Pablo González, Pablo Pedro Sánchez
"Towards a Verification Flow Across Abstraction Levels: Verifying Implementations Against Their Formal Specification"
TCAD. 2017-03 |
|
|
|
| 2016 |
|
Eugenio Villar, Patricia Martínez
"Positioning System for Recreated Reality Applications based on high performance Video-Processing"
in A. Molnos, C. Fabre (Eds.):"Model-Implementation Fidelity in Cyber Physical System Design", pp.201-230, Springer. 2016-12 |
|
|
|
|
Álvaro Díaz, Pablo Pedro Sánchez
"Simulation of Attacks for Security in Wireless Sensor Network"
Sensors 2016, 16(11), 1932; doi: 10.3390/s16111932. 2016-11 |
|
|
|
|
Angel Alvarez, Iñigo Ugarte, Patricia Martínez, Víctor Fernández
"HW-SW Codesign of a Positioning System. UML to Implementation Case Study"
DCIS16. 2016-11 |
|
|
|
|
Héctor Posadas, Eugenio Villar
"Using Professional Resources for Teaching Embedded SW Development"
Revista Iberoamericana de Tecnologias del Aprendizaje, V. 11, I. 4, IEEE, pp. 248 – 255. 2016-11 |
|
|
|
|
Álvaro Díaz, Alejandro Nicolás, Iñigo Ugarte, Pablo Pedro Sánchez
"Designing embedded HW/SW systems with OpenMP"
FDL Forum on specification & Design Languages
September 12-14, 2016
Bremen, Germany. 2016-09 |
|
|
|
|
R. Gorgen, K. Gruttner, Fernando Herrera, Pablo Peñil, J. Medina, Eugenio Villar, G. Palermo, W. Fornaciari, C. Brandolese, D. Gadioli, et. al.
"CONTREX: Design of Embedded Mixed-Criticality CONTRol Systems under Consideration of EXtra-Functional Properties "
19th Euromicro Conference on Digital System Design, DSD 2016, IEEE. 2016-09 |
|
|
|
|
Álvaro Díaz, Pablo Pedro Sánchez
"Security Estimation in Wireless Sensor Network Simulator"
Journal at Circuits, Systems, and Computers (JCSC). 2016-07 |
|
|
|
|
Pablo González, Álvaro Díaz, Pablo Pedro Sánchez
"Discovering and Validating Concurrency Specification from Test Executions"
International Workshop on Validating Software Tests Osaka. 2016-03 |
|
|
|
|
David de la Fuente, Pablo Peñil, Jesús Barba, Héctor Posadas, Juan Carlos Lopez, Pablo Pedro Sánchez
"SYNTHESIS OF SIMULATION AND IMPLEMENTATION CODE FOR OPENMAX
MULTIMEDIA HETEROGENEOUS SYSTEMS FROM UML/MARTE MODELS"
Multimedia Tools & Applications. 2016-03 |
|
|
|
|
Fernando Herrera, Eugenio Villar
"Fidelity of native-based performance models for Design Space Exploration"
MiFi Workshop in DATE 2016
in
http://www.date-conference.com/conference/workshop-w03. 2016-03 |
|
|
|
|
Fernando Herrera, Eugenio Villar
"CONTREP: A single-source framework for UML-based
Modelling and Design of Mixed-Criticality Systems"
University Booth in DATE 2016. 2016-03 |
|
|
|
|
"Modeling, Analysis, and Verification of Cyber-Physical Systems in the Electronics Century"
Shonan Meeting, Kanagawa, Japan. 2016-03 |
|
|
|
|
Fernando Herrera
"UML/MARTE modelling for mixed-criticality systems"
Tutorial "CONTREX: Virtual Integration Testing for Mixed-Criticality Systems under Consideration of Power and Temperature Constraints" in HIPEAC 2016. 2016-01 |
|
|
|
|
Pablo Pedro Sánchez, Pablo González, Ralf Huuck
"An Approach to Static-Dynamic Software Analysis"
Formal Techniques for Safety-Critical Systems.
Revised Selected Papers of FTSCS 2015.
Volume 596 of the series Communications in Computer and Information Science pp 225-240. Springer. 2016-01 |
|
|
|
| 2015 |
|
Pablo Peñil, Héctor Posadas, Julio Medina, Eugenio Villar
"UML-Based Single-Source Approach for Evaluation and optimization of Mixed-Critical Embedded Systems
"
XXX Conference on Design of Circuits and Integrated Systems, DCIS 2015, IEEE. 2015-11 |
|
|
|
|
Víctor Fernández, Andrés Mena, Cédric Ben Aoun, Francois Pêcheux, Luis J. Fernández
"Virtual Prototyping of Pressure Driven Microfluidic Systems with SystemC-AMS Extensions"
Microprocessors and Microsystems, Volume 39, Issue 8, Pages 854–865. 2015-11 |
|
|
|
Error: se ha encontrado un tipo de publicación incorrecto
| |
