Annual Reports

 Bibtex-File for all Publications

    Publications of 2012

      Publications of 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

      Publications of 2010

        Publications of March 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

        Publications of 2008

        • M. M├╝ller
           Modellierung von Echtzeitbetriebssystemen - Eine Konzeptstudie basierend auf SystemC
          Universit├Ąt T├╝bingen

        Publications of 2006

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

        Publications of 2005

        •   Forschungsbericht 2004-2005

        Publications of 2003

        •  Forschungsbericht 2001-2003

        Publications of 1999

          Publications of 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

          Publications of 1998

            Publications of 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

            Publications of 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

            Publications of 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