Max Scheerer

According to our database, Max Scheerer authored at least 14 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Evaluating Architectural Safeguards for Uncertain AI Black-Box Components.

Max Scheerer

PhD thesis, 2023

Design-time Performability Evaluation of Runtime Adaptation Strategies (Work In Progress Paper).

Martina Rapp, Max Scheerer, Ralf H. Reussner

Proceedings of the Companion of the 2023 ACM/SPEC International Conference on Performance Engineering, 2023

QIn: Enabling Formal Methods to Deal with Quantum Circuits.

Jonas Klamroth, Bernhard Beckert, Max Scheerer, Oliver Denninger

Proceedings of the IEEE International Conference on Quantum Software, 2023

Experiences in Quantum Software Engineering.

Max Scheerer, Jonas Klamroth, Simon Garhofer, Florian Knäble, Oliver Denninger

Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2023

Reliability Analysis of Architectural Safeguards for AI-enabled Systems.

Max Scheerer, Ralf H. Reussner

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

2022

Design-time Performability Optimization of Runtime Adaptation Strategies.

Martina Rapp, Max Scheerer, Ralf H. Reussner

Proceedings of the ICPE '22: ACM/SPEC International Conference on Performance Engineering, Bejing, China, April 9, 2022

Fault-tolerant Hybrid Quantum Software Systems.

Max Scheerer, Jonas Klamroth, Oliver Denninger

Proceedings of the IEEE International Conference on Quantum Software, 2022

2021

Reliability Prediction of Self-Adaptive Systems Managing Uncertain AI Black-Box Components.

Max Scheerer, Ralf H. Reussner

Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Engineering Reliable Hybrid Quantum Software: An Architectural-driven Approach.

Max Scheerer, Jonas Klamroth, Oliver Denninger

Proceedings of the Short Papers Proceedings of the 2nd International Workshop on Software Engineering & Technology (Q-SET 2021) co-located with IEEE International Conference on Quantum Computing and Engineering (IEEE Quantum Week 2021), 2021

Holistische Verifikation von Hybriden Quantenprogrammen durch Software Bounded Model Checking.

Jonas Klamroth, Max Scheerer, Oliver Denninger

Proceedings of the 51. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2021 - Computer Science & Sustainability, Berlin, Germany, 27. September, 2021

2020

Towards classes of architectural dependability assurance for machine-learning-based systems.

Max Scheerer, Jonas Klamroth, Ralf H. Reussner, Bernhard Beckert

Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

Design-Time Validation of Runtime Reconfiguration Strategies: An Environmental-Driven Approach.

Max Scheerer, Martina Rapp, Ralf H. Reussner

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020

2019

SimuLizar NG: An extensible event-oriented simulation engine for self-adaptive software architectures.

Sebastian Dieter Krach, Max Scheerer

Softwaretechnik-Trends, 2019

2017

Automatic evaluation of complex design decisions in component-based software architectures.

Max Scheerer, Axel Busch, Anne Koziolek

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017