|
||
---|---|---|
hal-00677883v1
Preprints, Working Papers, ...
Comparing transformation languages for the implementation of certified model transformations 2012 |
||
|
||
hal-00677881v1
Preprints, Working Papers, ...
Specification and Validation of Model Transformations for Certified Systems' Development 2012 |
||
hal-01316816v1
Conference papers
Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs 15th International Workshop on OCL and Textual Modeling Workshop at the MODELS conference (OCL-TM 2015) co-located with 18th International Conference on Model Driven Engineering Languages and Systems, Sep 2015, Ottawa, Canada. pp. 89-104 |
||
hal-00646426v1
Conference papers
Teaching MDE through the Formal Verification of Process Models 7th Educators' Symposium @ MODELS 2011: Software Modeling in Education (EduSymp2011), Marion Brandsteidl; Andreas Winter, Oct 2011, Wellington, New Zealand |
||
hal-02181895v1
Conference papers
Event-B Formalization of a Variability-Aware Component Model Patterns Framework 15th International Conference on Formal Aspects of Component Software (FACS 2018), Oct 2018, Pohang, South Korea. pp.54-74 |
||
hal-01708993v1
Conference papers
Pattern-based requirements development 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France |
||
hal-01782961v1
Conference papers
Stepwise formal modeling and verification of Self-Adaptive systems with Event-B. The automatic rover protection case study ICECCS 2016 (21th International Conference on Engineering of Complex Computer Systems), Nov 2016, Dubaï, United Arab Emirates. pp. 1-10 |
||
hal-02272309v1
Conference papers
Specifying and Verifying Model Transformations for Certified Systems using Transformation Models Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France |
||
hal-01740640v1
Conference papers
Formal development process of safety critical embedded human machine interface systems TASE (11th International Symposium on Theoretical Aspects of Software Engineering), Sep 2017, Sophia Antipolis, France. pp. 1-8 |
||
hal-02272313v1
Conference papers
Formal specification of block libraries in dataflow languages Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France |
||
hal-03097697v1
Journal articles
Event-B formalization of a variability-aware component model patterns framework Science of Computer Programming, Elsevier, 2020, 199, ⟨10.1016/j.scico.2020.102511⟩ |
||
|