Marcus Mews

According to our database¹, Marcus Mews authored at least 3 papers between 2012 and 2016.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2016

Kontrollflusssensible Quelltext-Umgestaltung mithilfe von Constraint-Programmierung.

[BibT_eX]

[DOI]

PhD thesis, 2016

2012

Towards Static Modular Software Verification.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive Domain.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012