Publications

Here is the list of my publications (in HAL) (or more or less the same in google scholar)

Publications HAL de Didier, Vojtisek

2016

Conference papers

titre
Execution Framework of the GEMOC Studio (Tool Demo)
auteur
Erwan Bousse, Thomas Degueule, Didier Vojtisek, Tanja Mayerhofer, Julien Deantoni, Benoit Combemale
article
Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Oct 2016, Amsterdam, Netherlands. pp.8, SLE 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01355391/file/execution-framework-gemoc-final.pdf BibTex

Books

titre
Engineering Modeling Languages
auteur
Benoit Combemale, Robert France, Jean-Marc Jézéquel, Bernhard Rumpe, Jim R.H. Steel, Didier Vojtisek
article
Chapman and Hall/CRC, pp.398, 2016, 9781466583733
Accès au bibtex
BibTex

2015

Conference papers

titre
ATSyRa: An Integrated Environment for Synthesizing Attack Trees
auteur
Sophie Pinchinat, Mathieu Acher, Didier Vojtisek
article
Second International Workshop on Graphical Models for Security (GraMSec’15) co-located with CSF’15, Jul 2015, Verona, Italy. Second International Workshop on Graphical Models for Security (GraMSec’15) co-located with CSF’15, Second International Workshop on Graphical Models for Security (GraMSec’15) co-located with CSF’15
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01243021/file/paper_3%20%282%29.pdf BibTex
titre
A Solution to the TTC’15 Model Execution Case Using the GEMOC Studio
auteur
Benoit Combemale, Julien Deantoni, Olivier Barais, Arnaud Blouin, Erwan Bousse, Cédric Brun, Thomas Degueule, Didier Vojtisek
article
8th Transformation Tool Contest, 2015, l’Aquila, Italy. CEUR, <http://www.transformation-tool-contest.eu/>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01152342/file/ttc15-combemale-cameraready.pdf BibTex

2014

Conference papers

titre
Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis
auteur
Sophie Pinchinat, Mathieu Acher, Didier Vojtisek
article
Workshop on Formal Methods in the Development of Software (co-located with SEFM), Sep 2014, Grenoble, France. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01064645/file/SEFM-FMDS.pdf BibTex

2013

Conference papers

titre
A Demonstration for Building Modular and Efficient DSLs: The Kermeta v2 Experience
auteur
Olivier Barais, Benoit Baudry, Arnaud Blouin, Benoit Combemale, Jean-Marc Jézéquel, Didier Vojtisek
article
Conférence en IngénieriE du Logiciel (CIEL), Apr 2013, Nancy, France. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00796009/file/K2.pdf BibTex

2012

Journal articles

titre
Comment allons-nous développer d’ici 5 à 10 ans ?
auteur
Didier Vojtisek
article
Programmez!, Magazine Programmez, 2012, 150, pp.44-46
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00714953/file/Programmez_Dans5Ans.pdf BibTex

Books

titre
Ingénierie Dirigée par les Modèles : des concepts à la pratique…
auteur
Jean-Marc Jézéquel, Benoit Combemale, Didier Vojtisek
article
Ellipses. Ellipses, pp.144, 2012, Références sciences, 9782729871963
Accès au bibtex
BibTex

2009

Journal articles

titre
Processus MOPCOM pour SoC/SoPC
auteur
Ali Koudri, Joël Champeau, Denis Aulagnier, Didier Vojtisek
article
Génie Logiciel – Ingéniérie dirigée par les modèles, Revue Génie Logiciel – AFCET, 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00468656/file/Koudri09a.pdf BibTex
titre
OpenEmbeDD : La plate-forme et ses outils d’ingénierie de modèles
auteur
Didier Vojtisek
article
Génie Logiciel – Neptune – Ingéniérie dirigée par les modèles, Revue Génie Logiciel – AFCET, 2009, 89, pp.31-37
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00468512/file/Vojtisek09b.pdf BibTex
titre
Introduction à la construction d’un DSL sous Eclipse
auteur
Didier Vojtisek
article
Programmez!, Magazine Programmez, 2009, 120, pp.70-72
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00468511/file/Vojtisek09a.pdf BibTex

2008

Conference papers

titre
Using MARTE in a Co-Design Methodology
auteur
Ali Koudri, Denis Aulagnier, Didier Vojtisek, Philippe Soulard, Christophe Moy, Joël Champeau, Jorgiano Vidal, Jean-Christophe Le Lann
article
MARTE UML profile workshop co-located with DATE’08, Mar 2008, Munich, Germany. 6 p., 2008
Accès au texte intégral et bibtex
https://hal-supelec.archives-ouvertes.fr/hal-00354356/file/Koudri08a.pdf BibTex

2007

Conference papers

titre
Using Aspect Oriented Modeling to localize implementation of executable models
auteur
Zaid Altahat, Tzilla Elrad, Didier Vojtisek
article
Models and Aspects workshop, at ECOOP 2007, Jul 2007, Berlin, Germany. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00460326/file/Altahat07a.pdf BibTex
titre
Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles
auteur
Jean-Marie Mottu, Olivier Barais, Mark Skipper, Didier Vojtisek, Jean-Marc Jézéquel
article
8e conférence AFADL, Approches Formelles dans l’Assistance au D´eveloppement de Logiciels, 2007, Namur, Belgique, Jun 2007, France. pp. 283-285, 2007
Accès au bibtex
BibTex

Other publications

titre
Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles.
auteur
Jean-Marie Mottu, Olivier Barais, Mark Skipper, Didier Vojtisek, Jean-Marc Jézéquel
article
Ce document présente succintement l’intégration du support OCL pour le langage de méta-modélisati.. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477561/file/Mottu07a.pdf BibTex

2006

Other publications

titre
QVT : un standard de transformation pour l’Ingénierie Dirigèe par les Modèles
auteur
Didier Vojtisek
article
http://www.standarmedia.com. 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00511398/file/StandardMediaQVT.pdf BibTex

2005

Conference papers

titre
On Executable Meta-Languages applied to Model Transformations
auteur
Pierre-Alain Muller, Franck Fleurey, Didier Vojtisek, Zoé Drey, Damien Pollet, Frédéric Fondement, Philippe Studer, Jean-Marc Jézéquel
article
Model Transformations In Practice Workshop, Oct 2005, Montego Bay, Jamaica. 2005
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000381/file/Muller05c.pdf BibTex

2004

Journal articles

titre
MTL and Umlaut NG – Engine and Framework for Model Transformation
auteur
Didier Vojtisek, Jean-Marc Jézéquel
article
ERCIM News 58, ERCIM News, 2004, ERCIM News 58, 58
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000953/file/Vojtisek04a.pdf BibTex