Frank Hermann
Affiliations:- University of Luxembourg
According to our database1,
Frank Hermann
authored at least 56 papers
between 2006 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on wwwen.uni.lu
-
on dl.acm.org
On csauthors.net:
Bibliography
2016
Proceedings of the 5th International Workshop on Bidirectional Transformations, 2016
2015
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
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
Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, 2014
Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, 2014
Proceedings of the Theory and Practice of Model Transformations, 2014
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
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
Proceedings of the Theory and Practice of Model Transformations, 2013
Proceedings of the 9th International Conference on Network and Service Management, 2013
2012
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
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012
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
Proceedings of the Model Driven Engineering Languages and Systems, 2011
Proceedings of the Model Driven Engineering Languages and Systems, 2011
2010
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
Proceedings of the Graph Transformations - 5th International Conference, 2010
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
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
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007
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
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
Proceedings of the Graph Transformations, Third International Conference, 2006