Fabian Hänsel is an author at RWTH Aachen University specializing in formal methods, formal verification, and system software.
Top concepts
EngineeringVerificationFormal MethodsFault ToleranceSystem SoftwareComputer ScienceNetwork AnalysisProgram AnalysisCluster ComputingSoftware Analysis
Publications per year
2013–2013
1
1
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–1 of 1