Sebastián Sánchez
Orcid: 0000-0002-6729-7932Affiliations:
- University of Alcalá, Spain
According to our database1,
Sebastián Sánchez
authored at least 29 papers
between 1993 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on scopus.com
-
on orcid.org
On csauthors.net:
Bibliography
2025
Hardware-assisted virtualization extensions for LEON processors in mixed-criticality systems.
Microprocess. Microsystems, 2025
Design and implementation of a synchronous Hardware Performance Monitor for a RISC-V space-oriented processor.
Microprocess. Microsystems, 2025
2024
Count overflow and privilege mode filtering extension implementation on a RISC-V on-board processor.
Microprocess. Microsystems, 2024
Enhancing efficiency in spaceborne phased array systems: MVDR algorithm and FPGA integration.
Digit. Signal Process., 2024
Synthesis of pulses from particle detectors with a Generative Adversarial Network (GAN).
CoRR, 2024
2023
Memory Management Unit for Hardware-Assisted Dynamic Relocation in On-Board Satellite Systems.
IEEE Trans. Aerosp. Electron. Syst., October, 2023
ACM Trans. Embed. Comput. Syst., July, 2023
2022
Softw. Syst. Model., 2022
2021
A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis Models.
IEEE Trans. Emerg. Top. Comput., 2021
Improving performance and determinism of multitasking systems on the LEON architecture.
Microprocess. Microsystems, 2021
Reliability-oriented design of on-board satellite boot software against single event effects.
J. Syst. Archit., 2021
2019
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019
Towards the Use of Model-Driven Technologies in an Integral Software Development Process.
Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 2019
2016
J. Syst. Softw., 2016
2013
Schedulability analysis of on-board satellite software based on model-driven and compositionality techniques.
Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013
2012
Robotica, 2012
Proceedings of the 2012 IEEE Intelligent Vehicles Symposium, 2012
2011
A LEON3 virtual platform with real spacewire interfaces for dependable space software development.
Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques, 2011
Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, 2011
2010
Preliminary feasibility analysis of component based modelling and automatic Java code generation for nanosatellite on-board software: short paper.
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010
Proceedings of the 13th Euromicro Conference on Digital System Design, 2010
2009
Integration of Cell-Mapping and Reinforcement-Learning Techniques for Motion Planning of Car-Like Robots.
IEEE Trans. Instrum. Meas., 2009
Motion Planning of a Non-holonomic Vehicle in a Real Environment by Reinforcement Learning*.
Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009
Transactions Sequence Tracking by means of Dynamic Binary Instrumentation of TLM Models.
Proceedings of the 12th Euromicro Conference on Digital System Design, 2009
Proceedings of the 12th Euromicro Conference on Digital System Design, 2009
On the Use of Dynamic Binary Instrumentation to Perform Faults Injection in Transaction Level Models.
Proceedings of the Fourth International Conference on Dependability of Computer Systems, 2009
2006
EDROOM, Herramienta Libre de Modelado y Generación Automática de Código para Sistemas de Tiempo Real.
Proceedings of the Actas del Taller sobre Desarrollo de Software Dirigido por Modelos. MDA y Aplicaciones. Sitges, 2006
1998
Proceedings of the 24th EUROMICRO '98 Conference, 1998
1993