Skip to Main content Skip to Navigation
Help


...
hal-02449191v1  Conference papers
Guillaume BertholonÉrik Martin-DorelPierre Roux. Primitive Floats in Coq
ITP 2019, Interactive Theorem Proving, Sep 2019, PORTLAND, United States. ⟨10.4230/LIPIcs.ITP.2019.7⟩
...
hal-02181895v1  Conference papers
Jean-Paul BodeveixArnaud DieumegardMamoun Filali. Event-B Formalization of a Variability-Aware Component Model Patterns Framework
15th International Conference on Formal Aspects of Component Software (FACS 2018), Oct 2018, Pohang, South Korea. pp.54-74
...
hal-02441323v1  Conference papers
Frédéric BoniolYoucef BouchebabaJulien BrunelKevin DelmasThomas Loquen et al.  PHYLOG certification methodology: a sane way to embed multi-core processors
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
...
hal-02441353v1  Conference papers
Frédéric BoniolClaire PagettiNathanaël Sensfelder. Identification of multi-core interference
19th International Symposium on High Assurance Systems Engineering (HASE 2019), Jan 2019, Hangzou, China. ⟨10.1109/HASE.2019.00024⟩
...
hal-01851720v1  Journal articles
Frédéric BoniolVirginie WielsYamine Aït-AmeurKlaus-Dieter Schewe. The landing gear case study: challenges and experiments
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2016, 19 (2), pp.133-140. ⟨10.1007/s10009-016-0431-4⟩
...
hal-02383526v1  Conference papers
Valentin BouziatXavier PucelStéphanie RousselLouise Travé-Massuyès. Preference-Based Fault Estimation in Autonomous Robots : Incom-pleteness and Meta-Diagnosis
18th International Conference on Autonomous Agents and Multi-Agent Systems, May 2019, Montreal, Canada
...
hal-02383500v1  Conference papers
Valentin BouziatXavier PucelStéphanie RousselLouise Travé-Massuyès. Single State Trackability of Discrete Event Systems
DX'19 – 30th International Workshop on Principles of Diagnosis, Nov 2019, Klagenfurt, Austria
...
hal-01796310v1  Conference papers
Valentin BouziatXavier PucelStéphanie RousselLouise Travé-Massuyès. Preferential Discrete Model-based Diagnosis for Intermittent and Permanent Faults
29th International Workshop on Principles of Diagnosis (DX 2018), Aug 2018, Varsovie, Poland. 8p
...
hal-01928837v1  Conference papers
Valentin BouziatXavier PucelStéphanie RousselLouise Travé-Massuyès. Diagnostic préférentiel à base de modèles discrets pour des fautes intermittentes et permanentes
12èmes Journées d'Intelligence Artificielle Fondamentale (JIAF 208), Jun 2018, Amiens, France
...
hal-02302952v1  Conference papers
Valentin BouziatXavier PucelStéphanie RousselLouise Travé-Massuyès. Estimabilité à état unique des systèmes à évènements discrets
13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France
...
hal-02441327v1  Conference papers
Pierre-Julien ChaineMarc BoyerClaire PagettiFranck Wartel. TSN Support for Quality of Service in Space
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
...
hal-02103155v1  Conference papers
Pierre DerennesJérôme MorioFlorian Simatos. Estimation of moment independent importance measures using a copula and maximum entropy framework
Winter simulation conference (WSC 2018), Dec 2018, Gothenburg, Sweden. pp.1623-1634
...
hal-01983366v1  Conference papers
Pierre DerennesJérôme MorioFlorian Simatos. Estimation of moment independent importance measures using a copula and maximum entropy framework
Proceedings of the 2018 Winter Simulation Conference, Dec 2018, GOTEBORG, Sweden
hal-02024378v1  Conference papers
Sylvain DubreuilChristian GoguNathalie BartoliThierry Lefebvre. An adaptive kriging based approach to robust optimization
2nd International Conference on Uncertainty Quantification in Computational Sciences and Engineering, Jun 2017, Rhodes Island, Greece
hal-02056876v1  Conference papers
Sylvain DubreuilNathalie BartoliThierry LefebvreChristian Gogu. Multidisciplinary optimization based on Kriging surrogate models
International Workshop on Optimization and Learning: Challenges and Applications - OLA 2018, Feb 2018, Alicante, Spain
hal-02056877v1  Conference papers
Sylvain DubreuilNathalie BartoliThierry LefebvreChristian Gogu. Propagation d’incertitude de modèle pour l’optimisation multidisciplinaire
44ème Congrès National d'Analyse Numérique CANUM 2018, May 2018, Cap d'Agde, France
...
hal-02904829v1  Journal articles
Sylvain DubreuilNathalie BartoliChristian GoguThierry Lefebvre. Towards an Efficient Global Multidisciplinary Design Optimization algorithm
Structural and Multidisciplinary Optimization, Springer Verlag (Germany), In press
...
hal-02558604v1  Conference papers
Anthony FavierAntonin MessiouxJérémie GuiochetJean-Charles FabreCharles Lesire. A hierarchical fault tolerant architecture for an autonomous robot
6th Intern. Workshop on ​Safety and Security of Intelligent Vehicles (SSIV) at IEEE/IFIP Intern. Conf. on Dependable Systems and Networks (DSN), Jun 2020, Valence, Spain
hal-02020967v1  Conference papers
M. Giselle Fernandez-GodinoRaphael T. HaftkaSivaramakrishnan BalachandarChristian GoguSylvain Dubreuil et al.  Noise Filtering and Uncertainty Quantification in Surrogate based Optimization
AIAA Scitech 2018, Gaylord Palms, Florida, USA, 8-12 January 2018, 2018, Florida, United States
...
hal-01740640v1  Conference papers
Ning GeArnaud DieumegardEric JennBruno d'AusbourgYamine Aït-Ameur. Formal development process of safety critical embedded human machine interface systems
TASE (11th International Symposium on Theoretical Aspects of Software Engineering), Sep 2017, Sophia Antipolis, France. pp. 1-8
...
hal-01154189v1  Journal articles
Michaël LauerFrédéric BoniolClaire PagettiJérôme Ermont. End-to-end latency and temporal consistency analysis in networked real-time systems
International Journal of Critical Computer-Based Systems, Inderscience, 2014, vol. 5 (n° 3/4), pp. 172-196. ⟨10.1504/IJCCBS.2014.064667⟩
...
hal-01490897v1  Journal articles
Victor MagronPierre-Loïc GarocheDidier HenrionXavier Thirioux. Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems
SIAM Journal on Control and Optimization, Society for Industrial and Applied Mathematics, 2019, 57 (4), pp.2799-2820. ⟨10.1137/17M1121044⟩
hal-01839036v1  Journal articles
Célia MartiniePhilippe PalanqueR. FahssiJ.P. BlanquartC. Seguin. Task Model-Based Systematic Analysis of Both System Failures and Human Errors
IEEE Transactions on Human-Machine Systems, IEEE, 2015, 46 (2), pp.243-254
...
hal-01743384v1  Book sections
Matthieu MaunouryChristophe BesseVincent MouyssetSébastien Pernet. Accurate, Automatic and Compressed Visualization of Radiated Helmholtz Fields from Boundary Element Solutions
Lecture Notes in Computer Science, 10860, Springer International Publishing AG, 2018, Computational Science – ICCS 2018, 978-3-319-93698-7. ⟨10.1007/978-3-319-93698-7_54⟩