Didier Vojtisek
Didier Vojtisek
Inria, Univ Rennes, CNRS, IRISA
Verified email at inria.fr - Homepage
Title
Cited by
Cited by
Year
On executable meta-languages applied to model transformations
PA Muller, F Fleurey, D Vojtisek, Z Drey, D Pollet, F Fondement, P Studer, ...
942005
Kermeta language Reference manual
Z Drey, C Faucher, F Fleurey, V Mahé, D Vojtisek
Manuscript available online http://www. kermeta. org, 2009
78*2009
Sublinear effect in electron emission from solids bombarded with swift gold clusters
K Baudin, A Brunelle, S Della-Negra, J Depauw, Y Le Beyec, ES Parilis
Nuclear Instruments and Methods in Physics Research Section B: Beam …, 1996
77*1996
Ingénierie Dirigée par les Modèles: des concepts à la pratique...
JM Jézéquel, B Combemale, D Vojtisek
Ellipses, 2012
652012
Execution framework of the gemoc studio (tool demo)
E Bousse, T Degueule, D Vojtisek, T Mayerhofer, J Deantoni, ...
Proceedings of the 2016 ACM SIGPLAN International Conference on Software …, 2016
562016
Engineering modeling languages: Turning domain knowledge into tools
B Combemale, R France, JM Jézéquel, B Rumpe, J Steel, D Vojtisek
CRC Press, 2016
392016
OCL as a core UML transformation language
D Pollet, D Vojtisek, JM Jézéquel
392002
Using MARTE in a co-design methodology
A Koudri, D Aulagnier, D Vojtisek, P Soulard, C Moy, J Champeau, J Vidal, ...
312008
Towards synthesis of attack trees for supporting computer-aided risk analysis
S Pinchinat, M Acher, D Vojtisek
International Conference on Software Engineering and Formal Methods, 363-375, 2014
232014
ATSyRa: an integrated environment for synthesizing attack trees
S Pinchinat, M Acher, D Vojtisek
International Workshop on Graphical Models for Security, 97-101, 2015
192015
A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio
B Combemale, J Deantoni, O Barais, A Blouin, E Bousse, C Brun, ...
132015
Using Aspect Oriented Modeling to localize implementation of executable models
Z Altahat, T Elrad, D Vojtisek
Models and Aspects workshop, at ECOOP 2007, 2007
52007
Kermeta language
F Fleurey, Z Drey, D Vojtisek, C Faucher, V Mahé
Reference manual, Internet: http://www. kermeta. org/docs/kermeta-manual. pdf, 2006
52006
Traceability MDK for Kermeta
D Vojtisek
32009
" Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier-DOI)
E Bousse, T Degueule, D Vojtisek, T Mayerhofer, J Deantoni, ...
Journal of Comparative Physiology A 193 (4), 445-459, 2007
32007
Processus de développement UML/MARTE MoPCom pour le codesign
A Koudri, J Champeau, D Aulagnier, D Vojtisek
Génie Logiciel, 2009
22009
A Demonstration for Building Modular and Efficient DSLs: The Kermeta v2 Experience
O Barais, B Baudry, A Blouin, B Combemale, JM Jézéquel, D Vojtisek
12013
Processus MOPCOM pour SoC/SoPC
A Koudri, J Champeau, D Aulagnier, D Vojtisek
12009
Introduction à la construction d'un DSL sous Eclipse
D Vojtisek
12009
Models for Software-Intensive System Development
B Combemale, R France, JM Jézéquel, D Vojtisek, JRH Steel, B Rumpe
Chapman & Hall/CRC, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–20