Stefan Huster

Eberhard-Karls-Universität Tßbingen
Wilhelm-Schickard Institut fĂźr Informatik
Lehrstuhl Technische Informatik
Sand 13, B202
72076 TĂźbingen

Telefon: +49 (7071) 29-75940

E-Mail: huster

Kontakt-Formular

Lehre

SS 2012

  • Seminar: Modellbasierte Software-Verifikation - Grundlagen und industrielle Praxis.

Publikationen

 Alle Publikationen im BibTex-Format

    2014

      September 2014
      • S. Huster, P. Heckeler, H. Eichelberger, J. Ruf, S. Burg, T. Kropf, W. Rosenstiel
         More Flexible Object Invariants with Less Specification Overhead
        Software Engineering and Formal Methods (SEFM), Vol.8702, p.302-316, Springer International Publishing
      März 2014
      • H. Eichelberger, P. Heckeler, J. Ruf, S. Huster, S. Burg, T. Kropf, T. Greiner, W. Rosenstiel
         Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software
        17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), p.61-70, IBM Deutschland
      • Stefan Huster and Merdin Macic and Sebastian Burg and Hanno Eichelberger and Patrick Heckeler and JĂźrgen Ruf and Thomas Kropf and Wolfgang Rosenstiel
         Increasing Software Reliability by Integrating Formal Verification and Robustness Testing.
        MBMV, p.125-136
      • S. Burg, P. Heckeler, S. Huster, H. Eichelberger, J. Behrend, J. Ruf, T. Kropf, O. Bringmann
         LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation
        Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen , Vol.17, IBM Deutschland

      2013

        September 2013
        • P. Heckeler, H. Eichelberger, T. Kropf, B.Schlich, J. Ruf, S. Huster, S. Burg, W. Rosenstiel
            Accelerated Model-Based Robustness Testing of State Machine Implementations
          ACM Applied Computing Review, 13 (03), p.50--67
        März 2013
        • S. Huster, P. Heckeler, J. Ruf, S. Burg, T. Kropf, W. Rosenstiel
           A Software Testing Framework to Integrate Formal Verification Results
          16. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, p.183-192, Universität Rostock, Rostock
        • P. Heckeler, B. Schlich, T. Kropf, G. R. Cardoso, H. Eichelberger, J. Ruf, S. Huster, S. Burg, W. Rosenstiel
           Accelerated Robustness Testing of State-Based Components using Reverse Execution
          Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC), Vol.2, p.1188-1195, ACM, Coimbra, Portugal
        • H. Eichelberger, P. Heckeler, S. Huster, S. Burg, J. Ruf, T. Kropf, W. Rosenstiel, B. Schlich
           Beschleunigte Robustheitstests fĂźr verhaltensbeschreibende Zustandsmaschinen
          16. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), p.161-170, Universität Rostock

        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

          2011

            März 2011
            • J. Behrend, D. Lettnin, P. Heckeler, J. Ruf, T. Kropf, W. Rosenstiel
               Scalable Hybrid Verification for Embedded Software
              DATE '11: Proceedings of the conference on Design, Automation and Test in Europe

            2009

              April 2009
              • C. Henneges, S. Huster, A. Zell
                  An artificial t cell immune system for predicting MHC-II binding peptides
                IEEE Symposium Series on Artificial Life Proceedings, p.163-170