BibTeX records: Arnaud Fietzke

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics