| 2026 | COMPSAC | KiMeKo: A Collaborative AI Platform for Medical Device Development. | Serge Autexier, Nihat Ay, Stefan Fischer, Lars Kaderali, Thomas Kirste, Martin Leucker, Christoph Lth, Thomas Martinetz, Philipp Rostalski, Alexander Schlaefer, Frank ckert |
| 2026 | DDECS | Security-Aware Benchmarks for Performance Exploration of CHERI-Enabled Architectures. | Spandan Das, Sayak Deb, Khushboo Qayyum, Sallar Ahmadi-Pour, Christoph Lth, Rolf Drechsler |
| 2025 | DATE | Accurate and Extensible Symbolic Execution of Binary Code Based on Formal ISA Semantics. | Sren Tempel, Tobias Brandt, Christoph Lth, Christian Dietrich, Rolf Drechsler |
| 2024 | CEC | Finding the perfect MRI sequence for your patient - Towards an optimisation workflow for MRI-sequences. | Christina Plump, Daniel Christopher Hoinkiss, Jrn Huber, Bernhard J. Berger, Matthias Gnther, Christoph Lth, Rolf Drechsler |
| 2024 | DATE | Evaluating an Open-Source Hardware Approach from HDL to GDS for a Security Chip Design - a Review of the Final Stage of Project HEP. | Tim Henkes, Steffen Reith, Marc Stttinger, Norbert Herfurth, Goran Panic, Julian Wlde, Fabian Buschkowski, Pascal Sasdrich, Christoph Lth, Milan Funck, Tuba Kiyan, Arnd Weber, Detlef Boeck, Ren Rathfelder, Torsten Grawunder |
| 2023 | FDL | Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models. | Sren Tempel, Tobias Brandt, Christoph Lth, Rolf Drechsler |
| 2022 | FDL | Virtual Prototype based Analysis of Neural Network Cache Behavior for Tiny Edge Device. | Alexander Fratzer, Vladimir Herdt, Christoph Lth, Rolf Drechsler |
| 2021 | MODELSWARD | Performance Aspects of Correctness-oriented Synthesis Flows. | Fritjof Bornebusch, Christoph Lth, Robert Wille, Rolf Drechsler |
| 2020 | ASPDAC | Towards Automatic Hardware Synthesis from Formal Specification to Implementation. | Fritjof Bornebusch, Christoph Lth, Robert Wille, Rolf Drechsler |
| 2020 | DATE | Verification Runtime Analysis: Get the Most Out of Partial Verification. | Martin Ring, Fritjof Bornebusch, Christoph Lth, Robert Wille, Rolf Drechsler |
| 2020 | MODELSWARD | Integer Overflow Detection in Hardware Designs at the Specification Level. | Fritjof Bornebusch, Christoph Lth, Robert Wille, Rolf Drechsler |
| 2020 | MODELSWARD | Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications. | Fritjof Bornebusch, Christoph Lth, Robert Wille, Rolf Drechsler |
| 2019 | DATE | Better Late Than Never : Verification of Embedded Systems After Deployment. | Martin Ring, Fritjof Bornebusch, Christoph Lth, Robert Wille, Rolf Drechsler |
| 2019 | DSD | Code is Ethics - Formal Techniques for a Better World. | Rolf Drechsler, Christoph Lth |
| 2019 | SEFM | Let's Prove It Later - Verification at Different Points in Time. | Martin Ring, Christoph Lth |
| 2018 | DocEng | Semantically Weighted Similarity Analysis for XML-based Content Components. | Jan Oevermann, Christoph Lth |
| 2016 | FDL | Change impact analysis for hardware designs from natural language to system level. | Martin Ring, Jannis Stoppe, Christoph Lth, Rolf Drechsler |
| 2014 | ECOOP | Real-time collaborative Scala development with Clide. | Martin Ring, Christoph Lth |
| 2014 | ITP | Collaborative Interactive Theorem Proving with Clide. | Martin Ring, Christoph Lth |
| 2013 | LPAR | A Semantic Basis for Proof Queries and Transformations. | David Aspinall, Ewen Denney, Christoph Lth |
| 2012 | ISoLA | SmartTies - Management of Safety-Critical Developments. | Serge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lth, Christian Maeder |
| 2012 | LPAR | Querying Proofs. | David Aspinall, Ewen Denney, Christoph Lth |
| 2010 | AISC | Structured Formal Development with Quotient Types in Isabelle/HOL. | Maksym Bortin, Christoph Lth |
| 2010 | IFM | Adding Change Impact Analysis to the Formal Verification of C Programs. | Serge Autexier, Christoph Lth |
| 2010 | SAFECOMP | Experiences in Applying Formal Verification in Robotics. | Dennis Walter, Holger Tubig, Christoph Lth |
| 2009 | FM | Certifiable Specification and Verification of C Programs. | Christoph Lth, Dennis Walter |
| 2008 | AISC | A Tactic Language for Hiproofs. | David Aspinall, Ewen Denney, Christoph Lth |
| 2005 | IJCAI | Proof General / Eclipse: A Generic Interface for Interactive Proof. | Daniel Winterstein, David Aspinall, Christoph Lth |
| 2002 | ICFP | Composing monads using coproducts. | Christoph Lth, Neil Ghani |
| 2000 | FASE | More About TAS and IsaWin - Tools for Formal Program Development. | Christoph Lth, Burkhart Wolff |
| 1999 | FASE | TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. | Christoph Lth, Haykal Tej, Kolyang, Bernd Krieg-Brckner |