Skip to content

Sebastian Burg

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

4

Venues

3

Active years

2012–2018

Best venue rank

B

Where they publish

Papers

4 indexed papers, newest first.

YearVenueTitleAuthors
2018ETSA software reconfigurable assertion checking unit for run-time error detection.Yumin Zhou, Sebastian Burg, Oliver Bringmann, Wolfgang Rosenstiel
2015SEFMEfficient Testing of Different Loop Paths.Stefan Huster, Sebastian Burg, Hanno Eichelberger, Jo Laufenberg, Jrgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2014SEFMMore Flexible Object Invariants with Less Specification Overhead.Stefan Huster, Patrick Heckeler, Hanno Eichelberger, Jrgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel
2012SATCreating Industrial-Like SAT Instances by Clustering and Reconstruction - (Poster Presentation).Sebastian Burg, Stephan Kottler, Michael Kaufmann