Travelled to:
1 × Australia
1 × Austria
1 × Belgium
1 × Cyprus
1 × Germany
1 × Switzerland
1 × USA
Collaborated with:
A.Egyed ∅ A.Nöhrer H.K.Dam I.Groher A.Demuth A.Ghabi R.E.Lopez-Herrejon P.Mäder
Talks about:
model (6) inconsist (5) consist (3) design (3) increment (2) resolut (2) effect (2) check (2) chang (2) relationship (1)
Person: Alexander Reder
DBLP: Reder:Alexander
Contributed to:
Wrote 8 papers:
- WICSA-2014-DamRE #architecture #consistency #modelling #nondeterminism
- Inconsistency Resolution in Merging Versions of Architectural Models (HKD, AR, AE), pp. 153–162.
- ASE-2012-RederE #consistency #design #modelling #nondeterminism
- Computing repair trees for resolving inconsistencies in design models (AR, AE), pp. 220–229.
- MoDELS-2012-RederE #consistency #design #incremental
- Incremental Consistency Checking for Complex Design Rules and Larger Model Changes (AR, AE), pp. 202–218.
- ICMT-2011-EgyedDGLMNR #co-evolution #consistency #model transformation
- Fine-Tuning Model Transformation: Change Propagation in Context of Consistency, Completeness, and Human Guidance (AE, AD, AG, RELH, PM, AN, AR), pp. 1–14.
- ICSE-2011-NohrerRE #consistency #effectiveness #nondeterminism
- Positive effects of utilizing relationships between inconsistencies for more effective inconsistency resolution (AN, AR, AE), pp. 864–867.
- ICSE-2011-Reder #consistency #development #framework #modelling #nondeterminism
- Inconsistency management framework for model-based development (AR), pp. 1098–1101.
- ASE-2010-RederE #design #detection #fault #named #uml #visualisation
- Model/analyzer: a tool for detecting, visualizing and fixing design errors in UML (AR, AE), pp. 347–348.
- FASE-2010-GroherRE #consistency #constraints #incremental
- Incremental Consistency Checking of Dynamic Constraints (IG, AR, AE), pp. 203–217.