Claudia Ermel

	2012
66		Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier, Olga Runge: Confluence in Data Reduction: Bridging Graph Transformation and Kernelization. CiE 2012: 193-202
65		Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas: Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. FASE 2012: 178-193
64		Enrico Biermann, Claudia Ermel, Gabriele Taentzer: Formal foundation of consistent EMF model transformations by algebraic graph transformation. Software and System Modeling 11(2): 227-250 (2012)
	2011
63		Claudia Ermel, Jürgen Gall, Leen Lambers, Gabriele Taentzer: Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior. FASE 2011: 156-170
62		Hartmut Ehrig, Claudia Ermel, Gabriele Taentzer: A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications. FASE 2011: 202-216
61		Ulrike Golas, Enrico Biermann, Hartmut Ehrig, Claudia Ermel: A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation. ECEASST 39: (2011)
	2010
60		Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione: Formal Analysis and Verification of Self-Healing Systems. FASE 2010: 139-153
59		Enrico Biermann, Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Gabriele Taentzer: Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation. Graph Transformations and Model-Driven Engineering 2010: 121-140
58		Gabriele Taentzer, Claudia Ermel, Philip Langer, Manuel Wimmer: Conflict Detection for Model Versioning Based on Graph Modifications. ICGT 2010: 171-186
57		Enrico Biermann, Claudia Ermel, Gabriele Taentzer: Lifting Parallel Graph Transformation Concepts to Model Transformation based on the Eclipse Modeling Framework. ECEASST 26: (2010)
56		Claudia Ermel, Karsten Ehrig: Graph Modelling and Transformation: Theory meets Practice. ECEASST 30: (2010)
55		Claudia Ermel, Hartmut Ehrig, Fernando Orejas, Gabriele Taentzer: International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface. ECEASST 30: (2010)
54		Claudia Ermel, Enrico Biermann, Johann Schmidt, Angeline Warning: Visual Modeling of Controlled EMF Model Transformation using HENSHIN. ECEASST 32: (2010)
53		Maria Maximova, Hartmut Ehrig, Claudia Ermel: Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories. ECEASST 40: (2010)
52		Claudia Ermel, Kathrin Hoffmann: Preface. ECEASST 40: (2010)
51		Claudia Ermel, Sarkaft Shareef, Winzent Fischer: RONs Revisited: General Approach to Model Reconfigurable Object Nets based on Algebraic High-Level Nets. ECEASST 40: (2010)
50		Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange: Consistent integration of models based on views of meta models. Formal Asp. Comput. 22(3-4): 327-344 (2010)
49		Enrico Biermann, Claudia Ermel, Leen Lambers, Ulrike Prange, Olga Runge, Gabriele Taentzer: Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System. STTT 12(3-4): 245-261 (2010)
	2009
48		Enrico Biermann, Karsten Ehrig, Claudia Ermel, Jonas Hurrelmann: Generation of Simulation Views for Domain Specific Modeling Languages Based on the Eclipse Modeling Framework. ASE 2009: 625-629
47		Frank Hermann, Hartmut Ehrig, Claudia Ermel: Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. FASE 2009: 325-339
46		Tony Modica, Enrico Biermann, Claudia Ermel: An Eclipse Framework for Rapid Development of Rich-featured GEF Editors based on EMF Models. GI Jahrestagung 2009: 2972-2985
45		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
44		Claudia Ermel, Tony Modica, Enrico Biermann, Hartmut Ehrig, Kathrin Hoffmann: Modeling multicasting in communication spaces by reconfigurable high-level Petri nets. VL/HCC 2009: 47-50
43		Hartmut Ehrig, Claudia Ermel, Frank Hermann, Barbara König: Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation. Bulletin of the EATCS 97: 117-125 (2009)
42		Claudia Ermel: Visual Modelling and Analysis of Model Transformations based on Graph Transformation. Bulletin of the EATCS 99: 135-152 (2009)
41		Hartmut Ehrig, Karsten Ehrig, Claudia Ermel: Refactoring of Model Transformations. ECEASST 18: (2009)
	2008
40		Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange: Consistent Integration of Models Based on Views of Visual Languages. FASE 2008: 62-76
39		Hartmut Ehrig, Claudia Ermel: Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation. ICGT 2008: 194-210
38		Enrico Biermann, Claudia Ermel, Gabriele Taentzer: Precise Semantics of EMF Model Transformations by Graph Transformation. MoDELS 2008: 53-67
37		Enrico Biermann, Claudia Ermel, Jonas Hurrelmann, Karsten Ehrig: Flexible visualization of automatic simulation based on structured graph transformation. VL/HCC 2008: 21-28
36		Claudia Ermel, Juan de Lara, Reiko Heckel: Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008). ECEASST 10: (2008)
35		Enrico Biermann, Claudia Ermel, Tony Modica, Peggy Sylopp: Implementing Petri Net Transformations using Graph Transformation Tools. ECEASST 14: (2008)
34		Claudia Ermel, Hartmut Ehrig: Behavior-Preserving Simulation-to-Animation Model and Rule Transformations. Electr. Notes Theor. Comput. Sci. 213(1): 55-74 (2008)
	2007
33		Claudia Ermel, Karsten Ehrig: Visualization, Simulation and Analysis of Reconfigurable Systems. AGTIVE 2007: 265-280
32		Arend Rensink, Alexander Dotor, Claudia Ermel, Stefan Jurack, Ole Kniemeyer, Juan de Lara, Sonja Maier, Tom Staijen, Albert Zündorf: Ludo: A Case Study for Graph Transformation Tools. AGTIVE 2007: 493-513
31		Enrico Biermann, Karsten Ehrig, Claudia Ermel, Christian Köhler, Gabriele Taentzer: The EMF Model Transformation Framework. AGTIVE 2007: 566-567
30		Enrico Biermann, Karsten Ehrig, Claudia Ermel, Gabriele Taentzer: Generating Eclipse Editor Plug-Ins Using Tiger. AGTIVE 2007: 583-584
29		Gabriele Taentzer, André Crema, René Schmutzler, Claudia Ermel: Generating Domain-Specific Model Editors with Complex Editing Commands. AGTIVE 2007: 98-103
28		Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel: Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks. FASE 2007: 383-397
27		Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer: Information Preserving Bidirectional Model Transformations. FASE 2007: 72-86
26		Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel: Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems. ICATPN 2007: 104-123
25		Don S. Batory, Oscar Díaz, Hartmut Ehrig, Claudia Ermel, Ulrike Prange, Gabriele Taentzer: Model Transformations should be Functors. Bulletin of the EATCS 92: 75-81 (2007)
24		Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange: Model Transformations by Graph Transformation are Functors. Bulletin of the EATCS 93: 134-142 (2007)
	2006
23		Claudia Ermel, Karsten Ehrig, Gabriele Taentzer, Eduard Weiss: Object Oriented and Rule-based Design of Visual Languages using Tiger. ECEASST 1: (2006)
22		Claudia Ermel, Hartmut Ehrig, Karsten Ehrig: Semantical Correctness of Simulation-to-Animation Model and Rule Transformation. ECEASST 4: (2006)
21		Karsten Ehrig, Claudia Ermel, Stefan Hänsgen: Towards Model Transformation in Generated Eclipse Editor Plug-Ins. Electr. Notes Theor. Comput. Sci. 152: 39-52 (2006)
20		Claudia Ermel: Simulation and animation of visual languages based on typed algebraic graph transformation. Berlin Institute of Technology 2006: 1-268
	2005
19		Karsten Ehrig, Claudia Ermel, Stefan Hänsgen, Gabriele Taentzer: Generation of visual editors as eclipse plug-ins. ASE 2005: 134-143
18		Claudia Ermel, Gabriele Taentzer, Roswitha Bardohl: Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation. Formal Methods in Software and Systems Modeling 2005: 64-83
17		Claudia Ermel, Karsten Hölscher, Sabine Kuske, Paul Ziemann: Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation. VL/HCC 2005: 125-133
16		Claudia Ermel, Karsten Ehrig: View Transformation in Visual Environments applied to Algebraic High-Level Nets. Electr. Notes Theor. Comput. Sci. 127(2): 61-86 (2005)
15		Karsten Ehrig, Claudia Ermel, Stefan Hänsgen, Gabriele Taentzer: Towards Graph Transformation Based Generation of Visual Editors Using Eclipse. Electr. Notes Theor. Comput. Sci. 127(4): 127-143 (2005)
	2004
14		Juan de Lara Jaramillo, Claudia Ermel, Gabriele Taentzer, Karsten Ehrig: Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets. Electr. Notes Theor. Comput. Sci. 109: 17-29 (2004)
13		Claudia Ermel, Roswitha Bardohl: Scenario animation for visual behavior models: A generic approach. Software and System Modeling 3(2): 164-177 (2004)
	2003
12		Roswitha Bardohl, Claudia Ermel, Ingo Weinhold: GenGED - A Visual Definition Tool for Visual Modeling Environments. AGTIVE 2003: 413-419
11		Herbert Weber, Hartmut Ehrig, Wolfgang Reisig, Alexander Borusan, Sabine Lembke, Juliane Dehnert, Michael Weber, Axel Martens, Julia Padberg, Claudia Ermel, Anilda Qemali: The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. Petri Net Technology for Communication-Based Systems 2003: 1-21
10		Claudia Ermel, Roswitha Bardohl, Hartmut Ehrig: Generation of Animation Views for Petri Nets in GenGED. Petri Net Technology for Communication-Based Systems 2003: 83-108
9		Claudia Ermel, Roswitha Bardohl: Scenario Views for Visual Behavior Models in GenGED. Electr. Notes Theor. Comput. Sci. 72(3): 65-77 (2003)
	2002
8		Roswitha Bardohl, Claudia Ermel, Julia Padberg: Transforming Specification Architectures by GenGED. ICGT 2002: 30-44
7		Roswitha Bardohl, Claudia Ermel, Ingo Weinhold: AGG and GenGED: Graph Transformation-Based Specification and Analysis Rechniques for Visual Languages. Electr. Notes Theor. Comput. Sci. 72(2): 14-24 (2002)
	2001
6		Claudia Ermel, Michael Weber: Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«. Unifying Petri Nets 2001: 79-102
5		Hartmut Ehrig, Claudia Ermel, Julia Padberg: Preface. Electr. Notes Theor. Comput. Sci. 44(4): 188-189 (2001)
4		Claudia Ermel, Roswitha Bardohl, Julia Padberg: Visual Design of Software Architecture and Evolution based on Graph Transformation. Electr. Notes Theor. Comput. Sci. 44(4): 52-66 (2001)
3		Julia Padberg, Magdalena Gajewsky, Claudia Ermel: Rule-based refinement of high-level nets preserving safety properties. Sci. Comput. Program. 40(1): 97-118 (2001)
	2000
2		Julia Padberg, Claudia Ermel, Roswitha Bardohl: Rule-Based and Visual Model Evolution using GENGED. ICALP Satellite Workshops 2000: 467-476
	1998
1		Julia Padberg, Magdalena Gajewsky, Claudia Ermel: Rule-Based Refinement of High-Level Nets Preserving Safety Properties. FASE 1998: 221-238

Coauthor Index

1	Roswitha Bardohl	[2] [4] [7] [8] [9] [10] [12] [13] [18]
2	Don S. Batory	[25]
3	Enrico Biermann	[28] [30] [31] [35] [37] [38] [44] [46] [48] [49] [54] [57] [59] [61] [64]
4	Alexander Borusan	[11]
5	Antonio Bucchiarone	[60]
6	André Crema	[29]
7	Juliane Dehnert	[11]
8	Oscar Díaz	[25]
9	Alexander Dotor	[32]
10	Hartmut Ehrig	[5] [10] [11] [22] [24] [25] [26] [27] [28] [34] [39] [40] [41] [43] [44] [45] [47] [50] [53] [55] [59] [60] [61] [62] [65] [66]
11	Karsten Ehrig	[14] [15] [16] [19] [21] [22] [23] [24] [27] [30] [31] [33] [37] [40] [41] [48] [50] [56]
12	Winzent Fischer	[51]
13	Magdalena Gajewsky	[1] [3]
14	Juergen Gall (Jürgen Gall)	[63]
15	Ulrike Golas (Ulrike Prange)	[24] [25] [26] [40] [45] [49] [50] [59] [61]
16	Stefan Hänsgen	[15] [19] [21]
17	Reiko Heckel	[36]
18	Frank Hermann	[27] [43] [45] [47] [65]
19	Kathrin Hoffmann	[26] [28] [44] [52]
20	Karsten Hölscher	[17]
21	Falk Hüffner	[66]
22	Jonas Hurrelmann	[37] [48]
23	Stefan Jurack	[32]
24	Ole Kniemeyer	[32]
25	Barbara König	[43]
26	Christian Krause (Christian Koehler, Christian Köhler)	[31]
27	Sabine Kuske	[17]
28	Leen Lambers	[49] [63]
29	Philip Langer	[58]
30	Juan de Lara (Juan de Lara Jaramillo)	[14] [32] [36]
31	Sabine Lembke	[11]
32	Sonja Maier	[32]
33	Axel Martens	[11]
34	Maria Maximova	[53]
35	Tony Modica	[28] [35] [44] [46]
36	Rolf Niedermeier	[66]
37	Fernando Orejas	[55] [65]
38	Julia Padberg	[1] [2] [3] [4] [5] [8] [11] [26] [28]
39	Patrizio Pelliccione	[60]
40	Anilda Qemali	[11]
41	Wolfgang Reisig	[11]
42	Arend Rensink	[32]
43	Olga Runge	[49] [60] [66]
44	Johann Schmidt	[54]
45	René Schmutzler	[29]
46	Sarkaft Shareef	[51]
47	Tom Staijen	[32]
48	Peggy Sylopp	[35]
49	Gabriele Taentzer	[14] [15] [18] [19] [23] [25] [27] [29] [30] [31] [38] [49] [55] [57] [58] [59] [62] [63] [64]
50	Angeline Warning	[54]
51	Herbert Weber	[11]
52	Michael Weber	[6] [11]
53	Ingo Weinhold	[7] [12]
54	Eduard Weiss	[23]
55	Manuel Wimmer	[58]
56	Paul Ziemann	[17]
57	Albert Zündorf	[32]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page