| 2025 | DSD | Execution Platform Contracts. | Dorian Bourgeoisat, Ulrich Khne, Florian Brandner |
| 2021 | ACNS | Telepathic Headache: Mitigating Cache Side-Channel Attacks on Convolutional Neural Networks. | Herv Chabanne, Jean-Luc Danger, Linda Guiga, Ulrich Khne |
| 2021 | PRDC | Moving Target Defense Strategy in Critical Embedded Systems: A Game-theoretic Approach. | Maxime Ayrault, Etienne Borde, Ulrich Khne, Jean Leneutre |
| 2019 | CCS | Run or Hide? Both! A Method Based on IPv6 Address Switching to Escape While Being Hidden. | Maxime Ayrault, Etienne Borde, Ulrich Khne |
| 2019 | DSD | LAOCON: A Run-Time Monitoring and Verification Approach for Hardware Trojan Detection. | Jean-Luc Danger, Laurent Fribourg, Ulrich Khne, Maha Naceur |
| 2018 | DSD | CCFI-Cache: A Transparent and Flexible Hardware Protection for Code and Control-Flow Integrity. | Jean-Luc Danger, Adrien Facon, Sylvain Guilley, Karine Heydemann, Ulrich Khne, Abdelmalek Si-Merabet, Michal Timbert |
| 2016 | DATE | Formal verification of integer multipliers by combining Grbner basis with logic reduction. | Amr A. R. Sayed-Ahmed, Daniel Groe, Ulrich Khne, Mathias Soeken, Rolf Drechsler |
| 2015 | DAC | A generic representation of CCSL time constraints for UML/MARTE models. | Judith Peters, Robert Wille, Nils Przigoda, Ulrich Khne, Rolf Drechsler |
| 2015 | RSP | Ensuring safety and reliability of IP-based system design - A container approach. | Arun Chandrasekharan, Kenneth Schmitz, Ulrich Khne, Rolf Drechsler |
| 2014 | ETS | Verification of the decimal floating-point square root operation. | Amr A. R. Sayed-Ahmed, Hossam A. H. Fahmy, Ulrich Khne |
| 2014 | FDL | Verifying consistency between activity diagrams and their corresponding OCL contracts. | Christoph Hilken, Julia Seiter, Robert Wille, Ulrich Khne, Rolf Drechsler |
| 2014 | FDL | Automatic refinement checking for formal system models. | Julia Seiter, Robert Wille, Ulrich Khne, Rolf Drechsler |
| 2014 | TAP | Behaviour Driven Development for Tests and Verification. | Melanie Diepenbeck, Ulrich Khne, Mathias Soeken, Rolf Drechsler |
| 2012 | FM | IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems. | tienne Andr, Laurent Fribourg, Ulrich Khne, Romain Soulat |
| 2011 | DDECS | Automatic property generation for the formal verification of bus bridges. | Mathias Soeken, Ulrich Khne, Martin Freibothe, Grschwin Fey, Rolf Drechsler |
| 2011 | ISORC | Towards Dependability-Aware Design of Hardware Systems Using Extended Program State Machines. | Kim Grttner, Andreas Herrholz, Ulrich Khne, Daniel Groe, Achim Rettberg, Wolfgang Nebel, Rolf Drechsler |
| 2010 | FMCAD | Automated formal verification of processors based on architectural models. | Ulrich Khne, Sven Beyer, Jrg Bormann, John Barstow |
| 2009 | DATE | Property analysis and design understanding. | Ulrich Khne, Daniel Groe, Rolf Drechsler |
| 2009 | DATE | Increasing the accuracy of SAT-based debugging. | Andr Slflow, Grschwin Fey, Ccile Braunstein, Ulrich Khne, Rolf Drechsler |
| 2009 | RSP | Generating an Efficient Instruction Set Simulator from a Complete Property Suite. | Ulrich Khne, Sven Beyer, Christian Pichler |
| 2009 | RSP | WoLFram- A Word Level Framework for Formal Verification. | Andr Slflow, Ulrich Khne, Grschwin Fey, Daniel Groe, Rolf Drechsler |
| 2007 | DATE | Estimating functional coverage in bounded model checking. | Daniel Groe, Ulrich Khne, Rolf Drechsler |
| 2005 | GI | Formale Verifikation des Befehlssatzes eines SystemC Mikroprozessors. | Daniel Groe, Ulrich Khne, Rolf Drechsler |