The following pages link to Claudia Ermel (Q973048):
Displayed 20 items.
- (Q175416) (redirect page) (← links)
- Consistent integration of models based on views of meta models (Q973049) (← links)
- Graph and model transformation. General framework and applications (Q2634496) (← links)
- (Q2847842) (← links)
- (Q2848076) (← links)
- Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation (Q3059710) (← links)
- (Q3396616) (← links)
- Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation (Q3540398) (← links)
- Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems (Q3612928) (← links)
- (Q3656207) (← links)
- (Q4438763) (← links)
- Visual Design of Software Architecture and Evolution based on Graph Transformation (Q4923508) (← links)
- Conflict Detection for Model Versioning Based on Graph Modifications (Q4931312) (← links)
- Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation (Q5256370) (← links)
- Generation of Animation Views for Petri Nets in GenGED (Q5392157) (← links)
- Behavior-Preserving Simulation-to-Animation Model and Rule Transformations (Q5403459) (← links)
- Formal Methods in Software and Systems Modeling (Q5710424) (← links)
- Confluence in Data Reduction: Bridging Graph Transformation and Kernelization (Q5891215) (← links)
- Confluence in Data Reduction: Bridging Graph Transformation and Kernelization (Q5891701) (← links)
- Rule-based refinement of high-level nets preserving safety properties (Q5931382) (← links)