Arnaud Fietzke

According to our database, Arnaud Fietzke authored at least 14 papers between 2008 and 2022.

Collaborative distances:

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

2022

A Preliminary Study on Using Text- and Image-Based Machine Learning to Predict Software Maintainability.

Markus Schnappinger, Simon Zachau, Arnaud Fietzke, Alexander Pretschner

Proceedings of the Software Quality: The Next Big Thing in Software Engineering and Quality, 2022

2021

Human-level Ordinal Maintainability Prediction Based on Static Code Metrics.

Markus Schnappinger, Arnaud Fietzke, Alexander Pretschner

Proceedings of the EASE 2021: Evaluation and Assessment in Software Engineering, 2021

2020

Defining a Software Maintainability Dataset: Collecting, Aggregating and Analysing Expert Evaluations of Software Maintainability.

Markus Schnappinger, Arnaud Fietzke, Alexander Pretschner

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

2019

Learning a classifier for prediction of maintainability based on static analysis tools.

Markus Schnappinger, Mohd Hafeez Osman, Alexander Pretschner, Arnaud Fietzke

Proceedings of the 27th International Conference on Program Comprehension, 2019

Remote Sensing For Assessing Drought Insurance Claims in Central Europe.

Konrad Heidler, Arnaud Fietzke

Proceedings of the 2019 IEEE International Geoscience and Remote Sensing Symposium, 2019

2018

Software quality assessment in practice: a hypothesis-driven framework.

Markus Schnappinger, Mohd Hafeez Osman, Alexander Pretschner, Markus Pizka, Arnaud Fietzke

Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2018

2017

Software-Reengeniering in der Versicherungsbranche: Ein Praxisbeispiel.

Arnaud Fietzke, Benedikt Mas y Parareda

Proceedings of the Software Engineering 2017, 2017

2014

Labelled superposition.

Arnaud Fietzke

PhD thesis, 2014

2012

Superposition as a Decision Procedure for Timed Automata.

Arnaud Fietzke, Christoph Weidenbach

Math. Comput. Sci., 2012

Automatic Generation of Invariants for Circular Derivations in SUP(LA).

Arnaud Fietzke, Evgeny Kruglov, Christoph Weidenbach

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

2010

Superposition-Based Analysis of First-Order Probabilistic Timed Automata.

Arnaud Fietzke, Holger Hermanns, Christoph Weidenbach

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2009

Labelled splitting.

Arnaud Fietzke, Christoph Weidenbach

Ann. Math. Artif. Intell., 2009

SPASS Version 3.5.

Christoph Weidenbach, Dilyana Dimova, Arnaud Fietzke, Rohit Kumar, Martin Suda, Patrick Wischnewski

Proceedings of the Automated Deduction, 2009

2008

LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description).

Christoph Benzmüller, Lawrence C. Paulson, Frank Theiss, Arnaud Fietzke

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008