Följ
Yago Isasi Parache
Yago Isasi Parache
LuxSpace Sàrl
Verifierad e-postadress på luxspace.lu
Titel
Citeras av
Citeras av
År
The Gaia mission
T Prusti, JHJ De Bruijne, AGA Brown, A Vallenari, C Babusiaux, ...
Astronomy & Astrophysics 595, A1, 2016
45472016
Gaia data release 1-summary of the astrometric, photometric, and survey properties
AGA Brown, A Vallenari, T Prusti, JHJ De Bruijne, F Mignard, R Drimmel, ...
Astronomy & Astrophysics 595, A2, 2016
23192016
Gaia universe model snapshot-a statistical analysis of the expected contents of the gaia catalogue
AC Robin, X Luri, C Reylé, Y Isasi, E Grux, S Blanco-Cuaresma, F Arenou, ...
Astronomy & Astrophysics 543, A100, 2012
2582012
Gaia Data Release 1-Testing parallaxes with local Cepheids and RR Lyrae stars
G Clementini, L Eyer, V Ripepi, M Marconi, T Muraveva, A Garofalo, ...
Astronomy & astrophysics 605, A79, 2017
1052017
Gaia Data Release 1-Open cluster astrometry: performance, limitations, and future prospects
F Van Leeuwen, A Vallenari, C Jordi, L Lindegren, U Bastian, T Prusti, ...
Astronomy & astrophysics 601, A19, 2017
902017
Approximation-refinement testing of compute-intensive cyber-physical models: An approach based on system identification
C Menghi, S Nejati, L Briand, YI Parache
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
802020
Overview and stellar statistics of the expected Gaia Catalogue using the Gaia Object Generator
X Luri, M Palmer, F Arenou, E Masana, J de Bruijne, E Antiche, ...
Astronomy & Astrophysics 566, A119, 2014
722014
Highlights of Spanish Astrophysics V
J Cepa
Astrophysics and Space Science Proceedings, Springer-Verlag 15, 2010
58*2010
Properties of ultra-cool dwarfs with Gaia-An assessment of the accuracy for the temperature determination
LM Sarro, A Berihuete, C Carrion, D Barrado, P Cruz, Y Isasi
Astronomy & Astrophysics 550, A44, 2013
402013
Enabling Model Testing of Cyber-Physical Systems
CA González, M Varmazyar, S Nejati, LC Briand, Y Isasi Parache
Models'18, 176–186, 2018
372018
Trace-checking signal-based temporal properties: A model-driven approach
C Boufaied, C Menghi, D Bianculli, L Briand, YI Parache
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
142020
GUMS & GOG: Simulating the Universe for Gaia
Y Isasi, F Figueras, X Luri, AC Robin
Highlights of Spanish Astrophysics V, 2010
122010
Signal-based properties of cyber-physical systems: Taxonomy and logic-based characterization
C Boufaied, M Jukss, D Bianculli, LC Briand, YI Parache
Journal of Systems and Software 174, 110881, 2021
92021
Schedulability analysis of real-time systems with uncertain worst-case execution times
J Lee, SY Shin, S Nejati, LC Briand, YI Parache
arXiv preprint arXiv:2007.10490, 2020
82020
Estimating probabilistic safe wcet ranges of real-time systems at design stages
J Lee, SY Shin, S Nejati, L Briand, YI Parache
ACM Transactions on Software Engineering and Methodology 32 (2), 1-33, 2023
62023
Simulation Model Reference Library: A new tool to promote simulation models reusability
Y Isasi, R Noguerón, Q Wijnands
Workshop on Simulation for European Space Programmes (SESP) 24, 26, 2015
52015
The Gaia Simulator: Design and Results
E Masana, Y Isasi, X Luri, J Peralta
Highlights of Spanish Astrophysics V, 2010
52010
Combining genetic programming and model checking to generate environment assumptions
K Gaaloul, C Menghi, S Nejati, LC Briand, YI Parache
IEEE Transactions on Software Engineering 48 (9), 3664-3685, 2021
42021
A SysML-based methodology for model testing of cyber-physical systems
CA Gonzalez Perez, M Varmazyar, S Nejati, L Briand, Y Isasi
University of Luxembourg, Luxembourg, Luxembourg, 2018
42018
High Performance On-board image processing using CanOpen for Earth Observation satellites
YI Parache, P Ghiglino, N Perzo
Communications 69, 12, 2019
2*2019
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20