Frank Hermann - RankMe

56 papers A 3B 10Journal 24Unranked 17

Year	Rank	Type	Title / Venue / Authors
2016	—	`conf`	Towards the Propagation of Model Updates along different Views in Multi-View Models. Bx@ETAPS Susann Gottmann, Nico Nachtigall, Claudia Ermel, Frank Hermann, Thomas Engel
2015	—	`book`	Graph and Model Transformation - General Framework and Applications Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann
2015	J	`jnl`	Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Softw. Syst. Model. Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong, Susann Gottmann, Thomas Engel
2014	J	`jnl`	13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014): Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Frank Hermann, Stefan Sauer
2014	J	`jnl`	Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions. Math. Struct. Comput. Sci. Frank Hermann, Andrea Corradini, Hartmut Ehrig
2014	—	`conf`	BenchmarX. EDBT/ICDT Workshops Anthony Anjorin, Alcino Cunha, Holger Giese, Frank Hermann, Arend Rensink, Andy Schürr
2014	J	`jnl`	Formal analysis of model transformations based on triple graph grammars. Math. Struct. Comput. Sci. Frank Hermann, Hartmut Ehrig, Ulrike Golas, Fernando Orejas
2014	—	`conf`	Report on the Third Workshop on Verification of Model Transformations (VOLT 2014). VOLT@STAF Moussa Amrani, Eugene Syriani, Manuel Wimmer, Robert Bill, Martin Gogolla, Frank Hermann, Kevin Lano
2014	—	`conf`	Solving the FIXML2Code-case Study with HenshinTGG. TTC@STAF Frank Hermann, Nico Nachtigall, Benjamin Braatz, Thomas Engel, Susann Gottmann
2014	—	`conf`	Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars. VOLT@STAF Nico Nachtigall, Frank Hermann, Benjamin Braatz, Thomas Engel
2014	—	`conf`	Triple Graph Grammars in the Large for Translating Satellite Procedures. ICMT Frank Hermann, Susann Gottmann, Nico Nachtigall, Hartmut Ehrig, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, Thomas Engel, Claudia Ermel
2013	B	`conf`	Automated source code extension for debugging of OpenFlow based networks. CNSM Stefan Hommes, Frank Hermann, Radu State, Thomas Engel
2013	J	`jnl`	Conformance Analysis of Organizational Models: A New Enterprise Modeling Framework using Algebraic Graph Transformation. Int. J. Inf. Syst. Model. Des. Christoph Brandt, Frank Hermann
2013	—	`conf`	Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars. AMT@MoDELS Susann Gottmann, Frank Hermann, Nico Nachtigall, Benjamin Braatz, Claudia Ermel, Hartmut Ehrig, Thomas Engel
2013	J	`jnl`	On Propagation-Based Concurrent Model Synchronization. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Fernando Orejas, Artur Boronat, Hartmut Ehrig, Frank Hermann, Hanna Schölzel
2013	—	`conf`	On an Automated Translation of Satellite Procedures Using Triple Graph Grammars. ICMT Frank Hermann, Susann Gottmann, Nico Nachtigall, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, Thomas Engel
2013	J	`jnl`	Propagation of constraints along model transformations using triple graph grammars and borrowed context. J. Vis. Lang. Comput. Hartmut Ehrig, Frank Hermann, Hanna Schölzel, Christoph Brandt
2013	—	`conf`	Towards Bidirectional Engineering of Satellite Control Procedures Using Triple Graph Grammars. MPM@MoDELS Susann Gottmann, Frank Hermann, Claudia Ermel, Thomas Engel, Gianluigi Morelli
2012	B	`conf`	Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. FASE Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas
2012	J	`jnl`	First International Workshop on Bidirectional Transformations (BX 2012): Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Frank Hermann, Janis Voigtländer
2012	B	`conf`	Parallelism and Concurrency of Stochastic Graph Transformations. ICGT Reiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann
2012	—	`conf`	Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories ACCAT Hanna Schölzel, Hartmut Ehrig, Maria Maximova, Karsten Gabriel, Frank Hermann
2012	—	`conf`	Transformation Systems with Incremental Negative Application Conditions. WADT Andrea Corradini, Reiko Heckel, Frank Hermann, Susann Gottmann, Nico Nachtigall
2012	J	`jnl`	Visual Modeling and Analysis of EMF Model Transformations Based on Triple Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Claudia Ermel, Frank Hermann, Jürgen Gall, Daniel Binanzer
2011	—	`—`	Analysis and Optimization of Visual Enterprise Models: Based on Graph and Model Transformation. Frank Hermann
2011	A	`conf`	Correctness of Model Synchronization Based on Triple Graph Grammars. MoDELS Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong
2011	J	`jnl`	Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Ulrike Golas, Hartmut Ehrig, Frank Hermann
2011	A	`conf`	From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. MoDELS Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas
2011	J	`jnl`	Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra. J. Res. Pract. Inf. Technol. Christoph Brandt, Frank Hermann, Jan Friso Groote
2011	J	`jnl`	Propagation of Constraints along Model Transformations Based on Triple Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Hartmut Ehrig, Frank Hermann, Hanna Schölzel, Christoph Brandt
2010	J	`jnl`	Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach. Bull. EATCS Hartmut Ehrig, Ulrike Golas, Frank Hermann
2010	J	`jnl`	Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Frank Hermann, Andrea Corradini, Hartmut Ehrig, Barbara König
2010	—	`conf`	Efficient analysis and execution of correct and complete model transformations based on triple graph grammars. MDI@MoDELS Frank Hermann, Hartmut Ehrig, Ulrike Golas, Fernando Orejas
2010	B	`conf`	Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. ICGT Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas
2010	B	`conf`	How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? ICGT Christoph Brandt, Frank Hermann
2010	B	`conf`	Incremental Service Composition Based on Partial Matching of Visual Contracts. FASE Muhammad Naeem, Reiko Heckel, Fernando Orejas, Frank Hermann
2010	J	`jnl`	Specification and Verification of Model Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Frank Hermann, Mathias Hülsbusch, Barbara König
2009	J	`jnl`	Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation. Bull. EATCS Hartmut Ehrig, Claudia Ermel, Frank Hermann, Barbara König
2009	J	`jnl`	Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Hartmut Ehrig, Frank Hermann, Christoph Sartorius
2009	J	`jnl`	Cospan DPO Approach: An Alternative for DPO Graph Transformations. Bull. EATCS Hartmut Ehrig, Frank Hermann, Ulrike Prange
2009	—	`conf`	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 Christoph Brandt, Frank Hermann, Thomas Engel
2009	A	`conf`	On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars. MoDELS Hartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrike Prange
2009	J	`jnl`	Permutation Equivalence of DPO Derivations with Negative Application Conditions based on Subobject Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Frank Hermann
2009	—	`conf`	Security and Consistency of IT and Business Models at Credit Suisse Realized by Graph Constraints, Transformation and Integration Using Algebraic Graph Theory. BMMDS/EMMSAD Christoph Brandt, Frank Hermann, Thomas Engel
2009	B	`conf`	Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. FASE Frank Hermann, Hartmut Ehrig, Claudia Ermel
2008	J	`jnl`	From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Hartmut Ehrig, Karsten Ehrig, Frank Hermann
2008	—	`conf`	On the relationship of model transformations based on triple and plain graph grammars. GRaMoT@ICSE Hartmut Ehrig, Claudia Ermel, Frank Hermann
2008	B	`conf`	Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions. ICGT Frank Hermann
2008	J	`jnl`	Process Definition using Subobject Transformation Systems. Bull. EATCS Frank Hermann, Hartmut Ehrig
2008	J	`jnl`	Subobject Transformation Systems. Appl. Categorical Struct. Andrea Corradini, Frank Hermann, Pawel Sobocinski
2007	—	`conf`	An Approach Using Formally Well-founded Domain Languages for Secure Coarse-grained IT System Modelling in a Real-world Banking Scenario. ACIS Christoph Brandt, Thomas Engel, Benjamin Braatz, Frank Hermann, Hartmut Ehrig
2007	B	`conf`	Information Preserving Bidirectional Model Transformations. FASE Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer
2007	J	`jnl`	Simulating Multigraph Transformations Using Simple Graphs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Iovka Boneva, Frank Hermann, Harmen Kastenberg, Arend Rensink
2006	—	`conf`	A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams. GT-VMT@ETAPS Frank Hermann, Hartmut Ehrig, Gabriele Taentzer
2006	B	`conf`	Sesqui-Pushout Rewriting. ICGT Andrea Corradini, Tobias Heindel, Frank Hermann, Barbara König
2006	J	`jnl`	Towards Translating Graph Transformation Approaches by Model Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Frank Hermann, Harmen Kastenberg, Tony Modica