Martin Mohr
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2013–2020
Best venue rank
Multiconference
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | SAC | Hybrid taint analysis for Java EE. | Florian D. Loch, Martin Johns, Martin Hecker, Martin Mohr, Gregor Snelting |
| 2017 | SEFM | Modular Verification of Information Flow Security in Component-Based Systems. | Simon Greiner, Martin Mohr, Bernhard Beckert |
| 2015 | SEC | SHRIFT System-Wide HybRid Information Flow Tracking. | Enrico Lovat, Alexander Fromm, Martin Mohr, Alexander Pretschner |
| 2013 | IECON | An extended finite element based model approach for permanent magnet synchronous machines including rotor eccentricity. | Martin Mohr, Oszkar Br, Andrej Stermecki, Franz Diwoky |