Sebastian Burg

Wilhelm-Schickard-Institute for Computer Science
Eberhard-Karls-University of Tuebingen
Computer Engineering Department
Sand 13, B225
72076 T├╝bingen

Phone: +49 (7071) 29-78998

E-Mail: burg

Contact-Form

Publikationen

 Bibtex-File for all Publications

    Publications of 2018

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

      Publications of 2016

        Publications of December 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
        Publications without Month 2016
        • S. Burg, P. Channakeshava, O. Bringmann
           Linebased End-to-Display Encryption for Secure Documents
          IEEE International Conference on Identity, Security and Behavior Analysis

        Publications of 2015

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

          Publications of 2014

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

            Publications of 2013

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

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

              Publications of 2010

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