Frank Hermann

Affiliations:
  • University of Luxembourg


According to our database1, Frank Hermann authored at least 56 papers between 2006 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2016
Towards the Propagation of Model Updates along different Views in Multi-View Models.
Proceedings of the 5th International Workshop on Bidirectional Transformations, 2016

2015
Graph and Model Transformation - General Framework and Applications
Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-662-47980-3, 2015

Model synchronization based on triple graph grammars: correctness, completeness and invertibility.
Softw. Syst. Model., 2015

2014
Formal analysis of model transformations based on triple graph grammars.
Math. Struct. Comput. Sci., 2014

Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions.
Math. Struct. Comput. Sci., 2014

13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014): Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars.
Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, 2014

Report on the Third Workshop on Verification of Model Transformations (VOLT 2014).
Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, 2014

Solving the FIXML2Code-case Study with HenshinTGG.
Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, 2014

Triple Graph Grammars in the Large for Translating Satellite Procedures.
Proceedings of the Theory and Practice of Model Transformations, 2014

BenchmarX.
Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

2013
Propagation of constraints along model transformations using triple graph grammars and borrowed context.
J. Vis. Lang. Comput., 2013

Conformance Analysis of Organizational Models: A New Enterprise Modeling Framework using Algebraic Graph Transformation.
Int. J. Inf. Syst. Model. Des., 2013

On Propagation-Based Concurrent Model Synchronization.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars.
Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), 2013

Towards Bidirectional Engineering of Satellite Control Procedures Using Triple Graph Grammars.
Proceedings of the 7th Workshop on Multi-Paradigm Modeling co-located with the 16th International Conference on Model Driven Engineering Languages and Systems, 2013

On an Automated Translation of Satellite Procedures Using Triple Graph Grammars.
Proceedings of the Theory and Practice of Model Transformations, 2013

Automated source code extension for debugging of OpenFlow based networks.
Proceedings of the 9th International Conference on Network and Service Management, 2013

2012
First International Workshop on Bidirectional Transformations (BX 2012): Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Visual Modeling and Analysis of EMF Model Transformations Based on Triple Graph Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories
Proceedings of the Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, 2012

Transformation Systems with Incremental Negative Application Conditions.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Parallelism and Concurrency of Stochastic Graph Transformations.
Proceedings of the Graph Transformations - 6th International Conference, 2012

Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011
Analysis and Optimization of Visual Enterprise Models: Based on Graph and Model Transformation.
PhD thesis, 2011

Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Propagation of Constraints along Model Transformations Based on Triple Graph Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra.
J. Res. Pract. Inf. Technol., 2011

Correctness of Model Synchronization Based on Triple Graph Grammars.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

2010
Specification and Verification of Model Transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach.
Bull. EATCS, 2010

Efficient analysis and execution of correct and complete model transformations based on triple graph grammars.
Proceedings of the First International Workshop on Model-Driven Interoperability, 2010

Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars.
Proceedings of the Graph Transformations - 5th International Conference, 2010

How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation?
Proceedings of the Graph Transformations - 5th International Conference, 2010

Incremental Service Composition Based on Partial Matching of Visual Contracts.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

2009
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Cospan DPO Approach: An Alternative for DPO Graph Transformations.
Bull. EATCS, 2009

Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation.
Bull. EATCS, 2009

On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars.
Proceedings of the Model Driven Engineering Languages and Systems, 2009

Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

Modeling and reconfiguration of critical business processes for the purpose of a Business Continuity Management respecting security, risk and compliance requirements at Credit Suisse using algebraic graph transformation.
Proceedings of the Workshops Proceedings of the 12th IEEE International Enterprise Distributed Object Computing Conference, 2009

Security and Consistency of IT and Business Models at Credit Suisse Realized by Graph Constraints, Transformation and Integration Using Algebraic Graph Theory.
Proceedings of the Enterprise, 2009

2008
Permutation Equivalence of DPO Derivations with Negative Application Conditions based on Subobject Transformation Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Process Definition using Subobject Transformation Systems.
Bull. EATCS, 2008

Subobject Transformation Systems.
Appl. Categorical Struct., 2008

On the relationship of model transformations based on triple and plain graph grammars.
Proceedings of the Third International Workshop on Graph and Model Transformations, 2008

Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions.
Proceedings of the Graph Transformations, 4th International Conference, 2008

2007
Simulating Multigraph Transformations Using Simple Graphs.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

Information Preserving Bidirectional Model Transformations.
Proceedings of the Fundamental Approaches to Software Engineering, 2007

An Approach Using Formally Well-founded Domain Languages for Secure Coarse-grained IT System Modelling in a Real-world Banking Scenario.
Proceedings of the Australasian Conference on Information Systems, 2007

2006
A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams.
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Towards Translating Graph Transformation Approaches by Model Transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Sesqui-Pushout Rewriting.
Proceedings of the Graph Transformations, Third International Conference, 2006


  Loading...