default search action
BibTeX records: Arnaud Fietzke
@inproceedings{DBLP:conf/swqd/SchnappingerZFP22, author = {Markus Schnappinger and Simon Zachau and Arnaud Fietzke and Alexander Pretschner}, editor = {Daniel M{\'{e}}ndez and Manuel Wimmer and Dietmar Winkler and Stefan Biffl and Johannes Bergsmann}, title = {A Preliminary Study on Using Text- and Image-Based Machine Learning to Predict Software Maintainability}, booktitle = {Software Quality: The Next Big Thing in Software Engineering and Quality - 14th International Conference on Software Quality, {SWQD} 2022, Vienna, Austria, May 17-19, 2022, Proceedings}, series = {Lecture Notes in Business Information Processing}, volume = {439}, pages = {41--60}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-04115-0\_4}, doi = {10.1007/978-3-031-04115-0\_4}, timestamp = {Tue, 03 May 2022 12:22:18 +0200}, biburl = {https://dblp.org/rec/conf/swqd/SchnappingerZFP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ease/SchnappingerFP21, author = {Markus Schnappinger and Arnaud Fietzke and Alexander Pretschner}, editor = {Ruzanna Chitchyan and Jingyue Li and Barbara Weber and Tao Yue}, title = {Human-level Ordinal Maintainability Prediction Based on Static Code Metrics}, booktitle = {{EASE} 2021: Evaluation and Assessment in Software Engineering, Trondheim, Norway, June 21-24, 2021}, pages = {160--169}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3463274.3463315}, doi = {10.1145/3463274.3463315}, timestamp = {Mon, 21 Jun 2021 12:24:43 +0200}, biburl = {https://dblp.org/rec/conf/ease/SchnappingerFP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsm/SchnappingerFP20, author = {Markus Schnappinger and Arnaud Fietzke and Alexander Pretschner}, title = {Defining a Software Maintainability Dataset: Collecting, Aggregating and Analysing Expert Evaluations of Software Maintainability}, booktitle = {{IEEE} International Conference on Software Maintenance and Evolution, {ICSME} 2020, Adelaide, Australia, September 28 - October 2, 2020}, pages = {278--289}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/ICSME46990.2020.00035}, doi = {10.1109/ICSME46990.2020.00035}, timestamp = {Tue, 10 Nov 2020 08:52:39 +0100}, biburl = {https://dblp.org/rec/conf/icsm/SchnappingerFP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/igarss/HeidlerF19, author = {Konrad Heidler and Arnaud Fietzke}, title = {Remote Sensing For Assessing Drought Insurance Claims in Central Europe}, booktitle = {2019 {IEEE} International Geoscience and Remote Sensing Symposium, {IGARSS} 2019, Yokohama, Japan, July 28 - August 2, 2019}, pages = {7306--7309}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/IGARSS.2019.8898926}, doi = {10.1109/IGARSS.2019.8898926}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/igarss/HeidlerF19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwpc/SchnappingerOPF19, author = {Markus Schnappinger and Mohd Hafeez Osman and Alexander Pretschner and Arnaud Fietzke}, editor = {Yann{-}Ga{\"{e}}l Gu{\'{e}}h{\'{e}}neuc and Foutse Khomh and Federica Sarro}, title = {Learning a classifier for prediction of maintainability based on static analysis tools}, booktitle = {Proceedings of the 27th International Conference on Program Comprehension, {ICPC} 2019, Montreal, QC, Canada, May 25-31, 2019}, pages = {243--248}, publisher = {{IEEE} / {ACM}}, year = {2019}, url = {https://doi.org/10.1109/ICPC.2019.00043}, doi = {10.1109/ICPC.2019.00043}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iwpc/SchnappingerOPF19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esem/SchnappingerOPP18, author = {Markus Schnappinger and Mohd Hafeez Osman and Alexander Pretschner and Markus Pizka and Arnaud Fietzke}, editor = {Markku Oivo and Daniel M{\'{e}}ndez Fern{\'{a}}ndez and Audris Mockus}, title = {Software quality assessment in practice: a hypothesis-driven framework}, booktitle = {Proceedings of the 12th {ACM/IEEE} International Symposium on Empirical Software Engineering and Measurement, {ESEM} 2018, Oulu, Finland, October 11-12, 2018}, pages = {40:1--40:6}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3239235.3268922}, doi = {10.1145/3239235.3268922}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esem/SchnappingerOPP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/se/FietzkeP17, author = {Arnaud Fietzke and Benedikt Mas y Parareda}, editor = {Jan J{\"{u}}rjens and Kurt Schneider}, title = {Software-Reengeniering in der Versicherungsbranche: Ein Praxisbeispiel}, booktitle = {Software Engineering 2017, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-24. Februar 2017, Hannover, Deutschland}, series = {{LNI}}, volume = {{P-267}}, pages = {33--34}, publisher = {{GI}}, year = {2017}, url = {https://dl.gi.de/handle/20.500.12116/1314}, timestamp = {Tue, 04 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/se/FietzkeP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/dnb/Fietzke14, author = {Arnaud Fietzke}, title = {Labelled superposition}, school = {Saarland University}, year = {2014}, url = {http://scidok.sulb.uni-saarland.de/volltexte/2014/5825/}, urn = {urn:nbn:de:bsz:291-scidok-58256}, timestamp = {Sat, 17 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/dnb/Fietzke14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mics/FietzkeW12, author = {Arnaud Fietzke and Christoph Weidenbach}, title = {Superposition as a Decision Procedure for Timed Automata}, journal = {Math. Comput. Sci.}, volume = {6}, number = {4}, pages = {409--425}, year = {2012}, url = {https://doi.org/10.1007/s11786-012-0134-5}, doi = {10.1007/S11786-012-0134-5}, timestamp = {Wed, 12 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mics/FietzkeW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/FietzkeKW12, author = {Arnaud Fietzke and Evgeny Kruglov and Christoph Weidenbach}, editor = {Nikolaj S. Bj{\o}rner and Andrei Voronkov}, title = {Automatic Generation of Invariants for Circular Derivations in {SUP(LA)}}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March 11-15, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7180}, pages = {197--211}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28717-6\_17}, doi = {10.1007/978-3-642-28717-6\_17}, timestamp = {Thu, 14 Apr 2022 20:26:15 +0200}, biburl = {https://dblp.org/rec/conf/lpar/FietzkeKW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/FietzkeHW10, author = {Arnaud Fietzke and Holger Hermanns and Christoph Weidenbach}, editor = {Christian G. Ferm{\"{u}}ller and Andrei Voronkov}, title = {Superposition-Based Analysis of First-Order Probabilistic Timed Automata}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6397}, pages = {302--316}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16242-8\_22}, doi = {10.1007/978-3-642-16242-8\_22}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/lpar/FietzkeHW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/FietzkeW09, author = {Arnaud Fietzke and Christoph Weidenbach}, title = {Labelled splitting}, journal = {Ann. Math. Artif. Intell.}, volume = {55}, number = {1-2}, pages = {3--34}, year = {2009}, url = {https://doi.org/10.1007/s10472-009-9150-9}, doi = {10.1007/S10472-009-9150-9}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/amai/FietzkeW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/WeidenbachDFKSW09, author = {Christoph Weidenbach and Dilyana Dimova and Arnaud Fietzke and Rohit Kumar and Martin Suda and Patrick Wischnewski}, editor = {Renate A. Schmidt}, title = {{SPASS} Version 3.5}, booktitle = {Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5663}, pages = {140--145}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02959-2\_10}, doi = {10.1007/978-3-642-02959-2\_10}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cade/WeidenbachDFKSW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BenzmullerPTF08, author = {Christoph Benzm{\"{u}}ller and Lawrence C. Paulson and Frank Theiss and Arnaud Fietzke}, editor = {Alessandro Armando and Peter Baumgartner and Gilles Dowek}, title = {{LEO-II} - {A} Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)}, booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008, Sydney, Australia, August 12-15, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5195}, pages = {162--170}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-71070-7\_14}, doi = {10.1007/978-3-540-71070-7\_14}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/BenzmullerPTF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/FietzkeW08, author = {Arnaud Fietzke and Christoph Weidenbach}, editor = {Alessandro Armando and Peter Baumgartner and Gilles Dowek}, title = {Labelled Splitting}, booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008, Sydney, Australia, August 12-15, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5195}, pages = {459--474}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-71070-7\_39}, doi = {10.1007/978-3-540-71070-7\_39}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/FietzkeW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.