Filter your results
- 12
- 2
- 10
- 2
- 1
- 1
- 14
- 1
- 1
- 2
- 1
- 2
- 1
- 4
- 2
- 1
- 14
- 14
- 3
- 1
- 1
- 1
- 11
- 10
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Formal specification of block libraries in dataflow languagesEmbedded Real Time Software and Systems (ERTS 2014), Feb 2014, Toulouse, France
Conference papers
hal-02272313v1
|
||
|
Event-B Formalization of a Variability-Aware Component Model Patterns Framework15th International Conference on Formal Aspects of Component Software (FACS 2018), Oct 2018, Pohang, South Korea. pp.54-74, ⟨10.1007/978-3-030-02146-7_3⟩
Conference papers
hal-02181895v1
|
||
|
Block Library Driven Translation Validation for Dataflow Models in Safety Critical SystemsInternational Workshop on Formal Methods for Industrial Critical Systems (FMICS 2016), Sep 2016, Pise, Italy. pp.117--132, ⟨10.1007/978-3-319-45943-1_8⟩
Conference papers
hal-03172262v1
|
||
|
Pattern-based requirements development9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
Conference papers
hal-01708993v1
|
||
A software product line approach for semantic specification of block libraries in dataflow languages18th Software Product Line Conference (SPLC 2014), Sep 2014, Florence, Italy. pp.217-218, ⟨10.1145/2648511.2648534⟩
Conference papers
hal-03252266v1
|
|||
|
Specifying and Verifying Model Transformations for Certified Systems using Transformation ModelsEmbedded Real Time Software and Systems (ERTS 2014), Feb 2014, Toulouse, France
Conference papers
hal-02272309v1
|
||
|
Teaching MDE through the Formal Verification of Process Models7th Educators' Symposium @ MODELS 2011: Software Modeling in Education (EduSymp2011), Marion Brandsteidl; Andreas Winter, Oct 2011, Wellington, New Zealand
Conference papers
hal-00646426v1
|
||
|
Specification and Validation of Model Transformations for Certified Systems' Development2012
Preprints, Working Papers, ...
hal-00677881v1
|
||
|
Stepwise formal modeling and verification of Self-Adaptive systems with Event-B. The automatic rover protection case study21th International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Nov 2016, Dubaï, United Arab Emirates. pp.1-10, ⟨10.1109/ICECCS.2016.015⟩
Conference papers
hal-01782961v1
|
||
|
Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs15th 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
Conference papers
hal-01316816v1
|
||
|
Software product line for semantic specification of block libraries in dataflow languages2014
Reports
hal-00996850v1
|
||
|
Comparing transformation languages for the implementation of certified model transformations2012
Preprints, Working Papers, ...
hal-00677883v1
|
||
|
Formal development process of safety critical embedded human machine interface systemsTASE (11th International Symposium on Theoretical Aspects of Software Engineering), Sep 2017, Sophia Antipolis, France. pp. 1-8
Conference papers
hal-01740640v1
|
||
|
Event-B formalization of a variability-aware component model patterns frameworkScience of Computer Programming, 2020, 199, ⟨10.1016/j.scico.2020.102511⟩
Journal articles
hal-03097697v1
|