Skip to Main content
Skip to Navigation
Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Journals
Documentation
Sciencesconf.org
Support
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Assistance for certification of distributed and embedded applications
Homepage
Presentation
Submit
Browse
Browse by year
Browse by ACADIE author
Browse by doctype
Homepage
Latest publications
Adam Shimi. On the Power of Rounds: Explorations of the Heard-Of Model. Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Toulouse, 2020. English. ⟨tel-03123969⟩
Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali. Event-B formalization of a variability-aware component model patterns framework. Science of Computer Programming, Elsevier, 2020, 199, ⟨10.1016/j.scico.2020.102511⟩. ⟨hal-03097697⟩
Nikolena Christofi, Claude Baron, X Pucel, M Pantel, M Machin, et al.. Adopting a model-based approach for satellite operations' diagnosis. 13ème Conférence Internationale de Modélisation, Optimisation et Simulation (MOSIM 2020), Nov 2020, Agadir, Morocco. ⟨hal-02946817⟩
Albert Benveniste, Kim Larsen, Jean-Baptiste Raclet. Mixed Nondeterministic-Probabilistic Interfaces. [Research Report] RR-9372, Inria Rennes Bretagne Atlantique; Aalborg University; Université de Toulouse 3 Paul Sabatier. 2020, pp.40. ⟨hal-02985273⟩
Erwan Le Merrer, Benoît Morgan, Gilles Trédan. Bug ou ban ? Une Perspective Topologique sur le Shadow Banning. ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France. pp.1-4. ⟨hal-02875595⟩
Adam Shimi, Armando Castañeda. K-set agreement bounds in round-based models through combinatorial topology. 39th ACM Symposium on Principles of Distributed Computing (PODC 2020), Aug 2020, Salerno, Italy. pp.395-404. ⟨hal-02950742⟩
Adam Shimi, Aurélie Hurault, Philippe Quéinnec. Derivation of Heard-Of Predicates From Elementary Behavioral Patterns. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2020), Jun 2020, Online, France. pp.133-149. ⟨hal-02947787⟩
Jean-Baptiste Raclet, Franck Silvestre, Mika Pons. Mise en oeuvre d’approches pédagogiques fondées sur des pratiques de l’industrie du logiciel pour l’apprentissage de la programmation. DIDAPRO 8 - Colloque de didactique de l’informatique, Feb 2020, Lille, France. ⟨hal-02904169⟩
Jean-Baptiste Raclet, Franck Silvestre, Mika Pons. Mise en oeuvre d'approches pédagogiques fondées sur des pratiques de l'industrie du logiciel pour l'apprentissage de la programmation. 2020 Colloque Didapro 8 - DidaSTIC : L’informatique, objets d’enseignements, Feb 2020, Lille, France. pp.1-12. ⟨hal-02960444⟩
Maxim Kolomeets, Amira Benachour, Didier El Baz, Andrey Chechulin, Martin Strecker, et al.. Reference architecture for social networks graph analysis tool. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, Innovative Information Science & Technology Research Group (ISYOU), 2019, 10 (4), pp.109-125. ⟨10.22667/JOWUA.2019.12.31.109⟩. ⟨hal-02443865⟩
Search
Documents
234
Distribution per document type