Filter your results
- 23
- 1
- 19
- 4
- 1
- 22
- 2
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 2
- 3
- 2
- 3
- 2
- 3
- 22
- 2
- 24
- 10
- 10
- 9
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 7
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
|
|
sorted by
|
|
End-to-end latency and temporal consistency analysis in networked real-time systemsInternational Journal of Critical Computer-Based Systems, 2014, vol. 5 (n° 3/4), pp. 172-196. ⟨10.1504/IJCCBS.2014.064667⟩
Journal articles
hal-01154189v1
|
||
|
Run-time Control to Increase Task Parallelism in Mixed-Critical Systems26th Euromicro Conference on Real-Time Systems (ECRTS14), Jul 2014, Madrid, Spain. 11p
Conference papers
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⟩
Conference papers
hal-01096102v1
|
||
|
Impact of Operational Reliability Re-assessment during Aircraft MissionsThe 31st IEEE Symposium on Reliable Distributed Systems (SRDS 2012), Oct 2012, Irvine, CA, United States. pp.219-224, ⟨10.1109/SRDS.2012.37⟩
Conference papers
hal-01176048v1
|
||
|
Evaluation of Runtime Monitoring for UAV Emergency LandingInternational Conference on Robotics and Automation (ICRA), May 2022, Philadelphia, United States
Conference papers
hal-03600856v1
|
||
Test Languages for In-the-Loop Avionics TestsJournal of Aerospace Information Systems, 2015, 12 (4), pp.374-391. ⟨10.2514/1.I010151⟩
Journal articles
hal-01953487v1
|
|||
|
Out-Of-Distribution Detection Is Not All You NeedThe 37th AAAI conference on artificial intelligence (2023), Feb 2023, Washington DC, United States
Conference papers
hal-03870531v2
|
||
|
The ARUM Experimentation Platform : an Open Tool to evaluate Mobile Systems ApplicationsAMiRE 2011: 6th International Symposium on Autonomous Minirobots for Research and Edutainment, May 2011, Bielefeld, Germany. pp.1
Conference papers
hal-00667832v1
|
||
|
Modeling Aircrafts Operational ReliabilityInternational Conference on Computer Safety, Reliability ans Security (SAFECOMP 2011), Sep 2011, Naples, Italy. pp.157-170
Conference papers
hal-01176051v1
|
||
|
Unifying Evaluation of Machine Learning Safety Monitors33rd IEEE International Symposium on Software Reliability Engineering (ISSRE 2022), Oct 2022, Charlotte, United States. ⟨10.1109/ISSRE55969.2022.00047⟩
Conference papers
hal-03765273v1
|
||
|
Skill-based design of dependable robotic architecturesRobotics and Autonomous Systems, 2022, 160, pp.104318. ⟨10.1016/j.robot.2022.104318⟩
Journal articles
hal-03927289v1
|
||
|
Show Me New Counterexamples: A Path-Based Approach8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015), Apr 2015, Graz, Austria. ⟨10.1109/ICST.2015.7102606⟩
Conference papers
hal-01953299v1
|
||
|
Certifying Emergency Landing for Safe Urban UAV7th International Workshop on Safety and Security of Intelligent Vehicles (SSIV 2021) at IEEE/IFIP Intern. Conf. on Dependable Systems and Networks (DSN), Jun 2021, Taipei (virtual), Taiwan. ⟨10.1109/DSN-W52860.2021.00020⟩
Conference papers
hal-03213534v1
|
||
|
Impact de l'évaluation de la fiabilité opérationnelle pendant la mission d'un avionCongrès de Maîtrise des Risques et de sûreté de Fonctionnement (Lamda Mu 17), Oct 2012, Tours, France. 9 p
Conference papers
hal-00761050v1
|
||
|
Modèles et politiques de sécurité des systèmes d'information et de communication en santé et en social1ère Conférence Francophone en Gestion et Ingénierie des Systèmes Hospitaliers (GISEH'2003), Jan 2003, Lyon, France
Conference papers
hal-04006701v1
|
||
|
ORBAC : un modèle de contrôle d'accès basé sur les organisationsCahiers francophones de la recherche en sécurité de l'information, 2003, 2, pp.30--40
Journal articles
hal-04003606v1
|
||
|
Monitoring On-line Timing Information to Support Mixed-Critical WorkloadsIEEE Real-Time Systems Symposium 2013, Dec 2013, Vancouver, Canada. pp.9-10
Conference papers
hal-01015455v1
|
||
|
Online model adaptation for aircraft operational reliability assessment6th International Congress, Embedded Real Time Software and Systems (ERTS2 2012), Feb 2012, Toulouse, France. pp.1-11
Conference papers
hal-00761040v1
|
||
|
Organization based access control4th International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), IEEE, Jun 2003, Lake Como, Italy. pp.120--131, ⟨10.1109/POLICY.2003.1206966⟩
Conference papers
hal-04003608v1
|
||
|
A hierarchical fault tolerant architecture for an autonomous robot6th 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. ⟨10.1109/DSN-W50199.2020.00031⟩
Conference papers
hal-02558604v1
|
||
|
STELAE - A Model-Driven Test Development Environment for Avionics SystemsIEEE ISORC 2013, Jun 2013, PADEBORN, Germany. 8p
Conference papers
hal-01057937v1
|
||
|
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
Conference papers
hal-01375576v1
|
||
|
A skill fault model for autonomous systems4th International Workshop on Robotics Software Engineering (RoSE’22), Co-located with ICSE 2022, May 2022, Pittsburg (virtual), United States. ⟨10.1145/3526071.3527513⟩
Conference papers
hal-03609377v2
|
||
|
ERTS 2022 proceedings2022
Proceedings
hal-03704287v1
|