Filtrer vos résultats
- 25
- 4
- 17
- 8
- 2
- 1
- 1
- 1
- 26
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 5
- 7
- 7
- 5
- 27
- 2
- 28
- 21
- 5
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
29 résultats
|
|
triés par
|
|
Consistency-Based Reliability AssessmentEuropean 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
|
||
|
Temporal isolation of hard real-time applications on many-core processorsRTAS 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
|
||
|
The landing gear case study: challenges and experimentsInternational 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
|
||
|
Using a SMT solver for risk analysis: detecting logical mistakes in procedural texts[Research Report] IRIT--2014--05, IRIT - Institut de recherche en informatique de Toulouse. 2014
Rapport
hal-02884068v1
|
||
|
Run-time Control to Increase Task Parallelism in Mixed-Critical Systems26th Euromicro Conference on Real-Time Systems (ECRTS14), Jul 2014, Madrid, Spain. 11p
Communication dans un congrès
hal-01015476v1
|
||
|
Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems22nd International Conference on Real-Time Networks and Systems, Oct 2014, Versailles, France. ⟨10.1145/2659787.2659799⟩
Communication dans un congrès
hal-01096102v1
|
||
|
Using inconsistency measures for estimating reliabilityInternational Journal of Approximate Reasoning, 2017, 89, pp.41-57. ⟨10.1016/j.ijar.2016.10.004⟩
Article dans une revue
hal-01407484v1
|
||
|
Structured Possibilistic Planning Using Decision DiagramsConference on Artificial Intelligence - AAAI 2014, Jul 2014, Québec, Canada. pp. 2257-2263
Communication dans un congrès
hal-01136897v1
|
||
|
Multiplexing Adaptive with Classic AUTOSAR? Adaptive Software Control to Increase Resource Utilization in Mixed-Critical SystemsWorkshop CARS 2016 - Critical Automotive applications : Robustness & Safety, Sep 2016, Göteborg, Sweden
Communication dans un congrès
hal-01375576v1
|
||
|
Evaluation of DREAMS resource management solutions on a mixed-critical demonstratorERTS 2018, Jan 2018, Toulouse, France
Communication dans un congrès
hal-01700860v1
|
||
|
A reflexive tactic for polynomial positivity using numerical solvers and floating-point computationsThe 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
|
||
|
Compilation de CSPs : carte de complexité des MDDs non-déterministesNeuviè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
|
||
|
Qualitative Possibilistic Mixed-Observable MDPs29th 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.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
|
|||
|
Automatic Synthesis of Piecewise Linear Quadratic Invariants for ProgramsVerification, 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
|
||
|
Monitoring On-line Timing Information to Support Mixed-Critical WorkloadsIEEE Real-Time Systems Symposium 2013, Dec 2013, Vancouver, Canada. pp.9-10
Communication dans un congrès
hal-01015455v1
|
||
|
Processus décisionnels de Markov possibilités à observabilité mixteRevue 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
|
||
|
Planning in Partially Observable Domains with Fuzzy Epistemic States and Probabilistic Dynamics9th 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 sensors2014 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
|
||
|
Predictable composition of memory accesses on many-core processors8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
Communication dans un congrès
hal-01256000v1
|
||
|
Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems5th 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
|
||
|
Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision DiagramsInternational Journal on Artificial Intelligence Tools, 2014, 23 (4), pp.1460015. ⟨10.1142/S021821301460015X⟩
Article dans une revue
hal-01303816v1
|
||
|
Parameter Estimation For Multivariate Generalized Gaussian DistributionsIEEE Transactions on Signal Processing, 2013, 61 (23), pp.5960-5971. ⟨10.1109/TSP.2013.2282909⟩
Article dans une revue
hal-00879851v1
|
||
|
Adapting cities to climate change: A systemic modelling approachUrban Climate, 2014, 10 (2), pp.407-429. ⟨10.1016/j.uclim.2014.03.004⟩
Article dans une revue
hal-01136215v1
|
||
|
Augmented Lagrangian Preconditioner for Large-Scale Hydrodynamic Stability AnalysisComputer Methods in Applied Mechanics and Engineering, 2019, ⟨10.1016/j.cma.2019.03.052⟩
Article dans une revue
hal-02088738v1
|
||
|
Adopting a model-based approach for satellite operations' diagnosis13ème Conférence Internationale de Modélisation, Optimisation et Simulation (MOSIM 2020), Nov 2020, Agadir, Morocco
Communication dans un congrès
hal-02946817v1
|
||
|
From Design to Implementation: An Automated Credible Autocoding Chain for Control SystemsFé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
|
||
|
Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programsComputer Languages, Systems and Structures, 2015, ⟨10.1016/j.cl.2015.12.002⟩
Article dans une revue
hal-01369946v1
|
||
|
Towards Consistency-Based Reliability Assessment14th 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
|