dblp.uni-trier.dewww.uni-trier.de

Claudia Ermel Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
39EEFrank Hermann, Hartmut Ehrig, Claudia Ermel: Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. FASE 2009: 325-339
38EEHartmut 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
37EEHartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange: Consistent Integration of Models Based on Views of Visual Languages. FASE 2008: 62-76
36EEHartmut Ehrig, Claudia Ermel: Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation. ICGT 2008: 194-210
35EEEnrico Biermann, Claudia Ermel, Gabriele Taentzer: Precise Semantics of EMF Model Transformations by Graph Transformation. MoDELS 2008: 53-67
34EEEnrico Biermann, Claudia Ermel, Jonas Hurrelmann, Karsten Ehrig: Flexible visualization of automatic simulation based on structured graph transformation. VL/HCC 2008: 21-28
33EEClaudia 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)
32EEEnrico Biermann, Claudia Ermel, Tony Modica, Peggy Sylopp: Implementing Petri Net Transformations using Graph Transformation Tools. ECEASST 14: (2008)
31EEClaudia Ermel, Hartmut Ehrig: Behavior-Preserving Simulation-to-Animation Model and Rule Transformations. Electr. Notes Theor. Comput. Sci. 213(1): 55-74 (2008)
2007
30EEClaudia Ermel, Karsten Ehrig: Visualization, Simulation and Analysis of Reconfigurable Systems. AGTIVE 2007: 265-280
29EEArend 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
28EEEnrico Biermann, Karsten Ehrig, Claudia Ermel, Christian Köhler, Gabriele Taentzer: The EMF Model Transformation Framework. AGTIVE 2007: 566-567
27EEEnrico Biermann, Karsten Ehrig, Claudia Ermel, Gabriele Taentzer: Generating Eclipse Editor Plug-Ins Using Tiger. AGTIVE 2007: 583-584
26EEGabriele Taentzer, André Crema, René Schmutzler, Claudia Ermel: Generating Domain-Specific Model Editors with Complex Editing Commands. AGTIVE 2007: 98-103
25EEJulia 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
24EEHartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer: Information Preserving Bidirectional Model Transformations. FASE 2007: 72-86
23EEHartmut 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
2006
22EEClaudia Ermel, Karsten Ehrig, Gabriele Taentzer, Eduard Weiss: Object Oriented and Rule-based Design of Visual Languages using Tiger. ECEASST 1: (2006)
21EEClaudia Ermel, Hartmut Ehrig, Karsten Ehrig: Semantical Correctness of Simulation-to-Animation Model and Rule Transformation. ECEASST 4: (2006)
20EEKarsten Ehrig, Claudia Ermel, Stefan Hänsgen: Towards Model Transformation in Generated Eclipse Editor Plug-Ins. Electr. Notes Theor. Comput. Sci. 152: 39-52 (2006)
2005
19EEKarsten Ehrig, Claudia Ermel, Stefan Hänsgen, Gabriele Taentzer: Generation of visual editors as eclipse plug-ins. ASE 2005: 134-143
18EEClaudia 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
17EEClaudia Ermel, Karsten Hölscher, Sabine Kuske, Paul Ziemann: Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation. VL/HCC 2005: 125-133
16EEClaudia Ermel, Karsten Ehrig: View Transformation in Visual Environments applied to Algebraic High-Level Nets. Electr. Notes Theor. Comput. Sci. 127(2): 61-86 (2005)
15EEKarsten 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
14EEJuan 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)
13EEClaudia Ermel, Roswitha Bardohl: Scenario animation for visual behavior models: A generic approach. Software and System Modeling 3(2): 164-177 (2004)
2003
12EERoswitha Bardohl, Claudia Ermel, Ingo Weinhold: GenGED - A Visual Definition Tool for Visual Modeling Environments. AGTIVE 2003: 413-419
11EEHerbert 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
10EEClaudia Ermel, Roswitha Bardohl, Hartmut Ehrig: Generation of Animation Views for Petri Nets in GenGED. Petri Net Technology for Communication-Based Systems 2003: 83-108
9EEClaudia Ermel, Roswitha Bardohl: Scenario Views for Visual Behavior Models in GenGED. Electr. Notes Theor. Comput. Sci. 72(3): (2003)
2002
8EERoswitha Bardohl, Claudia Ermel, Julia Padberg: Transforming Specification Architectures by GenGED. ICGT 2002: 30-44
7EERoswitha 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): (2002)
2001
6EEClaudia Ermel, Michael Weber: Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«. Unifying Petri Nets 2001: 79-102
5EEHartmut Ehrig, Claudia Ermel, Julia Padberg: Preface. Electr. Notes Theor. Comput. Sci. 44(4): (2001)
4EEClaudia Ermel, Roswitha Bardohl, Julia Padberg: Visual Design of Software Architecture and Evolution based on Graph Transformation. Electr. Notes Theor. Comput. Sci. 44(4): (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
1EEJulia Padberg, Magdalena Gajewsky, Claudia Ermel: Rule-Based Refinement of High-Level Nets Preserving Safety Properties. FASE 1998: 221-238

Coauthor Index

1Roswitha Bardohl [2] [4] [7] [8] [9] [10] [12] [13] [18]
2Enrico Biermann [25] [27] [28] [32] [34] [35]
3Alexander Borusan [11]
4André Crema [26]
5Juliane Dehnert [11]
6Alexander Dotor [29]
7Hartmut Ehrig [5] [10] [11] [21] [23] [24] [25] [31] [36] [37] [38] [39]
8Karsten Ehrig [14] [15] [16] [19] [20] [21] [22] [24] [27] [28] [30] [34] [37]
9Magdalena Gajewsky [1] [3]
10Stefan Hänsgen [15] [19] [20]
11Reiko Heckel [33]
12Frank Hermann [24] [38] [39]
13Kathrin Hoffmann [23] [25]
14Karsten Hölscher [17]
15Jonas Hurrelmann [34]
16Stefan Jurack [29]
17Ole Kniemeyer [29]
18Christian Köhler [28]
19Sabine Kuske [17]
20Juan de Lara (Juan de Lara Jaramillo) [14] [29] [33]
21Sabine Lembke [11]
22Sonja Maier [29]
23Axel Martens [11]
24Tony Modica [25] [32]
25Julia Padberg [1] [2] [3] [4] [5] [8] [11] [23] [25]
26Ulrike Prange [23] [37] [38]
27Anilda Qemali [11]
28Wolfgang Reisig [11]
29Arend Rensink [29]
30René Schmutzler [26]
31Tom Staijen [29]
32Peggy Sylopp [32]
33Gabriele Taentzer [14] [15] [18] [19] [22] [24] [26] [27] [28] [35]
34Herbert Weber [11]
35Michael Weber [6] [11]
36Ingo Weinhold [7] [12]
37Eduard Weiss [22]
38Paul Ziemann [17]
39Albert Zündorf [29]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)