Recherche - ONERA - Office national d'études et de recherches aérospatiales Accéder directement au contenu

Filtrer vos résultats

29 résultats
Image document

Consistency-Based Reliability Assessment

Laurence Cholvy , Laurent Perrussel , William Raynaut , Jean-Marc Thévenin
European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2015), Jul 2015, Compiègne, France. pp. 246-256
Communication dans un congrès hal-01316842v1
Image document

Temporal isolation of hard real-time applications on many-core processors

Quentin Perret , Pascal Maurere , Eric Noulard , Claire Pagetti , Pascal Sainrat , et al.
RTAS 2016 - IEEE Real-Time Embedded Technology & Applications Symposium, Apr 2016, Vienne, Austria. pp. 1-11, ⟨10.1109/RTAS.2016.7461363⟩
Communication dans un congrès hal-01585055v1
Image document

Structured Possibilistic Planning Using Decision Diagrams

Nicolas Drougard , Florent Teichteil-Königsbuch , Jean-Loup Farges , Didier Dubois
Conference on Artificial Intelligence - AAAI 2014, Jul 2014, Québec, Canada. pp. 2257-2263
Communication dans un congrès hal-01136897v1
Image document

The landing gear case study: challenges and experiments

Frédéric Boniol , Virginie Wiels , Yamine Aït-Ameur , Klaus-Dieter Schewe
International Journal on Software Tools for Technology Transfer, 2016, 19 (2), pp.133-140. ⟨10.1007/s10009-016-0431-4⟩
Article dans une revue hal-01851720v1
Image document

Using a SMT solver for risk analysis: detecting logical mistakes in procedural texts

Florence Dupin de Saint-Cyr , Marie-Christine Lagasquie-Schiex , W. Raynaut , Patrick Saint Dizier
[Research Report] IRIT--2014--05, IRIT - Institut de recherche en informatique de Toulouse. 2014
Rapport hal-02884068v1
Image document

Using inconsistency measures for estimating reliability

Laurence Cholvy , Laurent Perrussel , Jean-Marc Thévenin
International Journal of Approximate Reasoning, 2017, 89, pp.41-57. ⟨10.1016/j.ijar.2016.10.004⟩
Article dans une revue hal-01407484v1
Image document

Run-time Control to Increase Task Parallelism in Mixed-Critical Systems

Angeliki Kritikakou , Olivier Baldellon , Claire Pagetti , Christine Rochange , Matthieu Roy
26th Euromicro Conference on Real-Time Systems (ECRTS14), Jul 2014, Madrid, Spain. 11p
Communication dans un congrès hal-01015476v1
Image document

Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems

Angeliki Kritikakou , Claire Pagetti , Matthieu Roy , Christine Rochange , Madeleine Faugère , et al.
22nd International Conference on Real-Time Networks and Systems, Oct 2014, Versailles, France. ⟨10.1145/2659787.2659799⟩
Communication dans un congrès hal-01096102v1
Image document

Multiplexing Adaptive with Classic AUTOSAR? Adaptive Software Control to Increase Resource Utilization in Mixed-Critical Systems

Angeliki Kritikakou , Thibaut Marty , Claire Pagetti , Christine Rochange , Michaël Lauer , et al.
Workshop CARS 2016 - Critical Automotive applications : Robustness & Safety, Sep 2016, Göteborg, Sweden
Communication dans un congrès hal-01375576v1
Image document

Evaluation of DREAMS resource management solutions on a mixed-critical demonstrator

Gerhard Fohler , Gautam Gala , Daniel Gracia Pérez , Claire Pagetti
ERTS 2018, Jan 2018, Toulouse, France
Communication dans un congrès hal-01700860v1
Image document

A reflexive tactic for polynomial positivity using numerical solvers and floating-point computations

Érik Martin-Dorel , Pierre Roux
The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017), Jan 2017, Paris, France. pp.90 - 99, ⟨10.1145/3018610.3018622⟩
Communication dans un congrès hal-01510979v1
Image document

Compilation de CSPs : carte de complexité des MDDs non-déterministes

Jérôme Amilhastre , Hélène Fargier , Alexandre Niveau , Cédric Pralet
Neuvièmes Journées Francophones de Programmation par Contraintes (JFPC 2013), Laboratoire des Sciences de l’Information et des Syst`emes (LSIS); Laboratoire d’Informatique Fondamentale de Marseille (LIF); AFPC : Association Française pour la Programmation par Contraintes, Jun 2013, Aix en Provence, France. pp.21-30
Communication dans un congrès hal-01217173v1
Image document

Qualitative Possibilistic Mixed-Observable MDPs

Nicolas Drougard , Jean-Loup Farges , Florent Teichteil-Konigsbuch , Didier Dubois
29th Conference on Uncertainty in Artificial Intelligence (UAI 2013), Jul 2013, Bellevue, Wash., United States. pp. 2257-2263
Communication dans un congrès hal-01212921v1

Diffusion d'alarmes, diffusion d'alertes. De nouveaux enjeux pour les SI.

Florence Sèdes , Rémi Delmas , Thomas Polacsek
Sèdes, Florence; Delmas, Rémi; Polacsek, Thomas. Hermès Science, 21 (4 : juillet - août 2016), 2016, Ingénierie des Systèmes d'Information
Ouvrages hal-03165009v1
Image document

Towards Consistency-Based Reliability Assessment

Laurence Cholvy , Laurent Perrussel , William Raynaut , Jean-Marc Thévenin
14th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), May 2015, Istanbul, Turkey. pp. 1643-1644
Communication dans un congrès hal-01327078v1

Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs

Assalé Adjé , Pierre-Loïc Garoche
Computer Languages, Systems and Structures, 2015, ⟨10.1016/j.cl.2015.12.002⟩
Article dans une revue hal-01369946v1
Image document

From Design to Implementation: An Automated Credible Autocoding Chain for Control Systems

Timothy Wang , Romain Jobredeaux , Heber Henrencia , Pierre-Loïc Garoche , Eric Feron , et al.
Féron, Eric. Advances in Control System Technology for Aerospace Applications, Springer-Verlag, pp.137--180, 2015, 978-3-662-47693-2. ⟨10.1007/978-3-662-47694-9_5⟩
Chapitre d'ouvrage hal-03155036v1
Image document

Adopting a model-based approach for satellite operations' diagnosis

Nikolena Christofi , Claude Baron , X Pucel , Marc Pantel , M Machin , et al.
13ème Conférence Internationale de Modélisation, Optimisation et Simulation (MOSIM 2020), Nov 2020, Agadir, Morocco
Communication dans un congrès hal-02946817v1
Image document

Augmented Lagrangian Preconditioner for Large-Scale Hydrodynamic Stability Analysis

Johann Moulin , Pierre Jolivet , Olivier Marquet
Computer Methods in Applied Mechanics and Engineering, 2019, ⟨10.1016/j.cma.2019.03.052⟩
Article dans une revue hal-02088738v1
Image document

Parameter Estimation For Multivariate Generalized Gaussian Distributions

Frédéric Pascal , Lionel Bombrun , Jean-Yves Tourneret , Yannick Berthoumieu
IEEE Transactions on Signal Processing, 2013, 61 (23), pp.5960-5971. ⟨10.1109/TSP.2013.2282909⟩
Article dans une revue hal-00879851v1
Image document

Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams

Jerome Amilhastre , Hélène Fargier , Alexandre Niveau , Cédric Pralet
International Journal on Artificial Intelligence Tools, 2014, 23 (4), pp.1460015. ⟨10.1142/S021821301460015X⟩
Article dans une revue hal-01303816v1
Image document

Adapting cities to climate change: A systemic modelling approach

V. Masson , Colette Marchadier , Luc Adolphe , Rahim Aguejdad , P. Avner , et al.
Urban Climate, 2014, 10 (2), pp.407-429. ⟨10.1016/j.uclim.2014.03.004⟩
Article dans une revue hal-01136215v1
Image document

Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems

Frédéric Boniol , Michaël Lauer , Claire Pagetti , Jérôme Ermont
5th International Symposium on NASA Formal Methods (NFM 2013), May 2013, Moffett Field, CA, United States. pp. 93-107
Communication dans un congrès hal-01228710v1

Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs

Assalé Adjé , Pierre-Loïc Garoche
Verification, Model Checking, and Abstract Interpretation, 8931, , pp.99-116, 2015, 978-3-662-46081-8. ⟨10.1007/978-3-662-46081-8_6⟩
Chapitre d'ouvrage hal-01369963v1
Image document

Monitoring On-line Timing Information to Support Mixed-Critical Workloads

Angeliki Kritikakou , Olivier Baldellon , Claire Pagetti , Christine Rochange , Matthieu Roy , et al.
IEEE Real-Time Systems Symposium 2013, Dec 2013, Vancouver, Canada. pp.9-10
Communication dans un congrès hal-01015455v1
Image document

Processus décisionnels de Markov possibilités à observabilité mixte

Nicolas Drougard , Florent Teichteil-Konigsbuch , Jean-Loup Farges , Didier Dubois
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2015, vol. 29 (n° 6), pp. 629-653. ⟨10.3166/RIA.29.629-653⟩
Article dans une revue hal-01530407v1
Image document

Planning in Partially Observable Domains with Fuzzy Epistemic States and Probabilistic Dynamics

Nicolas Drougard , Didier Dubois , Jean-Loup Farges , Florent Teichteil-Königsbuch
9th International Conference on Scalable Uncertainty Management (SUM 2015), Sep 2015, Quebec, Canada. pp.220-233, ⟨10.1007/978-3-319-23540-0_15⟩
Communication dans un congrès hal-01303819v1

A multivariate statistical model for multiple images acquired by homogeneous or heterogeneous sensors

Jorge Prendes , Marie Chabert , Frederic Pascal , Alain Giros , Jean-Yves Tourneret
2014 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2014), May 2014, Florence, Italy. ⟨10.1109/ICASSP.2014.6854628⟩
Communication dans un congrès hal-01104184v1
Image document

Predictable composition of memory accesses on many-core processors

Quentin Perret , Pascal Maurère , Éric Noulard , Claire Pagetti , Pascal Sainrat , et al.
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
Communication dans un congrès hal-01256000v1