Skip to main content

4 Result(s)

within Frank Hermann Remove this filter Algorithm Analysis and Problem Complexity Remove this filter Discrete Mathematics in Computer Science Remove this filter Software Engineering Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Sesqui-Pushout Rewriting

    Sesqui-pushout (SqPO) rewriting—“sesqui” means “one and a half” in Latin—is a new algebraic approach to abstract rewriting in any category. SqPO rewriting is a deterministic and conservat...

    Andrea Corradini, Tobias Heindel, Frank Hermann, Barbara König in Graph Transformations (2006)

  2. No Access

    Chapter and Conference Paper

    How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation?

    This keynote paper presents results coming out of an ongoing research project between Credit Suisse Luxembourg and the University of Luxembourg. It presents an approach that shows good potential to address sec...

    Christoph Brandt, Frank Hermann in Graph Transformations (2010)

  3. No Access

    Chapter and Conference Paper

    Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars

    Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already crucial properties of model transformations ...

    Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas in Graph Transformations (2010)

  4. No Access

    Chapter and Conference Paper

    Parallelism and Concurrency of Stochastic Graph Transformations

    Graph transformation systems (GTS) have been proposed for high-level stochastic modelling of dynamic systems and networks. The resulting systems can be described as semi-Markov processes with graphs as states ...

    Reiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann in Graph Transformations (2012)