LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description). - Christoph Benzmüller; Lawrence C. Paulson; Frank Theiss; Arnaud Fietzke (IJCAR, 2008)

SPASS Version 3.5. - Christoph Weidenbach; Dilyana Dimova; Arnaud Fietzke; Rohit Kumar; Martin Suda 001; Patrick Wischnewski (CADE, 2009)

Labelled splitting. - Arnaud Fietzke; Christoph Weidenbach (Ann. Math. Artif. Intell., 2009)

Superposition-Based Analysis of First-Order Probabilistic Timed Automata. - Arnaud Fietzke; Holger Hermanns; Christoph Weidenbach (LPAR (Yogyakarta), 2010)

Automatic Generation of Invariants for Circular Derivations in SUP(LA). - Arnaud Fietzke; Evgeny Kruglov; Christoph Weidenbach (LPAR, 2012)

Superposition as a Decision Procedure for Timed Automata. - Arnaud Fietzke; Christoph Weidenbach (Math. Comput. Sci., 2012)

Labelled superposition. - Arnaud Fietzke (2014)

Software-Reengeniering in der Versicherungsbranche: Ein Praxisbeispiel. - Arnaud Fietzke; Benedikt Mas y Parareda (Software Engineering, 2017)

Software quality assessment in practice: a hypothesis-driven framework. - Markus Schnappinger; Mohd Hafeez Osman; Alexander Pretschner; Markus Pizka; Arnaud Fietzke (ESEM, 2018)

Remote Sensing For Assessing Drought Insurance Claims in Central Europe. - Konrad Heidler; Arnaud Fietzke (IGARSS, 2019)

Learning a classifier for prediction of maintainability based on static analysis tools. - Markus Schnappinger; Mohd Hafeez Osman; Alexander Pretschner; Arnaud Fietzke (ICPC, 2019)

Defining a Software Maintainability Dataset: Collecting, Aggregating and Analysing Expert Evaluations of Software Maintainability. - Markus Schnappinger; Arnaud Fietzke; Alexander Pretschner (ICSME, 2020)

Human-level Ordinal Maintainability Prediction Based on Static Code Metrics. - Markus Schnappinger; Arnaud Fietzke; Alexander Pretschner (EASE, 2021)

A Preliminary Study on Using Text- and Image-Based Machine Learning to Predict Software Maintainability. - Markus Schnappinger; Simon Zachau; Arnaud Fietzke; Alexander Pretschner (SWQD, 2022)