Access content directly

Didier Vojtisek

18
Documents

Publications

Image document

Comment allons-nous développer d'ici 5 à 10 ans ?

Didier Vojtisek
Programmez !, 2012, 150, pp.44-46
Journal articles hal-00714953v1
Image document

Introduction à la construction d'un DSL sous Eclipse

Didier Vojtisek
Programmez !, 2009, 120, pp.70-72
Journal articles inria-00468511v1
Image document

OpenEmbeDD : La plate-forme et ses outils d'ingénierie de modèles

Didier Vojtisek
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2009, 89, pp.31-37
Journal articles inria-00468512v1
Image document

Processus MOPCOM pour SoC/SoPC

Ali Koudri , Joël Champeau , Denis Aulagnier , Didier Vojtisek
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2009
Journal articles inria-00468656v1
Image document

MTL and Umlaut NG - Engine and Framework for Model Transformation

Didier Vojtisek , Jean-Marc Jézéquel
ERCIM News, 2004, ERCIM News 58, 58
Journal articles inria-00000953v1
Image document

Execution Framework of the GEMOC Studio (Tool Demo)

Erwan Bousse , Thomas Degueule , Didier Vojtisek , Tanja Mayerhofer , Julien Deantoni et al.
Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Oct 2016, Amsterdam, Netherlands. pp.8
Conference papers hal-01355391v2
Image document

ATSyRa: An Integrated Environment for Synthesizing Attack Trees

Sophie Pinchinat , Mathieu Acher , Didier Vojtisek
Second International Workshop on Graphical Models for Security (GraMSec'15) co-located with CSF'15, Jul 2015, Verona, Italy
Conference papers hal-01243021v1
Image document

A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio

Benoit Combemale , Julien Deantoni , Olivier Barais , Arnaud Blouin , Erwan Bousse et al.
8th Transformation Tool Contest, 2015, l'Aquila, Italy
Conference papers hal-01152342v2
Image document

Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis

Sophie Pinchinat , Mathieu Acher , Didier Vojtisek
Workshop on Formal Methods in the Development of Software (co-located with SEFM), Sep 2014, Grenoble, France
Conference papers hal-01064645v1
Image document

A Demonstration for Building Modular and Efficient DSLs: The Kermeta v2 Experience

Olivier Barais , Benoit Baudry , Arnaud Blouin , Benoit Combemale , Jean-Marc Jézéquel et al.
Conférence en IngénieriE du Logiciel (CIEL), Apr 2013, Nancy, France
Conference papers hal-00796009v1
Image document

Using MARTE in a Co-Design Methodology

Ali Koudri , Denis Aulagnier , Didier Vojtisek , Philippe Soulard , Christophe Moy et al.
MARTE UML profile workshop co-located with DATE'08, Mar 2008, Munich, Germany. 6 p
Conference papers hal-00354356v1
Image document

Using Aspect Oriented Modeling to localize implementation of executable models

Zaid Altahat , Tzilla Elrad , Didier Vojtisek
Models and Aspects workshop, at ECOOP 2007, Jul 2007, Berlin, Germany
Conference papers inria-00460326v1

Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles

Jean-Marie Mottu , Olivier Barais , Mark Skipper , Didier Vojtisek , Jean-Marc Jézéquel et al.
8e conférence AFADL, Approches Formelles dans l'Assistance au D´eveloppement de Logiciels, 2007, Namur, Belgique, Jun 2007, France. pp. 283-285
Conference papers hal-00461532v1
Image document

On Executable Meta-Languages applied to Model Transformations

Pierre-Alain Muller , Franck Fleurey , Didier Vojtisek , Zoé Drey , Damien Pollet et al.
Model Transformations In Practice Workshop, Oct 2005, Montego Bay, Jamaica
Conference papers inria-00000381v1