Filter your results
- 245
- 46
- 1
- 156
- 30
- 28
- 14
- 4
- 3
- 3
- 3
- 2
- 1
- 1
- 6
- 224
- 24
- 3
- 2
- 1
- 1
- 20
- 52
- 61
- 44
- 43
- 22
- 23
- 189
- 56
- 243
- 13
- 11
- 9
- 9
- 8
- 7
- 7
- 6
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 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
- 42
- 38
- 26
- 26
- 24
- 24
- 20
- 20
- 18
- 16
- 14
- 13
- 11
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
|
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
|
||
|
Étude et évaluation des politiques d'ordonnancement temps réel multiprocesseurSystèmes embarqués. Institut National des Sciences Appliquées de Toulouse (INSA Toulouse), 2014. Français. ⟨NNT : ⟩
Theses
tel-01104953v1
|
||
|
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
|
||
|
Security-related vulnerability life cycle analysis7th International Conference on Risk and Security of Internet and Systems (CRiSIS-2012), Oct 2012, Cork, Ireland. pp.1-8, ⟨10.1109/CRISIS.2012.6378954⟩
Conference papers
hal-00851866v1
|
||
|
Abyme : un voyage au coeur des hyperviseurs récursifsSymposium sur la Sécurité des Technologies de l'Information et des Communications (SSTIC), Jun 2015, Rennes, France. 29p
Conference papers
hal-01322880v1
|
||
|
A Diversity-Based Approach for Communication Integrity in Critical Embedded Systems2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, United States. pp.215-222, ⟨10.1109/HASE.2015.39⟩
Conference papers
hal-01780202v1
|
||
|
Experience with a Model-based Safety Analysis Process for Autonomous Service Robot7th International Workshop on Technical Challenges for Dependable Robots in Human Environments (DRHE), Jun 2010, Toulouse, France
Conference papers
hal-01285189v1
|
||
|
Experience with Model-Based User-Centered Risk Assessment for Service RobotsInternational High Assurance Systems Engineering Symposium (HASE), Nov 2010, San Jose, United States. 10p., ⟨10.1109/HASE.2010.10⟩
Conference papers
hal-01285192v1
|
||
|
A UML-based method for risk analysis of human-robot interactions2nd International Workshop on Software Engineering for Resilient Systems (SERENE), Apr 2010, London, United Kingdom. pp. 32-41, ⟨10.1145/2401736.2401740⟩
Conference papers
hal-01285195v1
|
||
|
Architecture sécurisée pour les systèmes d'information des avions du futurSystèmes embarqués. INSA de Toulouse, 2012. Français. ⟨NNT : ⟩
Theses
tel-00938782v1
|
||
|
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
|
||
|
Towards privacy-driven design of a dynamic carpooling systemPervasive and Mobile Computing, 2014, 14, pp.71-82. ⟨10.1016/j.pmcj.2014.05.009⟩
Journal articles
hal-01242263v1
|
||
|
A Formal Framework to Specify and Verify Real Time Properties on Critical SystemsInternational Journal of Critical Computer-Based Systems, 2014, 5 (1/2), pp 4-30. ⟨10.1504/IJCCBS.2014.059593⟩
Journal articles
hal-00941248v1
|
||
|
Predicting Users' Motivations behind Location Check-Ins and Utility Implications of Privacy Protection Mechanisms22nd Network and Distributed System Security Symposium (NDSS), Feb 2015, San Diego, CA, United States. ⟨10.14722/ndss.2015.23032⟩
Conference papers
hal-01076554v1
|
||
|
Distributed Monitoring of Temporal System Properties using Petri Nets31st IEEE International Symposium on Reliable Distributed Systems (SRDS 2012), Oct 2012, Irvine, United States. 10p
Conference papers
hal-01015494v1
|
||
|
Optimal Design of Virtual Links in AFDX NetworksReal-Time Systems, 2013, 49 (3), 31p. ⟨10.1007/s11241-012-9171-z⟩
Journal articles
hal-00665755v2
|
||
|
GraphSeq Revisited: More Efficient Search for Patterns in Mobility Traces14th European Workshop on Dependable Computing, May 2013, Coimbra, Portugal. pp.88 - 95, ⟨10.1007/978-3-642-38789-0_8⟩
Conference papers
hal-01075125v1
|
||
|
Information model for model driven safety requirements management of complex systemsComplex Systems Design & Management (CSDM) 2010, Oct 2010, Paris, France. pp.99-111, ⟨10.1007/978-3-642-15654-0⟩
Conference papers
hal-00766209v1
|
||
|
Analyse de sécurité des box ADSLSymposium sur la sécurité des technologies de l’information et des communications, Jun 2014, Rennes, France
Conference papers
hal-01178496v1
|
||
|
An Automated Approach to Generate Web Applications Attack ScenariosThe 6th Latin-American Symposium on Dependable Computing (LADC-2013), Apr 2013, Rio de Janeiro, Brazil. pp.78-85, ⟨10.1109/LADC.2013.22⟩
Conference papers
hal-01176046v1
|
||
|
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
|
||
|
Analyse de vulnérabilités de systèmes avioniques embarqués : classification et expérimentationSystèmes embarqués. INSA de Toulouse, 2014. Français. ⟨NNT : 2014ISAT0022⟩
Theses
tel-01077930v1
|
||
|
The Opinion Number of Set-AgreementOPODIS 2014 - 18th International Conference on Principles of Distributed Systems, Dec 2014, Cortina d’Ampezzo, Italy. pp.155-170
Conference papers
hal-01073578v1
|
||
|
From safety analysis to experimental validation by fault injection - Case of automotive embedded systemsEmbedded Systems. INP Toulouse, 2015. English. ⟨NNT : ⟩
Theses
tel-01216586v1
|
||
|
Collaborative Requirements Elicitation: A Process-Centred ApproachGroup Decision and Negotiation, 2014, 23 (4), pp.847 - 877. ⟨10.1007/s10726-013-9350-x⟩
Journal articles
hal-01115537v1
|
||
|
Intégration de la Sûreté de Fonctionnement dans les Processus d'Ingénierie SystèmeSystèmes embarqués. Université de Toulouse, 2011. Français. ⟨NNT : ⟩
Theses
tel-00766124v1
|
||
|
évaluation quantitative de la sécurité. Approche basée sur les vulnérabilitésRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2013, 32 (1), pp.41-75. ⟨10.3166/tsi.32.41-75⟩
Journal articles
hal-01212202v1
|
||
|
An Experiment on Parallel Model Checking of a CTL Fragment10th International Symposium, ATVA 2012, Automated Technology for Verification and Analysis, Oct 2012, Thiruvananthapuram, India. pp.284-299, ⟨10.1007/978-3-642-33386-6_23⟩
Conference papers
hal-00782354v1
|
||
|
AZO electrodes deposited by atomic layer deposition for OLED fabricationSPIE Photonics Europe, Apr 2014, Brussels, Belgium. pp.91371D
Conference papers
hal-01993226v1
|
||
|
Fiabilité de mission d’un avion. évaluation stochastique en opérationRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2014, 33 (9-10), pp.777 - 807. ⟨10.3166/tsi.33.777-807⟩
Journal articles
hal-01930324v1
|