| 2008 |
|---|
| 4 | EE | Margus Veanes,
Nikolaj Bjørner,
Alexander Raschke:
An SMT Approach to Bounded Reachability Analysis of Model Programs.
FORTE 2008: 53-68 |
| 2005 |
|---|
| 3 | | Stefan Sarstedt,
Jens Kohlmeyer,
Alexander Raschke,
Matthias Schneiderhan:
Targeting System Evolution by Explicit Modeling of Control Flows Using UML 2 Activity Charts.
PLC 2005: 237-244 |
| 2 | | Stefan Sarstedt,
Jens Kohlmeyer,
Alexander Raschke,
Matthias Schneiderhan:
A New Approach to Combine Models and Code in Model Driven Development.
Software Engineering Research and Practice 2005: 396-402 |
| 2004 |
|---|
| 1 | | Stefan Sarstedt,
Alexander Raschke,
Jens Kohlmeyer:
Transparente Programmierung der Anwendungslogik durch attributgesteuerte Konfiguration von Datenbanksperren.
GI Jahrestagung (2) 2004: 408-417 |
