2008/01
| Alexander Rein
|
Reconfigurable Petri Systems with negative Application Conditions (PDF, 2,5 MB)
|
2008/02
| Leen Lambers, Hartmut Ehrig, Gabriele Taentzer
|
Sufficient Criteria for Applicability amd Non-Applicability of Rule Sequences (PDF, 337,8 KB)
|
2008/03
| Hartmut Ehrig, Karsten Ehrig, Frank Hermann
|
From Model Transformation to Model Integration based on the Algebraic (PDF, 446,6 KB) Approach to Triple Graph Grammars
|
2008/04
| Kei Isshii, Bernd Lutterbeck, Frank Pallas
|
Forking, Scratching and Re-Merging (PDF, 5,5 MB)
|
2008/05
| Hartmut Ehrig, Claudia Ermel and Frank Hermann
|
On the Relationship of Model Transformations Based on Triple and
Plain Graph Grammars (Long Version) (PDF, 469,7 KB)
|
2008/06
| Julia Padberg
|
Towards Partial Composition of Components: Formal Foundation for Component Verification (PDF, 638,6 KB)
|
2008/07
| Frank Hermann, Hartmut Ehrig, Claudia Ermel
|
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks (Long Version) (PDF, 666,2 KB)
|
2008/08
| Petra Hofstedt
|
CCFL - A Concurrent Constraint Functional Language (PDF, 444,9 KB)
|
2008/09
| Frank Hermann
|
Process Denition of Adhesive HLR Systems (Long Version) (PDF, 1,0 MB)
|
2008/11
| Leen Lambers, Stefan Jurack, Katharina Mehner, Olga Runge, Gabriele Taentzer
|
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams: Long Version (PDF, 557,7 KB)
|
2008/12
| Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, and Paolo Bladan
|
Behavior Preservation on Model Refactoring using DPO Transformations with Borrowed Contexts (PDF, 453,1 KB)
|
2008/13
| Hartmut Ehrig, Claudia Ermel
|
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version (PDF, 634,6 KB)
|
2008/14
| Anja Feldmann, Randy Bush, Luca Cittadini, Olaf Maennel, Wolfgang Mühlbauer
|
HAIR: Hierarchical Architecture for Internet Routing (PDF, 397,2 KB)
|
2008/15
| Florian Kammüller
|
Counting Idempotent Relations (PDF, 228,9 KB)
|
