6
Publications
150
Citations
6
H-Index
2009
Active since
Tobias Hilbrich is an author at Technische Universität Dresden specializing in computer engineering, formal verification, and parallel programming.
Top concepts
EngineeringComputer ScienceProgram AnalysisParallel ComputingFormal VerificationComputer EngineeringParallel ProgrammingCluster ComputingSoftware AnalysisSystems Engineering
Publications per year
2009–2013
6
6
A graph based approach for MPI deadlock detection
Tobias Hilbrich, Bronis R. de Supinski, Martin Schulz et al. · 2009 · 47 citations
Runtime MPI collective checking with tree-based overlay networks
Tobias Hilbrich, Bronis R. de Supinski, Fabian Hänsel et al. · 2013 · 17 citations
Rows per page
1–5 of 6