Search - Equipe Autonomic and Critical Embedded Systems Access content directly

Filter your results

11 Results
Document type : Reports
Image document

State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development

Stefan Klikovits , Rima Al-Ali , Moussa Amrani , Ankica Barisic , Fernando Barros , et al.
[Research Report] COST European Cooperation in Science and Technology. 2019
Reports hal-03168832v1
Image document

Description de la méthode SCRUM à travers deux expériences en entreprise

Gérard Memmi
[Rapport de recherche] LTCI - Laboratoire Traitement et Communication de l'Information [Paris]. 2020
Reports hal-03089815v3
Image document

Framework to Relate / Combine Modeling Languages and Techniques

Rima Al-Ali , Moussa Amrani , Soumyadip Bandyopadhyay , Ankica Barisic , Fernando Barros , et al.
[Technical Report] COST European Cooperation in Science and Technology. 2019
Reports hal-03168831v1
Image document

Formal semantics of behavior specifications in the architecture analysis and design language standard

Loïc Besnard , Thierry Gautier , Paul Le Guernic , Clément Guy , Jean-Pierre Talpin , et al.
[Research Report] RR-8950, INRIA. 2016, pp.30 - 39
Reports hal-01419973v1
Image document

Reconfigurable Lattice Agreement and Applications

Petr Kuznetsov , Thibault Rieutord , Sara Tucci-Piergiovanni
[Research Report] Institut Polytechnique Paris; CEA List. 2019
Reports cea-02321547v1
Image document

Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)

Loïc Besnard , Etienne Borde , Pierre Dissaux , Thierry Gautier , Paul Le Guernic , et al.
[Technical Report] RT-0446, INRIA. 2014, pp.27
Reports hal-00970244v2
Image document

Systematic Literature Review on Multi-Paradigm Modelling for Cyber-Physical Systems

Ankica Barisic , Dušan Savić , Rima Al-Ali , Ivan Ruchkin , Dominique Blouin , et al.
[Technical Report] COST European Cooperation in Science and Technology. 2019
Reports hal-03168834v1
Image document

Energy trading marketplace using Ethereum private network

Dongmin Son , Sawsan Al Zahr , Gerard Memmi
[Technical Report] Telecom Paris. 2020
Reports hal-03157038v1
Image document

On the Uncontended Complexity of Anonymous Consensus

Claire Capdevielle , Colette Johnen , Petr Kuznetsov , Alessia Milani
[Research Report] University of Bordeaux LaBRI, UMR 5800, F-33400 Talence, France Telecom ParisTech. 2015
Reports hal-01180864v1
Image document

Perfect Failure Detection with Very Few Bits

Pierre Fraigniaud , Sergio Rajsbaum , Corentin Travers , Petr Kuznetsov , Thibault Rieutord
[Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2016
Reports hal-01365304v1
Image document

Framework to Relate / Combine Modeling Languages and Techniques

Rima Al-Ali , Moussa Amrani , Soumyadip Bandyopadhyay , Ankica Barisic , Fernando Barros , et al.
[Technical Report] COST European Cooperation in Science and Technology. 2017
Reports hal-03168845v1