Christoph Sticksel

According to our database, Christoph Sticksel authored at least 5 papers between 2010 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Completeness and Consistency of Tabular Requirements: An SMT-Based Verification Approach.

Claudio Menghi, Eugene Balai, Darren Valovcin, Christoph Sticksel, Akshay Rajhans

IEEE Trans. Software Eng., February, 2025

2016

The Kind 2 Model Checker.

Adrien Champion, Alain Mebsout, Christoph Sticksel, Cesare Tinelli

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2012

EPR-Based Bounded Model Checking at Word Level.

Moshe Emmer, Zurab Khasidashvili, Konstantin Korovin, Christoph Sticksel, Andrei Voronkov

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2010

Labelled Unit Superposition Calculi for Instantiation-Based Reasoning.

Konstantin Korovin, Christoph Sticksel

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

iProver-Eq: An Instantiation-Based Theorem Prover with Equality.

Konstantin Korovin, Christoph Sticksel

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010