עקוב אחר
Frank Hermann
Frank Hermann
Product Owner; CARIAD
כתובת אימייל מאומתת בדומיין frank-hermann.de - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
From state-to delta-based bidirectional model transformations: The symmetric case‏
Z Diskin, Y Xiong, K Czarnecki, H Ehrig, F Hermann, F Orejas‏
Model Driven Engineering Languages and Systems: 14th International …, 2011‏
2302011
Sesqui-pushout rewriting‏
A Corradini, T Heindel, F Hermann, B König‏
International Conference on Graph Transformation, 30-45, 2006‏
1882006
Information preserving bidirectional model transformations‏
H Ehrig, K Ehrig, C Ermel, F Hermann, G Taentzer‏
Fundamental Approaches to Software Engineering, 72-86, 2007‏
1832007
Graph and model transformation‏
H Ehrig, C Ermel, U Golas, F Hermann‏
Monographs in Theoretical Computer Science. Springer, 17, 2015‏
1172015
Correctness of model synchronization based on triple graph grammars‏
F Hermann, H Ehrig, F Orejas, K Czarnecki, Z Diskin, Y Xiong‏
Model Driven Engineering Languages and Systems: 14th International …, 2011‏
862011
Categorical frameworks for graph transformation and HLR systems based on the DPO approach‏
H Ehrig, U Golas, F Hermann‏
Bulletin of the EATCS, 111-121, 2010‏
832010
Efficient analysis and execution of correct and complete model transformations based on triple graph grammars‏
F Hermann, H Ehrig, U Golas, F Orejas‏
Proceedings of the First International Workshop on Model-Driven …, 2010‏
722010
Model synchronization based on triple graph grammars: correctness, completeness and invertibility‏
F Hermann, H Ehrig, F Orejas, K Czarnecki, Z Diskin, Y Xiong, ...‏
Software & Systems Modeling 14, 241-269, 2015‏
682015
From model transformation to model integration based on the algebraic approach to triple graph grammars‏
H Ehrig, K Ehrig, F Hermann‏
Electronic Communications of the EASST 10, 2008‏
672008
Formal analysis of functional behaviour for model transformations based on triple graph grammars‏
F Hermann, H Ehrig, F Orejas, U Golas‏
Graph Transformations: 5th International Conference, ICGT 2010, Enschede …, 2010‏
652010
On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars‏
H Ehrig, C Ermel, F Hermann, U Prange‏
Model Driven Engineering Languages and Systems, 241-255, 2009‏
632009
Concurrent model synchronization with conflict resolution based on triple graph grammars‏
F Hermann, H Ehrig, C Ermel, F Orejas‏
Fundamental Approaches to Software Engineering: 15th International …, 2012‏
622012
Specification and verification of model transformations‏
F Hermann, M Hülsbusch, B König‏
Electronic Communications of the EASST 30, 2010‏
622010
Completeness and Correctness of Model Transformations Based on Triple Graph Grammars with Negtaive Application Conditions: Long Version‏
H Ehrig, F Hermann, C Sartorius‏
Techn. Univ. Berlin, Fakultät IV, Elektrotechnik und Informatik, 2009‏
44*2009
A visual editor for reconfigurable object nets based on the ECLIPSE graphical editor framework‏
E Biermann, C Ermel, F Hermann, T Modica‏
Arbeitsberichte aus dem Arbeitsberichte aus dem Fachbereich Informatik 2, 2007‏
432007
On the relationship of model transformations based on triple and plain graph grammars‏
H Ehrig, C Ermel, F Hermann‏
Proceedings of the third international workshop on Graph and model …, 2008‏
392008
Cospan DPO approach: An alternative for DPO graph transformations‏
H Ehrig, F Hermann, U Prange‏
Bulletin of the EATCS, 2009‏
372009
Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions‏
U Golas, H Ehrig, F Hermann‏
Electronic Communications of the EASST 39, 2011‏
342011
Subobject transformation systems‏
A Corradini, F Hermann, P Sobociński‏
Applied Categorical Structures 16 (3), 389-419, 2008‏
342008
Transformation of type graphs with inheritance for ensuring security in e-government networks‏
F Hermann, H Ehrig, C Ermel‏
Fundamental Approaches to Software Engineering: 12th International …, 2009‏
322009
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20