Suivre
Frank Hermann
Frank Hermann
Data Scientist; CARIAD
Aucune adresse e-mail validée - Page d'accueil
Titre
Citée par
Citée par
Année
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
2162011
Information preserving bidirectional model transformations
H Ehrig, K Ehrig, C Ermel, F Hermann, G Taentzer
Fundamental Approaches to Software Engineering, 72-86, 2007
1772007
Sesqui-pushout rewriting
A Corradini, T Heindel, F Hermann, B König
International Conference on Graph Transformation, 30-45, 2006
1632006
Graph and model transformation
H Ehrig, C Ermel, U Golas, F Hermann
Monographs in Theoretical Computer Science. Springer, 2015
892015
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
762010
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
682010
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
652008
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
642015
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
632010
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
592012
Completeness and correctness of model transformations based on triple graph grammars with negative application conditions
H Ehrig, F Hermann, C Sartorius
Electronic Communications of the EASST 18, 2009
432009
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
402007
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, 139-146, 2009
352009
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, 389-419, 2008
332008
Triple Graph Grammars in the Large for Translating Satellite Procedures
F Hermann, S Gottmann, N Nachtigall, H Ehrig, B Braatz, G Morelli, ...
Int. Conf. on Theory and Practice of Model Transformations (ICMT 2014), LNCS …, 2014
312014
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
312009
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20