Marc Hartung

According to our database, Marc Hartung authored at least 4 papers between 2014 and 2019.

Collaborative distances:

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

2019

Learned Clause Minimization in Parallel SAT Solvers.

Marc Hartung, Florian Schintke

CoRR, 2019

Pinpoint Data Races via Testing and Classification.

Marc Hartung, Florian Schintke, Thorsten Schütt

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

2017

SOFTmon - Traffic Monitoring for SDN.

Marc Hartung, Marc Körner

Proceedings of the 14th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2017) / 12th International Conference on Future Networks and Communications (FNC 2017) / Affiliated Workshops, 2017

2014

Mapping of RAID controller performance data to the job history on large computing systems.

Marc Hartung, Michael Kluge

Proceedings of the 2014 International Workshop on Data Intensive Scalable Computing Systems, 2014