Johannes Müller

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 53

Top Topics

Square Matrices

Achieving High Accuracy

Top Venues

Publications

Mareike Dressler, Marina Garrote-López, Guido Montúfar, Johannes Müller, Kemal Rose
Algebraic optimization of sequential decision problems. J. Symb. Comput. 121 (2024)
Nouri Alnahawi, Johannes Müller, Jan Oupický, Alexander Wiesmaier
SoK: Post-Quantum TLS Handshake. IACR Cryptol. ePrint Arch. 2023 (2023)
Lucas Deutschmann, Johannes Müller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz
A Scalable Formal Verification Methodology for Data-Oblivious Hardware. CoRR (2023)
Mohammad Rahmani Fadiheh, Alex Wezel, Johannes Müller, Jörg Bormann, Sayak Ray, Jason M. Fung, Subhasish Mitra, Dominik Stoffel, Wolfgang Kunz
An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors. IEEE Trans. Computers 72 (1) (2023)
Anna Lena Duque Antón, Johannes Müller, Lucas Deutschmann, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz
A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators. CoRR (2023)
Franz Müller, Sourav De, Maximilian Lederer, Raik Hoffmann, Ricardo Olivo, Thomas Kämpfe, Konrad Seidel, Tarek Ali, Halid Mulaosmanovic, Stefan Dünkel, Johannes Müller, Sven Beyer, Gerald Gerlach
Multi-Level Operation of Ferroelectric FET Memory Arrays for Compute-In-Memory Applications. IMW (2023)
Anna Lena Duque Antón, Johannes Müller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz
Fault Attacks on Access Control in Processors: Threat, Formal Analysis and Microarchitectural Mitigation. IEEE Access 11 (2023)
Johannes Müller, Anna Lena Duque Antón, Lucas Deutschmann, Dino Mehmedagic, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz
A New Security Threat in MCUs - SoC-wide timing side channels and how to find them. CoRR (2023)
Johannes Müller, Marius Zeinhofer
Achieving High Accuracy with PINNs via Energy Natural Gradient Descent. ICML (2023)
Johannes Müller, Marius Zeinhofer
Achieving High Accuracy with PINNs via Energy Natural Gradients. CoRR (2023)
Dino Mehmedagic, Mohammad Rahmani Fadiheh, Johannes Müller, Anna Lena Duque Antón, Dominik Stoffel, Wolfgang Kunz
Design of Access Control Mechanisms in Systems-on-Chip with Formal Integrity Guarantees. USENIX Security Symposium (2023)
Marcel Schloz, Johannes Müller, Thomas C. Pekin, Wouter Van den Broek, Christoph T. Koch
Deep Reinforcement Learning for Data-Driven Adaptive Scanning in Ptychography. CoRR (2022)
Lucas Deutschmann, Johannes Müller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz
Towards a formally verified hardware root-of-trust for data-oblivious computing. DAC (2022)
Johannes Müller, Marius Zeinhofer
Error Estimates for the Deep Ritz Method with Boundary Penalty. MSML (2022)
Johannes Müller, Guido Montúfar
The Geometry of Memoryless Stochastic Policy Optimization in Infinite-Horizon POMDPs. ICLR (2022)
Johannes Müller, Robert Hofmann, Mila Shatilo
Tripolye Mega-Sites: "Collective Computational Abilities" of Prehistoric Proto-Urban Societies? J. Soc. Comput. 3 (1) (2022)
Jesse van Oostrum, Johannes Müller, Nihat Ay
Invariance Properties of the Natural Gradient in Overparametrised Systems. CoRR (2022)
Natalie Pickartz, Wolfgang Rabbel, Knut Rassmann, Robert Hofmann, René Ohlrau, Martin Thorwart, Dennis Wilken, Tina Wunderlich, Mykhailo Videiko, Johannes Müller
Inverse Filtering of Magnetic Prospection Data - A Gateway to the Social Structure of Cucuteni-Tripolye Settlements? Remote. Sens. 14 (3) (2022)
Johannes Müller, Guido Montúfar
Geometry and convergence of natural policy gradient methods. CoRR (2022)
Johannes Müller, Aleksandra Titova, Hongsik Yoon, Thomas Merbeth, Martin Weisheit, Georg Wolf, Sanjeeb Bharali, Bert Pfefferling, Yuichi Otani, Tetyana Shapoval, Alberto Cagliani, Ferenc Vajda, Pedram Sadeghi, Christiana Villas-Boas Grimm, Frank Krause, Ines Altendorf, Gabriele Congedo, Robert Binder, Joachim Metzger, Alexander Lajn, Markus Langner, Young Seon You, Oliver Kallensee, Vinayak Bharat Naik, Kazutaka Yamane, Steven Soss
From Emergence to Prevalence: 22FDX® Embedded STT-MRAM. IMW (2022)
Johannes Müller, Guido Montúfar
Solving infinite-horizon POMDPs with memoryless stochastic policies in state-action space. CoRR (2022)
Mareike Dressler, Marina Garrote-López, Guido Montúfar, Johannes Müller, Kemal Rose
Algebraic optimization of sequential decision problems. CoRR (2022)
Johannes Müller, Marius Zeinhofer
Notes on Exact Boundary Values in Residual Minimisation. MSML (2022)
Johannes Müller, Marius Zeinhofer
Error Estimates for the Variational Training of Neural Networks with Boundary Penalty. CoRR (2021)
Johannes Müller, Marius Zeinhofer
Notes on Exact Boundary Values in Residual Minimisation. CoRR (2021)
Johannes Müller, Mohammad Rahmani Fadiheh, Anna Lena Duque Antón, Thomas Eisenbarth, Dominik Stoffel, Wolfgang Kunz
A Formal Approach to Confidentiality Verification in SoCs at the Register Transfer Level. DAC (2021)
Johannes Müller, Guido Montúfar
The Geometry of Memoryless Stochastic Policy Optimization in Infinite-Horizon POMDPs. CoRR (2021)
Mohammad Rahmani Fadiheh, Alex Wezel, Johannes Müller, Jörg Bormann, Sayak Ray, Jason M. Fung, Subhasish Mitra, Dominik Stoffel, Wolfgang Kunz
An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors. CoRR (2021)
Sabine Kolodinski, Holger Eisenreich, Steffen Lehmann, Johannes Müller
IC Design & Technology Co-Development: e-NVM & mmWave enablement of 22FDX™ Technology. ICICDT (2021)
Tina R. Pollmann, Stefan Schönert, Johannes Müller, Julia Pollmann, Elisa Resconi, Christoph Wiesinger, Christian Haack, Lolian Shtembari, Andrea Turcati, Birgit Neumair, Stephan Meighen-Berger, Giovanni Zattera, Matthias Neumair, Uljana Apel, Augustine Okolie
The impact of digital contact tracing on the SARS-CoV-2 pandemic - a comprehensive modelling study. EPJ Data Sci. 10 (1) (2021)
Johannes Müller
Evaluation Methods for Citizen Design Science Studies: How Do Planners and Citizens Obtain Relevant Information from Map-Based E-Participation Tools? ISPRS Int. J. Geo Inf. 10 (2) (2021)
Axel Constant, Alexander Tschantz, Beren Millidge, Felipe Criado-Boado, Luis M. Martinez, Johannes Müller, Andy Clark
The Acquisition of Culturally Patterned Attention Styles Under Active Inference. Frontiers Neurorobotics 15 (2021)
Patrick Dondl, Johannes Müller, Marius Zeinhofer
Uniform Convergence Guarantees for the Deep Ritz Method for Nonlinear Problems. CoRR (2021)
Tarek Ali, Kati Kühnel, Malte Czernohorsky, Matthias Rudolph, Björn Pätzold, Ricardo Olivo, David Lehninger, Konstantin Mertens, Frank Müller, Maximilian Lederer, Raik Hoffmann, Clemens Mart, Mahsa N. Kalkani, Philipp Steinke, Thomas Kämpfe, Johannes Müller, Jan Van Houdt, Konrad Seidel, Lukas M. Eng
Impact of Ferroelectric Wakeup on Reliability of Laminate based Si-doped Hafnium Oxide (HSO) FeFET Memory Cells. IRPS (2020)
Mohammad Rahmani Fadiheh, Johannes Müller, Raik Brinkmann, Subhasish Mitra, Dominik Stoffel, Wolfgang Kunz
A Formal Approach for Detecting Vulnerabilities to Transient Execution Attacks in Out-of-Order Processors. DAC (2020)
Vera G. Meister, Wenxin Hu, Aleksandra Revina, Marcel Cikus, Johannes Müller
Fachanwendung für digitale Modulkataloge. GI-Jahrestagung (2020)
Johannes Müller
Universal flow approximation with deep residual networks. CoRR (2019)
Karin Münch, Richard Münch, Rebekka Biedendieck, Dieter Jahn, Johannes Müller
Evolutionary model for the unequal segregation of high copy plasmids. PLoS Comput. Biol. 15 (3) (2019)
Sebastian Werner, Jörn Kuhlenkamp, Markus Klems, Johannes Müller, Stefan Tai
Serverless Big Data Processing using Matrix Multiplication as Example. GI-Jahrestagung (2019)
Johannes Müller, Fabian Christandl
Content is king - But who is the king of kings? The effect of content marketing, sponsored content & user-generated content on brand responses. Comput. Hum. Behav. 96 (2019)
Johannes Müller, Marius Zeinhofer
Deep Ritz revisited. CoRR (2019)
Thomas Renner, Johannes Müller, Odej Kao
Endolith: A Blockchain-Based Framework to Enhance Data Retention in Cloud Storages. PDP (2018)
Sebastian Werner, Jörn Kuhlenkamp, Markus Klems, Johannes Müller, Stefan Tai
Serverless Big Data Processing using Matrix Multiplication as Example. IEEE BigData (2018)
Thomas Renner, Johannes Müller, Lauritz Thamsen, Odej Kao
Addressing Hadoop's Small File Problem With an Appendable Archive File Format. Conf. Computing Frontiers (2017)
Dominic Kohler, Johannes Müller, Birgit Obst, Utz Wever
Efficient simulation of threshold behavior. Artif. Intell. Eng. Des. Anal. Manuf. 31 (2) (2017)
Fritz Klocke, Patrick Mattfeld, Jens Stauder, Johannes Müller, Timm Grünebaum
Robust technology chain design: considering undesired interactions within the technology chain. Prod. Eng. 11 (4-5) (2017)
Uwe Schroeder, Milan Pesic, Tony Schenk, Halid Mulaosmanovic, Stefan Slesazeck, Johannes Ocker, Claudia Richter, Ekaterina Yurchuk, K. Khullar, Johannes Müller, Patrick Polakowski, E. D. Grimley, J. M. LeBeau, Stefan Flachowsky, S. Jansen, Sabine Kolodinski, Ralf van Bentum, Alfred Kersch, C. Künneth, Thomas Mikolajick
Impact of field cycling on HfO2 based non-volatile memory devices. ESSDERC (2016)
Alexander Stocker, Johannes Müller
Exploring use and benefit of corporate social software: Measuring success in the Siemens case References+. J. Syst. Inf. Technol. 18 (3) (2016)
Noreen Jamil, Johannes Müller, M. Asif Naeem, Christof Lutteroth, Gerald Weber
Extending linear relaxation for non-square matrices and soft constraints. J. Comput. Appl. Math. 308 (2016)
Meltem Gölgeli Matur, Johannes Müller, Christina Kuttler, Burkhard A. Hense
An Approximative Approach for Single Cell Spatial Modeling of Quorum Sensing. J. Comput. Biol. 22 (3) (2015)
Johannes Müller, Jaren Krchnavi, Christina Moser, Anita Weihermann-Kollar, Heiko Jahr, Nils Hennig, Morten Torchalla, Martin Amacher, Rubén André Lorenzo
Zehn Jahre Wissensaustausch und Communities in References+. Mensch & Computer Workshopband (2015)
Faidra Stavropoulou, Johannes Müller
Parametrization of Random Vectors in Polynomial Chaos Expansions via Optimal Transportation. SIAM J. Sci. Comput. 37 (6) (2015)
Johannes Müller, Hengrui Jiang
Graphical limit sets for general cellular automata. Theor. Comput. Sci. 580 (2015)
Manuel Fischer, Ronald Hartwig, Fabian Hennecke, Johannes Müller, Frank Simon, Christoph Trappe, Uwe Tewes, Philipp Huy
Agile, Mobile und UX - Die Win3 - Konstellation. Usability Professionals (2014)
Josef Spillner, Johannes Müller
Tutorial on Distributed Data Storage: From Dispersed Files to Stealth Databases. UCC (2014)
Josef Spillner, Johannes Müller
PICav: Precise, Iterative, and Complement-Based Cloud Storage Availability Calculation Scheme. UCC (2014)
Dominic Kohler, Johannes Müller, Utz Wever
Cellular Probabilistic Automata - A Novel Method for Uncertainty Propagation. SIAM/ASA J. Uncertain. Quantification 2 (1) (2014)
Noreen Jamil, Johannes Müller, Christof Lutteroth, Gerald Weber
Speeding up SOR Solvers for Constraint-based GUIs with a Warm-Start Strategy. CoRR (2014)
Max Lillack, Johannes Müller, Ulrich W. Eisenecker
Program slicing to understand software generators. FOSD (2013)
Noreen Jamil, Deanna Needell, Johannes Müller, Christof Lutteroth, Gerald Weber
Kaczmarz Algorithm with Soft Constraints for User Interface Layout. CoRR (2013)
Josef Spillner, Johannes Müller, Alexander Schill
Creating optimal cloud storage systems. Future Gener. Comput. Syst. 29 (4) (2013)
Alexander Stocker, Johannes Müller
Exploring Factual and Perceived Use and Benefits of a Web 2.0-based Knowledge Management Application: The Siemens Case References+. I-KNOW (2013)
Noreen Jamil, Deanna Needell, Johannes Müller, Christof Lutteroth, Gerald Weber
Kaczmarz Algorithm with Soft Constraints for User Interface Layout. ICTAI (2013)
Tim J. Hewison, Johannes Müller
Ice Contamination of Meteosat/SEVIRI Implied by Intercalibration Against Metop/IASI. IEEE Trans. Geosci. Remote. Sens. 51 (3-1) (2013)
Noreen Jamil, Johannes Müller, Christof Lutteroth, Gerald Weber
Speeding up SOR solvers for constraint-based GUIs with a warm-start strategy. ICDIM (2013)
Max Lillack, Johannes Müller, Ulrich W. Eisenecker
Improved Prediction of Non-functional Properties in Software Product Lines with Domain Context. Software Engineering (2013)
Tim J. Hewison, Johannes Müller
Ice contamination of Meteosat/SEVIRI IR13.4 channel implied by Inter-Calibration against Metop/IASI. IGARSS (2012)
Burkhard A. Hense, Johannes Müller, Christina Kuttler, Anton Hartmann
Spatial Heterogeneity of Autoinducer Regulation Systems. Sensors 12 (4) (2012)
Noreen Jamil, Johannes Müller, Christof Lutteroth, Gerald Weber
Extending Linear Relaxation for User Interface Layout. ICTAI (2012)
Clemens Zeidler, Johannes Müller, Christof Lutteroth, Gerald Weber
Comparing the usability of grid-bag and constraint-based layouts. OZCHI (2012)
Johannes Müller, Max Lillack
Conjoint Analysis of Software Product Lines: A Feature Based Approach. EUROMICRO-SEAA (2011)
Johannes Müller
Wertorientierte Portfolio-Optimierung bei Software-Produktlinien. Software Engineering (Workshops) (2011)
Faidra Stavropoulou, Johannes Müller
A polynomial chaos based Bayesian approach for on-line parameter estimation and control. CACSD (2011)
Alexander Stocker, Johannes Müller
Microblogging als Baustein im IT-gestützten Wissensmanagement von Siemens BT. HMD Prax. Wirtsch. 277 (2011)
Johannes Müller
Value-Based Portfolio Optimization for Software Product Lines. SPLC (2011)
Johannes Müller, Alexander Stocker
Enterprise Microblogging for Advanced Knowledge Sharing: The References@BT Case Study. J. Univers. Comput. Sci. 17 (4) (2011)
Josef Spillner, Gerd Bombach, Steffen Matthischke, Johannes Müller, Rico Tzschichholz, Alexander Schill
Information Dispersion over Redundant Arrays of Optimal Cloud Storage for Desktop Users. UCC (2011)
Johannes Müller
Modeling Variability of Augmented Software Product Lines. VaMoS (2010)
Johannes Müller
Towards a Pricing Method for Software Product Lines. MKWI (2010)
Johannes Müller, Yannick Bietenholz, Michel Griga, José Martin Gallardo, Thomas Niessen, Peter Stiphout
Solution Development 2.0 - Provision and Roll-out of Solution Packages with Social Networking. Wissensmanagement (2009)
Johannes Müller, Christoph Spandl
A Curtis-Hedlund-Lyndon theorem for Besicovitch and Weyl spaces. Theor. Comput. Sci. 410 (38-40) (2009)
Johannes Müller, Christina Kuttler, Burkhard A. Hense
Sensitivity of the quorum sensing system is achieved by low pass filtering. Biosyst. 92 (1) (2008)
Raphael Wimmer, Sebastian Boring, Johannes Müller
Tracking the Wiimote in 3D using ARToolkit. GI Jahrestagung (1) (2008)
Thomas Stolte, Volker Hösel, Johannes Müller, Michael R. Speicher
Modeling Clonal Expansion from M-FISH Experiments. J. Comput. Biol. 15 (2) (2008)
Johannes Müller, Henning Braune, Wulf Diepenbrock
Ein generisches Photosynthese- und Transpirationsmodul für die Modellierung der Stoffbildung von Weizen, Gerste und Raps auf Organ und -Bestandesebene. GIL Jahrestagung (2007)
Alexander Strobel, Gesine Dreisbach, Johannes Müller, Thomas Goschke, Burkhard Brocke, Klaus-Peter Lesch
Genetic Variation of Serotonin Function and Cognitive Control. J. Cogn. Neurosci. 19 (12) (2007)
Stefan Zeiser, Johannes Müller, Volkmar Liebscher
Modeling the Hes1 Oscillator. J. Comput. Biol. 14 (7) (2007)
Johannes Müller
Optimal Vaccination Patterns in Age-Structured Populations. SIAM J. Appl. Math. 59 (1) (1998)