Sebastián Sánchez

Orcid: 0000-0002-6729-7932

Affiliations:
  • University of Alcalá, Spain


According to our database1, Sebastián Sánchez authored at least 25 papers between 1993 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

Tailor-made Virtualization Monitor Design for CPU Virtualization on LEON Processors.
ACM Trans. Embed. Comput. Syst., July, 2023

2022
Model-driven system-level validation and verification on the space software domain.
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
A component-based approach to feature modelling.
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
Integration of a preemptive priority based scheduler in the Palladio Workbench.
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
Optimal motion planning by reinforcement learning in autonomous mobile vehicles.
Robotica, 2012

Optimal motion planning based on CACM-RL using SLAM.
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

MICOBS: multi-platform multi-model component based software development framework.
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

LEON3 ViP: A Virtual Platform with Fault Injection Capabilities.
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

High Reliable Remote Terminal Unit for Space Applications.
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
Control System for a Low Energy Particle Detector.
Proceedings of the 24th EUROMICRO '98 Conference, 1998

1993
CDPU for SOHO-CEPAC collaboration.
Microprocess. Microprogramming, 1993


  Loading...