Sebastian Burg

According to our database, Sebastian Burg authored at least 12 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2021

Effiziente Pixel-Kompression zur Optimierung der End-to-Display-Verschlüsselung.

Sebastian Burg

PhD thesis, 2021

2018

A software reconfigurable assertion checking unit for run-time error detection.

Yumin Zhou, Sebastian Burg, Oliver Bringmann, Wolfgang Rosenstiel

Proceedings of the 23rd IEEE European Test Symposium, 2018

2016

Linebased end-to-display encryption for secure documents.

Sebastian Burg, Pranav Channakeshava, Oliver Bringmann

Proceedings of the IEEE International Conference on Identity, 2016

2015

Efficient Testing of Different Loop Paths.

Stefan Huster, Sebastian Burg, Hanno Eichelberger, Jo Laufenberg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

End-to-Display Encryption: A Pixel-Domain Encryption with Security Benefit.

Sebastian Matthias Burg, Dustin Peterson, Oliver Bringmann

Proceedings of the 3rd ACM Workshop on Information Hiding and Multimedia Security, 2015

2014

More Flexible Object Invariants with Less Specification Overhead.

Stefan Huster, Patrick Heckeler, Hanno Eichelberger, Jürgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 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

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 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

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014

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

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014

2013

A Software Testing Framework to Integrate Formal Verification Results.

Stefan Huster, Patrick Heckeler, Jürgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen.

Hanno Eichelberger, Patrick Heckeler, Stefan Huster, Sebastian Burg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Bastian Schlich

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

2012

Creating Industrial-Like SAT Instances by Clustering and Reconstruction - (Poster Presentation).

Sebastian Burg, Stephan Kottler, Michael Kaufmann

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012