Arnaud Fietzke

15 papers A 7B 1C 2Journal 2Unranked 2

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