Search - Archive ouverte HAL Access content directly

Filter your results

961 Results
Image document

Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities

Guilhem Lacombe , David Feliot , Etienne Boespflug , Marie-Laure Potet
Journal of Cryptographic Engineering, 2023, ⟨10.1007/s13389-023-00310-8⟩
Journal articles hal-04016189v1
Image document

Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory

Bruno Ferres , Oussama Oulkaid , Ludovic Henrio , Mehdi Khosravian , Matthieu Moy et al.
DATE: Design, Automation and Test in Europe Conference, Apr 2023, Anvers (Antwerpen), Belgium
Conference papers hal-04007446v1
Image document

BAXMC: a CEGAR approach to Max#SAT

Thomas Vigouroux , Cristian Ene , David Monniaux , Laurent Mounier , Marie-Laure Potet et al.
FMCAD 2022, Oct 2022, Trente, Italy. ⟨10.34727/2022/isbn.978-3-85448-053-2⟩
Conference papers hal-03773005v2
Image document

How realistic are claims about the benefits of using digital technologies for GHG emissions mitigation?

Aina Rasoldier , Jacques Combaz , Alain Girault , Kevin Marquet , Sophie Quinton et al.
LIMITS 2022 - Eighth Workshop on Computing within Limits, Jun 2022, Virtual, France
Conference papers hal-03949261v1

Self-stabilizing Synchronous Unison in Directed Networks

Altisen Karine , Alain Cournier , Geoffrey Defalque , Stéphane Devismes
ICDCN 2023: 24th International Conference on Distributed Computing and Networking, Jan 2023, Kharagpur India, France. pp.115-124, ⟨10.1145/3571306.3571397⟩
Conference papers hal-03925405v1
Image document

Environmental assessment of projects involving AI methods

Laurent Lefèvre , Anne-Laure Ligozat , Denis Trystram , Sylvain Bouveret , Aurélie Bugeau et al.
Preprints, Working Papers, ... hal-03922093v1
Image document

DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks

Hamzah Al Qadasi , Changshun Wu , Yliès Falcone , Saddek Bensalem
AITest 2022 - IEEE 4th International Conference On Artificial Intelligence Testing, Aug 2022, San Francisco, United States. pp.1-8
Conference papers hal-03911812v1
Image document

Local Reasoning about Parameterized Reconfigurable Distributed Systems

Emma Ahrens , Marius Bozga , Radu Iosif , Joost-Pieter Katoen
Proceedings of the ACM on Programming Languages, 2022, Issue OOPSLA2, 6 (130), pp.145-174. ⟨10.1145/3563293⟩
Journal articles hal-03418999v2

Swarms of Mobile Robots: Towards Versatility with Safety

Pierre Courtieu , Lionel Rieg , Sébastien Tixeuil , Xavier Urbain
Leibniz Transactions on Embedded Systems, 2022, Special Issue on Distributed Hybrid Systems, 8 (2), pp.02:1-02:36. ⟨10.4230/LITES.8.2.2⟩
Journal articles hal-03901898v1

BRAIN-IoT Architecture and Platform for Building IoT Systems

Salim Chehida , Saddek Bensalem , Davide Conzon , Enrico Ferrera , Xu Tao et al.
7th International Conference on Internet of Things, Big Data and Security, Apr 2022, Online Streaming, France. pp.67-77, ⟨10.5220/0011086000003194⟩
Conference papers hal-03898778v1
Image document

Proposition de document de cadrage Évaluation environnementale de projets impliquant des méthodes d'IA

Laurent Lefèvre , Anne-Laure Ligozat , Denis Trystram , Sylvain Bouveret , Aurélie Bugeau et al.
EcoInfo. 2022, pp.1-8
Reports hal-03853135v1
Image document

Formal Model for (k)-Neighborhood Discovery Protocols

Raphaël Jamet , Pascal Lafourcade
Advances in Network Analysis and its Applications, 18, 2013, Advances in Network Analysis and its Applications. Mathematics in Industry, 978-3-642-30903-8. ⟨10.1007/978-3-642-30904-5_8⟩
Book sections hal-03885239v1

Comment évaluer les bénéfices nets des solutions d’IA pour l’environnement ?

Anne-Laure Ligozat , Aurélie Bugeau , Julien Lefèvre , Jacques Combaz
Interstices, 2022
Journal articles hal-03877383v1
Image document


Franz Mayr , Sergio Yovine , Federico Pan , Nicolas Basset , Thao Dang et al.
LearnAut 2022, Jul 2022, Paris, France
Conference papers hal-03875974v1
Image document

Parameter synthesis of polynomial dynamical systems

Alberto Casagrande , Thao Dang , Luca Dorigo , Tommaso Dreossi , Carla Piazza et al.
Information and Computation, 2022, 289, pp.104941. ⟨10.1016/j.ic.2022.104941⟩
Journal articles hal-03875928v1

Certification of an exact worst-case self-stabilization time

Karine Altisen , Pierre Corbineau , Stéphane Devismes
Theoretical Computer Science, 2022, ⟨10.1016/j.tcs.2022.11.019⟩
Journal articles hal-03862272v1
Image document

Completeness in static analysis by abstract interpretation, a personal point of view

David Monniaux
Preprints, Working Papers, ... hal-03857312v1

Stabilization, Safety, and Security of Distributed Systems

Stéphane Devismes , Franck Petit , Karine Altisen , Giuseppe Antonio Di Luna , Antonio Fernandez Anta et al.
Springer International Publishing, 13751, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-21017-4⟩
Books hal-03852361v1
Image document

Modélisation et validation des systèmes réactifs : un langage synchrone à base d'automates

Florence Maraninchi
Systèmes embarqués. Grenoble 1 UJF - Université Joseph Fourier, 1997
Habilitation à diriger des recherches tel-03840029v1
Image document

Implantation sûre d'applications temps-réel critiques sur plateforme pluri-coeur

Matheus Schuh
Autre [cs.OH]. Université Grenoble Alpes [2020-..], 2022. Français. ⟨NNT : 2022GRALM014⟩
Theses tel-03827333v1
Image document

Expressiveness Results for an Inductive Logic of Separated Relations

Radu Iosif , Florian Zuleger
Preprints, Working Papers, ... hal-03826324v1
Image document

On an Invariance Problem for Parameterized Concurrent Systems

Marius Bozga , Lucas Bueri , Radu Iosif
International Conference
 on Concurrency Theory 2022, Sep 2022, Varsovie, Poland
Conference papers hal-03826296v1
Image document

Let us not put all our eggs in one basket

Florence Maraninchi
Communications of the ACM, 2022, 65 (9), pp.35-37. ⟨10.1145/3528088⟩
Journal articles hal-03766614v1
Image document

Impacts environnementaux de la 5G

Philippe Ciblat , Jacques Combaz , Marceau Coupechoux , Kevin Marquet , Anne-Cécile Orgerie et al.
[Rapport de recherche] EcoInfo. 2022, pp.1-12
Reports hal-03810501v1
Image document

The Trusted Computing Base of the CompCert Verified Compiler

David Monniaux , Sylvain Boulmé
Programming Languages and Systems (ESOP 2022), Apr 2022, Munich, Germany. pp.204-233, ⟨10.1007/978-3-030-99336-8_8⟩
Conference papers hal-03541595v2
Image document

Toward Better Fault Characterization Tests

Vincent Werner , Laurent Maingault , Marie-Laure Potet
Preprints, Working Papers, ... hal-03790625v1
Image document

FISSC: a fault injection and simulation secure collection

Louis Dureuil , Guillaume Petiot , Marie-Laure Potet , Thanh-Ha Le , Aude Crohen et al.
SAFECOMP 2016 - The 35th International conference on Computer Safety, Reliability and Security, Sep 2016, Trondheim, Norway. pp.3-11, ⟨10.1007/978-3-319-45477-1_1⟩
Conference papers hal-03784107v1

Generation and verification of learned stochastic automata using k-NN and statistical model checking

Abdelhakim Baouya , Salim Chehida , Samir Ouchani , Saddek Bensalem , Marius Bozga et al.
Applied Intelligence, 2022, 52 (8), pp.8874-8894. ⟨10.1007/s10489-021-02884-4⟩
Journal articles hal-03762515v1

Toward a context-driven deployment optimization for embedded systems: a product line approach

Abdelhakim Baouya , Otmane Ait Mohamed , Samir Ouchani
Journal of Supercomputing, 2022, ⟨10.1007/s11227-022-04741-8⟩
Journal articles hal-03762514v1
Image document

Decision Problems in a Logic for Reasoning about Reconfigurable Distributed Systems

Marius Bozga , Lucas Bueri , Radu Iosif
International Joint Conference on Automated Reasoning, Aug 2022, Haifa, Israel
Conference papers hal-03750586v1