Search - LAAS-Informatique Critique Access content directly

Filter your results

245 Results
Deposit type : Fulltext
Image document

End-to-end latency and temporal consistency analysis in networked real-time systems

Michaël Lauer , Frédéric Boniol , Claire Pagetti , Jérôme Ermont
International Journal of Critical Computer-Based Systems, 2014, vol. 5 (n° 3/4), pp. 172-196. ⟨10.1504/IJCCBS.2014.064667⟩
Journal articles hal-01154189v1
Image document

Étude et évaluation des politiques d'ordonnancement temps réel multiprocesseur

Maxime Chéramy
Systèmes embarqués. Institut National des Sciences Appliquées de Toulouse (INSA Toulouse), 2014. Français. ⟨NNT : ⟩
Theses tel-01104953v1
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
Conference papers hal-01015476v1
Image document

Security-related vulnerability life cycle analysis

Géraldine Vache Marconato , Vincent Nicomette , Mohamed Kaâniche
7th 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
Image document

Abyme : un voyage au coeur des hyperviseurs récursifs

Benoît Morgan , Eric Alata , Vincent Nicomette , Guillaume Averlant
Symposium sur la Sécurité des Technologies de l'Information et des Communications (SSTIC), Jun 2015, Rennes, France. 29p
Conference papers hal-01322880v1
Image document

A Diversity-Based Approach for Communication Integrity in Critical Embedded Systems

Amira Zammali , Agnan de Bonneval , Yves Crouzet
2015 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
Image document

Experience with a Model-based Safety Analysis Process for Autonomous Service Robot

Damien Martin-Guillerez , Jérémie Guiochet , David Powell
7th International Workshop on Technical Challenges for Dependable Robots in Human Environments (DRHE), Jun 2010, Toulouse, France
Conference papers hal-01285189v1
Image document

Experience with Model-Based User-Centered Risk Assessment for Service Robots

Jérémie Guiochet , Damien Martin-Guillerez , David Powell
International High Assurance Systems Engineering Symposium (HASE), Nov 2010, San Jose, United States. 10p., ⟨10.1109/HASE.2010.10⟩
Conference papers hal-01285192v1
Image document

A UML-based method for risk analysis of human-robot interactions

Damien Martin-Guillerez , Jérémie Guiochet , David Powell , Christophe Zanon
2nd 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
Image document

Architecture sécurisée pour les systèmes d'information des avions du futur

Maxime Lastera
Systèmes embarqués. INSA de Toulouse, 2012. Français. ⟨NNT : ⟩
Theses tel-00938782v1
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⟩
Conference papers hal-01096102v1
Image document

Towards privacy-driven design of a dynamic carpooling system

Jesús Friginal , Sébastien Gambs , Jérémie Guiochet , Marc-Olivier Killijian
Pervasive and Mobile Computing, 2014, 14, pp.71-82. ⟨10.1016/j.pmcj.2014.05.009⟩
Journal articles hal-01242263v1
Image document

A Formal Framework to Specify and Verify Real Time Properties on Critical Systems

Didier Le Botlan , Silvano Dal Zilio , Nouha Abid
International Journal of Critical Computer-Based Systems, 2014, 5 (1/2), pp 4-30. ⟨10.1504/IJCCBS.2014.059593⟩
Journal articles hal-00941248v1
Image document

Predicting Users' Motivations behind Location Check-Ins and Utility Implications of Privacy Protection Mechanisms

Igor Bilogrevic , Kévin Huguenin , Stefan Mihaila , Reza Shokri , Jean-Pierre Hubaux
22nd Network and Distributed System Security Symposium (NDSS), Feb 2015, San Diego, CA, United States. ⟨10.14722/ndss.2015.23032⟩
Conference papers hal-01076554v1
Image document

Distributed Monitoring of Temporal System Properties using Petri Nets

Olivier Baldellon , Jean-Charles Fabre , Matthieu Roy
31st IEEE International Symposium on Reliable Distributed Systems (SRDS 2012), Oct 2012, Irvine, United States. 10p
Conference papers hal-01015494v1
Image document

Optimal Design of Virtual Links in AFDX Networks

Ahmad Al Sheikh , Olivier Brun , Maxime Chéramy , Pierre-Emmanuel Hladik
Real-Time Systems, 2013, 49 (3), 31p. ⟨10.1007/s11241-012-9171-z⟩
Journal articles hal-00665755v2
Image document

GraphSeq Revisited: More Efficient Search for Patterns in Mobility Traces

Pierre André , Nicolas Rivière , Hélène Waeselynck
14th European Workshop on Dependable Computing, May 2013, Coimbra, Portugal. pp.88 - 95, ⟨10.1007/978-3-642-38789-0_8⟩
Conference papers hal-01075125v1
Image document

Information model for model driven safety requirements management of complex systems

Romaric Guillerm , Hamid Demmou , Nabil Sadou
Complex Systems Design & Management (CSDM) 2010, Oct 2010, Paris, France. pp.99-111, ⟨10.1007/978-3-642-15654-0⟩
Conference papers hal-00766209v1
Image document

Analyse de sécurité des box ADSL

Yann Bachy , Vincent Nicomette , Eric Alata , Yves Deswarte , Mohamed Kaâniche , et al.
Symposium sur la sécurité des technologies de l’information et des communications, Jun 2014, Rennes, France
Conference papers hal-01178496v1
Image document

An Automated Approach to Generate Web Applications Attack Scenarios

Eric Alata , Mohamed Kaâniche , Vincent Nicomette , Rim Akrout
The 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
Image document

Impact of Operational Reliability Re-assessment during Aircraft Missions

Kossi Tiassou , Karama Kanoun , Mohamed Kaâniche , Christel Seguin , Chris Papadopoulos
The 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
Image document

Analyse de vulnérabilités de systèmes avioniques embarqués : classification et expérimentation

Anthony Dessiatnikoff
Systèmes embarqués. INSA de Toulouse, 2014. Français. ⟨NNT : 2014ISAT0022⟩
Theses tel-01077930v1
Image document

The Opinion Number of Set-Agreement

Pierre Fraigniaud , Sergio Rajsbaum , Matthieu Roy , Corentin Travers
OPODIS 2014 - 18th International Conference on Principles of Distributed Systems, Dec 2014, Cortina d’Ampezzo, Italy. pp.155-170
Conference papers hal-01073578v1
Image document

From safety analysis to experimental validation by fault injection - Case of automotive embedded systems

Ludovic Pintard
Embedded Systems. INP Toulouse, 2015. English. ⟨NNT : ⟩
Theses tel-01216586v1
Image document

Collaborative Requirements Elicitation: A Process-Centred Approach

Jacqueline Konaté , Abd-El-Kader Sahraoui , Gwendolyn L. Kolfschoten
Group Decision and Negotiation, 2014, 23 (4), pp.847 - 877. ⟨10.1007/s10726-013-9350-x⟩
Journal articles hal-01115537v1
Image document

Intégration de la Sûreté de Fonctionnement dans les Processus d'Ingénierie Système

Romaric Guillerm
Systèmes embarqués. Université de Toulouse, 2011. Français. ⟨NNT : ⟩
Theses tel-00766124v1
Image document

évaluation quantitative de la sécurité. Approche basée sur les vulnérabilités

Géraldine Vache Marconato , Vincent Nicomette , Mohamed Kaâniche
Revue 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
Image document

An Experiment on Parallel Model Checking of a CTL Fragment

Rodrigo Tacla Saad , Silvano Dal Zilio , Bernard Berthomieu
10th 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
Image document

AZO electrodes deposited by atomic layer deposition for OLED fabrication

Benoit Dugrenil , Isabelle Séguy , H. y Lee , Thierry Camps , Y.-C. Lin , et al.
SPIE Photonics Europe, Apr 2014, Brussels, Belgium. pp.91371D
Conference papers hal-01993226v1
Image document

Fiabilité de mission d’un avion. évaluation stochastique en opération

Kossi Tiassou , Karama Kanoun , Mohamed Kaâniche , Christel Seguin , Chris Papadopoulos
Revue 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