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

Publications

Article dans une revue (5)

Comment allons-nous développer d'ici 5 à 10 ans ? Didier Vojtisek Programmez !, 2012, 150, pp.44-46 Article dans une revue hal-00714953v1
Introduction à la construction d'un DSL sous Eclipse Didier Vojtisek Programmez !, 2009, 120, pp.70-72 Article dans une revue inria-00468511v1
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
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
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

Communication dans un congrès (10)

Model-Based DevOps: Foundations and Challenges Benoit Combemale,Jean-Marc Jézéquel,Quentin Perez,Didier Vojtisek,Nico Jansenet 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
Execution Framework of the GEMOC Studio (Tool Demo) Erwan Bousse,Thomas Degueule,Didier Vojtisek,Tanja Mayerhofer,Julien Deantoniet 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
A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio Benoit Combemale,Julien Deantoni,Olivier Barais,Arnaud Blouin,Erwan Bousseet al. 8th Transformation Tool Contest, 2015, l'Aquila, Italy Communication dans un congrès hal-01152342v2
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
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
A Demonstration for Building Modular and Efficient DSLs: The Kermeta v2 Experience Olivier Barais,Benoit Baudry,Arnaud Blouin,Benoit Combemale,Jean-Marc Jézéquelet al. Conférence en IngénieriE du Logiciel (CIEL), Apr 2013, Nancy, France Communication dans un congrès hal-00796009v1
Using MARTE in a Co-Design Methodology Ali Koudri,Denis Aulagnier,Didier Vojtisek,Philippe Soulard,Christophe Moyet 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
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
On Executable Meta-Languages applied to Model Transformations Pierre-Alain Muller,Franck Fleurey,Didier Vojtisek,Zoé Drey,Damien Polletet al. Model Transformations In Practice Workshop, Oct 2005, Montego Bay, Jamaica Communication dans un congrès inria-00000381v1

Ouvrages (2)

Engineering Modeling Languages Benoit Combemale,Robert France,Jean-Marc Jézéquel,Bernhard Rumpe,Jim R.H. Steelet al. Chapman and Hall/CRC, pp.398, 2016, 9781466583733 Ouvrages hal-01355374v1
Ingénierie Dirigée par les Modèles : des concepts à la pratique... Jean-Marc Jézéquel,Benoit Combemale,Didier Vojtisek Ellipses. Ellipses, pp.144, 2012, Références sciences, 9782729871963 Ouvrages hal-00648489v1

Autre publication scientifique (2)

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 2007 Autre publication scientifique inria-00477561v1
QVT : un standard de transformation pour l'Ingénierie Dirigèe par les Modèles Didier Vojtisek 2006 Autre publication scientifique inria-00511398v1