Didier Vojtisek

Research Engineer at Inria As a member of the SED (Service d’Expérimentation et Développement) , I'm regularly involved in the DiverSE Team and LogicA Team activities
19
Documents

Publications

8
6
3
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
2
2
1
1
2
3
1
3
1
1
1

Publications

Deposit thumbnail

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

Didier Vojtisek

Programmez !, 2012, 150, pp.44-46

Article dans une revue hal-00714953v1
Deposit thumbnail

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

Article dans une revue inria-00468512v1
Deposit thumbnail

Introduction à la construction d'un DSL sous Eclipse

Didier Vojtisek

Programmez !, 2009, 120, pp.70-72

Article dans une revue inria-00468511v1
Deposit thumbnail

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

Article dans une revue inria-00468656v1
Deposit thumbnail

MTL and Umlaut NG - Engine and Framework for Model Transformation

Didier Vojtisek , Jean-Marc Jézéquel

ERCIM News, 2004, ERCIM News 58, 58

Article dans une revue inria-00000953v1
Deposit thumbnail

Model-Based DevOps: Foundations and Challenges

Benoit Combemale , Jean-Marc Jézéquel , Quentin Perez , Didier Vojtisek , Nico Jansen et al.

MODELS-C 2023 - ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, Oct 2023, Västerås, Sweden. pp.429-433, ⟨10.1109/MODELS-C59198.2023.00076⟩

Communication dans un congrès hal-04425802v1
Deposit thumbnail

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

Communication dans un congrès hal-01355391v2
Deposit thumbnail

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

Communication dans un congrès hal-01152342v2
Deposit thumbnail

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

Communication dans un congrès hal-01243021v1
Deposit thumbnail

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

Communication dans un congrès hal-01064645v1
Deposit thumbnail

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

Communication dans un congrès hal-00796009v1
Deposit thumbnail

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

Communication dans un congrès hal-00354356v1

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

8e conférence AFADL, Approches Formelles dans l'Assistance au D´eveloppement de Logiciels, 2007, Namur, Belgique, Jun 2007, France. pp. 283-285

Communication dans un congrès hal-00461532v1
Deposit thumbnail

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

Communication dans un congrès inria-00460326v1
Deposit thumbnail

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

Communication dans un congrès inria-00000381v1