Creating Industrial-Like SAT Instances by Clustering and Reconstruction - (Poster Presentation). - Sebastian Burg; Stephan Kottler; Michael Kaufmann 001 (SAT, 2012)

Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen. - Hanno Eichelberger; Patrick Heckeler; Stefan Huster; Sebastian Burg; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel; Bastian Schlich (MBMV, 2013)

A Software Testing Framework to Integrate Formal Verification Results. - Stefan Huster; Patrick Heckeler; Jürgen Ruf; Sebastian Burg; Thomas Kropf; Wolfgang Rosenstiel (MBMV, 2013)

LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation. - Sebastian Burg; Patrick Heckeler; Stefan Huster; Hanno Eichelberger; Jörg Behrend; Jürgen Ruf; Thomas Kropf; Oliver Bringmann 001 (MBMV, 2014)

Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software. - Hanno Eichelberger; Patrick Heckeler; Jürgen Ruf; Stefan Huster; Sebastian Burg; Thomas Kropf; Wolfgang Rosenstiel; Thomas Greiner (MBMV, 2014)

Increasing Software Reliability by Integrating Formal Verification and Robustness Testing. - Stefan Huster; Merdin Macic; Sebastian Burg; Hanno Eichelberger; Patrick Heckeler; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (MBMV, 2014)

More Flexible Object Invariants with Less Specification Overhead. - Stefan Huster; Patrick Heckeler; Hanno Eichelberger; Jürgen Ruf; Sebastian Burg; Thomas Kropf; Wolfgang Rosenstiel (SEFM, 2014)

End-to-Display Encryption: A Pixel-Domain Encryption with Security Benefit. - Sebastian Matthias Burg; Dustin Peterson; Oliver Bringmann 001 (IH&MMSec, 2015)

Efficient Testing of Different Loop Paths. - Stefan Huster; Sebastian Burg; Hanno Eichelberger; Jo Laufenberg; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (SEFM, 2015)

Linebased end-to-display encryption for secure documents. - Sebastian Burg; Pranav Channakeshava; Oliver Bringmann 001 (ISBA, 2016)

A software reconfigurable assertion checking unit for run-time error detection. - Yumin Zhou; Sebastian Burg; Oliver Bringmann 001; Wolfgang Rosenstiel (ETS, 2018)

Effiziente Pixel-Kompression zur Optimierung der End-to-Display-Verschlüsselung. - Sebastian Burg (2021)