| 2025 | ETS | Security Risks in AI Accelerators: Detecting RTL Vulnerabilities to Model Theft with Formal Verification. | Mohamed Shelkamy Ali, Lucas Deutschmann, Johannes Mller, Anna Lena Duque Antn, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz |
| 2025 | ICML | Embedding Safety into RL: A New Take on Trust Region Methods. | Nikola Milosevic, Johannes Mller, Nico Scherf |
| 2025 | PAAMS | Towards a Replicable Synthetic Population and Agent-Based Transport Model for Bavaria. | Sebastian Hrl, Arthur Burianne, Elena Natterer, Roman Engelhardt, Johannes Mller |
| 2024 | DAC | MCU-Wide Timing Side Channels and Their Detection. | Johannes Mller, Anna Lena Duque Antn, Lucas Deutschmann, Dino Mehmedagic, Cristiano Rodrigues, Daniel Oliveira, Mohammad Rahmani Fadiheh, Keerthikumara Devarajegowda, Sandro Pinto, Dominik Stoffel, Wolfgang Kunz |
| 2024 | DATE | A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators. | Anna Lena Duque Antn, Johannes Mller, Lucas Deutschmann, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz |
| 2024 | FUSION | Adaptive Kalman Filtering Based on Subjective Logic Self-Assessment. | Thomas Griebel, Johannes Mller, Michael Buchholz, Klaus Dietmayer |
| 2024 | ICCAD | VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL. | Anna Lena Duque Antn, Johannes Mller, Philipp Schmitz, Tobias Jauch, Alex Wezel, Lucas Deutschmann, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz |
| 2024 | ICML | Position: Optimization in SciML Should Employ the Function Space Geometry. | Johannes Mller, Marius Zeinhofer |
| 2024 | WSC | Exploring the Influences of Automated Shuttles on Mobility Pattern and Traffic System at Different Granularity Levels. | Yun-Pang Fltterd, Johannes Mller, Daniel Krajzewicz, Jakob Erdmann, Christian Rudloff |
| 2023 | ICML | Achieving High Accuracy with PINNs via Energy Natural Gradient Descent. | Johannes Mller, Marius Zeinhofer |
| 2023 | SAC | Scalable Coercion-Resistant E-Voting under Weaker Trust Assumptions. | Thomas Haines, Johannes Mller, Iigo Querejeta-Azurmendi |
| 2022 | ACISP | Verifiable Decryption in the Head. | Kristian Gjsteen, Thomas Haines, Johannes Mller, Peter B. Rnne, Tjerand Silde |
| 2022 | CCS | Kryvos: Publicly Tally-Hiding Verifiable E-Voting. | Nicolas Huber, Ralf Ksters, Toomas Krips, Julian Liedtke, Johannes Mller, Daniel Rausch, Pascal Reisert, Andreas Vogt |
| 2022 | DAC | Towards a formally verified hardware root-of-trust for data-oblivious computing. | Lucas Deutschmann, Johannes Mller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz |
| 2022 | FC | Breaking and Fixing Vote Privacy of the Estonian E-Voting Protocol IVXV. | Johannes Mller |
| 2022 | FUSION | Self-Assessment for Single-Object Tracking in Clutter Using Subjective Logic. | Thomas Griebel, Johannes Mller, Paul Geisler, Charlotte Hermann, Martin Herrmann, Michael Buchholz, Klaus Dietmayer |
| 2022 | ICLR | The Geometry of Memoryless Stochastic Policy Optimization in Infinite-Horizon POMDPs. | Johannes Mller, Guido Montfar |
| 2022 | IROS | Deep Kernel Learning for Uncertainty Estimation in Multiple Trajectory Prediction Networks. | Jan Strohbeck, Johannes Mller, Martin Herrmann, Michael Buchholz |
| 2021 | ACISP | Optimal Randomized Partial Checking for Decryption Mix Nets. | Thomas Haines, Johannes Mller |
| 2021 | ACISP | A Novel Proof of Shuffle: Exponentially Secure Cut-and-Choose. | Thomas Haines, Johannes Mller |
| 2021 | DAC | A Formal Approach to Confidentiality Verification in SoCs at the Register Transfer Level. | Johannes Mller, Mohammad Rahmani Fadiheh, Anna Lena Duque Antn, Thomas Eisenbarth, Dominik Stoffel, Wolfgang Kunz |
| 2021 | IROS | DeepSIL: A Software-in-the-Loop Framework for Evaluating Motion Planning Schemes Using Multiple Trajectory Prediction Networks. | Jan Strohbeck, Johannes Mller, Adrian Holzbock, Michael Buchholz |
| 2020 | DAC | A Formal Approach for Detecting Vulnerabilities to Transient Execution Attacks in Out-of-Order Processors. | Mohammad Rahmani Fadiheh, Johannes Mller, Raik Brinkmann, Subhasish Mitra, Dominik Stoffel, Wolfgang Kunz |
| 2020 | ESORICS | A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing. | Xavier Boyen, Thomas Haines, Johannes Mller |
| 2020 | FUSION | Kalman Filter Meets Subjective Logic: A Self-Assessing Kalman Filter Using Subjective Logic. | Thomas Griebel, Johannes Mller, Michael Buchholz, Klaus Dietmayer |
| 2020 | GI | Fachanwendung fr digitale Modulkataloge. | Vera G. Meister, Wenxin Hu, Aleksandra Revina, Marcel Cikus, Johannes Mller |
| 2020 | IROS | Multiple Trajectory Prediction with Deep Temporal and Spatial Convolutional Neural Networks. | Jan Strohbeck, Vasileios Belagiannis, Johannes Mller, Marcel Schreiber, Martin Herrmann, Daniel Wolf, Michael Buchholz |
| 2019 | GI | Serverless Big Data Processing using Matrix Multiplication as Example. | Sebastian Werner, Jrn Kuhlenkamp, Markus Klems, Johannes Mller, Stefan Tai |
| 2018 | PDP | Endolith: A Blockchain-Based Framework to Enhance Data Retention in Cloud Storages. | Thomas Renner, Johannes Mller, Odej Kao |
| 2016 | SP | SoK: Verifiability Notions for E-Voting Protocols. | Vronique Cortier, David Galindo, Ralf Ksters, Johannes Mller, Tomasz Truderung |
| 2014 | UCC | PICav: Precise, Iterative, and Complement-Based Cloud Storage Availability Calculation Scheme. | Josef Spillner, Johannes Mller |
| 2014 | UCC | Tutorial on Distributed Data Storage: From Dispersed Files to Stealth Databases. | Josef Spillner, Johannes Mller |
| 2013 | GPCE | Program slicing to understand software generators. | Max Lillack, Johannes Mller, Ulrich W. Eisenecker |
| 2013 | ICTAI | Kaczmarz Algorithm with Soft Constraints for User Interface Layout. | Noreen Jamil, Deanna Needell, Johannes Mller, Christof Lutteroth, Gerald Weber |
| 2012 | ICTAI | Extending Linear Relaxation for User Interface Layout. | Noreen Jamil, Johannes Mller, Christof Lutteroth, Gerald Weber |
| 2012 | IGARSS | Ice contamination of Meteosat/SEVIRI IR13.4 channel implied by Inter-Calibration against Metop/IASI. | Tim J. Hewison, Johannes Mller |
| 2012 | OZCHI | Comparing the usability of grid-bag and constraint-based layouts. | Clemens Zeidler, Johannes Mller, Christof Lutteroth, Gerald Weber |
| 2011 | SPLC | Value-Based Portfolio Optimization for Software Product Lines. | Johannes Mller |
| 2011 | UCC | Information Dispersion over Redundant Arrays of Optimal Cloud Storage for Desktop Users. | Josef Spillner, Gerd Bombach, Steffen Matthischke, Johannes Mller, Rico Tzschichholz, Alexander Schill |
| 2008 | GI | Tracking the Wiimote in 3D using ARToolkit. | Raphael Wimmer, Sebastian Boring, Johannes Mller |
| 1998 | ICASSP | Speech interaction in virtual reality. | Johannes Mller, Christian Krapichler, Lam Son Nguyen, Karl-Hans Englmeier, Manfred K. Lang |
| 1997 | ICASSP | Controlling limited-domain applications by probabilistic semantic decoding of natural speech. | Holger Stahl, Johannes Mller, Manfred K. Lang |
| 1996 | ICASSP | An efficient top-down parsing algorithm for understanding speech by using stochastic syntactic and semantic models. | Holger Stahl, Johannes Mller, Manfred K. Lang |
| 1996 | Interspeech | Automatic speech translation based on the semantic structure. | Johannes Mller, Holger Stahl, Manfred K. Lang |
| 1996 | Interspeech | Predicting the out-of-vocabulary rate and the required vocabulary size for speech processing applications. | Johannes Mller, Holger Stahl, Manfred K. Lang |
| 1996 | KI | A Compiler-Interpreter-System for Decoding the User's Intention Within a Speech Understanding Application. | Michael Ebersberger, Johannes Mller, Holger Stahl |
| 1995 | Interspeech | A one-pass search algorithm for understanding natural spoken time utterances by stochastic models. | Josef G. Bauer, Holger Stahl, Johannes Mller |
| 1995 | Interspeech | Collecting and analyzing spoken utterances for a speech controlled application. | Johannes Mller, Holger Stahl |
| 1995 | Interspeech | A stochastic grammar for isolated representation of syntactic and semantic knowledge. | Holger Stahl, Johannes Mller |