Sebastián Sánchez

19 papers C 2Journal 13Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Design and implementation of a synchronous Hardware Performance Monitor for a RISC-V space-oriented processor.
Microprocess. Microsystems
Miguel Jiménez Arribas, Agustín Martínez-Hellín, Manuel Prieto Mateo, Iván Gamino del Río, Andrea Fernandez Gallego, Oscar Rodríguez Polo, Antonio da Silva, Pablo Parra, Sebastián Sánchez
2025 J jnl
Hardware-assisted virtualization extensions for LEON processors in mixed-criticality systems.
Microprocess. Microsystems
Borja Losa, Pablo Parra, Antonio da Silva, Oscar R. Polo, Juan Ignacio García Tejedor, Agustín Martínez-Hellín, Sebastián Sánchez, David Guzmán
2024 J jnl
Count overflow and privilege mode filtering extension implementation on a RISC-V on-board processor.
Microprocess. Microsystems
Andrea Fernandez Gallego, Miguel Jiménez Arribas, Iván Gamino del Río, Agustín Martínez-Hellín, Manuel Prieto Mateo, Oscar Rodríguez Polo, Antonio da Silva, Pablo Parra, Sebastián Sánchez
2024 J jnl
Design and implementation of a synchronous Hardware Performance Monitor for a RISC-V space-oriented processor.
CoRR
Miguel Jiménez Arribas, Agustín Martínez-Hellín, Manuel Prieto Mateo, Iván Gamino del Río, Andrea Fernandez Gallego, Oscar Rodríguez Polo, Antonio da Silva, Pablo Parra, Sebastián Sánchez
2024 J jnl
Enhancing efficiency in spaceborne phased array systems: MVDR algorithm and FPGA integration.
Digit. Signal Process.
Eduardo Ortega, Alejandro Vicente, Agustín Martínez-Hellín, Óscar Rodríguez, Manuel Prieto, Pablo Parra, Antonio da Silva, Sebastián Sánchez
2023 J jnl
Memory Management Unit for Hardware-Assisted Dynamic Relocation in On-Board Satellite Systems.
IEEE Trans. Aerosp. Electron. Syst.
Borja Losa, Pablo Parra, Antonio da Silva, Oscar R. Polo, Juan Ignacio García Tejedor, Agustín Martínez-Hellín, Jonatan Sánchez, Sebastián Sánchez, David Guzmán
2023 J jnl
Tailor-made Virtualization Monitor Design for CPU Virtualization on LEON Processors.
ACM Trans. Embed. Comput. Syst.
Pablo Parra, Antonio da Silva, Borja Losa, J. Ignacio García Tejedor, Oscar R. Polo, Agustín Martínez-Hellín, Sebastián Sánchez
2022 J jnl
Model-driven system-level validation and verification on the space software domain.
Softw. Syst. Model.
Aaron Montalvo, Pablo Parra, Oscar Rodríguez Polo, Alberto Carrasco, Antonio da Silva, Agustín Martínez-Hellín, Sebastián Sánchez
2021 J jnl
A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis Models.
IEEE Trans. Emerg. Top. Comput.
Pablo Parra, Oscar R. Polo, Javier Fernández, Antonio da Silva, Sebastián Sánchez, Agustín Martínez-Hellín
2021 J jnl
Improving performance and determinism of multitasking systems on the LEON architecture.
Microprocess. Microsystems
Pablo Parra, David Guzmán, Oscar R. Polo, Antonio da Silva, Agustín Martínez-Hellín, Sebastián Sánchez, Manuel Prieto
2021 J jnl
Reliability-oriented design of on-board satellite boot software against single event effects.
J. Syst. Archit.
Oscar R. Polo, Jonatan Sánchez, Antonio da Silva, Pablo Parra, Agustín Martínez-Hellín, Alberto Carrasco, Sebastián Sánchez
2012 J jnl
Optimal motion planning by reinforcement learning in autonomous mobile vehicles.
Robotica
Mariano Gómez, R. V. González, Tomás Martínez-Marín, Daniel Meziat, Sebastián Sánchez
2011 — conf
A LEON3 virtual platform with real spacewire interfaces for dependable space software development.
SimuTools
Antonio da Silva, Sebastián Sánchez
2010 C conf
LEON3 ViP: A Virtual Platform with Fault Injection Capabilities.
DSD
Antonio da Silva, Sebastián Sánchez
2009 — conf
Motion Planning of a Non-holonomic Vehicle in a Real Environment by Reinforcement Learning*.
IWANN (1)
Mariano Gómez, L. Gayarre, Tomás Martínez-Marín, Sebastián Sánchez, Daniel Meziat
2009 — conf
On the Use of Dynamic Binary Instrumentation to Perform Faults Injection in Transaction Level Models.
DepCoS-RELCOMEX
Antonio da Silva, Sebastián Sánchez
2009 C conf
Transactions Sequence Tracking by means of Dynamic Binary Instrumentation of TLM Models.
DSD
Antonio da Silva, Sebastián Sánchez
1998 — conf
Control System for a Low Energy Particle Detector.
EUROMICRO
Sebastián Sánchez, Daniel Meziat, Melquiades Carbajo, Julio L. Medina, Enrique Bronchalo, Javier Rodríguez-Pacheco, Luis del Peral
1993 J jnl
CDPU for SOHO-CEPAC collaboration.
Microprocess. Microprogramming
Daniel Meziat, J. Sequeiros, Julio L. Medina, Sebastián Sánchez