The Gaia mission T Prusti, JHJ De Bruijne, AGA Brown, A Vallenari, C Babusiaux, ... Astronomy & Astrophysics 595, A1, 2016 | 4731 | 2016 |
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 | 1630 | 2016 |
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 | 262 | 2012 |
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 | 163 | 2017 |
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 | 106 | 2017 |
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 | 86 | 2020 |
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 | 71 | 2014 |
Highlights of Spanish Astrophysics V J Cepa Astrophysics and Space Science Proceedings, Springer-Verlag 15, 2010 | 52* | 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 | 41 | 2013 |
Enabling Model Testing of Cyber-Physical Systems CA González, M Varmazyar, S Nejati, LC Briand, Y Isasi Parache Models'18, 176–186, 2018 | 38 | 2018 |
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 | 16 | 2020 |
GUMS & GOG: Simulating the Universe for Gaia Y Isasi, F Figueras, X Luri, AC Robin Highlights of Spanish Astrophysics V, 2010 | 13 | 2010 |
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 | 10 | 2021 |
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 | 9 | 2023 |
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 | 8 | 2020 |
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 | 6 | 2021 |
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 | 6 | 2015 |
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 | 5 | 2018 |
The Gaia Simulator: Design and Results E Masana, Y Isasi, X Luri, J Peralta Highlights of Spanish Astrophysics V, 2010 | 5 | 2010 |
High Performance On-board image processing using CanOpen for Earth Observation satellites YI Parache, P Ghiglino, N Perzo Communications 69, 12, 2019 | 2 | 2019 |