Zobrazeno 1 - 10
of 140
pro vyhledávání: '"Grégoire, Benjamin"'
We introduce eRHL, a program logic for reasoning about relational expectation properties of pairs of probabilistic programs. eRHL is quantitative, i.e., its pre- and post-conditions take values in the extended non-negative reals. Thanks to its quanti
Externí odkaz:
http://arxiv.org/abs/2407.17127
Publikováno v:
In Applied Thermal Engineering 1 October 2024 254
Autor:
Bai, Mengqi, Grégoire, Benjamin, Navarro-Rivero, Maria Elena, Anagnostopoulos, Argyrios, Zou, Boyang, Edmondson, Mike, Harrison, Mike, Ding, Yulong
Publikováno v:
In Nuclear Engineering and Design October 2024 427
Autor:
Grégoire, Benjamin, Ma, Hongkun, Palacios, Anabel, Yang, Song, Bai, Mengqi, Zhang, Tongtong, Ding, Yulong
Publikováno v:
In Journal of Energy Storage 10 November 2024 101 Part B
Publikováno v:
In Corrosion Science November 2023 224
Autor:
Grégoire, Benjamin
La sélection des matériaux utilisés dans les moteurs aéronautiques est un enjeu majeur pour assurer la sécurité des passagers, optimiser les performances de l’avion et maîtriser les coûts. Dans les parties les plus chaudes des moteurs (i.e.
Externí odkaz:
http://www.theses.fr/2017LAROS023/document
Autor:
Ulrich, Anke Silvia, Schlereth, Clara, Grégoire, Benjamin, Sutter, Florian, Oskay, Ceyhun, Hildebrandt, Christina, Galetz, Mathias Christian
Publikováno v:
In Solar Energy Materials and Solar Cells 1 August 2023 257
Autor:
Almeida, José Bacelar, Barbosa, Manuel, Barthe, Gilles, Grégoire, Benjamin, Koutsos, Adrien, Laporte, Vincent, Oliveira, Tiago, Strub, Pierre-Yves
We develop a new approach for building cryptographic implementations. Our approach goes the last mile and delivers assembly code that is provably functionally correct, protected against side-channels, and as efficient as hand-written assembly. We ill
Externí odkaz:
http://arxiv.org/abs/1904.04606
Publikováno v:
In Corrosion Science March 2023
Autor:
Barthe, Gilles, Espitau, Thomas, Gaboardi, Marco, Grégoire, Benjamin, Hsu, Justin, Strub, Pierre-Yves
Research on deductive verification of probabilistic programs has considered expectation-based logics, where pre- and post-conditions are real-valued functions on states, and assertion-based logics, where pre- and post-conditions are boolean predicate
Externí odkaz:
http://arxiv.org/abs/1803.05535