Sebastian Burg

Eberhard-Karls-Universit├Ąt T├╝bingen
Wilhelm-Schickard Institut f├╝r Informatik
Lehrstuhl Technische Informatik
Sand 13, B225
72076 T├╝bingen

Telefon: +49 (7071) 29-78998

E-Mail: burg

Sprechstunde: Die Studienberatung ├╝bernimmt k├╝nftig Fr. Krumpe. Bitte wenden Sie sich Angelegenheiten der Studienberatung direkt an sie.
Sonstige Sprechstunde in Absprache.

Kontakt-Formular

Publikationen

 Alle Publikationen im BibTex-Format

    2016

      Dezember 2016
      • S. Burg, O. Bringmann, D. Peterson
          Verfahren und System zur Verschl├╝sselung von Tastendr├╝cken DE 10 2015 210 573 A1
        Deutsches Patent- und Markenamt
      Publikationen ohne Monatsangabe 2016
      • S. Burg, P. Channakeshava, O. Bringmann
         Linebased End-to-Display Encryption for Secure Documents
        IEEE International Conference on Identity, Security and Behavior Analysis

      2015

        Juni 2015
        • S. Burg, D. Peterson, O. Bringmann
           End-to-Display Encryption - A Pixel-Domain Encryption with Security Benefit
          Proceedings of the 3rd ACM workshop on Information hiding and multimedia security, Portland, USA

        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
          Publikationen ohne Monatsangabe 2014
          • S. Burg, O. Bringmann, T. Kropf
             miniLoCeG+Glucose
            Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions, Vol.B-2014-2, Department of Computer Science Series of Publications, University of Helsinki
          • S. Burg, O. Bringmann, T. Kropf
             provoSATeur+glucose
            Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions, Vol.B-2014-2, Department of Computer Science Series of Publications, University of Helsinki

          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

            • S.Burg, M. Kaufmann, S. Kottler
               Creating Industrial-Like SAT Instances by clustering and reconstruction (Poster Presentation)
              15th International Conference on Theory and Applications of Satisfiability Testing

            2010

              November 2010
              • S. Burg
                 Generation von SAT Instanzen mit ├ähnlichkeit zu industriellen Instanzen
                Universit├Ąt T├╝bingen