Arnaud Fietzke
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2008–2021
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | EASE | Human-level Ordinal Maintainability Prediction Based on Static Code Metrics. | Markus Schnappinger, Arnaud Fietzke, Alexander Pretschner |
| 2019 | IGARSS | Remote Sensing For Assessing Drought Insurance Claims in Central Europe. | Konrad Heidler, Arnaud Fietzke |
| 2018 | ESEM | Software quality assessment in practice: a hypothesis-driven framework. | Markus Schnappinger, Mohd Hafeez Osman, Alexander Pretschner, Markus Pizka, Arnaud Fietzke |
| 2012 | LPAR | Automatic Generation of Invariants for Circular Derivations in SUP(LA). | Arnaud Fietzke, Evgeny Kruglov, Christoph Weidenbach |
| 2010 | LPAR | Superposition-Based Analysis of First-Order Probabilistic Timed Automata. | Arnaud Fietzke, Holger Hermanns, Christoph Weidenbach |
| 2009 | CADE | SPASS Version 3.5. | Christoph Weidenbach, Dilyana Dimova, Arnaud Fietzke, Rohit Kumar, Martin Suda, Patrick Wischnewski |
| 2008 | CADE | LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description). | Christoph Benzmller, Lawrence C. Paulson, Frank Theiss, Arnaud Fietzke |
| 2008 | CADE | Labelled Splitting. | Arnaud Fietzke, Christoph Weidenbach |