@article{DBLP:journals/jar/GieslABEFFHOPSS17,
author = {J{\"{u}}rgen Giesl and
Cornelius Aschermann and
Marc Brockschmidt and
Fabian Emmes and
Florian Frohn and
Carsten Fuhs and
Jera Hensel and
Carsten Otto and
Martin Pl{\"{u}}cker and
Peter Schneider{-}Kamp and
Thomas Str{\"{o}}der and
Stephanie Swiderski and
Ren{\'{e}} Thiemann},
title = {Analyzing Program Termination and Complexity Automatically with AProVE},
journal = {J. Autom. Reason.},
volume = {58},
number = {1},
pages = {3--31},
year = {2017},
url = {https://doi.org/10.1007/s10817-016-9388-y},
doi = {10.1007/S10817-016-9388-Y},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GieslABEFFHOPSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Otto15,
author = {Carsten Otto},
title = {Java program analysis by symbolic execution},
school = {{RWTH} Aachen University, Germany},
year = {2015},
url = {http://publications.rwth-aachen.de/record/464568},
urn = {urn:nbn:de:hbz:82-rwth-2015-013732},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Otto15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GieslBEFFOPSSST14,
author = {J{\"{u}}rgen Giesl and
Marc Brockschmidt and
Fabian Emmes and
Florian Frohn and
Carsten Fuhs and
Carsten Otto and
Martin Pl{\"{u}}cker and
Peter Schneider{-}Kamp and
Thomas Str{\"{o}}der and
Stephanie Swiderski and
Ren{\'{e}} Thiemann},
editor = {St{\'{e}}phane Demri and
Deepak Kapur and
Christoph Weidenbach},
title = {Proving Termination of Programs Automatically with AProVE},
booktitle = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 19-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8562},
pages = {184--191},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08587-6\_13},
doi = {10.1007/978-3-319-08587-6\_13},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GieslBEFFOPSSST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BrockschmidtMOG12,
author = {Marc Brockschmidt and
Richard Musiol and
Carsten Otto and
J{\"{u}}rgen Giesl},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Automated Termination Proofs for Java Programs with Cyclic Data},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {105--122},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_13},
doi = {10.1007/978-3-642-31424-7\_13},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BrockschmidtMOG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eefsw/Otto11,
author = {Carsten Otto},
editor = {Bernhard Rumpe and
Horst Lichter},
title = {AProVE - Automated Program VerificationEnvironment},
booktitle = {Entwicklung und Evolution von Forschungssoftware: Tagungsband des
Workshops, Rolduc, November 2011},
series = {Aachener Informatik-Berichte, Software Engineering},
volume = {14},
pages = {49--54},
publisher = {Shaker},
year = {2011},
timestamp = {Wed, 03 Aug 2022 10:49:00 +0200},
biburl = {https://dblp.org/rec/conf/eefsw/Otto11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foveoos/BrockschmidtSOG11,
author = {Marc Brockschmidt and
Thomas Str{\"{o}}der and
Carsten Otto and
J{\"{u}}rgen Giesl},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Dilian Gurov},
title = {Automated Detection of Non-termination and NullPointerExceptions for
Java Bytecode},
booktitle = {Formal Verification of Object-Oriented Software - International Conference,
FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7421},
pages = {123--141},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31762-0\_9},
doi = {10.1007/978-3-642-31762-0\_9},
timestamp = {Mon, 26 Jun 2023 20:49:01 +0200},
biburl = {https://dblp.org/rec/conf/foveoos/BrockschmidtSOG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BrockschmidtOG11,
author = {Marc Brockschmidt and
Carsten Otto and
J{\"{u}}rgen Giesl},
editor = {Manfred Schmidt{-}Schau{\ss}},
title = {Modular Termination Proofs of Recursive Java Bytecode Programs by
Term Rewriting},
booktitle = {Proceedings of the 22nd International Conference on Rewriting Techniques
and Applications, {RTA} 2011, May 30 - June 1, 2011, Novi Sad, Serbia},
series = {LIPIcs},
volume = {10},
pages = {155--170},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.RTA.2011.155},
doi = {10.4230/LIPICS.RTA.2011.155},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/BrockschmidtOG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BrockschmidtOEG10,
author = {Marc Brockschmidt and
Carsten Otto and
Christian von Essen and
J{\"{u}}rgen Giesl},
editor = {Simon Siegler and
Nathan Wasser},
title = {Termination Graphs for Java Bytecode},
booktitle = {Verification, Induction, Termination Analysis - Festschrift for Christoph
Walther on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {6463},
pages = {17--37},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17172-7\_2},
doi = {10.1007/978-3-642-17172-7\_2},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BrockschmidtOEG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/OttoBEG10,
author = {Carsten Otto and
Marc Brockschmidt and
Christian von Essen and
J{\"{u}}rgen Giesl},
editor = {Christopher Lynch},
title = {Automated Termination Analysis of Java Bytecode by Term Rewriting},
booktitle = {Proceedings of the 21st International Conference on Rewriting Techniques
and Applications, {RTA} 2010, July 11-13, 2010, Edinburgh, Scottland,
{UK}},
series = {LIPIcs},
volume = {6},
pages = {259--276},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.RTA.2010.259},
doi = {10.4230/LIPICS.RTA.2010.259},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/OttoBEG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/FuhsNOGLS08,
author = {Carsten Fuhs and
Rafael Navarro{-}Marset and
Carsten Otto and
J{\"{u}}rgen Giesl and
Salvador Lucas and
Peter Schneider{-}Kamp},
editor = {Serge Autexier and
John A. Campbell and
Julio Rubio and
Volker Sorge and
Masakazu Suzuki and
Freek Wiedijk},
title = {Search Techniques for Rational Polynomial Orders},
booktitle = {Intelligent Computer Mathematics, 9th International Conference, {AISC}
2008, 15th Symposium, Calculemus 2008, 7th International Conference,
{MKM} 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5144},
pages = {109--124},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85110-3\_10},
doi = {10.1007/978-3-540-85110-3\_10},
timestamp = {Mon, 05 Feb 2024 20:35:32 +0100},
biburl = {https://dblp.org/rec/conf/aisc/FuhsNOGLS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
