Jahresberichte

 Alle Publikationen im BibTex-Format

2012

• S. Huster
    Verifying declarative specications of object-oriented software using Why3
  Wilhelm-Schickard-Institute of Computer Science Department of Computer Engineering University of Tübingen

2010

• B. Rakitsch, A. Bernauer, O. Bringmann, W. Rosenstiel
    Pruning population size in XCS for complex problems
  Wilhelm-Schickard-Institut, Sand 13, 72076 Tübingen, Germany

2008

• M. Müller
   Modellierung von Echtzeitbetriebssystemen - Eine Konzeptstudie basierend auf SystemC
  Universität Tübingen

2006

• Ruf, J., Weiss, R., Lettnin, D. V., Lämmermann, S., Kropf, T., Rosenstiel, W.
   SystemC Temporal Checker
  Tübingen: Department of Computer Engineering

2005

•   Forschungsbericht 2004-2005
  

2003

•  Forschungsbericht 2001-2003
  

1999

• J. Gerlach, W. Rosenstiel
    Ein modularer Ansatz zur Transformationssteuerung
  WSI-99-20, Wilhelm-Schickard-Institut für Informatik, Universität Tübingen
• J. Gerlach, W. Rosenstiel
    Transformationale Optimierung von Entwurfsdarstellungen der algorithmischen Ebene
  WSI-99-19, Wilhelm-Schickard-Institut für Informatik, Universität Tübingen

1998

• J. Gerlach, W. Rosenstiel
    Development of a High-Level Design Space Exploration Methodology
  WSI-98-13, Wilhelm-Schickard-Institut für Informatik, Universität Tübingen
• J. Gerlach, W. Rosenstiel
    Software Modules for Format Conversion, Transformation and Synthesis
  Wilhelm-Schickard-Institut für Informatik, Universität Tübingen

1997

• J. Gerlach, W. Rosenstiel.
    Ein hierarchischer Evaluierungsansatz zur Steuerung von High-Level Transformationen
  SFB 358-B3-2/97, TU Dresden
• J. Gerlach, W. Rosenstiel.
    Transformationale Optimierung des Vollraten-Sprachtranscodierers GSM 06.10.
  SFB 358-B3-5/97, TU Dresden
• J. Gerlach, W. Rosenstiel.
    Verfahren zur Kostenabschätzung bei der Synthese digitaler Schaltungen: Stand der Technik
  SFB 358-B3-4/97, TU Dresden

1996

• J. Gerlach, W. Hardt, H. Eikerling.
    A Script Environment for the HDL Advisor Evaluation
  SFB 358-B3-10/96, TU Dresden
• J. Gerlach, H. Eikerling, W. Hardt
    HW/SW-Codesign und High-Level Synthese des Vollraten-Sprach-Transcodierers GSM 06.10.
  SFB 358-B3-8/96, TU Dresden
• J. Gerlach, W. Hardt, H. Eikerling
    Transformation-Based High Level Design Space Exploration
  SFB 358-B3-9/96, TU Dresden