Concepedia

Didier Vojtisek

DV

Statistics

Publications

6

Citations

197

H-Index

6

Active since

2002

Affiliations

Reliable Software Resources (United States)(Current)

Université de Rennes

Didier Vojtisek is an author at Reliable Software Resources (United States) specializing in software design, systems engineering, and formal methods.

Top concepts

EngineeringFormal MethodsSoftware DesignSystems EngineeringSoftware EngineeringSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware Analysis

Publications per year

2002–2023

6

Publications

6

Execution framework of the GEMOC studio (tool demo)

Erwan Bousse, Thomas Degueule, Didier Vojtisek et al. · 2016 · 74 citations

Software Maintenance, Engineering, Execution Framework +21

On Executable Meta-Languages applied to Model Transformations

Pierre-Alain Müller, Franck Fleurey, Didier Vojtisek et al. · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 2005 · 58 citations · Full text

Using MARTE in a Co-Design Methodology

Ali Koudri, Denis Aulagnier, Didier Vojtisek · 2009 · 23 citations · Full text

MTL and Umlaut NG - Engine and Framework for Model Transformation

Didier Vojtisek, Jean‐Marc Jezéquél · HAL (Le Centre pour la Communication Scientifique Directe) · 2004 · 21 citations · Full text

Engineering, Software Engineering, Social Sciences +18

OCL as a Core UML Transformation Language WITUML 2002 – Position Paper

Damien Pollet, Didier Vojtisek, Jean‐Marc Jezéquél · 2002 · 11 citations

Software Maintenance, Engineering, Software Engineering +22

1–5 of 6