List of publications

DokumenttypErscheinungsjahrTitelAutorenHerausgeber
review2021Foundations of programming languagesWilhelm, Reinhard
article2020Real time spent on real timeWilhelm, Reinhard
article2019Benchmarking static code analyzersHerter, Jörg; Kästner, Daniel; Mallon, Christoph; Wilhelm, Reinhard
book2018Advances in Aeronautical Informatics : Technologies Towards Flight 4.0Wilhelm, Reinhard; Reineke, Jan; Wegener, Simon
conferenceObjectPart2018Mixed Feelings About Mixed Criticality (Invited Paper)Wilhelm, ReinhardBrandner, Florian
bookPart2018On the Road to Conviction : An Email Exchange with Edward LeeWilhelm, ReinhardLohstroh, Marten; Derler, Patricia; Sirjani, Marjan
conferenceObjectPart2017Benchmarking Static Code AnalyzersHerter, Jörg; Kästner, Daniel; Mallon, Christoph; Wilhelm, ReinhardTonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann
Welcome
Name:Wilhelm, Reinhard
Faculty: P - Philosophische Fakultät
Department: P - Romanistik
Professorship:P - Prof. Dr. Janett Reinstädler
Display style: