Ulrike Golas

According to our database, Ulrike Golas authored at least 58 papers between 2004 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Graph and Model Transformation - General Framework and Applications

Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann

Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-662-47980-3, 2015

Towards Local Confluence Analysis for Amalgamated Graph Transformation.

Gabriele Taentzer, Ulrike Golas

Proceedings of the Graph Transformation - 8th International Conference, 2015

2014

Multi-amalgamation of rules with application conditions in ℳ-adhesive categories.

Ulrike Golas, Annegret Habel, Hartmut Ehrig

Math. Struct. Comput. Sci., 2014

Finitary ℳ-adhesive categories.

Karsten Gabriel, Benjamin Braatz, Hartmut Ehrig, Ulrike Golas

Math. Struct. Comput. Sci., 2014

ℳ-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation.

Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas

Math. Struct. Comput. Sci., 2014

Formal analysis of model transformations based on triple graph grammars.

Frank Hermann, Hartmut Ehrig, Ulrike Golas, Fernando Orejas

Math. Struct. Comput. Sci., 2014

2013

Checking Bisimilarity for Attributed Graph Transformation.

Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis

Proceedings of the Foundations of Software Science and Computation Structures, 2013

2012

Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs.

Ulrike Golas, Leen Lambers, Hartmut Ehrig, Fernando Orejas

Theor. Comput. Sci., 2012

ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence.

Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas

Fundam. Informaticae, 2012

A Local-global Model for Multiagent Systems - Sheaves on the Category MAS.

Thomas Soboll, Ulrike Golas

Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 2, 2012

Parallelism and Concurrency of Stochastic Graph Transformations.

Reiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann

Proceedings of the Graph Transformations - 6th International Conference, 2012

Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements.

Ulrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese

Proceedings of the Graph Transformations - 6th International Conference, 2012

A General Attribution Concept for Models in ℳ-Adhesive Transformation Systems.

Ulrike Golas

Proceedings of the Graph Transformations - 6th International Conference, 2012

2011

Analysis and correctness of algebraic graph and model transformations.

Ulrike Golas

PhD thesis, 2011

Foreword.

Jochen Pfalzgraf, Hartmut Ehrig, Ulrike Golas, Thomas Soboll

J. Symb. Comput., 2011

How to delete categorically - Two pushout complement constructions.

Benjamin Braatz, Ulrike Golas, Thomas Soboll

J. Symb. Comput., 2011

Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions.

Ulrike Golas, Hartmut Ehrig, Frank Hermann

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation.

Ulrike Golas, Enrico Biermann, Hartmut Ehrig, Claudia Ermel

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Interaktive Vervollständigung der Szenariobasierten Spezifikation eines Parkassistenzsystems.

Fadi Chabarek, Ulrike Golas

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

2010

Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System.

Enrico Biermann, Claudia Ermel, Leen Lambers, Ulrike Prange, Olga Runge, Gabriele Taentzer

Int. J. Softw. Tools Technol. Transf., 2010

Reasoning with graph constraints.

Fernando Orejas, Hartmut Ehrig, Ulrike Prange

Formal Aspects Comput., 2010

Consistent integration of models based on views of meta models.

Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange

Formal Aspects Comput., 2010

Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks.

Ulrike Golas, Kathrin Hoffmann, Hartmut Ehrig, Alexander Rein, Julia Padberg

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach.

Hartmut Ehrig, Ulrike Golas, Frank Hermann

Bull. EATCS, 2010

Efficient analysis and execution of correct and complete model transformations based on triple graph grammars.

Frank Hermann, Hartmut Ehrig, Ulrike Golas, Fernando Orejas

Proceedings of the First International Workshop on Model-Driven Interoperability, 2010

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

Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas

Proceedings of the Graph Transformations - 5th International Conference, 2010

Multi-Amalgamation in Adhesive Categories.

Ulrike Golas, Hartmut Ehrig, Annegret Habel

Proceedings of the Graph Transformations - 5th International Conference, 2010

Local Confluence for Rules with Nested Application Conditions.

Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas

Proceedings of the Graph Transformations - 5th International Conference, 2010

Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation.

Enrico Biermann, Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Gabriele Taentzer

Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2009

Cospan DPO Approach: An Alternative for DPO Graph Transformations.

Hartmut Ehrig, Frank Hermann, Ulrike Prange

Bull. EATCS, 2009

On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars.

Hartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrike Prange

Proceedings of the Model Driven Engineering Languages and Systems, 2009

2008

Negative Application Conditions for Reconfigurable Place/Transition Systems.

Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Flattening of Generalized Algebraic High-Level Nets.

Hartmut Ehrig, Ulrike Prange

Bull. EATCS, 2008

Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories.

Ulrike Prange, Hartmut Ehrig, Leen Lambers

Appl. Categorical Struct., 2008

Embedding and Confluence of Graph Transformations with Negative Application Conditions.

Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas

Proceedings of the Graph Transformations, 4th International Conference, 2008

Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels.

Hartmut Ehrig, Ulrike Prange

Proceedings of the Graph Transformations, 4th International Conference, 2008

A Logic of Graph Constraints.

Fernando Orejas, Hartmut Ehrig, Ulrike Prange

Proceedings of the Fundamental Approaches to Software Engineering, 2008

Consistent Integration of Models Based on Views of Visual Languages.

Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange

Proceedings of the Fundamental Approaches to Software Engineering, 2008

Transformations in Reconfigurable Place/Transition Systems.

Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg

Proceedings of the Concurrency, 2008

2007

Attributed graph transformation with node type inheritance.

Juan de Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer

Theor. Comput. Sci., 2007

Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories.

Ulrike Prange

Proceedings of the Second Workshop on Applied and Computational Category Theory, 2007

Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions.

Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas

Proceedings of the Second Workshop on Applied and Computational Category Theory, 2007

Preface.

Hartmut Ehrig, Jochen Pfalzgraf, Ulrike Prange

Proceedings of the Second Workshop on Applied and Computational Category Theory, 2007

Model Transformations by Graph Transformation are Functors.

Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange

Bull. EATCS, 2007

Model Transformations should be Functors.

Don S. Batory, Oscar Díaz, Hartmut Ehrig, Claudia Ermel, Ulrike Prange, Gabriele Taentzer

Bull. EATCS, 2007

From Algebraic Graph Transformation to Adhesive HLR Categories and Systems.

Ulrike Prange, Hartmut Ehrig

Proceedings of the Algebraic Informatics, Second International Conference, 2007

Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems.

Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

Fundamentals of Algebraic Graph Transformation

Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer

Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-540-31188-1, 2006

Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation.

Hartmut Ehrig, Julia Padberg, Ulrike Prange, Annegret Habel

Fundam. Informaticae, 2006

Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories.

Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer

Fundam. Informaticae, 2006

Termination Criteria for DPO Transformations with Injective Matches.

Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig

Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, 2006

Algebraic High-Level Nets as Weak Adhesive HLR Categories.

Ulrike Prange

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Termination Analysis of Model Transformations by Petri Nets.

Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer

Proceedings of the Graph Transformations, Third International Conference, 2006

Categorical Foundations of Distributed Graph Transformation.

Hartmut Ehrig, Fernando Orejas, Ulrike Prange

Proceedings of the Graph Transformations, Third International Conference, 2006

Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations.

Hartmut Ehrig, Ulrike Prange

Proceedings of the Algebra, Meaning, and Computation, 2006

2005

Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation.

Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer

Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

2004

Fundamental Theory for Typed Attributed Graph Transformation.

Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer

Proceedings of the Graph Transformations, Second International Conference, 2004

Adhesive High-Level Replacement Categories and Systems.

Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange

Proceedings of the Graph Transformations, Second International Conference, 2004