 | 2009 |
|---|
| 6 |       | Alexander Raschke:
Translation of UML 2 Activity Diagrams into Finite State Machines for Model Checking.
EUROMICRO-SEAA 2009: 149-154 |
| 2008 |
|---|
| 5 | | Margus Veanes,
Nikolaj Bjørner,
Alexander Raschke:
An SMT Approach to Bounded Reachability Analysis of Model Programs.
FORTE 2008: 53-68 |
| 2007 |
|---|
| 4 | | Dominik Gessenharter,
Alexander-Marc Merten,
Alexander Raschke,
Nicolas Fernando Porta:
Experiences on Using Software Experiments in the Validation of Industrial Research Questions.
IWSM/Mensura 2007: 86-94 |
| 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 |
