Search - Archive ouverte HAL Access content directly

Filter your results

121 Results
Structure: Internal structure identifier : 1043148
Image document

A user-guide for running SpaceEx verification tool

Nikolaos Kekatos
[Research Report] Verimag Laboratory. 2020
Reports hal-03091954v1
Image document

Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality

Quentin Bramas , Pascal Lafourcade , Stéphane Devismes
International Conference on Distributed Computing and Networking, 2021, Nara, Japan. ⟨10.1145/1122445.1122456⟩
Conference papers hal-03130277v1
Image document

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

Formal Modeling and Simulation of Collaborative Intelligent Robots

Abdelhakim Baouya , Salim Chehida , Miquel Cantero , Marta Millet , Saddek Bensalem et al.
Advances in Service-Oriented and Cloud Computing., pp.41-52, 2021, ⟨10.1007/978-3-030-71906-7_4⟩
Book sections hal-03188398v1

Learning and analysis of sensors behavior in IoT systems using statistical model checking

Salim Chehida , Abdelhakim Baouya , Saddek Bensalem , Marius Bozga
Software Quality Journal, 2021, ⟨10.1007/s11219-021-09559-w⟩
Journal articles hal-03265797v1
Image document

An End-to-End Approach for Multi-Fault Attack Vulnerability Assessment

Vincent Werner , Laurent Maingault , Marie-Laure Potet
2020 Workshop on Fault Detection and Tolerance in Cryptography (FDTC 2020), Sep 2020, Milan (virtuel), Italy. ⟨10.1109/FDTC51366.2020.00009⟩
Conference papers hal-03248430v1
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
Image document

The complexity gap in the static analysis of cache accesses grows if procedure calls are added

David Monniaux
Formal Methods in System Design, 2022, ⟨10.1007/s10703-022-00392-w⟩
Journal articles hal-03545774v1
Image document

Vers des Logiciels Éco-responsables

Olivier Le Goaer , Adel Noureddine , Franck Barbier , Romain Rouvoy , Florence Maraninchi et al.
2021
Preprints, Working Papers, ... hal-03264970v2

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
Image document

Formally Verified Loop-Invariant Code Motion and Assorted Optimizations

David Monniaux , Cyril Six
ACM Transactions on Embedded Computing Systems (TECS), 2022, ⟨10.1145/3529507⟩
Journal articles hal-03628646v1
Image document

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
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

Expressiveness Results for an Inductive Logic of Separated Relations

Radu Iosif , Florian Zuleger
2022
Preprints, Working Papers, ... hal-03826324v1
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

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
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

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
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

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
Image document

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
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

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

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
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

Decision procedures for vulnerability analysis

Benjamin Farinier
Performance [cs.PF]. Université Grenoble Alpes [2020-..], 2020. English. ⟨NNT : 2020GRALM013⟩
Theses tel-02988031v1
Image document

Unifying Decidable Entailments in Separation Logic with Inductive Definitions

Mnacho Echenim , Radu Iosif , Nicolas Peltier
CADE 28, 2021, Pittsburgh (virtual), United States. pp.183-199, ⟨10.1007/978-3-030-79876-5_11⟩
Conference papers hal-03304653v1
Image document

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
Image document

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
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