Benedikt Nordhoff
Für die Person sind keine aktuellen Zugehörigkeiten bekannt. Die Person ist nicht mehr an der Universität aktiv.
Curriculum Vitae (CV)
- Statische Analyse paraller Programme
Akademische Ausbildung | |
| seit 10/2011 | Promotion im Fach Informatik, Westfälische Wilhelms-Universität Münster |
| 10/2007 - 08/2011 | Diplom im Fach Informatik, Westfälische Wilhelms-Universität Münster |
| 10/2006 - 08/2011 | Diplom im Fach Mathematik, Westfälische Wilhelms-Universität Münster |
Berufliche Stationen | |
| seit 10/2011 | Wissenschaftlicher Mitarbeiter, Institut für Informatik, Westfälische Wilhelms-Universität Münster |
Publikationen
Gutsfeld Jens, Müller-Olm Markus, Nordhoff Benedikt (2018) In: Gallardo María-del-Mar, Merino Pedro (Hrsg.), Model Checking Software - 25th International Symposium, SPIN 2018, 153-170. Springer. doi:10.1007/978-3-319-94111-0\_9 Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
Arzt Steven, Bartel Alexandre, Gay Richard, Lortz Steffen, Lovat Enrico, Mantel Heiko, Mohr Martin, Nordhoff Benedikt, Perner Matthias, Rasthofer Siegfried, Schneider David, Snelting Gregor, Starostin Artem, Weber Alexandra (2015) In: 36th IEEE Symposium on Security and Privacy, San Jose, CA, USA. Abstract in Online-Sammlung (Konferenz) | Peer reviewed | Veröffentlicht | |
Nordhoff Benedikt, Müller-Olm Markus, Lammich Peter (2013) In: Banerjee A, Danvy O, Doh K, Hatcliff J (Hrsg.), Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, 384-403. Manhattan, Kansas, USA: / Open Publishing Association. doi:10.4204/EPTCS.129.24 Forschungsartikel (Buchbeitrag) | Peer reviewed | Veröffentlicht | |
Graf Jürgen, Hecker Martin, Mohr Martin, Nordhoff Benedikt (2013) Sonstige wissenschaftliche Veröffentlichung | Veröffentlicht | |
Nordhoff Benedikt (2012) In: School for young researchers about Modelling and Verifying Parallel processes, Marseille, Frankreich. Abstract in Online-Sammlung (Konferenz) | Peer reviewed | Veröffentlicht |
Projekte
SPP 1496 - Teilprojekt: Informationsflusskontrolle für mobile Komponenten mittels präziser Analyse paralleler Programme (IFC for Mobile Components) Laufzeit: 01.10.2014 - 30.06.2018 | 3. Förderperiode Gefördert durch: DFG - Schwerpunktprogramm Art des Projekts: Teilprojekt in DFG-Verbund koordiniert außerhalb der Universität Münster | |
SPP 1496 - Teilprojekt: Informationsflusskontrolle für mobile Komponenten mittels präziser Analyse paralleler Programme (IFC for Mobile Components) Laufzeit: 01.10.2012 - 30.09.2015 | 2. Förderperiode Gefördert durch: DFG - Schwerpunktprogramm Art des Projekts: Teilprojekt in DFG-Verbund koordiniert außerhalb der Universität Münster | |
SPP 1496 - Teilprojekt: Informationsflusskontrolle für mobile Komponenten mittels präziser Analyse paralleler Programme (IFC for Mobile Components) Laufzeit: 01.10.2010 - 30.09.2013 | 1. Förderperiode Gefördert durch: DFG - Schwerpunktprogramm Art des Projekts: Teilprojekt in DFG-Verbund koordiniert außerhalb der Universität Münster |
Promotionen
| Security Through Safety: An Approach to Information Flow Control Based on Derivation of Safety Properties From a Characterisation of Insecure Behavior Promovend*in: Nordhoff, Benedikt | Betreuer*innen: Müller-Olm, Markus | Gutachter*innen: Müller-Olm, Markus; Seidl, Helmut Zeitraum: 03.10.2011 - 21.01.2022 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster |