A user-guide for running SpaceEx verification tool
Nikolaos Kekatos
[Research Report] Verimag Laboratory. 2020
Reports
hal-03091954v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality
Quentin Bramas
,
Pascal Lafourcade
,
Stéphane Devismes
Conference papers
hal-03130277v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Octant, la vérification réseau simplifiée
Pierre-Léo Bégay
,
Pierre Crégut
,
Jean-François Monin
19èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2020 , Jun 2020, Vannes, France
Conference papers
hal-03135683v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Formal Modeling and Simulation of Collaborative Intelligent Robots
Abdelhakim Baouya
,
Salim Chehida
,
Miquel Cantero
,
Marta Millet
,
Saddek Bensalem
et al.
Book sections
hal-03188398v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Learning and analysis of sensors behavior in IoT systems using statistical model checking
Salim Chehida
,
Abdelhakim Baouya
,
Saddek Bensalem
,
Marius Bozga
Journal articles
hal-03265797v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An End-to-End Approach for Multi-Fault Attack Vulnerability Assessment
Vincent Werner
,
Laurent Maingault
,
Marie-Laure Potet
Conference papers
hal-03248430v1
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
The complexity gap in the static analysis of cache accesses grows if procedure calls are added
David Monniaux
Journal articles
hal-03545774v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Vers des Logiciels Éco-responsables
Olivier Le Goaer
,
Adel Noureddine
,
Franck Barbier
,
Romain Rouvoy
,
Florence Maraninchi
et al.
2021
Preprints, Working Papers, ...
hal-03264970v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Component-Based Approach Combining UML and BIP for Rigorous System Design
Salim Chehida
,
Abdelhakim Baouya
,
Saddek Bensalem
Formal Aspects of Component Software , 13077, Springer International Publishing, pp.27-43, In press, Lecture Notes in Computer Science,
⟨10.1007/978-3-030-90636-8_2⟩
Book sections
hal-03420267v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Formally Verified Loop-Invariant Code Motion and Assorted Optimizations
David Monniaux
,
Cyril Six
Journal articles
hal-03628646v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Specification and Safety Verification of Parametric Hierarchical Distributed Systems
Marius Bozga
,
Radu Iosif
Formal Aspects of Component Software , Oct 2021, Grenoble, France
Conference papers
hal-03418644v1
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
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
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
Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics
Karine Altisen
,
Stéphane Devismes
,
Anaïs Durand
,
Colette Johnen
,
Franck Petit
et al.
PODC 2020 - ACM Symposium on Principles of Distributed Computing , Aug 2020, Salerne / Virtual, Italy.
⟨10.1145/3382734.3404502⟩
Conference papers
hal-02911071v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Journal articles
hal-03650884v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Versatility and Efficiency in Self-Stabilizing Distributed Systems
Stéphane Devismes
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Grenoble Alpes, 2020
Habilitation à diriger des recherches
tel-03080444v6
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Monitoring Distributed Component-Based Systems
Yliès Falcone
,
Hosein Nazarpour
,
Saddek Bensalem
,
Marius Bozga
FACS 2021 - 17th edition of the International Conference on Formal Aspects of Component Software , Oct 2021, Grenoble, France. pp.1-19
Conference papers
hal-03525762v1
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
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
Optimizing identification and exploitation of fault injection vulnerabilities on microcontrollers.
Vincent Werner
Cryptography and Security [cs.CR]. Université Grenoble Alpes [2020-..], 2022. English.
⟨NNT : 2022GRALM003⟩
Theses
tel-03719660v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics
Karine Altisen
,
Stéphane Devismes
,
Anaïs Durand
,
Colette Johnen
,
Franck Petit
et al.
PODC '21: ACM Symposium on Principles of Distributed Computing , Jul 2021, Virtual Event, Italy. pp.21-31,
⟨10.1145/3465084.3467917⟩
Conference papers
hal-03346225v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Decision procedures for vulnerability analysis
Benjamin Farinier
Theses
tel-02988031v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Unifying Decidable Entailments in Separation Logic with Inductive Definitions
Mnacho Echenim
,
Radu Iosif
,
Nicolas Peltier
Conference papers
hal-03304653v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Formal verification of space systems designed with TASTE
I Dragomir
,
M Bozga
,
Iulian Ober
,
D Silveira
,
T Jorge
et al.
ESA’s Second Virtual Workshop on Model Based Space Systems and Software Engineering (MBSE2021) , Sep 2021, Nordwijk, Netherlands
Conference papers
hal-03436013v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Modular analysis of numerical properties by abstract interpretation
Rémy Boutonnet
Data Structures and Algorithms [cs.DS]. Université Grenoble Alpes [2020-..], 2020. English.
⟨NNT : 2020GRALM004⟩
Theses
tel-02554125v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More