Filtrer vos résultats
- 41
- 11
- 46
- 3
- 1
- 1
- 1
- 52
- 1
- 1
- 3
- 1
- 2
- 4
- 4
- 2
- 10
- 5
- 5
- 6
- 1
- 3
- 3
- 1
- 50
- 2
- 52
- 11
- 8
- 7
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 52
- 29
- 13
- 11
- 10
- 10
- 10
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 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
52 résultats
|
|
triés par
|
|
An approach for improving Fault-Tolerance in Automotive Modular Embedded Software17th International Conference on Real-Time and Network Systems, Oct 2009, Paris, France. pp.132-147
Communication dans un congrès
inria-00442000v1
|
||
|
Evaluation of a Real-Time Monitoring FrameworkEmbedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
Communication dans un congrès
hal-02269856v1
|
||
|
Run-time Monitoring and Control for Temporal Fault Prevention in Mixed-criticality SystemsEuropean Dependable Computing Conference (EDCC 2021), Intel; Fraunhofer IKS; LAAS, Sep 2021, Munich (virtual), Germany. pp.53-60, ⟨10.1109/EDCC53658.2021.00015⟩
Communication dans un congrès
hal-03275605v1
|
||
|
Distributed Monitoring of Temporal System Properties using Petri Nets31st IEEE International Symposium on Reliable Distributed Systems (SRDS 2012), Oct 2012, Irvine, United States. 10p
Communication dans un congrès
hal-01015494v1
|
||
Self-Checking Widgets for Interactive Cockpits13th European Workshop on Dependable Computing (EWDC 2011), May 2011, Pisa, Italy. pp.34-42, ⟨10.1145/1978582.1978592⟩
Communication dans un congrès
hal-03647164v1
|
|||
|
How Resilient is your computer system?ERTS 2018,9th European Congress Embedded Real Time Software and systems, Jan 2018, Toulouse, France
Communication dans un congrès
hal-01708220v1
|
||
|
Some Challenges in Adaptive Fault Tolerant Computing12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 3 p
Communication dans un congrès
hal-00381925v1
|
||
|
Mixed Critical Automotive Embedded Applications on Multicores: A Safe Scheduling Approach for Dependability5th International Workshop on Critical Automotive Applications: Robustness & Safety, Sep 2019, Naples, Italy
Communication dans un congrès
hal-02303216v1
|
||
Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques17th Pacific Rim International Symposium on Dependable Computing (PRDC 2011), Dec 2011, Pasadena, California, United States. pp.164-173, ⟨10.1109/PRDC.2011.28⟩
Communication dans un congrès
hal-03651208v1
|
|||
|
Application of Early Error Detection for Handling Degraded Modes of Operation12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 3 p
Communication dans un congrès
hal-00381913v1
|
||
|
Experimenting with Component-Based Middleware for Adaptive Fault Tolerant ComputingEuropean Dependable Computing Conference (EDCC 2012), May 2012, Sibiu, Romania. 2p
Communication dans un congrès
hal-00747429v1
|
||
|
Towards a System Architecture for Resilient Computing2011
Autre publication scientifique
hal-00595115v1
|
||
|
Fragmentation of confidential objects for data processing security in distributed systems5th IEEE Workshop on Future Trends in Distributed Computing Systems (FTDCS'95), Aug 1995, Jeju, South Korea. pp.395-403
Communication dans un congrès
hal-04039756v1
|
||
|
Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach4th International Workshop on Software Engineering for Resilient Systems (SERENE 2012), Sep 2012, Pisa, Italy. pp.32-46, ⟨10.1007/978-3-642-33176-3_3⟩
Communication dans un congrès
hal-03647155v1
|
||
|
Partial Updates of AUTOSAR Embedded Applications — To What Extent?11th European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France
Communication dans un congrès
hal-01194832v1
|
||
|
Exécution répartie et temps-réel de réseaux de Petri14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2012, La Grande Motte, France. pp.1-4
Communication dans un congrès
hal-00689991v1
|
||
|
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⟩
Communication dans un congrès
hal-02558604v1
|
||
|
Using Fault Injection to Verify an AUTOSAR Application According to the ISO 26262SAE 2015 World Congress & Exhibition, Apr 2015, Detroit, United States. ⟨10.4271/2015-01-0272⟩
Communication dans un congrès
hal-01221422v1
|
||
|
An Approach for Resilient Systems AnalysisFast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Sep 2016, Trondheim, Norway. 2p
Communication dans un congrès
hal-01370228v1
|
||
|
A Three-fold Approach towards Increased Assurance Levels for Interactive Systems: A Flight Control Unit Case StudyInternational Conference on Human-Computer Interaction in Aeronautics (HCI'Aero 2016), Sep 2016, Paris, France. pp.1-9
Communication dans un congrès
hal-02603674v1
|
||
|
Engineering Adaptive Fault-Tolerance Mechanisms for Resilient Computing on ROSHASE 2016 — IEEE 17th International Symposium on High Assurance Systems Engineering Symposium, Jan 2016, Orlando, FL, United States. pp.94-101, ⟨10.1109/HASE.2016.30⟩
Communication dans un congrès
hal-01288098v1
|
||
|
Analysis of Adaptive Fault Tolerance for Resilient Computing13th European Dependable Computing Conference (EDCC 2017), Sep 2017, Geneva, Switzerland. 9p., ⟨10.1109/EDCC.2017.22⟩
Communication dans un congrès
hal-01708205v1
|
||
|
WOSD 2011 The First International Workshop on Open Systems DependabilityInternational Workshop on Open Systems Dependability (WOSD), organised with DSN 2011, Jun 2011, Hong Kong, China. pp.593 - 594
Communication dans un congrès
hal-01981173v1
|
||
|
Design-Driven Development Methodology for Resilient ComputingCBSE'13: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, Jun 2013, Vancouver, Canada
Communication dans un congrès
hal-00814298v1
|
||
Dealing with Faults During Operations: Beyond Classical Use of Formal MethodsWeyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.549--575, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_20⟩
Chapitre d'ouvrage
hal-03131879v1
|
|||
A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics20th Pacific Rim International Symposium on Dependable Computing (2014), Nov 2014, Singapour, Singapore. pp.21--30, ⟨10.1109/PRDC.2014.11⟩
Communication dans un congrès
hal-03263715v1
|
|||
From Resilient Computing Architectural Concepts to Wireless Sensor Network-based ApplicationsEDCC 2014 - Tenth European Dependable Computing Conference, May 2014, Newcastle upon Tyne, United Kingdom. pp.46 - 49, ⟨10.1109/EDCC.2014.23⟩
Communication dans un congrès
hal-00938389v1
|
|||
|
From Design for Adaptation to Component-Based Resilient ComputingIEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), Nov 2012, Niigata, Japan. 10p
Communication dans un congrès
hal-00747469v1
|
||
|
Out-of-order Evaluation of Timed Petri Nets for Distributed Monitoring2011
Rapport
hal-00643683v1
|
||
|
From Safety Analyses to Experimental Validation of Automotive Embedded SystemsPRDC 2014, Nov 2014, Singapore, Singapore. pp.125-134, ⟨10.1109/PRDC.2014.23⟩
Communication dans un congrès
hal-01265454v1
|
- 1
- 2