Skip to Main content
Skip to Navigation
Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Journals
Documentation
Sciencesconf.org
Support
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
LAAS-RISC : Trustworthy Computing Systems and Networks
Homepage
LAAS-RISC Presentation
Browse
Documents list
List by authors
List by years
List by subjects
List by document types
List by collections
Search
Publishers copyright policies
Copyright FAQ
SHERPA/RoMEO
Héloïse
Submit
Links
LAAS-RISC
LAAS
HAL-LAAS
Homepage
Last submissions
Mohammed Foughali, Pierre-Emmanuel Hladik. Bridging the Gap between Formal Verification and Schedulability Analysis: The Case of Robotics. Journal of Systems Architecture, Elsevier, 2020, 111, pp.101817. ⟨10.1016/j.sysarc.2020.101817⟩. ⟨hal-02864928v3⟩
Rémi Adelin, Eric Alata, Vincent Migliore, Vincent Nicomette. A user privacy-centric access control policy of data for intelligent transportation systems. Embedded Real Time Systems (ERTS), Jan 2020, Toulouse, France. ⟨hal-03139783⟩
Rémi Adelin, Eric Alata, Vincent Migliore, Vincent Nicomette. Une politique de contrôle d'accès à grains fins aux données pour les systèmes de transport intelligents. Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI), May 2019, Erquy, France. ⟨hal-03139756⟩
Yuxiao Mao, Vincent Migliore, Vincent Nicomette. Reconfigurable Hardware for Microarchitectural Timing Attacks Detection. Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI 2020), Dec 2020, online, France. ⟨hal-03138649⟩
Ghada Jaber, Rahim Kacimi, Thierry Gayraud. Reactive and proactive strategies for content update in content-centric and multi-users WSNs. 13th International Wireless Communications and Mobile Computing Conference (IWCMC 2017), Jun 2017, Valencia, Spain. pp.1980-1985, ⟨10.1109/IWCMC.2017.7986587⟩. ⟨hal-03131867⟩
Pierre-François Gimenez, Jonathan Roux, Eric Alata, Guillaume Auriol, Mohamed Kaâniche, et al.. RIDS: Radio intrusion detection and diagnosis system for wireless communications in smart environment. ACM Transactions on Cyber-Physical Systems, ACM, In press. ⟨hal-03123925⟩
João Sá Sousa, Cédric Lefebvre, Zhicong Huang, Jean Louis Raisaro, Carlos Aguilar Melchor, et al.. Efficient and secure outsourcing of genomic data storage. BMC Medical Genomics, BioMed Central, 2017, 10 (S2), pp.1--17. ⟨10.1186/s12920-017-0275-0⟩. ⟨hal-02381407⟩
Sophia Karolina Salas Cordero, Rob A. Vingerhoeds, Marc Zolghadri, Claude Baron. Addressing Obsolescence from day one in the conceptual phase of complex systems as a design constraint. IFIP 17th International Conference on Product Lifecycle Management, Jul 2020, Rapperswil-Jona, Switzerland. pp.369-383. ⟨hal-03103055⟩
Thi Thuy Nga Nguyen. Proportional-fair scheduling of mobile users based on a partial view of future channel conditions. Networking and Internet Architecture [cs.NI]. Institut national des sciences appliquées de Toulouse, 2020. English. ⟨tel-03102097⟩
Clément Foucher. L’état interne des composants, grand oublié des formalismes DEVS à structure dynamique ?. Journées Francophones de la Modélisation et de la Simulation 2020, Nov 2020, Cargèse, France. ⟨hal-03099176⟩
Number of fulltext
1 104
Submissions distribution by document type