11 results  save search


...
hal-01708993v1  Conference papers
J.-P BodeveixArnaud DieumegardM Filali. Pattern-based requirements development
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
...
hal-01316816v1  Conference papers
Arnaud DieumegardMarc PantelGuillaume BabinMartin Carton. 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-01740640v1  Conference papers
Ning GeArnaud DieumegardEric JennBruno d'AusbourgYamine Aït-Ameur. 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-02181895v1  Conference papers
Jean-Paul BodeveixArnaud DieumegardMamoun Filali. 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-00646426v1  Conference papers
Benoit CombemaleXavier CrégutArnaud DieumegardMarc PantelFaiez Zalila. 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-01782961v1  Conference papers
Neeraj Kumar SinghYamine Aït-AmeurMarc PantelArnaud DieumegardEric Jenn. 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
Andres ToomArnaud DieumegardMarc Pantel. Specifying and Verifying Model Transformations for Certified Systems using Transformation Models
Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
...
hal-02272313v1  Conference papers
Arnaud DieumegardAndres ToomMarc Pantel. Formal specification of block libraries in dataflow languages
Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France