Search - IRIT - Institut de Recherche en Informatique de Toulouse Access content directly

Filter your results

14 Results
authFullName_s : Arnaud Dieumegard
Image document

Formal specification of block libraries in dataflow languages

Arnaud Dieumegard , Andres Toom , Marc Pantel
Embedded Real Time Software and Systems (ERTS 2014), Feb 2014, Toulouse, France
Conference papers hal-02272313v1
Image document

Event-B Formalization of a Variability-Aware Component Model Patterns Framework

Jean-Paul Bodeveix , Arnaud Dieumegard , M Filali
15th 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 Systems

Arnaud Dieumegard , Andres Toom , Marc Pantel
International 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
Image document

Pattern-based requirements development

Jean-Paul Bodeveix , Arnaud Dieumegard , M Filali
9th 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 languages

Arnaud Dieumegard , Andres Toom , Marc Pantel
18th Software Product Line Conference (SPLC 2014), Sep 2014, Florence, Italy. pp.217-218, ⟨10.1145/2648511.2648534⟩
Conference papers hal-03252266v1
Image document

Specifying and Verifying Model Transformations for Certified Systems using Transformation Models

Andres Toom , Arnaud Dieumegard , Marc Pantel
Embedded Real Time Software and Systems (ERTS 2014), Feb 2014, Toulouse, France
Conference papers hal-02272309v1
Image document

Teaching MDE through the Formal Verification of Process Models

Benoit Combemale , Xavier Crégut , Arnaud Dieumegard , Marc Pantel , Faiez Zalila
7th Educators' Symposium @ MODELS 2011: Software Modeling in Education (EduSymp2011), Marion Brandsteidl; Andreas Winter, Oct 2011, Wellington, New Zealand
Conference papers hal-00646426v1
Image document

Specification and Validation of Model Transformations for Certified Systems' Development

Andres Toom , Arnaud Dieumegard , Marc Pantel
2012
Preprints, Working Papers, ... hal-00677881v1
Image document

Stepwise formal modeling and verification of Self-Adaptive systems with Event-B. The automatic rover protection case study

Neeraj Kumar Singh , Yamine Aït-Ameur , Marc Pantel , Arnaud Dieumegard , Eric Jenn
21th 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
Image document

Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs

Arnaud Dieumegard , Marc Pantel , Guillaume Babin , Martin Carton
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
Conference papers hal-01316816v1
Image document

Software product line for semantic specification of block libraries in dataflow languages

Arnaud Dieumegard , Andres Toom , Marc Pantel
2014
Reports hal-00996850v1
Image document

Comparing transformation languages for the implementation of certified model transformations

Arnaud Dieumegard , Andres Toom , Marc Pantel
2012
Preprints, Working Papers, ... hal-00677883v1
Image document

Formal development process of safety critical embedded human machine interface systems

Ning Ge , Arnaud Dieumegard , Eric Jenn , Bruno d'Ausbourg , Yamine Aït-Ameur
TASE (11th International Symposium on Theoretical Aspects of Software Engineering), Sep 2017, Sophia Antipolis, France. pp. 1-8
Conference papers hal-01740640v1
Image document

Event-B formalization of a variability-aware component model patterns framework

Jean-Paul Bodeveix , Arnaud Dieumegard , M Filali
Science of Computer Programming, 2020, 199, ⟨10.1016/j.scico.2020.102511⟩
Journal articles hal-03097697v1