Arnaud Fietzke

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 7

Top Venues

ICPC

ESEM

SWQD

EASE

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Markus Schnappinger, Simon Zachau, Arnaud Fietzke, Alexander Pretschner
A Preliminary Study on Using Text- and Image-Based Machine Learning to Predict Software Maintainability. SWQD (2022)
Markus Schnappinger, Arnaud Fietzke, Alexander Pretschner
Human-level Ordinal Maintainability Prediction Based on Static Code Metrics. EASE (2021)
Markus Schnappinger, Arnaud Fietzke, Alexander Pretschner
Defining a Software Maintainability Dataset: Collecting, Aggregating and Analysing Expert Evaluations of Software Maintainability. ICSME (2020)
Konrad Heidler, Arnaud Fietzke
Remote Sensing For Assessing Drought Insurance Claims in Central Europe. IGARSS (2019)
Markus Schnappinger, Mohd Hafeez Osman, Alexander Pretschner, Arnaud Fietzke
Learning a classifier for prediction of maintainability based on static analysis tools. ICPC (2019)
Markus Schnappinger, Mohd Hafeez Osman, Alexander Pretschner, Markus Pizka, Arnaud Fietzke
Software quality assessment in practice: a hypothesis-driven framework. ESEM (2018)
Arnaud Fietzke, Benedikt Mas y Parareda
Software-Reengeniering in der Versicherungsbranche: Ein Praxisbeispiel. Software Engineering (2017)
Arnaud Fietzke, Evgeny Kruglov, Christoph Weidenbach
Automatic Generation of Invariants for Circular Derivations in SUP(LA). LPAR (2012)
Arnaud Fietzke, Christoph Weidenbach
Superposition as a Decision Procedure for Timed Automata. Math. Comput. Sci. 6 (4) (2012)
Arnaud Fietzke, Holger Hermanns, Christoph Weidenbach
Superposition-Based Analysis of First-Order Probabilistic Timed Automata. LPAR (Yogyakarta) (2010)
Arnaud Fietzke, Christoph Weidenbach
Labelled splitting. Ann. Math. Artif. Intell. 55 (1-2) (2009)
Christoph Weidenbach, Dilyana Dimova, Arnaud Fietzke, Rohit Kumar, Martin Suda, Patrick Wischnewski
SPASS Version 3.5. CADE (2009)
Arnaud Fietzke, Christoph Weidenbach
Labelled Splitting. IJCAR (2008)
Christoph Benzmüller, Lawrence C. Paulson, Frank Theiss, Arnaud Fietzke
LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description). IJCAR (2008)

Arnaud Fietzke.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Arnaud Fietzke