Search - Archive ouverte HAL Access content directly

Filter your results

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

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

A Tridimensional Approach for Studying the Formal Verification of Model Transformations

Moussa Amrani , Levi Lucio , Gehan Selim , Benoit Combemale , Jürgen Dingel et al.
Verification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada
Conference papers hal-00684717v1

Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019)

Simon van Mierlo , Eugene Syriani , Dominique Blouin , Moussa Amrani , Julien Deantoni et al.
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⟩
Conference papers hal-02428017v1
Image document

Featured model types: Towards Systematic Reuse in Modelling Language Engineering

Gilles Perrouin , Moussa Amrani , Mathieu Acher , Benoit Combemale , Axel Legay et al.
MiSE '16 - 8th International Workshop on Modeling in Software Engineering, May 2016, New york, United States. pp.1 - 7, ⟨10.1145/2896982.2896987⟩
Conference papers hal-01406507v1
Image document

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

Rima Al Ali , Moussa Amrani , Ankica Barisic , Fernando Barros , Dominique Blouin et al.
[Technical Report] COST European Cooperation in Science and Technology. 2017
Reports hal-03168840v1
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
Image document

Multi-paradigm modelling for cyber–physical systems: a descriptive framework

Moussa Amrani , Dominique Blouin , Robert Heinrich , Arend Rensink , Hans Vangheluwe et al.
Software and Systems Modeling, 2021, 20, pp.611 - 639. ⟨10.1007/s10270-021-00876-z⟩
Journal articles hal-03572782v1

Towards a Formal Specification of Multi-paradigm Modelling

Moussa Amrani , Dominique Blouin , Robert Heinrich , Arend Rensink , Hans Vangheluwe et al.
First International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, Sep 2019, Munich, Germany
Conference papers hal-03022707v1
Image document

Formal Verification Techniques for Model Transformations: A Tridimensional Classification

Moussa Amrani , Benoit Combemale , Levi Lúcio , Gehan Selim , Jürgen Dingel et al.
The Journal of Object Technology, 2015, 14 (3), pp.1:1-43. ⟨10.5381/jot.2015.14.3.a1⟩
Journal articles hal-01083759v1