Skip to Main content Skip to Navigation

Search by documents

hal-03172263v1  Conference papers
Faiez ZalilaXavier CrégutMarc Pantel. A DSL to Feedback Formal Verification Results
13th Model-Driven Engineering, Verification and Validation Workshop at MODELS conference 2016 (MoDeVVa 2016), Oct 2016, Saint Malo, France. pp.30--39
hal-03118707v1  Conference papers
Adrien GauffriauFrançois MalgouyresMélanie Ducoffe. Overestimation learning with guarantees
AAAI-21, workshop on safeAI, Feb 2021, Valence (Virtual), Spain
hal-02942695v1  Conference papers
Yandika SirgabsouClaude BaronCyril BonnardLaurent PahunLorenzo Grenier et al.  Investigating the use of a model-based approach to assess automotive embedded software safety
13th International Conference on Modeling, Optimization and Simulation (MOSIM20), Nov 2020, AGADIR, Morocco
hal-01660829v1  Conference papers
Alaa HilalBernardo CougoThierry Meynard. Characterization of High Power SiC Modules for More Electrical Aircrafts
IECON 2016 (42nd Annual Conference of IEEE Industrial Electronics Society), 2016, Firenzi, Italy. pp. 1087-1092
hal-01851977v1  Conference papers
Pierre-Jean BarjhouxYoussef DiouaneStéphane GrihonDimitri BettebghorJoseph Morlier. A Bilevel Methodology for solving a Structural Optimization Problem with both Continuous and Categorical Variables
2018 Multidisciplinary Analysis and Optimization Conference, AIAA AVIATION Forum, Jun 2018, Atlanta, Georgia, United States. pp.1-16, ⟨10.2514/6.2018-3579⟩
hal-01709008v1  Conference papers
Alexandre AlboreSilvano Dal ZilioMarie de RoquemaurelChristel SeguinPierre Virelizier. Timed Formal Model and Verification of Satellite FDIR in Early Design Phase
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France. 10p
hal-01828682v1  Conference papers
Pierre-Jean BarjhouxYoussef DiouaneStéphane GrihonDimitri BettebghorJoseph Morlier. Mixed Variable Structural Optimization: Toward an Efficient Hybrid Algorithm
12th World Congress on Structural and Multidisciplinary Optimisation, Jun 2017, Braunschweig, Germany. pp.1880-1896, ⟨10.1007/978-3-319-67988-4_140⟩
hal-02976018v2  Directions of work or proceedings
François BachocTommaso CesariSébastien Gerchinovitz. The sample complexity of level set approximation
2021, Proceedings of the 24th International Conference on Artificial Intelligence and Statistics (AISTATS 2021)
hal-02868780v1  Conference papers
Léonard SerranoPhilippe OlivierJacques Cinquin. Modélisation des cinétiques de polymérisation de résines destinées à la fabrication Hors Autoclave
JNC 20 : Journées Nationales sur les Composites 2017, École des Ponts ParisTech (ENPC), Jun 2017, Champs sur Marne, France. pp.0
hal-02920189v1  Conference papers
Yazan BaraziNicolas RougerFrédéric Richardeau. CMOS Gate Driver with fast short circuit protection for SiC MOSFETs
2020 32nd International Symposium on Power Semiconductor Devices and ICs (ISPSD), Sep 2020, Vienna (virtual), Austria. pp.94-97, ⟨10.1109/ISPSD46842.2020.9170164⟩
hal-02336951v1  Conference papers
Frédéric RichardeauVinnac SébastienFranck MosserAmgad RashedAntoine Boetsch et al.  First practical evaluation of a complete fail-safe and 100% fault-tolerant inverter for critical load in aerospace application
8th International Conference on Recent Advances in Aerospace Actuation Systems and Components R3ASC'18, May 2018, Toulouse, France
hal-02342949v1  Conference papers
Frédéric Richardeau. 100% Back-up Inverter-Leg with an Original and Automatic Safe-Connection
ECPE Workshop "Availability of Power Electronics by Fault-Tolerant Designs in Automotive and Aircraft", 3 - 4 July 2019, Filderhalle Leinfelden-Echterdingen, Stuttgart, Germany, Jul 2018, Munich, Germany
hal-02920129v1  Conference papers
Nicolas RougerYazan BaraziMarc CousineauFrédéric Richardeau. Modular Multilevel SOI-CMOS Active Gate Driver Architecture for SiC MOSFETs
2020 32nd International Symposium on Power Semiconductor Devices and ICs (ISPSD), Sep 2020, Vienna (virtual ), Austria. pp.278-281, ⟨10.1109/ISPSD46842.2020.9170181⟩
hal-02342945v1  Conference papers
Alberto CastellazziAndrea IraceFrédéric Richardeau. Reliablity issues in 4H-SiC MOSFETs
keynote presentation, First International Workshop on Wide Band Gap Innovative SiC for Advanced Power, Tours, France, on March 7, 2019. University of Tours and Italian Inter-University Consortium for Nanoelectronics (IUNET), European Project WinSiC4AP,, Mar 2019, Tours, France