Browsing Universitätsbibliographie by Author "Burg, Sebastian"

Now showing items 1-9 of 9

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

Zhou, Yumin; Burg, Sebastian; Bringmann, Oliver; Rosenstiel, Wolfgang (2018)
Accelerated Model-Based Robustness Testing of State Machine Implementations

Heckeler, Patrick; Eichelberger, Hanno; Kropf, Thomas; Ruf, Jürgen; Huster, Stefan; Burg, Sebastian; Rosenstiel, Wolfgang; Schlich, Bastian (2013)
Accelerated Robustness Testing of State-Based Components using Reverse Execution

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

Eichelberger, Hanno; Huster, Stefan; Burg, Sebastian; Ruf, Jürgen; Kropf, Thomas; Schlich, Bastian; Rosenstiel, Wolfgang; Heckeler, Patrick (2014)
Effiziente Pixel-Kompression zur Optimierung der End-to-Display-Verschlüsselung

Burg, Sebastian (2021)
Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software

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

Huster, Stefan; Macic, Merdin; Burg, Sebastian; Eichelberger, Hanno; Heckeler, Patrick; Ruf, Jürgen; Kropf, Thomas; Rosenstiel, Wolfgang (2014)
miniLoCeg+Glucose

Burg, Sebastian; Bringmann, Oliver; Kropf, Thomas (2014)
provoSAteur+glucose

Burg, Sebastian; Bringmann, Oliver; Kropf, Thomas (2014)

Now showing items 1-9 of 9

Report a Publication

Help

Browse

All of DSpace
This Community

Browsing Universitätsbibliographie by Author "Burg, Sebastian"

DSpace Repository

Browsing Universitätsbibliographie by Author "Burg, Sebastian"

Browse

All of DSpace

This Community

My Account