Publications and Talks

[CMST16]

Adrien Champion, Alain Mebsout, Christoph Sticksel and Cesare Tinelli, “The KIND 2 Model Checker” in 28th International Conference on Computer Aided Verification, CAV 2016, ser. Lecture Notes in Computer Science. Berlin / Heidelberg: Springer, 2016. (PDF | BibTeX | Slides ) The original publication will be available at www.springerlink.com)

[BMY+14]

S. Bhattacharyya, S. Miller, J. Yang, S. Smolka, B. Meng, C. Sticksel, and C. Tinelli, “Verification of Quasi-Synchronous Systems with Uppaal” in IEEE/AIAA 33rd Digital Avionics Systems Conference, DASC 2014, pp. 8A4-1-8A4-12. (PDF | BibTeX)

-

Christoph Sticksel, “EPR-Based Bounded Model Checking at Word Level” in 4th Midwest Verification Day, MVD 2012. (Slides)

[EKKSV12]

Moshe Emmer, Zurab Khasidashvili, Konstantin Korovin, Christoph Sticksel and Andrei Voronkov, “EPR-Based Bounded Model Checking at Word Level” in 6th International Joint Conference on Automated Reasoning, IJCAR 2012, ser. Lecture Notes in Computer Science, vol. 7364. Berlin / Heidelberg: Springer, 2012, pp. 210-224. (PDF | BibTeX) The original publication is available at www.springerlink.com

-

Christoph Sticksel, “Z3 for iProver-Eq: Efficient Ground Solving for Instantiation-based First-order Reasoning”. Talk given at Z3 Special Interest Group meeting, Cambridge, UK, November 2011. (Slides)

[S11]

Christoph Sticksel, “Efficient Equational Reasoning in the Inst-Gen Framework”. Ph.D. thesis, The University of Manchester, 2011. (PDF)

-

Christoph Sticksel, “Instantiation-based Methods for Equational Reasoning and Theories Beyond”. Talk given at Max-Planck-Institut für Informatik, Saarbrücken, January 2011. (Slides)

[KS11]

Konstantin Korovin and Christoph Sticksel, “Labelled Unit Superposition Calculi for Instantiation-based Reasoning” in 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-17, ser. Lecture Notes in Computer Science, vol. 6397. Berlin / Heidelberg: Springer, 2010, pp. 459-473. (PDF | Slides | BibTeX ) The original publication is available at www.springerlink.com

[KS10]

Konstantin Korovin and Christoph Sticksel, “iProver-Eq: An Instantiation-based Theorem Prover with Equality” in 5th International Joint Conference on Automated Reasoning, IJCAR 2010, ser. Lecture Notes in Computer Science, vol. 6173. Berlin / Heidelberg: Springer, 2010, pp. 196-202. (PDF | Slides | BibTeX) The original publication is available at www.springerlink.com

[KS10a]

Konstantin Korovin and Christoph Sticksel, “iProver-Eq: An Instantiation-based Theorem Prover with Equality”, in 17th Workshop on Automated Reasoning, ARW 2010, University of Westminster, March 2010, pp. 22-23. (PDF)

[KS09]

Christoph Sticksel, “Efficient Ground Satisfiability Solving in an Instantiation-based Method for First-order Theorem Proving” in 16th Workshop on Automated Reasoning, ARW 2009, University of Liverpool, April 2009, pp. 39-40. (PDF)

[S07]

Christoph Sticksel, “Automated Theorem Proving in Interactive Proof Construction”, Diplomarbeit (Master's dissertation), Fakultät für Informatik, Universität Karlsruhe, 2007 (PDF)