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