Nombre de documents

18

Short Bio


Article dans une revue5 documents

  • Didier Vojtisek. Comment allons-nous développer d'ici 5 à 10 ans ?. Programmez!, Magazine Programmez, 2012, 150, pp.44-46. <hal-00714953>
  • Didier Vojtisek. Introduction à la construction d'un DSL sous Eclipse. Programmez!, Magazine Programmez, 2009, 120, pp.70-72. <inria-00468511>
  • Didier Vojtisek. OpenEmbeDD : La plate-forme et ses outils d'ingénierie de modèles. Génie Logiciel - Neptune - Ingéniérie dirigée par les modèles, Revue Génie Logiciel - AFCET, 2009, 89, pp.31-37. <inria-00468512>
  • Ali Koudri, Joël Champeau, Denis Aulagnier, Didier Vojtisek. Processus MOPCOM pour SoC/SoPC. Génie Logiciel - Ingéniérie dirigée par les modèles, Revue Génie Logiciel - AFCET, 2009. <inria-00468656>
  • Didier Vojtisek, Jean-Marc Jézéquel. MTL and Umlaut NG - Engine and Framework for Model Transformation. ERCIM News 58, ERCIM News, 2004, ERCIM News 58, 58. <inria-00000953>

Communication dans un congrès9 documents

  • Erwan Bousse, Thomas Degueule, Didier Vojtisek, Tanja Mayerhofer, Julien Deantoni, et al.. 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, SLE 2016. <hal-01355391v2>
  • Sophie Pinchinat, Mathieu Acher, Didier Vojtisek. 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. 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. <hal-01243021>
  • Benoit Combemale, Julien Deantoni, Olivier Barais, Arnaud Blouin, Erwan Bousse, et al.. A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio. 8th Transformation Tool Contest, 2015, l'Aquila, Italy. CEUR, <http://www.transformation-tool-contest.eu/>. <hal-01152342v2>
  • Sophie Pinchinat, Mathieu Acher, Didier Vojtisek. Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis. Workshop on Formal Methods in the Development of Software (co-located with SEFM), Sep 2014, Grenoble, France. 2014. <hal-01064645>
  • Olivier Barais, Benoit Baudry, Arnaud Blouin, Benoit Combemale, Jean-Marc Jézéquel, et al.. A Demonstration for Building Modular and Efficient DSLs: The Kermeta v2 Experience. Conférence en IngénieriE du Logiciel (CIEL), Apr 2013, Nancy, France. 2013. <hal-00796009>
  • Ali Koudri, Denis Aulagnier, Didier Vojtisek, Philippe Soulard, Christophe Moy, et al.. Using MARTE in a Co-Design Methodology. MARTE UML profile workshop co-located with DATE'08, Mar 2008, Munich, Germany. 6 p., 2008. <hal-00354356>
  • Zaid Altahat, Tzilla Elrad, Didier Vojtisek. Using Aspect Oriented Modeling to localize implementation of executable models. Models and Aspects workshop, at ECOOP 2007, Jul 2007, Berlin, Germany. 2007. <inria-00460326>
  • Jean-Marie Mottu, Olivier Barais, Mark Skipper, Didier Vojtisek, Jean-Marc Jézéquel. Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles. 8e conférence AFADL, Approches Formelles dans l'Assistance au D´eveloppement de Logiciels, 2007, Namur, Belgique, Jun 2007, France. pp. 283-285, 2007. <hal-00461532>
  • Pierre-Alain Muller, Franck Fleurey, Didier Vojtisek, Zoé Drey, Damien Pollet, et al.. On Executable Meta-Languages applied to Model Transformations. Model Transformations In Practice Workshop, Oct 2005, Montego Bay, Jamaica. 2005. <inria-00000381>

Ouvrage (y compris édition critique et traduction)2 documents

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

Autre publication2 documents

  • Jean-Marie Mottu, Olivier Barais, Mark Skipper, Didier Vojtisek, Jean-Marc Jézéquel. Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles.. Ce document présente succintement l'intégration du support OCL pour le langage de méta-modélisati.. 2007. <inria-00477561>
  • Didier Vojtisek. QVT : un standard de transformation pour l'Ingénierie Dirigèe par les Modèles. http://www.standarmedia.com. 2006. <inria-00511398>