Sebastian Burg

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 3

Top Topics

Software Testing

Object Geometry

Formal Verification

Top Venues

Publications

Yumin Zhou, Sebastian Burg, Oliver Bringmann, Wolfgang Rosenstiel
A software reconfigurable assertion checking unit for run-time error detection. ETS (2018)
Sebastian Burg, Pranav Channakeshava, Oliver Bringmann
Linebased end-to-display encryption for secure documents. ISBA (2016)
Stefan Huster, Sebastian Burg, Hanno Eichelberger, Jo Laufenberg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Efficient Testing of Different Loop Paths. SEFM (2015)
Stefan Huster, Merdin Macic, Sebastian Burg, Hanno Eichelberger, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Increasing Software Reliability by Integrating Formal Verification and Robustness Testing. MBMV (2014)
Stefan Huster, Patrick Heckeler, Hanno Eichelberger, Jürgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel
More Flexible Object Invariants with Less Specification Overhead. SEFM (2014)
Hanno Eichelberger, Patrick Heckeler, Jürgen Ruf, Stefan Huster, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel, Thomas Greiner
Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software. MBMV (2014)
Sebastian Burg, Patrick Heckeler, Stefan Huster, Hanno Eichelberger, Jörg Behrend, Jürgen Ruf, Thomas Kropf, Oliver Bringmann
LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation. MBMV (2014)
Hanno Eichelberger, Patrick Heckeler, Stefan Huster, Sebastian Burg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Bastian Schlich
Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen. MBMV (2013)
Stefan Huster, Patrick Heckeler, Jürgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel
A Software Testing Framework to Integrate Formal Verification Results. MBMV (2013)
Sebastian Burg, Stephan Kottler, Michael Kaufmann
Creating Industrial-Like SAT Instances by Clustering and Reconstruction - (Poster Presentation). SAT (2012)