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 articles
hal-04016189v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
BAXMC: a CEGAR approach to Max#SAT
Thomas Vigouroux
,
Cristian Ene
,
David Monniaux
,
Laurent Mounier
,
Marie-Laure Potet
et al.
Conference papers
hal-03773005v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
TOWARDS EFFICIENT ACTIVE LEARNING OF PDFA
Franz Mayr
,
Sergio Yovine
,
Federico Pan
,
Nicolas Basset
,
Thao Dang
et al.
LearnAut 2022 , Jul 2022, Paris, France
Conference papers
hal-03875974v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Parameter synthesis of polynomial dynamical systems
Alberto Casagrande
,
Thao Dang
,
Luca Dorigo
,
Tommaso Dreossi
,
Carla Piazza
et al.
Journal articles
hal-03875928v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Certification of an exact worst-case self-stabilization time
Karine Altisen
,
Pierre Corbineau
,
Stéphane Devismes
Journal articles
hal-03862272v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Completeness in static analysis by abstract interpretation, a personal point of view
David Monniaux
2022
Preprints, Working Papers, ...
hal-03857312v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Stabilization, Safety, and Security of Distributed Systems
Stéphane Devismes
,
Franck Petit
,
Karine Altisen
,
Giuseppe Antonio Di Luna
,
Antonio Fernandez Anta
et al.
Books
hal-03852361v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Implantation sûre d'applications temps-réel critiques sur plateforme pluri-coeur
Matheus Schuh
Theses
tel-03827333v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Expressiveness Results for an Inductive Logic of Separated Relations
Radu Iosif
,
Florian Zuleger
2022
Preprints, Working Papers, ...
hal-03826324v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Let us not put all our eggs in one basket
Florence Maraninchi
Journal articles
hal-03766614v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The Trusted Computing Base of the CompCert Verified Compiler
David Monniaux
,
Sylvain Boulmé
Conference papers
hal-03541595v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Toward Better Fault Characterization Tests
Vincent Werner
,
Laurent Maingault
,
Marie-Laure Potet
2022
Preprints, Working Papers, ...
hal-03790625v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-03762515v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Toward a context-driven deployment optimization for embedded systems: a product line approach
Abdelhakim Baouya
,
Otmane Ait Mohamed
,
Samir Ouchani
Journal articles
hal-03762514v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More