| The Gaia mission T Prusti, JHJ De Bruijne, AGA Brown, A Vallenari, C Babusiaux, ... Astronomy & Astrophysics 595, A1, 2016 | 4998 | 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 | 1675 | 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 | 274 | 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 | 165 | 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 | 109 | 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 | 97 | 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 | 73 | 2014 |
| Highlights of Spanish Astrophysics V J Cepa Astrophysics and Space Science Proceedings, Springer-Verlag 15, 2010 | 53* | 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 | 42 | 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 | 39 | 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 | 17 | 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 | 12 | 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 | 11 | 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 |
| 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 | 8 | 2015 |
| 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 | 7 | 2021 |
| 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 |
