Search - Université Paris-Saclay Access content directly

Filter your results

12 Results
Structure: Internal structure identifier : 1043148
Image document

Computer Aided Formal Design of Swarm Robotics Algorithms

Thibaut Balabonski , Pierre Courtieu , Robin Pelle , Lionel Rieg , Sébastien Tixeuil , et al.
2021
Preprints, Working Papers, ... hal-03111541v1
Image document

Comment s'assurer de garder le contact (et nos distances)

Thibaut Balabonski , Pierre Courtieu , Robin Pelle , Lionel Rieg , Sébastien Tixeuil , et al.
ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, 2021, La Rochelle, France
Conference papers hal-03219933v1
Image document

L’usage de l’exécution symbolique pour la déobfuscation binaire en milieu industriel

Jonathan Salwan
Cryptographie et sécurité [cs.CR]. Université Grenoble Alpes [2020-..], 2020. Français. ⟨NNT : 2020GRALM005⟩
Theses tel-02966552v1
Image document

Unraveling the Hidden Environmental Impacts of AI Solutions for Environment Life Cycle Assessment of AI Solutions

Anne-Laure Ligozat , Julien Lefèvre , Aurélie Bugeau , Jacques Combaz
Sustainability, 2022, 14, pp.5172. ⟨10.3390/su14095172⟩
Journal articles hal-03650884v1
Image document

Environmental assessment of projects involving AI methods

Laurent Lefèvre , Anne-Laure Ligozat , Denis Trystram , Sylvain Bouveret , Aurélie Bugeau , et al.
2023
Preprints, Working Papers, ... hal-03922093v1
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

Computer Aided Formal Design of Swarm Robotics Algorithms

Thibaut Balabonski , Pierre Courtieu , Robin Pelle , Lionel Rieg , Sébastien Tixeuil , et al.
Stabilization, Safety, and Security of Distributed Systems. SSS 2021, Nov 2021, Online, Sweden. pp.469-473, ⟨10.1007/978-3-030-91081-5_31⟩
Conference papers hal-03425768v1

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

Du discrètement continu au continûment discret

Thibaut Balabonski , Pierre Courtieu , Robin Pelle , Lionel Rieg , Sébastien Tixeuil , et al.
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
Conference papers hal-02871295v1
Image document

Adversarial reachability for program-level security analysis

Sébastien Bardin , Soline Ducousso , Marie-Laure Potet
ESOP 2023 - 32nd European Symposium on Programming,, ETAPS, Apr 2023, Paris, France. pp.58-89, ⟨10.1007/978-3-031-30044-8_3⟩
Conference papers cea-04199882v1
Image document

Vérification automatique de code bas-niveau : C, assembleur et binaire

Frédéric Recoules
Systèmes embarqués. Université Grenoble Alpes [2020-..], 2021. Français. ⟨NNT : 2021GRALM079⟩
Theses tel-03719227v1
Image document

Élection Autostabilisante dans les Réseaux à Haute Dynamicité

Karine Altisen , Stéphane Devismes , Anaïs Durand , Colette Johnen , Franck Petit
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
Conference papers hal-02791667v1