Andreas Wilhelm
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2014–2018
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ICSE | Tool-based interactive software parallelization: a case study. | Andreas Wilhelm, Faris Cakaric, Michael Gerndt, Tobias Schuele |
| 2016 | VISSOFT | A Visualization Framework for Parallelization. | Andreas Wilhelm, Victor Savu, Efe Amadasun, Michael Gerndt, Tobias Schuele |
| 2014 | FMCAD | Reduction for compositional verification of multi-threaded programs. | Corneliu Popeea, Andrey Rybalchenko, Andreas Wilhelm |