OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Dieumegard, Arnaud"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 7.

Conference or Workshop Item

Bodeveix, Jean-Paul and Dieumegard, Arnaud and Filali, Mamoun. Event-B Formalization of a Variability-Aware Component Model Patterns Framework. (2018) In: 15th International Conference on Formal Aspects of Component Software (FACS 2018), 10 October 2018 - 12 October 2018 (Pohang, Korea, Republic Of).

Ge, Ning and Dieumegard, Arnaud and Jenn, Eric and D'Ausbourg, Bruno and Aït-Ameur, Yamine. Formal development process of safety critical embedded human machine interface systems. (2018) In: TASE (11th International Symposium on Theoretical Aspects of Software Engineering), 13 September 2017 - 15 September 2017, Sophia Antipolis (France) (Sophia Antipolis, France).

Singh, Neeraj Kumar and Aït-Ameur, Yamine and Pantel, Marc and Dieumegard, Arnaud and Jenn, Eric. Stepwise formal modeling and verification of Self-Adaptive systems with Event-B. The automatic rover protection case study. (2017) In: ICECCS 2016 (21th International Conference on Engineering of Complex Computer Systems), 6 November 2016 - 8 November 2016 (Dubaï, United Arab Emirates).

Dieumegard, Arnaud and Ge, Ning and Jenn, Eric. Event-B at work: some lessons learnt from an application to a robot anti-collision function. (2017) In: NFM (9th NASA Formal Methods Symposium) Formal Methods Symposium, 16 May 2017 - 18 May 2017 (Moffett Field, United States).

Dieumegard, Arnaud and Garoche, Pierre-Loïc and Kahsai, Temesghen and Taillar, Alice and Thirioux, Xavier. Compilation of synchronous observers as code contracts. (2015) In: 30th Annual ACM Symposium on Applied Computing (SAC 2015), 13 April 2015 - 17 April 2015 (Salamanca, Spain).

Dieumegard, Arnaud and Pantel, Marc and Babin, Guillaume and Carton, Martin. Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs. (2015) In: 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, 27 September 2015 - 2 October 2015 (Ottawa, Canada).


Dieumegard, Arnaud. Formal Guarantees for Safety Critical Code Generation: the Case of Highly Variable Languages. PhD, Institut National Polytechnique de Toulouse, 2015

This list was generated on Sat Jan 18 07:45:47 2020 CET.