dblp.uni-trier.dewww.uni-trier.de

Alexander Raschke Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
5EEMargus Veanes, Nikolaj Bjørner, Alexander Raschke: An SMT Approach to Bounded Reachability Analysis of Model Programs. FORTE 2008: 53-68
2007
4EEDominik 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

Coauthor Index

1Nikolaj Bjørner [5]
2Dominik Gessenharter [4]
3Jens Kohlmeyer [1] [2] [3]
4Alexander-Marc Merten [4]
5Nicolas Fernando Porta [4]
6Stefan Sarstedt [1] [2] [3]
7Matthias Schneiderhan [2] [3]
8Margus Veanes [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)