
Didier Vojtisek
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
|
Comment allons-nous développer d'ici 5 à 10 ans ?Programmez !, 2012, 150, pp.44-46
Article dans une revue
hal-00714953
v1
|
|
Introduction à la construction d'un DSL sous EclipseProgrammez !, 2009, 120, pp.70-72
Article dans une revue
inria-00468511
v1
|
|
OpenEmbeDD : La plate-forme et ses outils d'ingénierie de modèlesGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2009, 89, pp.31-37
Article dans une revue
inria-00468512
v1
|
|
Processus MOPCOM pour SoC/SoPCGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2009
Article dans une revue
inria-00468656
v1
|
|
MTL and Umlaut NG - Engine and Framework for Model TransformationERCIM News, 2004, ERCIM News 58, 58
Article dans une revue
inria-00000953
v1
|
|
Model-Based DevOps: Foundations and ChallengesMODELS-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-04425802
v1
|
|
Execution Framework of the GEMOC Studio (Tool Demo)Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Oct 2016, Amsterdam, Netherlands. pp.8
Communication dans un congrès
hal-01355391
v2
|
|
A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio8th Transformation Tool Contest, 2015, l'Aquila, Italy
Communication dans un congrès
hal-01152342
v2
|
|
ATSyRa: An Integrated Environment for Synthesizing Attack Trees 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-01243021
v1
|
|
Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk AnalysisWorkshop on Formal Methods in the Development of Software (co-located with SEFM), Sep 2014, Grenoble, France
Communication dans un congrès
hal-01064645
v1
|
|
A Demonstration for Building Modular and Efficient DSLs: The Kermeta v2 ExperienceConférence en IngénieriE du Logiciel (CIEL), Apr 2013, Nancy, France
Communication dans un congrès
hal-00796009
v1
|
|
Using MARTE in a Co-Design MethodologyMARTE UML profile workshop co-located with DATE'08, Mar 2008, Munich, Germany. 6 p
Communication dans un congrès
hal-00354356
v1
|
Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles8e 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-00461532
v1
|
|
|
Using Aspect Oriented Modeling to localize implementation of executable modelsModels and Aspects workshop, at ECOOP 2007, Jul 2007, Berlin, Germany
Communication dans un congrès
inria-00460326
v1
|
|
On Executable Meta-Languages applied to Model TransformationsModel Transformations In Practice Workshop, Oct 2005, Montego Bay, Jamaica
Communication dans un congrès
inria-00000381
v1
|
Engineering Modeling LanguagesChapman and Hall/CRC, pp.398, 2016, 9781466583733
Ouvrages
hal-01355374
v1
|
|
|
Ingénierie Dirigée par les Modèles : des concepts à la pratique...Ellipses. Ellipses, pp.144, 2012, Références sciences, 9782729871963
Ouvrages
hal-00648489
v1
|
|
Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles.2007
Autre publication scientifique
inria-00477561
v1
|
|
QVT : un standard de transformation pour l'Ingénierie Dirigèe par les Modèles2006
Autre publication scientifique
inria-00511398
v1
|
Chargement...
Chargement...