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

    2018

      2018
      • Y. Zhou, S. Burg, O. Bringmann, W. Rosenstiel
         A software reconfigurable assertion checking unit for run-time error detection.
        European Test Symposium (ETS)

      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