Maximilian Schlüter

Orcid: 0000-0002-5100-7259

According to our database1, Maximilian Schlüter authored at least 13 papers between 2018 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2018
2019
2020
2021
2022
2023
2024
2025
0
1
2
3
4
5
3
1
1
2
1
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Computing Inflated Explanations for Boosted Trees: A Compilation-Based Approach.
Proceedings of the Combined Power of Research, Education, and Dissemination, 2025

Voting-Based Shortcuts through Random Forests for Obtaining Explainable Models.
Proceedings of the Real Time and Such, 2025

2024
Affinitree: A Compositional Framework for Formal Analysis and Explanation of Deep Neural Networks.
Proceedings of the Tests and Proofs - 18th International Conference, 2024

2023
Towards rigorous understanding of neural networks via semantics-preserving transformations.
Int. J. Softw. Tools Technol. Transf., June, 2023

The power of typed affine decision structures: a case study.
Int. J. Softw. Tools Technol. Transf., June, 2023

Forest GUMP: a tool for verification and explanation.
Int. J. Softw. Tools Technol. Transf., June, 2023

Revisiting the Performance-Explainability Trade-Off in Explainable Artificial Intelligence (XAI).
Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

2022
Introduction to Symbolic Execution of Neural Networks - Towards Faithful and Explainable Surrogate Models.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2022

Formal Methods Meet Machine Learning (F3ML).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

2020
Characteristic invariants in Hennessy-Milner logic.
Acta Informatica, 2020

Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

2019
RERS 2019: Combining Synthesis with Real-World Models.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018
RERS 2018: CTL, LTL, and Reachability.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018


  Loading...