Skip to Main content Skip to Navigation


...
hal-03168831v1  Reports
Rima Al-AliMoussa AmraniSoumyadip BandyopadhyayAnkica BarisicFernando Barros et al.  Framework to Relate / Combine Modeling Languages and Techniques
[Technical Report] COST European Cooperation in Science and Technology. 2019
...
cea-02321547v1  Reports
Petr KuznetsovThibault RieutordSara Tucci-Piergiovanni. Reconfigurable Lattice Agreement and Applications
[Research Report] Institut Polytechnique Paris; CEA List. 2019
...
hal-03168834v1  Reports
Ankica BarisicDušan SavićRima Al-AliIvan RuchkinDominique Blouin et al.  Systematic Literature Review on Multi-Paradigm Modelling for Cyber-Physical Systems
[Technical Report] COST European Cooperation in Science and Technology. 2019
...
hal-03089815v3  Reports
Gérard Memmi. Description de la méthode SCRUM à travers deux expériences en entreprise
[Rapport de recherche] LTCI - Laboratoire Traitement et Communication de l'Information [Paris]. 2020
...
hal-01180864v1  Reports
Claire CapdevielleColette JohnenPetr KuznetsovAlessia Milani. On the Uncontended Complexity of Anonymous Consensus
[Research Report] University of Bordeaux LaBRI, UMR 5800, F-33400 Talence, France Telecom ParisTech. 2015
...
hal-01365304v1  Reports
Pierre FraigniaudSergio RajsbaumCorentin TraversPetr KuznetsovThibault Rieutord. Perfect Failure Detection with Very Few Bits
[Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2016