default search action
Frank Hermann 0001
Person information
- affiliation: University of Luxembourg
Other persons with the same name
- Frank Hermann 0002 — Hochschule Regensburg
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2016
- [c30]Susann Gottmann, Nico Nachtigall, Claudia Ermel
, Frank Hermann, Thomas Engel:
Towards the Propagation of Model Updates along different Views in Multi-View Models. Bx@ETAPS 2016: 45-60 - 2015
- [b2]Hartmut Ehrig, Claudia Ermel, Ulrike Golas
Graph and Model Transformation - General Framework and Applications. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2015, ISBN 978-3-662-47979-7, pp. 5-399 - [j24]Frank Hermann, Hartmut Ehrig, Fernando Orejas
Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Softw. Syst. Model. 14(1): 241-269 (2015) - 2014
- [j23]Frank Hermann, Stefan Sauer:
13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014): Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 67 (2014) - [j22]Frank Hermann, Andrea Corradini
Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions. Math. Struct. Comput. Sci. 24(4) (2014) - [j21]Frank Hermann, Hartmut Ehrig, Ulrike Golas
Formal analysis of model transformations based on triple graph grammars. Math. Struct. Comput. Sci. 24(4) (2014) - [c29]Anthony Anjorin, Alcino Cunha, Holger Giese, Frank Hermann, Arend Rensink, Andy Schürr:
BenchmarX. EDBT/ICDT Workshops 2014: 82-86 - [c28]Frank Hermann, Susann Gottmann, Nico Nachtigall, Hartmut Ehrig, Benjamin Braatz
Triple Graph Grammars in the Large for Translating Satellite Procedures. ICMT 2014: 122-137 - [c27]Moussa Amrani, Eugene Syriani, Manuel Wimmer, Robert Bill, Martin Gogolla, Frank Hermann, Kevin Lano:
Report on the Third Workshop on Verification of Model Transformations (VOLT 2014). VOLT@STAF 2014: 1-9 - [c26]Frank Hermann, Nico Nachtigall, Benjamin Braatz, Thomas Engel, Susann Gottmann:
Solving the FIXML2Code-case Study with HenshinTGG. TTC@STAF 2014: 32-46 - [c25]Nico Nachtigall, Frank Hermann, Benjamin Braatz, Thomas Engel:
Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars. VOLT@STAF 2014: 46-55 - 2013
- [j20]Fernando Orejas, Artur Boronat, Hartmut Ehrig, Frank Hermann, Hanna Schölzel:
On Propagation-Based Concurrent Model Synchronization. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013) - [j19]Christoph Brandt, Frank Hermann:
Conformance Analysis of Organizational Models: A New Enterprise Modeling Framework using Algebraic Graph Transformation. Int. J. Inf. Syst. Model. Des. 4(1): 42-78 (2013) - [j18]Hartmut Ehrig, Frank Hermann, Hanna Schölzel, Christoph Brandt:
Propagation of constraints along model transformations using triple graph grammars and borrowed context. J. Vis. Lang. Comput. 24(5): 365-388 (2013) - [c24]Stefan Hommes
Automated source code extension for debugging of OpenFlow based networks. CNSM 2013: 105-108 - [c23]Frank Hermann, Susann Gottmann, Nico Nachtigall, Benjamin Braatz
On an Automated Translation of Satellite Procedures Using Triple Graph Grammars. ICMT 2013: 50-51 - [c22]Susann Gottmann, Frank Hermann, Claudia Ermel, Thomas Engel, Gianluigi Morelli:
Towards Bidirectional Engineering of Satellite Control Procedures Using Triple Graph Grammars. MPM@MoDELS 2013: 67-76 - [c21]Susann Gottmann, Frank Hermann, Nico Nachtigall, Benjamin Braatz, Claudia Ermel, Hartmut Ehrig, Thomas Engel:
Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars. AMT@MoDELS 2013 - 2012
- [j17]Frank Hermann, Janis Voigtländer:
First International Workshop on Bidirectional Transformations (BX 2012): Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49 (2012) - [j16]Claudia Ermel, Frank Hermann, Jürgen Gall, Daniel Binanzer:
Visual Modeling and Analysis of EMF Model Transformations Based on Triple Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 54 (2012) - [c20]Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. FASE 2012: 178-193 - [c19]Reiko Heckel, Hartmut Ehrig, Ulrike Golas
Parallelism and Concurrency of Stochastic Graph Transformations. ICGT 2012: 96-110 - [c18]Andrea Corradini
Transformation Systems with Incremental Negative Application Conditions. WADT 2012: 127-142 - [c17]Hanna Schölzel, Hartmut Ehrig, Maria Maximova, Karsten Gabriel, Frank Hermann:
Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories. ACCAT 2012: 83-104 - 2011
- [b1]Frank Hermann:
Analysis and Optimization of Visual Enterprise Models: Based on Graph and Model Transformation. Berlin Institute of Technology, 2011, ISBN 978-3-7983-2322-3 - [j15]Christoph Brandt, Frank Hermann, Jan Friso Groote:
Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra. J. Res. Pract. Inf. Technol. 43(1): 65-86 (2011) - [j14]Ulrike Golas
Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 39 (2011) - [j13]Hartmut Ehrig, Frank Hermann, Hanna Schölzel, Christoph Brandt:
Propagation of Constraints along Model Transformations Based on Triple Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011) - [c16]Zinovy Diskin, Yingfei Xiong
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. MoDELS 2011: 304-318 - [c15]Frank Hermann, Hartmut Ehrig, Fernando Orejas
Correctness of Model Synchronization Based on Triple Graph Grammars. MoDELS 2011: 668-682 - 2010
- [j12]Hartmut Ehrig, Ulrike Golas, Frank Hermann:
Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach. Bull. EATCS 102: 111-121 (2010) - [j11]Frank Hermann, Andrea Corradini, Hartmut Ehrig, Barbara König:
Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010) - [j10]Frank Hermann, Mathias Hülsbusch, Barbara König:
Specification and Verification of Model Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010) - [c14]Muhammad Naeem, Reiko Heckel, Fernando Orejas
Incremental Service Composition Based on Partial Matching of Visual Contracts. FASE 2010: 123-138 - [c13]Christoph Brandt, Frank Hermann:
How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? ICGT 2010: 3-26 - [c12]Frank Hermann, Hartmut Ehrig, Fernando Orejas
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. ICGT 2010: 155-170 - [c11]Frank Hermann, Hartmut Ehrig, Ulrike Golas
Efficient analysis and execution of correct and complete model transformations based on triple graph grammars. MDI@MoDELS 2010: 22-31
2000 – 2009
- 2009
- [j9]Hartmut Ehrig, Claudia Ermel, Frank Hermann, Barbara König:
Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation. Bull. EATCS 97: 117-125 (2009) - [j8]Hartmut Ehrig, Frank Hermann, Ulrike Prange:
Cospan DPO Approach: An Alternative for DPO Graph Transformations. Bull. EATCS 98: 139-149 (2009) - [j7]Hartmut Ehrig, Frank Hermann, Christoph Sartorius:
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009) - [c10]Christoph Brandt, Frank Hermann, Thomas Engel
Security and Consistency of IT and Business Models at Credit Suisse Realized by Graph Constraints, Transformation and Integration Using Algebraic Graph Theory. BMMDS/EMMSAD 2009: 339-352 - [c9]Christoph Brandt, Frank Hermann, Thomas Engel:
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. EDOCW 2009: 64-71 - [c8]Frank Hermann, Hartmut Ehrig, Claudia Ermel:
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. FASE 2009: 325-339 - [c7]Hartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrike Prange
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars. MoDELS 2009: 241-255 - 2008
- [j6]Andrea Corradini
Subobject Transformation Systems. Appl. Categorical Struct. 16(3): 389-419 (2008) - [j5]Frank Hermann, Hartmut Ehrig:
Process Definition using Subobject Transformation Systems. Bull. EATCS 95: 153-163 (2008) - [j4]Hartmut Ehrig, Karsten Ehrig, Frank Hermann:
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008) - [j3]Frank Hermann:
Permutation Equivalence of DPO Derivations with Negative Application Conditions based on Subobject Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 16 (2008) - [c6]Frank Hermann:
Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions. ICGT 2008: 496-498 - [c5]Hartmut Ehrig, Claudia Ermel, Frank Hermann:
On the relationship of model transformations based on triple and plain graph grammars. GRaMoT@ICSE 2008: 9-16 - 2007
- [j2]Iovka Boneva, Frank Hermann, Harmen Kastenberg, Arend Rensink:
Simulating Multigraph Transformations Using Simple Graphs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 6 (2007) - [c4]Christoph Brandt, Thomas Engel, Benjamin Braatz, Frank Hermann, Hartmut Ehrig:
An Approach Using Formally Well-founded Domain Languages for Secure Coarse-grained IT System Modelling in a Real-world Banking Scenario. ACIS 2007 - [c3]Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer:
Information Preserving Bidirectional Model Transformations. FASE 2007: 72-86 - 2006
- [j1]Frank Hermann, Harmen Kastenberg, Tony Modica:
Towards Translating Graph Transformation Approaches by Model Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 4 (2006) - [c2]Andrea Corradini, Tobias Heindel, Frank Hermann, Barbara König:
Sesqui-Pushout Rewriting. ICGT 2006: 30-45 - [c1]Frank Hermann, Hartmut Ehrig, Gabriele Taentzer:
A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams. GT-VMT@ETAPS 2006: 261-269
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-24 20:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: