Documentation
Français (FR)

Anglais (EN)

Christophe Dony

6

Documents

Identifiants chercheurs

christophe-dony
Google Scholar : https://scholar.google.com/citations?user=_ESTjWEAAAAJ&hl=fr
IdRef : 048655198

Présentation

Publications

vincent-chapurlat

	A Tooled Approach for Designing Executable and Verifiable Modeling Languages Blazo Nastov , Vincent Chapurlat , Christophe Dony , François Pfister INSIGHT - International Council on Systems Engineering (INCOSE), 2015, 18 (4), pp.31-33. ⟨10.1002/inst.12059⟩ Article dans une revue lirmm-01377586v1

	MBSE and V&V: a tool-equipped method for combining various V&V strategies Blazo Nastov , Vincent Chapurlat , François Pfister , Christophe Dony 20th IFAC World Congress, Jul 2017, Toulouse, France. pp.10538-10543, ⟨10.1016/j.ifacol.2017.08.1309⟩ Communication dans un congrès hal-01930280v1
	Towards Semantical DSMLs for Complex or Cyber-Physical Systems Blazo Nastov , Vincent Chapurlat , Christophe Dony , François Pfister ENASE: Evaluation of Novel Approaches to Software Engineering, Apr 2016, Rome, Italy. pp.115-123, ⟨10.5220/0005768201150123⟩ Communication dans un congrès lirmm-01377565v1
	Towards V&V suitable Domain Specific Modeling Languages for MBSE: A tooled approach Blazo Nastov , Vincent Chapurlat , Christophe Dony , François Pfister INCOSE International Symposium, Jul 2016, Edinburgh, United Kingdom. pp.556-570, ⟨10.1002/j.2334-5837.2016.00178.x⟩ Communication dans un congrès lirmm-01377575v1
	A Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic Semantics Blazo Nastov , Vincent Chapurlat , Christophe Dony , François Pfister CSD&M : Complex Systems Design & Management, Nov 2014, Paris, France. pp.225-238, ⟨10.1007/978-3-319-11617-4_16⟩ Communication dans un congrès lirmm-01237138v1
	Towards system verification: Adding meaning to models Blazo Nastov , Vincent Chapurlat , François Pfister , Christophe Dony CIEL: Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France Communication dans un congrès hal-01930467v1