Martin Mohr

17 papers A 1B 1C 3Misc 2Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Fast and Accurate Non-Linear Time-Domain Modeling of Synchronous Machines.
IEEE Access
Mario Vukotic, Franz Diwoky, Martin Mohr, Damijan Miljavec
2022 — —
Systematic Approaches to Advanced Information Flow Analysis - and Applications to Software Security.
Martin Mohr
2020 Misc conf
Hybrid taint analysis for Java EE.
SAC
Florian D. Loch, Martin Johns, Martin Hecker, Martin Mohr, Gregor Snelting
2018 — conf
A Uniform Information-Flow Security Benchmark Suite for Source Code and Bytecode.
NordSec
Tobias Hamann, Mihai Herda, Heiko Mantel, Martin Mohr, David Schneider, Markus Tasch
2018 J jnl
Low-deterministic security for low-nondeterministic programs.
J. Comput. Secur.
Simon Bischof, Joachim Breitner, Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting
2017 B conf
Modular Verification of Information Flow Security in Component-Based Systems.
SEFM
Simon Greiner, Martin Mohr, Bernhard Beckert
2016 — conf
On Improvements of Low-Deterministic Security.
POST
Joachim Breitner, Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting
2016 — conf
Sicherheitsanalyse mit JOANA.
Sicherheit
Juergen Graf, Martin Hecker, Martin Mohr, Gregor Snelting
2016 — conf
Tool Demonstration: JOANA.
POST
Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting
2015 A conf
A Hybrid Approach for Proving Noninterference of Java Programs.
CSF
Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr
2015 J jnl
A Hybrid Approach for Proving Noninterference of Java Programs.
IACR Cryptol. ePrint Arch.
Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr
2015 C conf
JoDroid: Adding Android Support to a Static Information Flow Control Tool.
Software Engineering (Workshops)
Martin Mohr, Jürgen Graf, Martin Hecker
2015 Misc conf
SHRIFT System-Wide HybRid Information Flow Tracking.
SEC
Enrico Lovat, Alexander Fromm, Martin Mohr, Alexander Pretschner
2014 J jnl
Checking probabilistic noninterference using JOANA.
it Inf. Technol.
Gregor Snelting, Dennis Giffhorn, Jürgen Graf, Christian Hammer, Martin Hecker, Martin Mohr, Daniel Wasserrab
2013 C conf
An extended finite element based model approach for permanent magnet synchronous machines including rotor eccentricity.
IECON
Martin Mohr, Oszkar Bíró, Andrej Stermecki, Franz Diwoky
2013 C conf
Using JOANA for Information Flow Control in Java Programs - A Practical Guide.
Software Engineering (Workshops)
Jürgen Graf, Martin Hecker, Martin Mohr
2007 J jnl
"sail: lab" - A novel Package for Sailing Simulation, Scientific Visualization and E-Learning.
Int. J. Comput. Sci. Sport
Ferdinand Bünger, S. Busch, Ingenuin Gasser, Silke Günzel, Andreas Hebbel-Seeger, Martin Mohr