Frank Hermann
Frank Hermann
Software Designer; Carmeq GmbH
Verified email at frank-hermann.de - Homepage
TitleCited byYear
From state-to delta-based bidirectional model transformations: the symmetric case
Z Diskin, Y Xiong, K Czarnecki, H Ehrig, F Hermann, F Orejas
International Conference on Model Driven Engineering Languages and Systems …, 2011
1532011
Information preserving bidirectional model transformations
H Ehrig, K Ehrig, C Ermel, F Hermann, G Taentzer
Fundamental Approaches to Software Engineering, 72-86, 2007
1492007
Sesqui-pushout rewriting
A Corradini, T Heindel, F Hermann, B König
International Conference on Graph Transformation, 30-45, 2006
1012006
Correctness of model synchronization based on triple graph grammars
F Hermann, H Ehrig, F Orejas, K Czarnecki, Z Diskin, Y Xiong
International Conference on Model Driven Engineering Languages and Systems …, 2011
692011
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
532010
Formal analysis of functional behaviour for model transformations based on triple graph grammars
F Hermann, H Ehrig, F Orejas, U Golas
International Conference on Graph Transformation, 155-170, 2010
522010
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
502010
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
482009
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 (1), 241-269, 2015
452015
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
342007
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
332008
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
322008
Concurrent model synchronization with conflict resolution based on triple graph grammars
F Hermann, H Ehrig, C Ermel, F Orejas
International Conference on Fundamental Approaches to Software Engineering …, 2012
312012
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
302009
Transformation of type graphs with inheritance for ensuring security in e-government networks
F Hermann, H Ehrig, C Ermel
International Conference on Fundamental Approaches to Software Engineering …, 2009
302009
Graph and Model Transformation
H Ehrig, C Ermel, U Golas, F Hermann
Monographs in Theoretical Computer Science. Springer, 2015
272015
Subobject transformation systems
A Corradini, F Hermann, P Sobociński
Applied Categorical Structures 16 (3), 389-419, 2008
262008
A typed attributed graph grammar with inheritance for the abstract syntax of UML class and sequence diagrams
F Hermann, H Ehrig, G Taentzer
Electronic Notes in Theoretical Computer Science 211, 261-269, 2008
262008
Incremental service composition based on partial matching of visual contracts
M Naeem, R Heckel, F Orejas, F Hermann
International Conference on Fundamental Approaches to Software Engineering …, 2010
242010
On an automated translation of satellite procedures using triple graph grammars
F Hermann, S Gottmann, N Nachtigall, B Braatz, G Morelli, A Pierre, ...
International Conference on Theory and Practice of Model Transformations, 50-51, 2013
212013
The system can't perform the operation now. Try again later.
Articles 1–20