Search - LAAS-Informatique Critique Access content directly

Filter your results

118 Results
Deposit type : Fulltext
Image document

Conception et réalisation d'une architecture tolérant les intrusions pour des serveurs internet

Ayda Saidane
Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2005. Français. ⟨NNT : ⟩
Theses tel-00009600v1
Image document

Tolérance aux fautes dans les systèmes répartis à base d'intergiciels réflexifs standards

Taha Bennani
Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2005. Français. ⟨NNT : ⟩
Theses tel-00009746v1
Image document

Caractérisation de systèmes d'exploitation en présence de pilotes défaillants

Arnaud Albinet
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2005. Français. ⟨NNT : ⟩
Theses tel-00010056v1
Image document

Software dependability modeling using an industry-standard architecture description language

Ana-Elena Rugina , Peter H. Feiler , Karama Kanoun , Mohamed Kaâniche
4th European Congress ERTS Embedded Real Time Software, Jan 2008, Toulouse, France
Conference papers hal-00323983v1
Image document

Using OWA Operators for Gene Sequential Pattern Clustering

Jordi Nin , Paola Salle , Sandra Bringay , Maguelonne Teisseire
CBMS: Computer-Based Medical Systems, Aug 2009, Albuquerque, NM, United States. ⟨10.1109/CBMS.2009.5255363⟩
Conference papers lirmm-00395145v1
Image document

Benchmarking the Dependability of Windows and Linux using PostMark ™ Workloads *

Karama Kanoun , Yves Crouzet , Ali Kalakech , Ana-Elena Rugina , Philippe Rumeau
16th IEEE International Symposium on Software Reliability Engineering, ISSRE 2005, Nov 2005, Chicago, United States. pp.11-20
Conference papers hal-01962754v1
Image document

Towards a Formal Verification of Process Model's Properties - SimplePDL and TOCL Case Study

Benoit Combemale , Pierre-Loïc Garoche , Xavier Crégut , Xavier Thirioux , François Vernadat
9th International Conference on Enterprise Information Systems, Jun 2007, Funchal, Madeira, Portugal. pp.80-89
Conference papers hal-00160807v1
Image document

Independent Safety Systems for Autonomy : State of the Art and Future Directions

Étienne Baudin , Jean-Paul Blanquart , Jérémie Guiochet , David Powell
[Research Report] 07710, LAAS-CNRS. 2007
Reports hal-01292675v1
Image document

Evaluation de la validité de la simulation dans le cadre du développement des systèmes embarqués

Vincent Albert
Informatique [cs]. Université Paul Sabatier - Toulouse III, 2009. Français. ⟨NNT : ⟩
Theses tel-00442449v1
Image document

Architectures innovantes de systèmes de commandes de vol

Manel Sghairi Haouati
Informatique [cs]. Institut National Polytechnique de Toulouse - INPT, 2010. Français. ⟨NNT : ⟩
Theses tel-00509156v1
Image document

Sauvegarde coopérative de données pour dispositifs mobiles

Ludovic Courtès
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2007. Français. ⟨NNT : ⟩
Theses tel-00196822v1
Image document

Sécurité des noyaux de systèmes d'exploitation

Eric Lacombe
Informatique [cs]. INSA de Toulouse, 2009. Français. ⟨NNT : ⟩
Theses tel-00462534v1
Image document

Data Backup for Mobile Nodes : a Cooperative Middleware and Experimentation Platform

Marc-Olivier Killijian , Matthieu Roy , Gaétan Séverac , Christophe Zanon
2009
Preprints, Working Papers, ... hal-00385203v1
Image document

Application of Early Error Detection for Handling Degraded Modes of Operation

Thomas Robert , Jean-Charles Fabre , Matthieu Roy
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 3 p
Conference papers hal-00381913v1
Image document

System engineering approach for safety management of complex systems

Romaric Guillerm , Hamid Demmou , Nabil Sadou
The 2009 European Simulation and Modelling Conference, Oct 2009, Leicester, United Kingdom. pp.150-157
Conference papers hal-00766139v1
Image document

Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel : retour d'expérience sur la chaîne de vérification formelle Fiacre

Bernard Berthomieu , Jean-Paul Bodeveix , Silvano Dal Zilio , M Filali , Marc Pantel , et al.
IDM 2010 : journées sur l'Ingénierie Dirigée par les Modèles, Mar 2010, Pau, France
Conference papers hal-00492327v1
Image document

Modeling the resilience of large and evolving systems

Mohamed Kaâniche , Paolo Lollini , Andrea Bondavalli , Karama Kanoun
International Journal of Performability Engineering, 2008, 4 (2), pp.153-168
Journal articles hal-00756957v1
Image document

Présentation des résultats du projet OpenEmbeDD

Charles André , Mariano Belaunde , Bernard Berthomieu , Christian Brunette , Agusti Canals , et al.
Neptune, May 2009, Paris, France
Conference papers inria-00381639v1
Image document

Sûreté de Fonctionnement du Logiciel

Jean-Claude Laprie , Karama Kanoun
La Revue de l'électricité et de l'électronique, 2005, 11, pp.37-41
Journal articles hal-01978498v1
Image document

BASE DE CONNAISSANCES SYSML POUR LA CONCEPTION DE SYSTEMES COMPLEXES SURS DE FONCTIONNEMENT

Romaric Guillerm , Hamid Demmou , Nabil Sadou
Lambda Mu 17 - Innovation et Maîtrise des risques, Oct 2010, La Rochelle, France. pp.173
Conference papers hal-00766204v1
Image document

Sauvegarde coopérative pour dispositifs mobiles

Ludovic Courtès
2006
Other publications hal-00139405v1
Image document

Conception et mise en oeuvre d'une plate-forme pour la sûreté de fonctionnement des services Web

Nicolas Salatge
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2006. Français. ⟨NNT : ⟩
Theses tel-00135748v1
Image document

Defining categories to select representative attack test-cases

Mohammed Gad El Rab , Anas Abou El Kalam , Yves Deswarte
2007
Other publications hal-00168602v2
Image document

Evaluation des systèmes de détection d'intrusion

Mohammed Gad El Rab
Networking and Internet Architecture [cs.NI]. Université Paul Sabatier - Toulouse III, 2008. English. ⟨NNT : ⟩
Theses tel-00366690v1
Image document

Surveillance en ligne de la sécurité basée sur les modes de sécurité

Jérémie Guiochet , David Powell , Étienne Baudin , Jean-Paul Blanquart
Lambda mu 16 - 16e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Oct 2008, Avignon, France. pp.1-7
Conference papers hal-00282460v1
Image document

Safety modeling and evaluation of Automated Highway Systems

Ossama Hamouda , Mohamed Kaâniche , Karama Kanoun
The IEEE/IFIP International Conference on Dependable Systems & Networks (DSN '09), Jun 2009, Lisbonne, Portugal. pp.73 - 82, ⟨10.1109/DSN.2009.5270352⟩
Conference papers hal-00851779v1
Image document

A Platform for Experimenting with Mobile Algorithms in a Laboratory

Marc-Olivier Killijian , Matthieu Roy
Principles Of Distributed Computing, Aug 2009, Calgary, Canada. pp.Brief announcements session
Conference papers hal-00394002v1
Image document

Sécurités (immunité et innocuité) des architectures ouvertes à niveaux de criticité multiples : application en avionique

Youssef Laarouchi
Informatique [cs]. INSA de Toulouse, 2009. Français. ⟨NNT : ⟩
Theses tel-00468923v1
Image document

Core Disciplines for Unifying Engineering Education Revisiting with a focus on Modelling and Simulation

Abd-El-Kader Sahraoui
IEEE Multidisciplinary Engineering Education Magazine, 2010, 5 (3), pp.24-27
Journal articles hal-01704853v1
Image document

Sécurité des systèmes de la robotique médicale

Jérémie Guiochet , Gilles Motet , Bertrand Tondu , Claude Baron
Techniques de l'Ingenieur, 2007, Sécurité et gestion des risques, SE2
Journal articles hal-01292664v1