8820 results  save search


...
hal-00851779v1  Conference papers
Ossama HamoudaMohamed KaânicheKarama Kanoun. Safety modeling and evaluation of Automated Highway Systems
The IEEE/IFIP International Conference on Dependable Systems & Networks (DSN '09), Jun 2009, Lisbonne, Portugal. pp.73 - 82, ⟨10.1109/DSN.2009.5270352⟩
...
hal-00851866v1  Conference papers
Géraldine Vache MarconatoVincent NicometteMohamed Kaâniche. Security-related vulnerability life cycle analysis
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⟩
...
hal-01701572v1  Journal articles
Ruben LealJose AguilarLouise Travé-MassuyèsEdgar CamargoAddison Ríos. A Genetic Algorithm Approach for Diagnosability Analysis
International Journal of Engineering Development and Research, 2014, 2 (4), pp.3786-3799
...
hal-01851729v1  Reports
Dimitri PeaucelleJanan ZaytoonAscension de Sousa. 20th IFAC World Congress - Post Congress Report
[Research Report] Rapport LAAS n° 18242, LAAS-CNRS. 2018
...
hal-00851758v1  Conference papers
Karama KanounMohamed KaânicheJean-Claude Laprie. Experience in Software Reliability: From Data Collection to Quantitative Evaluation
Fourth International Symposium on Software Reliability Engineering (ISSRE-1993), Nov 1993, Denver, United States. pp.234-245
hal-00851764v1  Journal articles
Mohamed KaânicheKarama KanounSylvain Metge. Analyse des défaillances et suivi de la validation du logiciel d'un équipement de télécommunication
Annals of Telecommunications - annales des télécommunications, Springer, 1990, 45 (11-12), pp.657-670
...
hal-00851765v1  Conference papers
Nicolae FotaMohamed KaânicheKarama KanounAlain Peytavin. Safety Analysis and Evaluation of an Air Traffic Control Computing System
The 15th International Conference on Computer Safety, Reliability and Security (SAFECOMP-1996), Oct 1996, Vienne, Austria. pp.219-229
...
hal-01401300v1  Conference papers
Antoine ToueirJulien BroisinMichelle Sibilla. Goal-Oriented Monitoring Adaptation: Methodology and Patterns
8th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2014, Brno, Czech Republic. pp.133-146, ⟨10.1007/978-3-662-43862-6_17⟩
hal-00851871v1  Conference papers
Jean-Claude LaprieChristian BeounesMohamed KaânicheKarama Kanoun. The transformation approach to the modeling and evaluation of the reliability and availability growth
The 20th International Symposium on Fault-Tolerant Computing (FTCS-20), Jun 1990, Newcastle Upon Tyne, United Kingdom. pp.364 - 371, ⟨10.1109/FTCS.1990.89390⟩
hal-01501681v1  Conference papers
Ulle EndrissUmberto GrandiRonald de HaanJérôme Lang. Succinctness of Languages for Judgment Aggregation
15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16), Apr 2016, Cape Town, South Africa. pp.176-186
...
hal-01301308v1  Conference papers
Alain BerroImen Megdiche-BousarsarOlivier Teste. Intégration Holistique des Graphes basée sur la Programmation Linéaire pour l'Entreposage des Open Data
11èmes journées francophones sur les Entrepôts de Données et l’Analyse en Ligne (EDA 2015), Apr 2015, Bruxelles, Belgique. pp.113-128
...
hal-02051994v1  Reports
Yann Argotti. Activity Report: PhD 1st Year
LAAS / CNRS; Renault Software Labs. 2019
...
hal-01053642v1  Conference papers
Rachid Alami. On human models for collaborative robots
2013 International Conference on Collaboration Technologies and Systems (CTS, May 2013, San Diego, United States
...
hal-00601300v1  Conference papers
Léo BaudouinNicolas PerrinThomas MoulardFlorent LamirauxOlivier Stasse et al.  Real-time Replanning Using 3D Environment for Humanoid Robot
IEEE-RAS International Conference on Humanoid Robots (HUMANOIDS 2011), Oct 2011, Bled, Slovenia. p.584-589
...
hal-01851551v1  Conference papers
Mickaël DuvalJean-Charles PassieuxMichel SalaünStéphane Guinard. Local/global non-intrusive parallel coupling for large scale mechanical analysis
11th World Congress on Computational Mechanics - 5th European Conference on Computational Mechanics. IACM-ECCOMAS, Jul 2014, Barcelone, Spain. pp.0
...
hal-01701560v1  Reports
Nathalie Andrea Barbosa Roa. Comparison of spatial indexes
[Research Report] Rapport LAAS n° 16631, LAAS-CNRS. 2016, 13p
...
hal-01150335v1  Conference papers
Victor VergnieuxMarc MacéChristophe Jouffrais. Wayfinding with Simulated Prosthetic Vision: Performance comparison with regular and structure-enhanced renderings
IEEE Engineering in Medicine and Biology Society Conference - EMBC 2014, Aug 2014, Chicago, United States. pp. 2585-2588
...
hal-01150336v1  Conference papers
Violaine VillebonnetGeorges da Costa. Thermal-aware cloud middleware to reduce cooling needs
IEEE International Conference on Collaboration Technologies and Infrastructures - WETICE 2014, Jun 2014, Parma, Italy. pp. 115-120
...
hal-01650251v1  Conference papers
Mathieu MoreyPhilippe MullerNicholas Asher. How much progress have we made on RST discourse parsing? A replication study of recent results on the RST-DT
Conference on Empirical Methods on Natural Language Processing (EMNLP 2017), Sep 2017, Copenhagen, Denmark. pp. 1330-1335
...
hal-01650254v1  Conference papers
Kurt EnglmeierJohn AtkinsonJosiane MotheFionn MurtaghJavier Pereira. A Context Description Language for Medical Information Systems
4th International Conference on Mobile, Ubiquitous, and Intelligent Computing (MUSIC 2013), Sep 2013, Gwangju, South Korea. pp. 421-432
hal-00800731v1  Conference papers
J. LangBruno EscoffierMeltem Öztürk. Single-Peaked consistency and its complexity
18th European Conference on Artificial Intelligence(ECAI'08), 2008, Greece. pp.366-370
hal-00800743v1  Conference papers
H. FargierPierre Marquis. Extending the Knowledge Compilation Map: Closure Principles
18th European Conference on Artificial Intelligence(ECAI'08), 2008, Greece. pp.50-54
...
hal-01150341v1  Conference papers
Zhibin YangJean-Paul BodeveixMamoun Filali. Multi-core Code Generation from Polychronous Programs with Time-Predictable Properties
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Workshop on Architecture Centric Virtual Integration - MODELS 2014, Sep 2014, Valencia, Spain. pp. 1-10