@inproceedings{YSOWMai2018,
               author = {Y. Zhou, S. Burg, O. Bringmann, W. Rosenstiel },
               title = {A software reconfigurable assertion checking unit for run-time error detection.},
               booktitle = {European Test Symposium (ETS)},
               year = {2018},
               month = {Mai},
}
@inproceedings{SOD122016,
               author = {S. Burg, O. Bringmann, D. Peterson},
               title = {Verfahren und System zur Verschlüsselung von Tastendrücken DE 10 2015 210 573 A1},
               booktitle = {Deutsches Patent- und Markenamt},
               year = {2016},
               month = {12},
}
@inproceedings{SPO2016,
               author = {S. Burg, P. Channakeshava, O. Bringmann},
               title = {Linebased End-to-Display Encryption for Secure Documents},
               booktitle = {IEEE International Conference on Identity, Security and Behavior Analysis},
               year = {2016},
}
@inproceedings{SDO062015,
               author = {S. Burg, D. Peterson, O. Bringmann},
               title = {End-to-Display Encryption - A Pixel-Domain Encryption with Security Benefit},
               booktitle = {Proceedings of the 3rd ACM workshop on Information hiding and multimedia security},
               year = {2015},
               month = {06},
               address = {Portland, USA}
}
@inproceedings{SPHJSTW092014,
               author = {S. Huster, P. Heckeler, H. Eichelberger, J. Ruf, S. Burg, T. Kropf, W. Rosenstiel},
               title = {More Flexible Object Invariants with Less Specification Overhead},
               booktitle = {Software Engineering and Formal Methods (SEFM)},
               publisher = {Springer International Publishing},
               year = {2014},
               month = {09},
               volume = {8702},
               pages = {302-316},
               series = {Lecture Notes in Computer Science},
}
@inproceedings{HPJSSTTW032014,
               author = {H. Eichelberger, P. Heckeler, J. Ruf, S. Huster, S. Burg, T. Kropf, T. Greiner, W. Rosenstiel},
               title = {Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software},
               booktitle = {17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)},
               year = {2014},
               month = {03},
               pages = {61-70},
               address = {IBM Deutschland}
}
@inproceedings{032014,
               author = {Stefan Huster and Merdin Macic and Sebastian Burg and Hanno Eichelberger and Patrick Heckeler and Jürgen Ruf and Thomas Kropf and Wolfgang Rosenstiel},
               title = {Increasing Software Reliability by Integrating Formal Verification and Robustness Testing.},
               booktitle = {MBMV},
               year = {2014},
               month = {03},
               pages = {125-136},
}
@inproceedings{SPSHJJTO032014,
               author = {S. Burg, P. Heckeler, S. Huster, H. Eichelberger, J. Behrend, J. Ruf, T. Kropf, O. Bringmann},
               title = {LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation},
               booktitle = {Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen },
               year = {2014},
               month = {03},
               volume = {17},
               series = {MBMV},
               organization = {IBM Deutschland}
}
@inproceedings{SOT2014,
               author = {S. Burg, O. Bringmann, T. Kropf},
               title = {miniLoCeG+Glucose},
               booktitle = {Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions},
               publisher = {Department of Computer Science Series of Publications},
               year = {2014},
               volume = {B-2014-2},
               organization = {University of Helsinki}
}
@inproceedings{SOT2014,
               author = {S. Burg, O. Bringmann, T. Kropf},
               title = {provoSATeur+glucose},
               booktitle = {Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions},
               publisher = {Department of Computer Science Series of Publications},
               year = {2014},
               volume = {B-2014-2},
               organization = {University of Helsinki}
}
@article{PHTBJSSW092013,
         author = {P. Heckeler, H. Eichelberger, T. Kropf, B.Schlich, J. Ruf, S. Huster, S. Burg, W. Rosenstiel},
         title = {Accelerated Model-Based Robustness Testing of State Machine Implementations},
         journal = {ACM Applied Computing Review},
         year = {2013},
         month = {09},
         volume = {13},
         number = {03},
         pages = {50--67},
}
@inproceedings{SPJSTW032013,
               author = {S. Huster, P. Heckeler, J. Ruf, S. Burg, T. Kropf, W. Rosenstiel},
               title = {A Software Testing Framework to Integrate Formal Verification Results},
               booktitle = {16. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen},
               publisher = {Universität Rostock},
               year = {2013},
               month = {03},
               pages = {183-192},
               address = {Rostock}
}
@inproceedings{PBTGRHJSSW032013,
               author = {P. Heckeler, B. Schlich, T. Kropf, G. R. Cardoso, H. Eichelberger, J. Ruf, S. Huster, S. Burg, W. Rosenstiel},
               title = {Accelerated Robustness Testing of State-Based Components using Reverse Execution},
               booktitle = {Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC)},
               publisher = {ACM},
               year = {2013},
               month = {03},
               volume = {2},
               pages = {1188-1195},
               address = {Coimbra, Portugal}
}
@inproceedings{HPSSJTWB032013,
               author = { H. Eichelberger, P. Heckeler, S. Huster, S. Burg, J. Ruf, T. Kropf, W. Rosenstiel, B. Schlich},
               title = {Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen},
               booktitle = {16. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)},
               publisher = {Universität Rostock},
               year = {2013},
               month = {03},
               pages = {161-170},
}
@inproceedings{SMS2012,
               author = {S.Burg, M. Kaufmann, S. Kottler},
               title = {Creating Industrial-Like SAT Instances by clustering and reconstruction (Poster Presentation)},
               booktitle = {15th International Conference on Theory and Applications of Satisfiability Testing},
               year = {2012},
}
@mastersthesis{S112010,
              author = {S. Burg},
              title = {Generation von SAT Instanzen mit Ähnlichkeit zu industriellen Instanzen},
              school = {Universität Tübingen},
              year = {2010},
              month = {11},
}