Skip to Main content Skip to Navigation
New interface


...
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
hal-02428017v1  Conference papers
Simon van MierloEugene SyrianiDominique BlouinMoussa AmraniJulien Deantoni et al.  Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019)
MODELS Conference 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Sep 2019, Munich, Germany. pp.2, ⟨10.1109/MODELS-C.2019.00066⟩
...
hal-02447228v1  Conference papers
Jean-Claude BermondGerard Memmi. A graph theoretical characterization of minimal deadlocks in Petri nets
Graph theory with applications to algorithms and computer science, Wiley, 1985, Kalamazoo,MI, United States. pp.73-87
...
hal-01787848v1  Conference papers
Damien ImbsPetr KuznetsovThibault Rieutord. Progress-Space Tradeoffs in Single-Writer Memory Implementations
21st International Conference on Principles of Distributed Systems (OPODIS 2017), Dec 2017, Lisbon, Portugal. ⟨10.4230/LIPIcs.OPODIS.2017.9⟩
hal-00652435v1  Conference papers
J. HuguesLaurent PautetM FilaliFrank Singhoff. Panel session on AADL and its annexes
Panel session on AADL and its annexes 2010, Mar 2010, University of Oxford, United Kingdom
...
hal-01166136v1  Conference papers
Frank SinghoffAlain PlantecStéphane RubiniHai-Nam TranVincent Gaudel et al.  Teaching Real-Time Scheduling Analysis with Cheddar
9ème édition de l’Ecole d’Eté « Temps Réel », Aug 2015, Rennes, France