Search - Université Toulouse III - Paul Sabatier

		Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	hal-00677883v1 Preprints, Working Papers, ... Arnaud Dieumegard, Andres Toom, Marc Pantel. Comparing transformation languages for the implementation of certified model transformations 2012
	hal-00996850v1 Reports Arnaud Dieumegard, Andres Toom, Marc Pantel. Software product line for semantic specification of block libraries in dataflow languages 2014
	hal-00677881v1 Preprints, Working Papers, ... Andres Toom, Arnaud Dieumegard, Marc Pantel. Specification and Validation of Model Transformations for Certified Systems' Development 2012
	hal-01316816v1 Conference papers Arnaud Dieumegard, Marc Pantel, Guillaume Babin, Martin 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-00646426v1 Conference papers Benoit Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez 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-02181895v1 Conference papers Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun 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-01708993v1 Conference papers Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali. Pattern-based requirements development 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
	hal-01782961v1 Conference papers Neeraj Kumar Singh, Yamine Aït-Ameur, Marc Pantel, Arnaud Dieumegard, Eric 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 Toom, Arnaud Dieumegard, Marc Pantel. 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 Ning Ge, Arnaud Dieumegard, Eric Jenn, Bruno d'Ausbourg, Yamine 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-02272313v1 Conference papers Arnaud Dieumegard, Andres Toom, Marc Pantel. Formal specification of block libraries in dataflow languages Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
	hal-03097697v1 Journal articles Jean-Paul Bodeveix, Arnaud Dieumegard, M Filali. Event-B formalization of a variability-aware component model patterns framework Science of Computer Programming, Elsevier, 2020, 199, ⟨10.1016/j.scico.2020.102511⟩
		Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM