Foto von Andreas Wilhelm

Andreas Wilhelm

Technische Universität München

Institut für Informatik

Postadresse

Postal:
Boltzmannstr. 3
85748 Garching b. München

  • Sprechstunde: nach Vereinbarung
  • andreas.wilhelm(at)tum.de

Research Interests

Software Analysis, Parallelization, Program Comprehension, Software Verification, Parallel Computer Architectures, Software Visualization.

 

Publications

  • A Visualization Framework for Parallelization. Andreas Wilhelm, Victor Savu, Efe Amadasun, Michael Gerndt and Tobias Schuele. IEEE Working Conference on Software Visualization (VISSOFT), 2016.
  • Parceive: Interactive Parallelization Based on Dynamic Analysis. Andreas Wilhelm, Bharatkumar Sharma, Ranajoy Malakar, Tobias Schuele and Michael Gerndt. IEEE International Workshop on Program Comprehension through Dynamic Analysis (PCODA), 2015.
  • Reduction for Compositional Verification of Multi-Threaded Programs. Corneliu Popeea, Andrey Rybalchenko and Andreas Wilhelm. Formal Methods in Computer-Aided Design (FMCAD), 2014.