Items where Institution is :Other partners > National Aeronautics and Space Administration - NASA (USA)

Bourbouh, Hamza and Garoche, Pierre-Loïc and Garion, Christophe and Thirioux, Xavier From Lustre to Simulink: reverse compilation for verifying Embedded Systems Applications. (2021) ACM Transactions on Cyber-Physical Systems, 5 (3). 1-20. ISSN 2378-962X

Sgueglia, Alessandro and Schmollgruber, Peter and Bartoli, Nathalie and Bénard, Emmanuel and Morlier, Joseph and Jasa, John and Martins, Joaquim R. R. A. and Hwang, John T. and Gray, Justin S. Multidisciplinary Design Optimization Framework with Coupled Derivative Computation for Hybrid Aircraft. (2020) Journal of Aircraft, 57 (4). 715-729. ISSN 0021-8669

Garcia, Raphaël F. and Kenda, Balthasar and Kawamura, Taichi and Spiga, Aymeric and Murdoch, Naomi and Lognonné, Philippe and Widmer‐Schnidrig, Ruldolf and Compaire, Nicolas and Orhand‐Mainsant, Guénolé and Banfield, Donald and Banerdt, William Bruce Pressure Effects on the SEIS‐InSight Instrument, Improvement of Seismic Records, and Characterization of Long Period Atmospheric Waves From Ground Displacements. (2020) Journal of Geophysical Research: Planets, 125 (7). ISSN 2169-9097

Krishnamoorthy, Siddharth and Kassarian, Ervan and Martire, Léo and Sournac, Anthony and Cadu, Alexandre and Lai, Voon Hui and Komjathy, Attila and Pauken, Michael T. and Cutts, James A. and Garcia, Raphaël F. and Mimoun, David and Jackson, Jennifer M. and Bowman, Daniel C. Aerial Seismology Using Balloon-Based Barometers. (2019) IEEE Transactions on Geoscience and Remote Sensing, 57 (12). 10191-10201. ISSN 0196-2892

Martire, Léo and Brissaud, Quentin and Lai, Voon Hui and Garcia, Raphaël F. and Martin, Roland and Krishnamoorthy, Siddharth and Komjathy, Attila and Cadu, Alexandre and Cutts, James A. and Jackson, Jennifer M. and Mimoun, David and Pauken, Michael T. and Sournac, Anthony Numerical Simulation of the Atmospheric Signature of Artificial and Natural Seismic Events. (2018) Geophysical Research Letters, 45 (21). 1-9. ISSN 0094-8276

Krishnamoorthy, Siddharth and Komjathy, Attila and Pauken, Michael T. and Cutts, James A. and Garcia, Raphaël F. and Mimoun, David and Cadu, Alexandre and Sournac, Anthony and Jackson, Jennifer M. and Lai, Voon Hui and Bowman, Daniel C. Detection of Artificially Generated Seismic Signals Using Balloon-Borne Infrasound Sensors. (2018) Geophysical Research Letters, 45 (8). 3393-3403. ISSN 0094-8276

Stephens, Chad and Dehais, Frédéric and Roy, Raphaëlle N. and Harrivel, Angela and Last, Mary Carolyn and Kennedy, Kellie and Pope, Alan Biocybernetic Adaptation Strategies: Machine awareness of human state for improved operational performance. (2018) In: International Conference on Augmented Cognition, 15 July 2018 - 20 July 2018 (Las Vegas, United States).

Stevanović, Jennifer and Teanby, N. A. and Wookey, James and Selby, N. and Daubar, I. J. and Vaubaillon, Jeremie and Garcia, Raphaël F. Bolide Airbursts as a Seismic Source for the 2018 Mars InSight Mission. (2017) Space Science Reviews, 211 (1-4). 525-545. ISSN 0038-6308

Garcia, Raphaël F. and Brissaud, Quentin and Rolland, Lucie and Martin, Roland and Komatitsch, Dimitri and Spiga, Aymeric and Lognonné, Philippe and Banerdt, William Bruce Finite-Difference Modeling of Acoustic and Gravity Wave Propagation in Mars Atmosphere: Application to Infrasounds Emitted by Meteor Impacts. (2017) Space Science Reviews, 211 (1-4). 547-570. ISSN 0038-6308

Clinton, J. F. and Giardini, D. and Lognonné, Philippe and Banerdt, William Bruce and van Driel, M. and Drilleau, Mélanie and Murdoch, Naomi and Panning, M. and Garcia, Raphaël F. and Mimoun, David and Golombek, M. and Tromp, J. and Weber, R. and Böse, M. and Ceylan, S. and Daubar, I. and Kenda, B. and Khan, A. and Perrin, L. and Spiga, Aymeric Preparing for InSight: An Invitation to Participate in a Blind Test for Martian Seismicity. (2017) Seismological Research Letters, 88 (5). 1290-1302. ISSN 0895-0695

Bourbouh, Hamza and Garoche, Pierre-Loïc and Garion, Christophe and Gurfinkel, Arie and Kahsai, Temesghen and Thirioux, Xavier Automated analysis of Stateflow models. (2017) In: 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2017), 7 May 2017 - 12 May 2017 (Maun, Botswana).

Murdoch, Naomi and Avila Martinez, Iris and Sunday, Cecily and Zenou, Emmanuel and Cherrier, Olivier and Cadu, Alexandre and Gourinat, Yves An experimental study of low-velocity impacts into granular material in reduced gravity. (2017) Monthly Notices of the Royal Astronomical Society, 468 (2). 1259-1272. ISSN 0035-8711

Murdoch, Naomi and Kenda, Balthasar and Kawamura, Taichi and Spiga, Aymeric and Lognonné, Philippe and Mimoun, David and Banerdt, William Bruce Estimations of the Seismic Pressure Noise on Mars Determined from Large Eddy Simulations and Demonstration of Pressure Decorrelation Techniques for the Insight Mission. (2017) Space Science Reviews. 1-27. ISSN 0038-6308

Murdoch, Naomi and Mimoun, David and Garcia, Raphaël F. and Rapin, William and Kawamura, Taichi and Lognonné, Philippe and Banfield, Don and Banerdt, William Bruce Evaluating the Wind-Induced Mechanical Noise on the InSight Seismometers. (2017) Space Science Reviews, 211 (1-4). 429-455. ISSN 0038-6308

Mimoun, David and Murdoch, Naomi and Lognonné, Philippe and Hurst, Kenneth and Pike, William T. and Hurley, Jane and Nébut, Tanguy and Banerdt, William Bruce The Noise Model of the SEIS Seismometer of the InSight Mission to Mars. (2017) Space Science Reviews. 1-46. ISSN 0038-6308

Murphy, Jim and Steakley, Kathryn and Balme, Matt and Deprez, Gregoire and Esposito, Francesca and Kahanpaa, Henrik and Lemmon, Mark and Lorenz, Ralph and Murdoch, Naomi and Neakrase, Lynn and Patel, Manish and Whelley, Patrick Field Measurements of Terrestrial and Martian Dust Devils. (2016) Space Science Reviews, 203 (1). 39-87. ISSN 0038-6308

Khan, Amir and van Driel, Martin and Böse, Maren and Giardini, Domenico and Ceylan, Savas and Yan, Jun and Clinton, John Francis and Euchner, Fabian and Lognonné, Philippe and Murdoch, Naomi and Mimoun, David and Panning, Mark and Knapmeyer, Martin and Banerdt, William Bruce Single-station and single-event marsquake location and inversion for structure using synthetic Martian waveforms. (2016) Physics of the Earth and Planetary Interiors, 258. 28-42. ISSN 0031-9201

Sunday, Cecily and Murdoch, Naomi and Cherrier, Olivier and Morales Serrano, Sara and Valeria Nardi, Claudia and Janin, Tristan and Avila Martinez, Iris and Gourinat, Yves and Mimoun, David A novel facility for reduced-gravity testing: A setup for studying low-velocity collisions into granular surfaces. (2016) Review of Scientific Instruments, 87 (8). 084504-084515. ISSN 0034-6748

Billman, Dorrit and Fayollas, Camille and Feary, Michael and Martinie De Almeida, Célia and Palanque, Philippe Complementary Tools and Techniques for Supporting Fitness-for-Purpose of Interactive Critical Systems. (2016) In: 6th International Working Conference on Human-Centred Software Engineering International Working Conference on Human Error, Safety, and System Development (HCSE + HESSD 2016), 29 August 2016 - 31 August 2016 (Stockholm, Sweden).

Garoche, Pierre-Loïc and Kahsai, Temesghen and Thirioux, Xavier Hierarchical State Machines as Modular Horn Clauses. (2016) In: 3rd Workshop on Horn Clauses for Verification and Synthesis (HCVS 2016), 3 April 2016 (Eindhoven, Netherlands).

Feary, Michael and Martinie De Almeida, Celia and Palanque, Philippe and Tscheligi, Manfred Multiple Views on Safety-Critical Automation: Aircrafts, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives. (2016) In: ACM SIGCHI Conference on Human Factors in Computing Systems (CHI 2016), 7 May 2016 - 12 May 2016 (San José, CA, United States).

Häfliger, Vincent and Martin, Eric and Boone, Aaron and Habets, Florence and David, Cédric and Garambois, Pierre-André and Roux, Hélène and Ricci, Sophie and Berthon, Lucie and Thévenin, Anthony and Biancamaria, Sylvain Evaluation of Regional-Scale River Depth Simulations Using Various Routing Schemes within a Hydrometeorological Modeling Framework for the Preparation of the SWOT Mission. (2015) Journal of Hydrometeorology, 16 (4). 1821-1842. ISSN 1525-755X

Dieumegard, Arnaud and Garoche, Pierre-Loïc and Kahsai, Temesghen and Taillar, Alice and Thirioux, Xavier Compilation of synchronous observers as code contracts. (2015) In: 30th Annual ACM Symposium on Applied Computing (SAC 2015), 13 April 2015 - 17 April 2015 (Salamanca, Spain).

Zamansky, Rémi and Coletti, Filippo and Massot, Marc and Mani, Ali Radiation induces turbulence in particle-laden fluids. (2014) Physics of Fluids, 26 (7). 071701-071701. ISSN 1070-6631

Ferrant, Sylvain and Gascoin, Simon and Veloso, Amanda and Salmon-Monviola, Jordy and Claverie, Martin and Rivalland, Vincent and Demarez, Valerie and Dedieu, Gérard and Ceschia, Eric and Probst, Jean-Luc and Durand, Patrick and Bustillo, Vincent Agro-hydrology and multi temporal high resolution remote sensing: toward an explicit spatial processes calibration. (2014) Hydrology and Earth System Sciences Discussions (HESSD), 11 (7). 7689-7732. ISSN 1812-2108

Ferrant, Sylvain and Gascoin, Simon and Veloso, Amanda and Salmon-Monviola, Jordy and Claverie, Martin and Rivalland, Vincent and Dedieu, Gérard and Demarez, Valerie and Ceschia, Eric and Probst, Jean-Luc and Durand, Patrick and Bustillo, Vincent Agro-hydrology and multi-temporal high-resolution remote sensing: toward an explicit spatial processes calibration. (2014) Hydrology and Earth System Sciences, 18 (12). 5219-5237. ISSN 1027-5606

Garoche, Pierre-Loïc and Howar, Folk and Kahsai, Temesghen and Thirioux, Xavier Testing-Based Compiler Validation for Synchronous Languages. (2014) In: 6th International Symposium on NASA Formal Methods (NFM 2014), 29 April 2014 - 1 May 2014 (Houston, Texas, United States).

Charman, Dan J. and Beilman, David W and Blaauw, Maarten and Booth, Robert K. and Brewer, Simon and Chambers, Frank M. and Christen, J. Andrés and Gallego-Sala, Angela and Harrison, Sandy P. and Hughes, Paul D. M. and Jackson, Stephen. T. and Korhola, Atte and Mauquoy, Dmitri and Mitchell, Fraser. J. G. and Prentice, I. Colin and Van der Linden, Marjolein and De Vleeschouwer, François and Yu, Zicheng C. and Alm, Jukka and Bauer, Ilka E. and Corish, Y. M. C. and Garneau, Michelle and Hohl, Veronica and Huang, Yongsheng and Karofeld, Edgar and Le Roux, Gaël and Loisel, Julie and Moschen, Robert and Nichols, Jonathan E. and Nieminen, Tiina M. and MacDonald, Glen M. and Phadtare, Netajirao R. and Rausch, Nicole and Sillasoo, Ülle and Swindles, Graeme T. and Tuittila, Eeva-Stiina and Ukonmaanaho, Liisa and Väliranta, Minna and Van Bellen, Simon and Van Geel, Bas and Vitt, Dale H. and Zhao, Yu Climate-related changes in peatland carbon accumulation during the last millennium. (2013) Biogeosciences, 10 (2). 929-944. ISSN 1726-4170

Brat, Guillaume and Martinie, Célia and Palanque, Philippe V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems Through Model Checking of Formal Description of Dialog. (2013) In: 15th International Conference on Human-Computer Interaction - HCI 2013, 21 July 2013 - 26 July 2013 (Las Vegas, Nevada, United States).

Chambers, Frank M. and Booth, Robert K. and De Vleeschouwer, François and Lamentowicz, Mariusz and Le Roux, Gaël and Mauquoy, Dmitri and Nichols, Jonathan E. and Van Geel, Bas Development and refinement of proxy-climate indicators from peats. (2012) Quaternary International, 268. 21-33. ISSN 1040-6182

Dehant, Véronique and Banerdt, William Bruce and Lognonné, Philippe and Grott, Matthias and Asmar, Sami and Biele, Jens and Breuer, Doris and Forget, François and Jaumann, Ralf and Johnson, Catherine L. and Knapmeyer, Martin and Langlais, Benoit and Le Feuvre, Mathieu and Mimoun, David and Mocquet, Antoine and Read, Peter and Rivoldini, Attilio and Romberg, Oliver and Schubert, Gerald and Smrekar, Sue and Spohn, Tilman and Tortora, Paolo and Ulamec, Stephan and Vennerstrøm, Susanne Future Mars geophysical observatories for understanding its internal structure, rotation, and evolution. (2012) Planetary and Space Science, 68 (1). 123-145. ISSN 0032-0633

Chamoire, Audrey and Gascoin, Franck and Estournès, Claude and Caillat, Thierry and Tédenac, Jean-Claude High-Temperature Transport Properties of Yb4−xSmxSb3. (2010) Journal of Electronic Materials, 39 (9). 1579-1582. ISSN 0361-5235

Chamoire, Audrey and Gascoin, Franck and Estournès, Claude and Caillat, Thierry and Tédenac, Jean-Claude High-temperature transport properties of complex antimonides with anti-Th3P4 structure. (2009) Dalton Transactions, 39 (4). 1118-1123. ISSN 1364-5447

Dobigeon, Nicolas and Tourneret, Jean-Yves and Scargle, Jeffrey Joint segmentation of multivariate astronomical time series : bayesian sampling with a hierarchical model. (2007) IEEE Transactions on Signal Processing, 5 (2). 414-423. ISSN 1053-587X