Alexander Raschke Coauthor index DBLP Vis pubzone.org

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

DBLP keys2009
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Raschke: Translation of UML 2 Activity Diagrams into Finite State Machines for Model Checking. EUROMICRO-SEAA 2009: 149-154
2008
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMargus Veanes, Nikolaj Bjørner, Alexander Raschke: An SMT Approach to Bounded Reachability Analysis of Model Programs. FORTE 2008: 53-68
2007
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominik 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
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan 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
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan 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
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan 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 © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)