Jahresberichte

 Alle Publikationen im BibTex-Format

    2012

      April 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

        März 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

          November 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

            November 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